title: Polycyclic codes over serial rings and their annihilator CSS construction

abstract: In this paper, we investigate the algebraic structure for polycyclic codes over a specific class of serial rings, defined as $\mathscr R=R[x_1,\ldots, x_s]/\langle t_1(x_1),\ldots, t_s(x_s) \rangle$, where $R$ is a chain ring and each $t_i(x_i)$ in $R[x_i]$ for $i\in\{1,\ldots, s\}$ is a monic square-free polynomial. We define quasi-$s$-dimensional polycyclic codes and establish an $R$-isomorphism between these codes and polycyclic codes over $\mathscr R$. We provide necessary and sufficient conditions for the existence of annihilator self-dual, annihilator self-orthogonal, annihilator linear complementary dual, and annihilator dual-containing polycyclic codes over this class of rings. We also establish the CSS construction for annihilator dual-preserving polycyclic codes over the chain ring $R$ and use this construction to derive quantum codes from polycyclic codes over $\mathscr{R}$.


title: Detecting quantum vacuum fluctuations of the electromagnetic field

abstract: We identify two signatures of quantum vacuum fluctuations of the electromagnetic field on a harmonically trapped charged particle. They are a shift from the natural trap frequency and generation of quantum coherences. The frequency shift, estimated for a single-electron cyclotron, should be observable in future experiments. We also suggest a possible route to detecting vacuum-generated quantum coherences. We assess the role of the long-wavelength and rotating-wave approximations in arriving at our estimates. These experiments should settle the debate on the choice of approximations and gauge in capturing the effect of the quantum vacuum fluctuations.


title: A Computer Vision-Based Quality Assessment Technique for the automatic control of consumables for analytical laboratories

abstract: The rapid growth of the Industry 4.0 paradigm is increasing the pressure to develop effective automated monitoring systems. Artificial Intelligence (AI) is a convenient tool to improve the efficiency of industrial processes while reducing errors and waste. In fact, it allows the use of real-time data to increase the effectiveness of monitoring systems, minimize errors, make the production process more sustainable, and save costs. In this paper, a novel automatic monitoring system is proposed in the context of production process of plastic consumables used in analysis laboratories, with the aim to increase the effectiveness of the control process currently performed by a human operator. In particular, we considered the problem of classifying the presence or absence of a transparent anticoagulant substance inside test tubes. Specifically, a hand-designed deep network model is used and compared with some state-of-the-art models for its ability to categorize different images of vials that can be either filled with the anticoagulant or empty. Collected results indicate that the proposed approach is competitive with state-of-the-art models in terms of accuracy. Furthermore, we increased the complexity of the task by training the models on the ability to discriminate not only the presence or absence of the anticoagulant inside the vial, but also the size of the test tube. The analysis performed in the latter scenario confirms the competitiveness of our approach. Moreover, our model is remarkably superior in terms of its generalization ability and requires significantly fewer resources. These results suggest the possibility of successfully implementing such a model in the production process of a plastic consumables company.


title: Berkeley Cardinals and Vop\v{e}nka's Principle

abstract: We introduce "$n$-choiceless" supercompact and extendible cardinals in Zermelo-Fraenkel set theory without the Axiom of Choice. We prove relations between these cardinals and Vop\v{e}nka's Principle similar to those of Bagaria's work in his papers "$C^{(n)}$-Cardinals" and "More on the Preservation of Large Cardinals Under Class Forcing." We use these relations to characterize Berkeley cardinals in terms of a restricted form of Vop\v{e}nka's Principle. Finally, we establish the equiconsistency of the "$n$-choiceless" extendible cardinals with their original counterparts, and study the consistency strength of other relevant theories.


title: Linear instability of hairy black holes in Horndeski theory

abstract: The Horndeski theory gives the most general model of scalar-tensor theories. It draws a lot of attentions in recent years on its black holes, celestial dynamics, stability analysis, etc. It is important to notice that, for certain subclasses of Horndeski models, one can obtain analytic solutions to the background fields. This provides us with a good opportunity to investigate the corresponding stability problems in details. Specially, we may find out the constraints to the model or theory, under which the stability conditions can be satisfied. In this paper, we focus on a subclass of the Horndeski theory and a set of analytic background solutions are considered. On top of that, the odd-parity gravitational perturbation and the 2nd-order Lagrangian are investigated. With careful analysis, the instability is identified within the neighborhood of event horizon. We are thus able to exclude a specific geometry for the model. It is interesting to notice that, such an instability is implanted in the structure of the corresponding Lagrangian, and will not by erased by simply adding numerical constraints on the coupling parameters. As a starting point of our research, this current work provides insights into further exploration of Horndeski theories.


title: Revealing data leakage in protein interaction benchmarks

abstract: In recent years, there has been remarkable progress in machine learning for protein-protein interactions. However, prior work has predominantly focused on improving learning algorithms, with less attention paid to evaluation strategies and data preparation. Here, we demonstrate that further development of machine learning methods may be hindered by the quality of existing train-test splits. Specifically, we find that commonly used splitting strategies for protein complexes, based on protein sequence or metadata similarity, introduce major data leakage. This may result in overoptimistic evaluation of generalization, as well as unfair benchmarking of the models, biased towards assessing their overfitting capacity rather than practical utility. To overcome the data leakage, we recommend constructing data splits based on 3D structural similarity of protein-protein interfaces and suggest corresponding algorithms. We believe that addressing the data leakage problem is critical for further progress in this research area.


title: Advancing Long-Term Multi-Energy Load Forecasting with Patchformer: A Patch and Transformer-Based Approach

abstract: In the context of increasing demands for long-term multi-energy load forecasting in real-world applications, this paper introduces Patchformer, a novel model that integrates patch embedding with encoder-decoder Transformer-based architectures. To address the limitation in existing Transformer-based models, which struggle with intricate temporal patterns in long-term forecasting, Patchformer employs patch embedding, which predicts multivariate time-series data by separating it into multiple univariate data and segmenting each of them into multiple patches. This method effectively enhances the model's ability to capture local and global semantic dependencies. The numerical analysis shows that the Patchformer obtains overall better prediction accuracy in both multivariate and univariate long-term forecasting on the novel Multi-Energy dataset and other benchmark datasets. In addition, the positive effect of the interdependence among energy-related products on the performance of long-term time-series forecasting across Patchformer and other compared models is discovered, and the superiority of the Patchformer against other models is also demonstrated, which presents a significant advancement in handling the interdependence and complexities of long-term multi-energy forecasting. Lastly, Patchformer is illustrated as the only model that follows the positive correlation between model performance and the length of the past sequence, which states its ability to capture long-range past local semantic information.


title: The promises and challenges of many-body quantum technologies: a focus on quantum engines

abstract: Can many-body systems be beneficial to designing quantum technologies? We address this question by examining quantum engines, where recent studies indicate potential benefits through the harnessing of many-body effects, such as divergences close to phase transitions. However, open questions remain regarding their real-world applications.


title: A Theory of Quantum Jumps

abstract: Using the principles of the ETH - Approach to Quantum Mechanics we study fluorescence and the phenomenon of ``quantum jumps'' in idealized models of atoms coupled to the quantized electromagnetic field. In a limiting regime where the orbital motion of the atoms is neglected and the velocity of light tends to infinity we derive explicit non-linear stochastic differential equations describing the effective time evolution of states of individual atoms. These equations give rise to a measure on state-trajectories with quantum jumps which is a quantum-mechanical analogue of the Wiener measure of Brownian motion. Our results amount to a derivation of the fundamental randomness in the quantum-mechanical description of microscopic systems from basic principles in the context of some simple models.


title: Gauge theory is about the geometry of internal spaces

abstract: In general relativity, the strong equivalence principle is underpinned by a geometrical interpretation of fields on spacetime: all fields and bodies probe the same geometry. This geometric interpretation implies that the parallel transport of all spacetime tensors and spinors is dictated by a single affine connection. Can something similar be said about gauge theory? Agreed, in gauge theory different symmetry groups rule the interactions of different types of charges, so we cannot expect to find the same kind of universality found in the gravitational case. Nonetheless, the parallel transport of all the fields that are charged under the same symmetry group is dictated by a single 'gauge connection', and they all transform jointly under a gauge transformation. Is this kind of 'restricted universality' as geometrically underpinned as in general relativity? Here I argue that it is. The key difference is that the gauge geometry concerns 'internal', as opposed to 'external', spaces. The gauge symmetry of the standard model is thus understood as merely the automorphism group of an internal geometric structure -- $C^3\otimes C^2\otimes C^1$ endowed with an orientation and canonical inner product -- in the same way as spacetime symmetries (such as Poincare transformations), are understood as the automorphism group of an external geometric structure (respectively, a Minkowski metric). And the Ehresmann connection can then be understood as determining parallelism for this internal geometry.


title: Pulse Engineering via Projection of Response Functions

abstract: We present an iterative optimal control method of quantum systems, aimed at an implementation of a desired operation with optimal fidelity. The update step of the method is based on the linear response of the fidelity to the control operators, and its projection onto the mode functions of the corresponding operator. Our method extends methods such as gradient ascent pulse engineering and variational quantum algorithms, by determining the fidelity gradient in a hyperparameter-free manner, and using it for a multi-parameter update, capitalizing on the multi-mode overlap of the perturbation and the mode functions. This directly reduces the number of dynamical trajectories that need to be evaluated in order to update a set of parameters. We demonstrate this approach, and compare it to the standard GRAPE algorithm, for the example of a quantum gate on two qubits, demonstrating a clear improvement in convergence and optimal fidelity of the generated protocol.


title: High-resolution atmospheric retrievals of WASP-76b transmission spectroscopy with ESPRESSO: Monitoring limb asymmetries across multiple transits

abstract: Direct atmospheric retrievals of exoplanets at high-resolution have recently allowed for a more detailed characterisation of their chemistry and dynamics from the ground. By monitoring the longitudinal distribution of species, as well as the varying vertical temperature structure and dynamics between the limbs of WASP-76b, across multiple transits, we aim to enhance our understanding of the 3D nature and chemical/dynamical evolution of such objects over the timescales of months/years. We present retrievals of three VLT/ESPRESSO observations of the ultra-hot Jupiter WASP-76b, including one not yet reported in the literature, from which we constrain the atmospheric abundances, vertical temperature structure, and atmospheric dynamics for both the leading and trailing limbs of the atmosphere separately, via novel rotational broadening kernels. We confirm the presence of VO recently reported in the atmosphere of WASP-76b. We find a uniform longitudinal distribution of Fe and Mg across the limbs of the atmosphere, for each of our transits, consistent with previous works as well as with stellar values. We constrain substellar Na/Fe and Cr/Fe ratios across each of our transits, consistent with previous studies of WASP-76b. Where constrained, V/Fe and VO/Fe ratios were also found to be broadly consistent between the limbs of the atmosphere for each of the transits, as well as with previous studies. However, for two of the transits, both V and VO were unconstrained in the leading limb, suggesting possible depletion due to recombination and condensation. The consistency of our constraints across multiple high-resolution observations, as well as with previous studies using varying modelling/retrieval frameworks and/or instruments, affirms the efficacy of high-resolution ground-based retrievals of exoplanetary atmospheres.


title: DESTEIN: Navigating Detoxification of Language Models via Universal Steering Pairs and Head-wise Activation Fusion

abstract: Despite the remarkable achievements of language models (LMs) across a broad spectrum of tasks, their propensity for generating toxic outputs remains a prevalent concern. Current solutions involving fine-tuning or auxiliary models usually require extensive memory and computational resources, rendering them less practical for deployment in large language models (LLMs). In this paper, we propose DeStein, a novel method that detoxififies LMs by altering their internal representations in the activation space with lower resource and time cost. Specifically, we leverage self-induced steering pairs to identify detoxification vectors through arithmetic operations in the activation space. During inference, detoxification is achieved by blending the detoxification vectors with the original representations. Empirical results demonstrate that our method significantly outperforms previous state-of-the-art approaches on popular detoxification metrics, while also maintaining satisfactory generation quality and diversity. Furthermore, we extend our method to multiple LLMs, demonstrating its practicality and scalability. We open-source our method at https://github.com/LizLizLi/DeStein . Warning: Some example model outputs contain highly offensive or disturbing text.


title: The Beauville-Voisin-Franchetta conjecture and LLSS eightfolds

abstract: The Chow rings of hyper-K\"ahler varieties are conjectured to have a particularly rich structure. In this paper, we formulate a conjecture that combines the Beauville-Voisin conjecture regarding the subring generated by divisors and the Franchetta conjecture regarding generically defined cycles. As motivation, we show that this Beauville-Voisin-Franchetta conjecture for a hyper-K\"ahler variety $X$ follows from a combination of Grothendieck's standard conjectures for a very general deformation of $X$, Murre's conjecture (D) for $X$ and the Franchetta conjecture for $X^3$. As evidence, beyond the case of Fano varieties of lines on smooth cubic fourfolds, we show that this conjecture holds for codimension-2 and codimension-8 cycles on Lehn-Lehn-Sorger-van Straten eightfolds. Moreover, we establish that the subring of the Chow ring generated by primitive divisors injects into cohomology.


title: Forward lateral photovoltage scanning problem: Perturbation approach and existence-uniqueness analysis

abstract: In this paper, we present analytical results for the so-called forward lateral photovoltage scanning (LPS) problem. The (inverse) LPS model predicts doping variations in crystal by measuring the current leaving the crystal generated by a laser at various positions. The forward model consists of a set of nonlinear elliptic equations coupled with a measuring device modeled by a resistance. Standard methods to ensure the existence and uniqueness of the forward model cannot be used in a straightforward manner due to the presence of an additional generation term modeling the effect of the laser on the crystal. Hence, we scale the original forward LPS problem and employ a perturbation approach to derive the leading order system and the correction up to the second order in an appropriate small parameter. While these simplifications pose no issues from a physical standpoint, they enable us to demonstrate the analytic existence and uniqueness of solutions for the simplified system using standard arguments from elliptic theory adapted to the coupling with the measuring device.


title: Formulations of the continuous set-covering problem on networks: a comparative study

abstract: We study the continuous set covering problem on networks and propose several new MILP formulations and valid inequalities. In contrast to state-of-the-art formulations, the new formulations only use edges to index installed points, and the formulation sizes are smaller. The covering conditions can be represented as multivariate piecewise linear concave constraints, which we formulate as disjunctive systems. We propose three MILP formulations based on indicator constraint, big-M, and disjunctive programming techniques for modeling the disjunctive system. Finally, we give a classification of new and old formulations, and conduct experiments to compare them computationally.


title: Community detection and anomaly prediction in dynamic networks

abstract: Anomaly detection is an essential task in the analysis of dynamic networks, as it can provide early warning of potential threats or abnormal behavior. We present a principled approach to detect anomalies in dynamic networks that integrates community structure as a foundational model for regular behavior. Our model identifies anomalies as irregular edges while capturing structural changes. Leveraging a Markovian approach for temporal transitions and incorporating structural information via latent variables for communities and anomaly detection, our model infers these hidden parameters to pinpoint abnormal interactions within the network. Our approach is evaluated on both synthetic and real-world datasets. Real-world network analysis shows strong anomaly detection across diverse scenarios. In a more specific study of transfers of professional male football players, we observe various types of unexpected patterns and investigate how the country and wealth of clubs influence interactions. Additionally, we identify anomalies between clubs with incompatible community memberships, but also instances of anomalous transactions between clubs with similar memberships. The latter is due in particular to the dynamic nature of the transactions, as we find that the frequency of transfers results in anomalous behaviors that are otherwise expected to interact as they belong to similar communities.


title: How quickly can you pack short paths? Engineering a search-tree algorithm for disjoint s-t paths of bounded length

abstract: We study the Short Path Packing problem which asks, given a graph $G$, integers $k$ and $\ell$, and vertices $s$ and $t$, whether there exist $k$ pairwise internally vertex-disjoint $s$-$t$ paths of length at most $\ell$. The problem has been proven to be NP-hard and fixed-parameter tractable parameterized by $k$ and $\ell$. Most previous research on this problem has been theoretical with limited practical implemetations. We present an exact FPT-algorithm based on a search-tree approach in combination with greedy localization. While its worst case runtime complexity of $(k\cdot \ell^2)^{k\cdot \ell}\cdot n^{O(1)}$ is larger than the state of the art, the nature of search-tree algorithms allows for a broad range of potential optimizations. We exploit this potential by presenting techniques for input preprocessing, early detection of trivial and infeasible instances, and strategic selection of promising subproblems. Those approaches were implemented and heavily tested on a large dataset of diverse graphs. The results show that our heuristic improvements are very effective and that for the majority of instances, we can achieve fast runtimes.


title: Reversible optical isolators and quasi-circulators using a magneto-optical Fabry-P\'{e}rot cavity

abstract: Nonreciprocal optical devices are essential for laser protection, modern optical communication and quantum information processing by enforcing one-way light propagation. The conventional Faraday magneto-optical nonreciprocal devices rely on a strong magnetic field, which is provided by a permanent magnet. As a result, the isolation direction of such devices is fixed and severely restricts their applications in quantum networks.In this work, we experimentally demonstrate the simultaneous one-way transmission and unidirectional reflection by using a magneto-optical Fabry-P\'{e}rot cavity and a magnetic field strength of $50~\milli\tesla$. An optical isolator and a three-port quasi-circulator are realized based on this nonreciprocal cavity system. The isolator achieves an isolation ratio of up to $22~\deci\bel$ and an averaged insertion loss down to $0.97~\deci\bel$. The quasi-circulator is realized with a fidelity exceeding $99\%$ and an overall survival probability of $89.9\%$, corresponding to an insertion loss of $\sim 0.46~\deci\bel$. The magnetic field is provided by an electromagnetic coil, thereby allowing for reversing the light circulating path. The reversible quasi-circulator paves the way for building reconfigurable quantum networks.


title: Advances in Atom Interferometry and their Impacts on the Performance of Quantum Accelerometers On-board Future Satellite Gravity Missions

abstract: Recent advances in cold atom interferometry have cleared the path for space applications of quantum inertial sensors, whose level of stability is expected to increase dramatically with the longer interrogation times accessible in space. In this study, a comprehensive in-orbit model is developed for a Mach-Zehnder-type cold-atom accelerometer. Performance tests are realized under different assumptions, and the impact of various sources of errors on instrument stability is evaluated. Current and future advances for space-based atom interferometry are discussed, and their impact on the performance of quantum sensors on-board satellite gravity missions is investigated in three different scenarios: state-of-the-art scenario, near-future (between the next 5 and 10 years) and far-future scenarios (between the next 10 to 20 years). We show that one can achieve a sensitivity level close to 5E-10 with the current state-of-the-art technology. We also estimate that in the near and far-future, atom interferometry in space is expected to achieve sensitivity levels of 1E-11 and 1E-12, respectively. A roadmap for improvements in atom interferometry is provided that would maximize the performance of future CAI accelerometers, considering their technical capabilities. Finally, the possibility and challenges of having ultra-sensitive atom interferometry in space for future space missions are discussed.


title: Machine Learning Based Optimization Workflow for Tuning Numerical Settings of Differential Equation Solvers for Boundary Value Problems

abstract: Several numerical differential equation solvers have been employed effectively over the years as an alternative to analytical solvers to quickly and conveniently solve differential equations. One category of these is boundary value solvers, which are used to solve real-world problems formulated as differential equations with boundary conditions. These solvers require certain numerical settings to solve the differential equations that affect their solvability and performance. A systematic fine-tuning of these settings is required to obtain the desired solution and performance. Currently, these settings are either selected by trial and error or require domain expertise. In this paper, we propose a machine learning-based optimization workflow for fine-tuning the numerical settings to reduce the time and domain expertise required in the process. In the evaluation section, we discuss the scalability, stability, and reliability of the proposed workflow. We demonstrate our workflow on a numerical boundary value problem solver.


title: Friction and heat transfer in forced air convection with variable physical properties

abstract: We establish a theoretical framework for predicting friction and heat transfer coefficients in variable-properties forced air convection. Drawing from concepts in high-speed wall turbulence, which also involves significant temperature, viscosity, and density variations, we utilize the mean momentum balance and mean thermal balance equations to develop integral transformations that account for the impact of variable fluid properties. These transformations are then applied inversely to predict the friction and heat transfer coefficients, leveraging the universality of passive scalars transport theory. Our proposed approach is validated using a comprehensive dataset from direct numerical simulations, covering both heating and cooling conditions up to a friction Reynolds number of approximately $\Rey_\tau\approx 3200$. The predicted friction and heat transfer coefficients closely match DNS data with an accuracy margin of 1-2\%, representing a significant improvement over the current state of the art.


title: Toward a Realistic Benchmark for Out-of-Distribution Detection

abstract: Deep neural networks are increasingly used in a wide range of technologies and services, but remain highly susceptible to out-of-distribution (OOD) samples, that is, drawn from a different distribution than the original training set. A common approach to address this issue is to endow deep neural networks with the ability to detect OOD samples. Several benchmarks have been proposed to design and validate OOD detection techniques. However, many of them are based on far-OOD samples drawn from very different distributions, and thus lack the complexity needed to capture the nuances of real-world scenarios. In this work, we introduce a comprehensive benchmark for OOD detection, based on ImageNet and Places365, that assigns individual classes as in-distribution or out-of-distribution depending on the semantic similarity with the training set. Several techniques can be used to determine which classes should be considered in-distribution, yielding benchmarks with varying properties. Experimental results on different OOD detection techniques show how their measured efficacy depends on the selected benchmark and how confidence-based techniques may outperform classifier-based ones on near-OOD samples.


title: Conversations as a Source for Teaching Scientific Concepts at Different Education Levels

abstract: Open conversations are one of the most engaging forms of teaching. However, creating those conversations in educational software is a complex endeavor, especially if we want to address the needs of different audiences. While language models hold great promise for educational applications, there are substantial challenges in training them to engage in meaningful and effective conversational teaching, especially when considering the diverse needs of various audiences. No official data sets exist for this task to facilitate the training of language models for conversational teaching, considering the diverse needs of various audiences. This paper presents a novel source for facilitating conversational teaching of scientific concepts at various difficulty levels (from preschooler to expert), namely dialogues taken from video transcripts. We analyse this data source in various ways to show that it offers a diverse array of examples that can be used to generate contextually appropriate and natural responses to scientific topics for specific target audiences. It is a freely available valuable resource for training and evaluating conversation models, encompassing organically occurring dialogues. While the raw data is available online, we provide additional metadata for conversational analysis of dialogues at each level in all available videos.


title: Efficient optimal dispersed Haar-like filters for face detection

abstract: This paper introduces a new dispersed Haar-like filter for efficiently detection face. The basic idea for finding the filter is maximising between-class and minimising within-class variance. The proposed filters can be considered as an optimal configuration dispersed Haar-like filters; filters with disjoint black and white parts.


title: Membership determination in open clusters using the DBSCAN Clustering Algorithm

abstract: In this paper, we apply the machine learning clustering algorithm Density Based Spatial Clustering of Applications with Noise (DBSCAN) to study the membership of stars in twelve open clusters (NGC~2264, NGC~2682, NGC~2244, NGC~3293, NGC~6913, NGC~7142, IC~1805, NGC~6231, NGC~2243, NGC 6451, NGC 6005 and NGC 6583) based on Gaia DR3 Data. This sample of clusters spans a variety of parameters like age, metallicity, distance, extinction and a wide parameter space in proper motions and parallaxes. We obtain reliable cluster members using DBSCAN as faint as $G \sim 20$ mag and also in the outer regions of clusters. With our revised membership list, we plot color-magnitude diagrams and we obtain cluster parameters for our sample using ASteCA and compare it with the catalog values. We also validate our membership sample by spectroscopic data from APOGEE and GALAH for the available data. This paper demonstrates the effectiveness of DBSCAN in membership determination of clusters.


title: In-depth analysis of solar models with high-metallicity abundances and updated opacity tables

abstract: Due to the high quality constraints available for the Sun, we can carry out combined analyses using neutrino, spectroscopic and helioseismic observations. Such studies lay the ground for future improvements of key physical components of solar and stellar models, such as the equation of state, radiative opacities or prescriptions for macroscopic transport processes of chemicals which are then used to study other stars in the Universe. We study the existing degeneracies in solar models using the recent high-metallicity spectroscopic abundances by comparing them to helioseismic and neutrino data and discuss how their properties are impacted by changes in various physical ingredients. We carry out a detailed study of solar models computed with a high-metallicity composition from the literature based on averaged-3D models that was claimed to solve the solar problem. The properties of the solar models are significantly affected by using the recent OPLIB opacities and the inclusion of macroscopic transport. The properties of the standard solar models computed using the OPAL opacities are similar to those using the OP opacities. We show that a modifying the temperature gradient just below the base of the convective zone is required to erase the discrepancies in solar models, particularly in the presence of macroscopic mixing. This can be simulated by a local increase of opacity of a few percent. We conclude that the existing degeneracies and issues in solar modelling are not erased by an increase in the solar metallicity in contradiction to was suggested in recent papers. Therefore, standard solar models cannot be used as an argument for a high metallicity composition. While further work is required to improve solar models, we note that direct helioseismic inversions indicate a low metallicity in the convective envelope, in agreement with spectroscopic analyses based on full 3D models.


title: Efficient point-based simulation of four-way coupled particles in turbulence at high number density

abstract: In many natural and industrial applications, turbulent flows encompass some form of dispersed particles. Although this type of multiphase turbulent flow is omnipresent, its numerical modeling has proven to be a remarkably challenging problem. Models that fully resolve the particle phase are computationally very expensive, strongly limiting the number of particles that can be considered in practice. This warrants the need for efficient reduced order modeling of the complex system of particles in turbulence that can handle high number densities of particles. Here, we present an efficient method for point-based simulation of particles in turbulence that are four-way coupled. In contrast with traditional one-way coupled simulations, where only the effect of the fluid phase on the particle phase is modeled, this method additionally captures the back-reaction of the particle phase on the fluid phase, as well as the interactions between particles themselves. We focus on the most challenging case of very light particles or bubbles, which show strong clustering in the high-vorticity regions of the fluid. This strong clustering poses numerical difficulties which are systematically treated in our work. Our method is valid in the limit of small particles with respect to the Kolmogorov scales of the flow and is able to handle very large number densities of particles. This methods paves the way for comprehensive studies of the collective effect of small particles in fluid turbulence for a multitude of applications.


title: Anisotropic polarizability of Dy at 532 nm on the intercombination transition

abstract: We report experimental measurements of the dynamical polarizability of dysprosium, at a wavelength of 532 nm. We measure all three components (scalar, vector, tensor) of the anisotropic polarizability for the ground and the excited manifolds of the intercombination transition of Dy at 626 nm. The apparatus on which the measurements are performed is first presented. We obtain with this setup imaging of single Dy atoms with fidelity above 99 % and losses below 2.5 % induced by imaging. We then describe the methods used to extract the polarizability. In particular, we combine a measurement of trap frequency and trap depth on single atoms in optical tweezers, allowing us to obtain a measurement of the ground state polarizability free of errors in trap waist calibration. The obtained values give a magic condition between two Zeeman states in the ground and excited manifolds, which was used to image single atoms in optical tweezer arrays. The scalar polarizability of the ground state is in disagreement with theoretical expectations, calling for future investigations to resolve the discrepancy.


title: BayesJudge: Bayesian Kernel Language Modelling with Confidence Uncertainty in Legal Judgment Prediction

abstract: Predicting legal judgments with reliable confidence is paramount for responsible legal AI applications. While transformer-based deep neural networks (DNNs) like BERT have demonstrated promise in legal tasks, accurately assessing their prediction confidence remains crucial. We present a novel Bayesian approach called BayesJudge that harnesses the synergy between deep learning and deep Gaussian Processes to quantify uncertainty through Bayesian kernel Monte Carlo dropout. Our method leverages informative priors and flexible data modelling via kernels, surpassing existing methods in both predictive accuracy and confidence estimation as indicated through brier score. Extensive evaluations of public legal datasets showcase our model's superior performance across diverse tasks. We also introduce an optimal solution to automate the scrutiny of unreliable predictions, resulting in a significant increase in the accuracy of the model's predictions by up to 27\%. By empowering judges and legal professionals with more reliable information, our work paves the way for trustworthy and transparent legal AI applications that facilitate informed decisions grounded in both knowledge and quantified uncertainty.


title: Primary Decomposition of Symmetric Ideals

abstract: We propose an effective method for primary decomposition of symmetric ideals. Let $K[X]=K[x_1,\ldots,x_n]$ be the $n$-valuables polynomial ring over a field $K$ and $\mathfrak{S}_n$ the symmetric group of order $n$. We consider the canonical action of $\mathfrak{S}_n$ on $K[X]$ i.e. $\sigma(f(x_1,\ldots,x_n))=f(x_{\sigma(1)},\ldots,x_{\sigma(n)})$ for $\sigma\in \mathfrak{S}_n$. For an ideal $I$ of $K[X]$, $I$ is called {\em symmetric} if $\sigma(I)=I$ for any $\sigma\in \mathfrak{S}_n$. For a minimal primary decomposition $I=Q_1\cap \cdots \cap Q_r$ of a symmetric ideal $I$, $\sigma(I)=\sigma (Q_1)\cap \cdots \cap \sigma(Q_r)$ is a minimal primary decomposition of $I$ for any $\sigma\in \mathfrak{S}_n$. We utilize this property to compute a full primary decomposition of $I$ efficiently from partial primary components. We investigate the effectiveness of our algorithm by implementing it in the computer algebra system Risa/Asir.


title: Would You Trust an AI Doctor? Building Reliable Medical Predictions with Kernel Dropout Uncertainty

abstract: The growing capabilities of AI raise questions about their trustworthiness in healthcare, particularly due to opaque decision-making and limited data availability. This paper proposes a novel approach to address these challenges, introducing a Bayesian Monte Carlo Dropout model with kernel modelling. Our model is designed to enhance reliability on small medical datasets, a crucial barrier to the wider adoption of AI in healthcare. This model leverages existing language models for improved effectiveness and seamlessly integrates with current workflows. We demonstrate significant improvements in reliability, even with limited data, offering a promising step towards building trust in AI-driven medical predictions and unlocking its potential to improve patient care.


title: AbsGS: Recovering Fine Details for 3D Gaussian Splatting

abstract: 3D Gaussian Splatting (3D-GS) technique couples 3D Gaussian primitives with differentiable rasterization to achieve high-quality novel view synthesis results while providing advanced real-time rendering performance. However, due to the flaw of its adaptive density control strategy in 3D-GS, it frequently suffers from over-reconstruction issue in intricate scenes containing high-frequency details, leading to blurry rendered images. The underlying reason for the flaw has still been under-explored. In this work, we present a comprehensive analysis of the cause of aforementioned artifacts, namely gradient collision, which prevents large Gaussians in over-reconstructed regions from splitting. To address this issue, we propose the novel homodirectional view-space positional gradient as the criterion for densification. Our strategy efficiently identifies large Gaussians in over-reconstructed regions, and recovers fine details by splitting. We evaluate our proposed method on various challenging datasets. The experimental results indicate that our approach achieves the best rendering quality with reduced or similar memory consumption. Our method is easy to implement and can be incorporated into a wide variety of most recent Gaussian Splatting-based methods. We will open source our codes upon formal publication. Our project page is available at: https://ty424.github.io/AbsGS.github.io/


title: Nonperiodic leaves of codimension one foliations

abstract: In this work we exhibit examples of $5$-manifolds that are not homeomorphic to any leaf of any $C^2$ codimension one foliation of any compact $6$-manifold but are homeomorphic to (proper) leaves of some $C^1$ codimension one foliations and also to (proper) leaves of some $C^\inf$ codimension $2$ foliations. The topology of these manifolds is characterized by Sturmian-like sequences.


title: Discovery of a dormant 33 solar-mass black hole in pre-release Gaia astrometry

abstract: Gravitational waves from black-hole merging events have revealed a population of extra-galactic BHs residing in short-period binaries with masses that are higher than expected based on most stellar evolution models - and also higher than known stellar-origin black holes in our Galaxy. It has been proposed that those high-mass BHs are the remnants of massive metal-poor stars. Gaia astrometry is expected to uncover many Galactic wide-binary systems containing dormant BHs, which may not have been detected before. The study of this population will provide new information on the BH-mass distribution in binaries and shed light on their formation mechanisms and progenitors. As part of the validation efforts in preparation for the fourth Gaia data release (DR4), we analysed the preliminary astrometric binary solutions, obtained by the Gaia Non-Single Star pipeline, to verify their significance and to minimise false-detection rates in high-mass-function orbital solutions. The astrometric binary solution of one source, Gaia BH3, implies the presence of a 32.70 \pm 0.82 M\odot BH in a binary system with a period of 11.6 yr. Gaia radial velocities independently validate the astrometric orbit. Broad-band photometric and spectroscopic data show that the visible component is an old, very metal-poor giant of the Galactic halo, at a distance of 590 pc. The BH in the Gaia BH3 system is more massive than any other Galactic stellar-origin BH known thus far. The low metallicity of the star companion supports the scenario that metal-poor massive stars are progenitors of the high-mass BHs detected by gravitational-wave telescopes. The Galactic orbit of the system and its metallicity indicate that it might belong to the Sequoia halo substructure. Alternatively, and more plausibly, it could belong to the ED-2 stream, which likely originated from a globular cluster that had been disrupted by the Milky Way.


title: Early-time gamma-ray constraints on cosmic-ray acceleration in the core-collapse SN 2023ixf with the Fermi Large Area Telescope

abstract: While SNRs have been considered the most relevant Galactic CR accelerators for decades, CCSNe could accelerate particles during the earliest stages of their evolution and hence contribute to the CR energy budget in the Galaxy. Some SNRs have indeed been associated with TeV gamma-rays, yet proton acceleration efficiency during the early stages of an SN expansion remains mostly unconstrained. The multi-wavelength observation of SN 2023ixf, a Type II SN in the nearby galaxy M101, opens the possibility to constrain CR acceleration within a few days after the collapse of the RSG stellar progenitor. With this work, we intend to provide a phenomenological, quasi-model-independent constraint on the CR acceleration efficiency during this event at photon energies above 100 MeV. We performed a maximum-likelihood analysis of gamma-ray data from the Fermi Large Area Telescope up to one month after the SN explosion. We searched for high-energy emission from its expanding shock, and estimated the underlying hadronic CR energy reservoir assuming a power-law proton distribution consistent with standard diffusive shock acceleration. We do not find significant gamma-ray emission from SN 2023ixf. Nonetheless, our non-detection provides the first limit on the energy transferred to the population of hadronic CRs during the very early expansion of a CCSN. Under reasonable assumptions, our limits would imply a maximum efficiency on the CR acceleration of as low as 1%, which is inconsistent with the common estimate of 10% in generic SNe. However, this result is highly dependent on the assumed geometry of the circumstellar medium, and could be relaxed back to 10% by challenging spherical symmetry. A more sophisticated, inhomogeneous characterisation of the shock and the progenitor's environment is required before establishing whether or not Type II SNe are indeed efficient CR accelerators at early times.


title: Bilinear oscillatory Fourier multipliers

abstract: For bilinear Fourier multipliers that contain some oscillatory factors, boundedness of the operators between Lebesgue spaces is given including endpoint cases. Sharpness of the result is also considered.


title: Computation of the solution for the 2D acoustic pulse propagation

abstract: We consider the 2D acoustic system with the Gaussian pulse as the initial data. This case was proposed at the first Workshop on benchmark problems in computational aeroacoustics, and it is commonly used for the verification of numerical methods. We construct an efficient algorithm to evaluate the exact solution for a given time t and distance r. For a precision eps, it takes c*ln(1/eps) operations (the evaluation of a Bessel function counts as one operation) where c does not depend on t and r. This becomes possible by using three different integral representations and an asymptotic series depending on t and r.


title: Enhancing Sign Language Teaching: A Mixed Reality Approach for Immersive Learning and Multi-Dimensional Feedback

abstract: Traditional sign language teaching methods face challenges such as limited feedback and diverse learning scenarios. Although 2D resources lack real-time feedback, classroom teaching is constrained by a scarcity of teacher. Methods based on VR and AR have relatively primitive interaction feedback mechanisms. This study proposes an innovative teaching model that uses real-time monocular vision and mixed reality technology. First, we introduce an improved hand-posture reconstruction method to achieve sign language semantic retention and real-time feedback. Second, a ternary system evaluation algorithm is proposed for a comprehensive assessment, maintaining good consistency with experts in sign language. Furthermore, we use mixed reality technology to construct a scenario-based 3D sign language classroom and explore the user experience of scenario teaching. Overall, this paper presents a novel teaching method that provides an immersive learning experience, advanced posture reconstruction, and precise feedback, achieving positive feedback on user experience and learning effectiveness.


title: BoLD: Fast and Cheap Dispute Resolution

abstract: BoLD is a new dispute resolution protocol that is designed to replace the originally deployed Arbitrum dispute resolution protocol. Unlike that protocol, BoLD is resistant to delay attacks. It achieves this resistance without a significant increase in onchain computation costs and with reduced staking costs.


title: Efficient structural relaxation based on the random phase approximation: Applications to the water clusters

abstract: We report an improved implementation for evaluating the analytical gradients of the random phase approximation (RPA) electron-correlation energy based on atomic orbitals and the localized resolution of identity scheme. The more efficient RPA force calculations allow us to relax structures of medium-size water clusters. Particular attention is paid to the structures and energy orderings of the low-energy isomers of (H$_2$O)$_n$ clusters with $n=21$, 22, and 25. It is found that the energy ordering of the low-energy isomers of these water clusters are rather sensitive to how their structures are determined. For the five low-energy isomers of (H$_2$O)$_{25}$, the RPA energy ordering based on the RPA geometries is quite different from that based on the geometries relaxed by lower-level theories, in contrast with the situation of small water clusters like the water hexamer. The standard RPA underbinds the water clusters, and this underbinding behavior gets more pronounced as the complete basis set (CBS) limit is approached. The renormalized single excitation (rSE) correction remedies this underbinding, giving rise to a noticeable overbinding behavior at finite basis sets. However, as the CBS limit is approached, RPA+rSE yields an accuracy for the binding energies that is comparable to the best available double hybrid functionals, as demonstrated for the WATER27 testset.


title: Reconfigurable spin-wave platform based on interplay between nanodots and waveguide in hybrid magnonic crystal

abstract: We present a hybrid magnonic crystal composed of a chain of nanodots with strong perpendicular magnetic anisotropy and Dzyaloshinskii-Moriya interaction, positioned above a permalloy waveguide. The study examines two different magnetization states in the nanodots: a single-domain state and an egg-shaped skyrmion state. Due to the dipolar coupling between the dot and the waveguide, a strongly bound hybrid magnetization texture is formed in the system. Our numerical results show complex spin-wave spectra, combining the effects of periodicity, magnetization texture, and hybridization of the propagating waves in the waveguide with the dot/skyrmion modes. The systems are characterized by different band gap sizes. For the skyrmion state, the azimuthal modes confined to the skyrmion domain wall lead to the formation of flat bands at low frequencies, while at higher frequencies we identify among them modes interacting with the propagating waves, which can introduce additional non-Bragg band gaps, as well as isolated modes leading to the formation of bound states. On the other hand, the system with a single-domain state in nanodots offers a wide range of frequencies where the spin waves are predominantly in the waveguide. Thus, the study shows that the proposed hybrid magnonic crystals have many distinct functionalities, highlighting their reconfigurable potential, magnon-magnon couplings, mode localization, and bound states overlapping with the propagating waves. This opens up potential applications in analog and quantum magnonics, spin-wave filtering, and the establishment of magnonic neural networks.


title: BDAN: Mitigating Temporal Difference Across Electrodes in Cross-Subject Motor Imagery Classification via Generative Bridging Domain

abstract: Because of "the non-repeatability of the experiment settings and conditions" and "the variability of brain patterns among subjects", the data distributions across sessions and electrodes are different in cross-subject motor imagery (MI) studies, eventually reducing the performance of the classification model. Systematically summarised based on the existing studies, a novel temporal-electrode data distribution problem is investigated under both intra-subject and inter-subject scenarios in this paper. Based on the presented issue, a novel bridging domain adaptation network (BDAN) is proposed, aiming to minimise the data distribution difference across sessions in the aspect of the electrode, thus improving and enhancing model performance. In the proposed BDAN, deep features of all the EEG data are extracted via a specially designed spatial feature extractor. With the obtained spatio-temporal features, a special generative bridging domain is established, bridging the data from all the subjects across sessions. The difference across sessions and electrodes is then minimized using the customized bridging loss functions, and the known knowledge is automatically transferred through the constructed bridging domain. To show the effectiveness of the proposed BDAN, comparison experiments and ablation studies are conducted on a public EEG dataset. The overall comparison results demonstrate the superior performance of the proposed BDAN compared with the other advanced deep learning and domain adaptation methods.


title: Assumption-Lean Quantile Regression

abstract: Quantile regression is a powerful tool for detecting exposure-outcome associations given covariates across different parts of the outcome's distribution, but has two major limitations when the aim is to infer the effect of an exposure. Firstly, the exposure coefficient estimator may not converge to a meaningful quantity when the model is misspecified, and secondly, variable selection methods may induce bias and excess uncertainty, rendering inferences biased and overly optimistic. In this paper, we address these issues via partially linear quantile regression models which parametrize the conditional association of interest, but do not restrict the association with other covariates in the model. We propose consistent estimators for the unknown model parameter by mapping it onto a nonparametric main effect estimand that captures the (conditional) association of interest even when the quantile model is misspecified. This estimand is estimated using the efficient influence function under the nonparametric model, allowing for the incorporation of data-adaptive procedures such as variable selection and machine learning. Our approach provides a flexible and reliable method for detecting associations that is robust to model misspecification and excess uncertainty induced by variable selection methods. The proposal is illustrated using simulation studies and data on annual health care costs associated with excess body weight.


title: Spiral of Silence: How is Large Language Model Killing Information Retrieval? -- A Case Study on Open Domain Question Answering

abstract: The practice of Retrieval-Augmented Generation (RAG), which integrates Large Language Models (LLMs) with retrieval systems, has become increasingly prevalent. However, the repercussions of LLM-derived content infiltrating the web and influencing the retrieval-generation feedback loop are largely uncharted territories. In this study, we construct and iteratively run a simulation pipeline to deeply investigate the short-term and long-term effects of LLM text on RAG systems. Taking the trending Open Domain Question Answering (ODQA) task as a point of entry, our findings reveal a potential digital "Spiral of Silence" effect, with LLM-generated text consistently outperforming human-authored content in search rankings, thereby diminishing the presence and impact of human contributions online. This trend risks creating an imbalanced information ecosystem, where the unchecked proliferation of erroneous LLM-generated content may result in the marginalization of accurate information. We urge the academic community to take heed of this potential issue, ensuring a diverse and authentic digital information landscape.


title: Subsequences With Generalised Gap Constraints: Upper and Lower Complexity Bounds

abstract: For two strings u, v over some alphabet A, we investigate the problem of embedding u into w as a subsequence under the presence of generalised gap constraints. A generalised gap constraint is a triple (i, j, C_{i, j}), where 1 <= i < j <= |u| and C_{i, j} is a subset of A^*. Embedding u as a subsequence into v such that (i, j, C_{i, j}) is satisfied means that if u[i] and u[j] are mapped to v[k] and v[l], respectively, then the induced gap v[k + 1..l - 1] must be a string from C_{i, j}. This generalises the setting recently investigated in [Day et al., ISAAC 2022], where only gap constraints of the form C_{i, i + 1} are considered, as well as the setting from [Kosche et al., RP 2022], where only gap constraints of the form C_{1, |u|} are considered. We show that subsequence matching under generalised gap constraints is NP-hard, and we complement this general lower bound with a thorough (parameterised) complexity analysis. Moreover, we identify several efficiently solvable subclasses that result from restricting the interval structure induced by the generalised gap constraints.


title: LAECIPS: Large Vision Model Assisted Adaptive Edge-Cloud Collaboration for IoT-based Perception System

abstract: Recent large vision models (e.g., SAM) enjoy great potential to facilitate intelligent perception with high accuracy. Yet, the resource constraints in the IoT environment tend to limit such large vision models to be locally deployed, incurring considerable inference latency thereby making it difficult to support real-time applications, such as autonomous driving and robotics. Edge-cloud collaboration with large-small model co-inference offers a promising approach to achieving high inference accuracy and low latency. However, existing edge-cloud collaboration methods are tightly coupled with the model architecture and cannot adapt to the dynamic data drifts in heterogeneous IoT environments. To address the issues, we propose LAECIPS, a new edge-cloud collaboration framework. In LAECIPS, both the large vision model on the cloud and the lightweight model on the edge are plug-and-play. We design an edge-cloud collaboration strategy based on hard input mining, optimized for both high accuracy and low latency. We propose to update the edge model and its collaboration strategy with the cloud under the supervision of the large vision model, so as to adapt to the dynamic IoT data streams. Theoretical analysis of LAECIPS proves its feasibility. Experiments conducted in a robotic semantic segmentation system using real-world datasets show that LAECIPS outperforms its state-of-the-art competitors in accuracy, latency, and communication overhead while having better adaptability to dynamic environments.


title: Robust Noisy Label Learning via Two-Stream Sample Distillation

abstract: Noisy label learning aims to learn robust networks under the supervision of noisy labels, which plays a critical role in deep learning. Existing work either conducts sample selection or label correction to deal with noisy labels during the model training process. In this paper, we design a simple yet effective sample selection framework, termed Two-Stream Sample Distillation (TSSD), for noisy label learning, which can extract more high-quality samples with clean labels to improve the robustness of network training. Firstly, a novel Parallel Sample Division (PSD) module is designed to generate a certain training set with sufficient reliable positive and negative samples by jointly considering the sample structure in feature space and the human prior in loss space. Secondly, a novel Meta Sample Purification (MSP) module is further designed to mine adequate semi-hard samples from the remaining uncertain training set by learning a strong meta classifier with extra golden data. As a result, more and more high-quality samples will be distilled from the noisy training set to train networks robustly in every iteration. Extensive experiments on four benchmark datasets, including CIFAR-10, CIFAR-100, Tiny-ImageNet, and Clothing-1M, show that our method has achieved state-of-the-art results over its competitors.


title: When Emotional Stimuli meet Prompt Designing: An Auto-Prompt Graphical Paradigm

abstract: With the development of Large Language Models (LLM), numerous prompts have been proposed, each with a rich set of features and their own merits. This paper summarizes the prompt words for large language models (LLMs), categorizing them into stimulating and framework types, and proposes an Auto-Prompt Graphical Paradigm(APGP) that combines both stimulating and framework prompts to enhance the problem-solving capabilities of LLMs across multiple domains, then exemplifies it with a framework that adheres to this paradigm. The framework involves automated prompt generation and consideration of emotion-stimulus factors, guiding LLMs in problem abstraction, diversified solutions generation, comprehensive optimization, and self-verification after providing answers, ensuring solution accuracy. Compared to traditional stimuli and framework prompts, this framework integrates the advantages of both by adopting automated approaches inspired by APE work, overcoming the limitations of manually designed prompts. Test results on the ruozhiba and BBH datasets demonstrate that this framework can effectively improve the efficiency and accuracy of LLMs in problem-solving, paving the way for new applications of LLMs.


title: Self-Supervised Visual Preference Alignment

abstract: This paper makes the first attempt towards unsupervised preference alignment in Vision-Language Models (VLMs). We generate chosen and rejected responses with regard to the original and augmented image pairs, and conduct preference alignment with direct preference optimization. It is based on a core idea: properly designed augmentation to the image input will induce VLM to generate false but hard negative responses, which helps the model to learn from and produce more robust and powerful answers. The whole pipeline no longer hinges on supervision from GPT4 or human involvement during alignment, and is highly efficient with few lines of code. With only 8k randomly sampled unsupervised data, it achieves 90\% relative score to GPT-4 on complex reasoning in LLaVA-Bench, and improves LLaVA-7B/13B by 6.7\%/5.6\% score on complex multi-modal benchmark MM-Vet. Visualizations shows its improved ability to align with user-intentions. A series of ablations are firmly conducted to reveal the latent mechanism of the approach, which also indicates its potential towards further scaling. Code will be available.


title: Representations of Noisy $N$-Ports

abstract: Much has been written about the representation of noisy linear 2-ports. Here we present a theory of noisy $N$-ports. We show how in the general case there are $(2N)!/(N!)^2$ equivalent representations and give the transformations relating them. We also discuss singular cases in which some of the transformations are not possible as well as how to measure the noise properties of an $N$-port. This work is motivated by the REACH experiment to observe the global 21 cm signal for which modelling noise with exquisite precision is essential for a reliable calibration.


title: A Sentiment Analysis of Medical Text Based on Deep Learning

abstract: The field of natural language processing (NLP) has made significant progress with the rapid development of deep learning technologies. One of the research directions in text sentiment analysis is sentiment analysis of medical texts, which holds great potential for application in clinical diagnosis. However, the medical field currently lacks sufficient text datasets, and the effectiveness of sentiment analysis is greatly impacted by different model design approaches, which presents challenges. Therefore, this paper focuses on the medical domain, using bidirectional encoder representations from transformers (BERT) as the basic pre-trained model and experimenting with modules such as convolutional neural network (CNN), fully connected network (FCN), and graph convolutional networks (GCN) at the output layer. Experiments and analyses were conducted on the METS-CoV dataset to explore the training performance after integrating different deep learning networks. The results indicate that CNN models outperform other networks when trained on smaller medical text datasets in combination with pre-trained models like BERT. This study highlights the significance of model selection in achieving effective sentiment analysis in the medical domain and provides a reference for future research to develop more efficient model architectures.


title: Existence and multiplicity of blow-up profiles for a quasilinear diffusion equation with source

abstract: We classify radially symmetric self-similar profiles presenting finite time blow-up to the quasilinear diffusion equation with weighted source $$ u_t=\Delta u^m+|x|^{\sigma}u^p, $$ posed for $(x,t)\in\real^N\times(0,T)$, $T>0$, in dimension $N\geq1$ and in the range of exponents $-2<\sigma<\infty$, $1<m<p<p_s(\sigma)$, where $$ p_s(\sigma)=\left\{\begin{array}{ll}\frac{m(N+2\sigma+2)}{N-2}, & N\geq3,\\ +\infty, & N\in\{1,2\},\end{array}\right. $$ is the renowned Sobolev critical exponent. The most interesting result is the \emph{multiplicity of two different types} of self-similar profiles for $p$ sufficiently close to $m$ and $\sigma$ sufficiently close to zero in dimension $N\geq2$, including \emph{dead-core profiles}. For $\sigma=0$, this answers in dimension $N\geq2$ a question still left open in \cite[Section IV.1.4, pp. 195-196]{S4}, where only multiplicity in dimension $N=1$ had been established. Besides this result, we also prove that, for any $\sigma\in(-2,0)$, $N\geq1$ and $m<p<p_s(\sigma)$ \emph{existence} of at least a self-similar blow-up profile is granted. In strong contrast with the previous results, given any $N\geq1$, $\sigma\geq\sigma^*=(mN+2)/(m-1)$ and $p\in(m,p_s(\sigma))$, \emph{non-existence} of any radially symmetric self-similar profile is proved.


title: Data Collection of Real-Life Knowledge Work in Context: The RLKWiC Dataset

abstract: Over the years, various approaches have been employed to enhance the productivity of knowledge workers, from addressing psychological well-being to the development of personal knowledge assistants. A significant challenge in this research area has been the absence of a comprehensive, publicly accessible dataset that mirrors real-world knowledge work. Although a handful of datasets exist, many are restricted in access or lack vital information dimensions, complicating meaningful comparison and benchmarking in the domain. This paper presents RLKWiC, a novel dataset of Real-Life Knowledge Work in Context, derived from monitoring the computer interactions of eight participants over a span of two months. As the first publicly available dataset offering a wealth of essential information dimensions (such as explicated contexts, textual contents, and semantics), RLKWiC seeks to address the research gap in the personal information management domain, providing valuable insights for modeling user behavior.


title: Restoring Connectivity in Vascular Segmentation using a Learned Post-Processing Model

abstract: Accurate segmentation of vascular networks is essential for computer-aided tools designed to address cardiovascular diseases. Despite more than thirty years of research, it remains a challenge to obtain vascular segmentation results that preserve the connectivity of the underlying vascular network. Yet connectivity is one of the key feature of these tools. In this work, we propose a post-processing algorithm aiming to reconnect vascular structures that have been disconnected by a segmentation algorithm. Connectivity being a complex property to model explicity, we propose to learn this geometric feature either through synthetic data or annotations of the application of interest. The resulting post-processing model can be used on the output of any supervised or unsupervised vascular segmentation algorithm. We show that this post-processing effectively restores the connectivity of vascular networks both in 2D and 3D images, leading to improved overall segmentation results.


title: Superradiant Darwinism: survival of the lightest axion

abstract: We study the dynamical evolution of superradiant instabilities of rotating black holes for multiple axion fields with comparable masses, motivated by string theory constructions, which typically exhibit a large number of light axions, with a broad range of masses. We show, in particular, that even though superradiant clouds for the heavier axion species grow faster, they are eventually reabsorbed by the black hole as the latter amplifies the lighter axion field(s), analogously to the dynamics of different species competing for the same resources in an ecosystem. We also incorporate in our study the effects of accretion and gravitational wave emission. We further demonstrate that the existence of multiple axion species with comparable masses may have a substantial impact on the stochastic gravitational wave background produced by axion clouds around black hole binary merger remnants, which could be probed with planned detectors.


title: White Men Lead, Black Women Help? Benchmarking Language Agency Social Biases in LLMs

abstract: Language agency is an important aspect of evaluating social biases in texts. While several studies approached agency-related bias in human-written language, very limited research has investigated such biases in Large Language Model (LLM)-generated content. In addition, previous research often relies on string-matching techniques to identify agentic and communal words within texts, which fall short of accurately classifying language agency. We introduce the novel Language Agency Bias Evaluation (LABE) benchmark, which comprehensively evaluates biases in LLMs by analyzing agency levels attributed to different demographic groups in model generations. LABE leverages 5,400 template-based prompts, an accurate agency classifier, and corresponding bias metrics to test for gender, racial, and intersectional language agency biases in LLMs on 3 text generation tasks: biographies, professor reviews, and reference letters. To build better and more accurate automated agency classifiers, we also contribute and release the Language Agency Classification (LAC) dataset, consisting of 3,724 agentic and communal sentences. Using LABE, we unveil previously under-explored language agency social biases in 3 recent LLMs: ChatGPT, Llama3, and Mistral. We observe that: (1) For the same text category, LLM generations demonstrate higher levels of gender bias than human-written texts; (2) On most generation tasks, models show remarkably higher levels of intersectional bias than the other bias aspects. Those who are at the intersection of gender and racial minority groups -- such as Black females -- are consistently described by texts with lower levels of agency; (3) Among the 3 LLMs investigated, Llama3 demonstrates greatest overall bias in language agency; (4) Not only does prompt-based mitigation fail to resolve language agency bias in LLMs, but it frequently leads to the exacerbation of biases in generated texts.


title: Dependability in Embedded Systems: A Survey of Fault Tolerance Methods and Software-Based Mitigation Techniques

abstract: Fault tolerance is a critical aspect of modern computing systems, ensuring correct functionality in the presence of faults. This paper presents a comprehensive survey of fault tolerance methods and software-based mitigation techniques in embedded systems. The focus is on real-time embedded systems, considering their resource constraints and the increasing interconnectivity of computing systems in commercial and industrial applications. The survey covers various fault-tolerance methods, including hardware, software, and hybrid redundancy. Particular emphasis is given to software faults, acknowledging their significance as a leading cause of system failures. Moreover, the paper explores the challenges posed by soft errors in modern computing systems. The survey concludes by emphasizing the need for continued research and development in fault-tolerance methods, specifically in the context of real-time embedded systems, and highlights the potential for extending fault-tolerance approaches to diverse computing environments.


title: Anisotropic magnetic and quadrupolar H-T phase diagram of CeRh2As2

abstract: The tetragonal heavy fermion compound CeRh2As2 has intriguing low temperature symmetry breaking phases whose nature is unclear. The unconventional superconducting phase is complemented by other normal state phases which presumably involve ordering of 4f electron multipoles supported by the Kramers doublets split by the tetragonal CEF. The most striking aspect is the pronounced anisotropic H-T phase boundary for in- and out-of plane field direction. Using a localised 4f CEF model we demonstrate that its essential features can be understood as the result of competing low field easy-plane magnetic order and field-induced quadrupolar order of xy type. We present calculations based on coupled multipole RPA response function approach as well as molecular field treatment in the ordered regime. We use an analytical approach for a reduced quasi-quartet model and numerical calculations for the complete CEF level scheme. We discuss the quantum critical properties as function of multipolar control parameters and explain the origin of a pronounced a-c anisotropy of the H-T phase diagram. Finally the field and temperature evolution of multipolar order parameters is derived and the high field phase diagram is predicted.


title: Balancing-based model reduction for switched descriptor systems

abstract: We present a novel certified model order reduction (MOR) algorithm for switched descriptor systems applicable to large-scale systems. Our algorithm combines the idea of [Hossain \& Trenn, Technical report, 2023] to reformulate the switched descriptor system as a switched ordinary differential equation with jumps and an extension of the balanced truncation for switched ODE from [Pontes Duff et al., IEEE Trans.~Automat.~Control, 2020]. Besides being the first MOR method for switched descriptor systems applicable to the large-scale setting, we give a detailed numerical analysis by incorporating the error in the computation of the system Gramians in the a-priori error bound for the output of the reduced system. In more detail, we demonstrate, theoretically and numerically, that the standard error bound is not applicable, and a certificate must account for the numerical approximation errors.


title: Four-hour thunderstorm nowcasting using deep diffusion models of satellite

abstract: Convection (thunderstorm) develops rapidly within hours and is highly destructive, posing a significant challenge for nowcasting and resulting in substantial losses to nature and society. After the emergence of artificial intelligence (AI)-based methods, convection nowcasting has experienced rapid advancements, with its performance surpassing that of physics-based numerical weather prediction and other conventional approaches. However, the lead time and coverage of it still leave much to be desired and hardly meet the needs of disaster emergency response. Here, we propose a deep diffusion model of satellite (DDMS) to establish an AI-based convection nowcasting system. On one hand, it employs diffusion processes to effectively simulate complicated spatiotemporal evolution patterns of convective clouds, significantly improving the forecast lead time. On the other hand, it utilizes geostationary satellite brightness temperature data, thereby achieving planetary-scale forecast coverage. During long-term tests and objective validation based on the FengYun-4A satellite, our system achieves, for the first time, effective convection nowcasting up to 4 hours, with broad coverage (about 20,000,000 km2), remarkable accuracy, and high resolution (15 minutes; 4 km). Its performance reaches a new height in convection nowcasting compared to the existing models. In terms of application, our system operates efficiently (forecasting 4 hours of convection in 8 minutes), and is highly transferable with the potential to collaborate with multiple satellites for global convection nowcasting. Furthermore, our results highlight the remarkable capabilities of diffusion models in convective clouds forecasting, as well as the significant value of geostationary satellite data when empowered by AI technologies.


title: CoTAR: Chain-of-Thought Attribution Reasoning with Multi-level Granularity

abstract: State-of-the-art performance in QA tasks is currently achieved by systems employing Large Language Models (LLMs), however these models tend to hallucinate information in their responses. One approach focuses on enhancing the generation process by incorporating attribution from the given input to the output. However, the challenge of identifying appropriate attributions and verifying their accuracy against a source is a complex task that requires significant improvements in assessing such systems. We introduce an attribution-oriented Chain-of-Thought reasoning method to enhance the accuracy of attributions. This approach focuses the reasoning process on generating an attribution-centric output. Evaluations on two context-enhanced question-answering datasets using GPT-4 demonstrate improved accuracy and correctness of attributions. In addition, the combination of our method with finetuning enhances the response and attribution accuracy of two smaller LLMs, showing their potential to outperform GPT-4 in some cases.


title: Simple $k$-crashing Plan with a Good Approximation Ratio

abstract: In project management, a project is typically described as an activity-on-edge network (AOE network), where each activity / job is represented as an edge of some network $N$ (which is a DAG). Some jobs must be finished before others can be started, as described by the topology structure of $N$. It is known that job $j_i$ in normal speed would require $b_i$ days to be finished after it is started. Given the network $N$ with the associated edge lengths $b_1,\ldots,b_m$, the duration of the project is determined, which equals the length of the critical path (namely, the longest path) of $N$. To speed up the project (i.e. reduce the duration), the manager can crash a few jobs (namely, reduce the length of the corresponding edges) by investing extra resources into that job. However, the time for completing $j_i$ has a lower bound due to technological limits -- it requires at least $a_i$ days to be completed. Moreover, it is expensive to buy resources. Given $N$ and an integer $k\geq 1$, the $k$-crashing problem asks the minimum amount of resources required to speed up the project by $k$ days. We show a simple and efficient algorithm with an approximation ratio $\frac{1}{1}+\ldots+\frac{1}{k}$ for this problem. We also study a related problem called $k$-LIS, in which we are given a sequence $\omega$ of numbers and we aim to find $k$ disjoint increasing subsequence of $\omega$ with the largest total length. We show a $(1-\frac{1}{e})$-approximation algorithm which is simple and efficient.


title: An Enhanced Differential Grouping Method for Large-Scale Overlapping Problems

abstract: Large-scale overlapping problems are prevalent in practical engineering applications, and the optimization challenge is significantly amplified due to the existence of shared variables. Decomposition-based cooperative coevolution (CC) algorithms have demonstrated promising performance in addressing large-scale overlapping problems. However, current CC frameworks designed for overlapping problems rely on grouping methods for the identification of overlapping problem structures and the current grouping methods for large-scale overlapping problems fail to consider both accuracy and efficiency simultaneously. In this article, we propose a two-stage enhanced grouping method for large-scale overlapping problems, called OEDG, which achieves accurate grouping while significantly reducing computational resource consumption. In the first stage, OEDG employs a grouping method based on the finite differences principle to identify all subcomponents and shared variables. In the second stage, we propose two grouping refinement methods, called subcomponent union detection (SUD) and subcomponent detection (SD), to enhance and refine the grouping results. SUD examines the information of the subcomponents and shared variables obtained in the previous stage, and SD corrects inaccurate grouping results. To better verify the performance of the proposed OEDG, we propose a series of novel benchmarks that consider various properties of large-scale overlapping problems, including the topology structure, overlapping degree, and separability. Extensive experimental results demonstrate that OEDG is capable of accurately grouping different types of large-scale overlapping problems while consuming fewer computational resources. Finally, we empirically verify that the proposed OEDG can effectively improve the optimization performance of diverse large-scale overlapping problems.


title: Exact descriptional complexity of determinization of input-driven pushdown automata

abstract: The number of states and stack symbols needed to determinize nondeterministic input-driven pushdown automata (NIDPDA) working over a fixed alphabet is determined precisely. It is proved that in the worst case exactly 2^{n^2} states are needed to determinize an n-state NIDPDA, and the proof uses witness automata with a stack alphabet \Gamma = {0,1} working on strings over a 4-symbol input alphabet (Only an asymptotic lower bound was known before in the case of a fixed alphabet). Also, the impact of NIDPDA determinization on the size of stack alphabet is determined precisely for the first time: it is proved that s(2^{n^2}-1) stack symbols are necessary in the worst case to determinize an n-state NIDPDA working over an input alphabet of size s+5 with s left brackets (The previous lower bound was only asymptotic in the number of states and did not depend on the number of left brackets).


title: Magnetic Evolution of an Active Region Producing Successive Flares and Confined Eruptions

abstract: We analyze the magnetic evolution of solar active region (AR) NOAA 11476 that, between 9 and 10 May 2012, produced a series of surge-type eruptions accompanied by GOES X-ray class M flares. Using force-free models of the AR coronal structure and observations in several wavelengths, in previous works we studied the detailed evolution of those eruptions, relating them to the characteristic magnetic topology of the AR and reconstructing the involved reconnection scheme. We found that the eruptions were due to the ejection of minifilaments, which were recurrently ejected and reformed at the polarity inversion line of a bipole that emerged in the middle of the positive main AR magnetic polarity. The bipole was observed to rotate for several tens of hours before the events. In this article we analyze, for the full AR and the rotating bipole, the evolution of a series of magnetic parameters computed using the Helioseismic and Magnetic Imager (HMI) vector magnetograms. We combine this analysis with estimations of the injection of magnetic energy and helicity obtained using the Differential Affine Velocity Estimator for Vector Magnetograms (DAVE4VM) method that determines, from vector magnetograms, the affine velocity field constrained by the induction equation. From our results, we conclude that the bipole rotation was the main driver that provided the magnetic energy and helicity involved in the minifilament destabilizations and ejections. The results also suggest that the observed rotation is probably due to the emergence of a kinked magnetic flux rope with negative writhe helicity.


title: MobileNetV4 -- Universal Models for the Mobile Ecosystem

abstract: We present the latest generation of MobileNets, known as MobileNetV4 (MNv4), featuring universally efficient architecture designs for mobile devices. At its core, we introduce the Universal Inverted Bottleneck (UIB) search block, a unified and flexible structure that merges Inverted Bottleneck (IB), ConvNext, Feed Forward Network (FFN), and a novel Extra Depthwise (ExtraDW) variant. Alongside UIB, we present Mobile MQA, an attention block tailored for mobile accelerators, delivering a significant 39% speedup. An optimized neural architecture search (NAS) recipe is also introduced which improves MNv4 search effectiveness. The integration of UIB, Mobile MQA and the refined NAS recipe results in a new suite of MNv4 models that are mostly Pareto optimal across mobile CPUs, DSPs, GPUs, as well as specialized accelerators like Apple Neural Engine and Google Pixel EdgeTPU - a characteristic not found in any other models tested. Finally, to further boost accuracy, we introduce a novel distillation technique. Enhanced by this technique, our MNv4-Hybrid-Large model delivers 87% ImageNet-1K accuracy, with a Pixel 8 EdgeTPU runtime of just 3.8ms.


title: Optical absorption in tilted geometries as an indirect measurement of longitudinal plasma waves in layered cuprates

abstract: Electromagnetic waves propagating in a layered superconductor with arbitrary momentum with respect to the main crystallographic directions display an unavoidable mixing between longitudinal and transverse degrees of freedom. Here we show that this basic physical mechanism explains the emergence of a well-defined absorption peak in the in-plane optical conductivity for light propagating at small tilting angles with respect to the stacking direction in layered cuprates. More specifically, we show that this peak, often interpreted as a spurious leakage of the $c$-axis Josephson plasmon, is instead a signature of the true longitudinal plasma mode occurring at larger momenta. By combining a classical approach based on Maxwell's equations with a full quantum derivation of the plasma modes based on the modelling of the superconducting phase degrees of freedom, we provide an analytical expression for the absorption peak as a function of the tilting angle and light polarization. We suggest that an all-optical measurement in tilted geometry can be used as an alternative way to access plasma-wave dispersion, usually measured by means of large-momenta scattering techniques like resonant inelastic X-ray scattering (RIXS) or electron energy loss spectroscopy (EELS).


title: A Game-Theoretic Approach for PMU Deployment Against False Data Injection Attacks

abstract: Phasor Measurement Units (PMUs) are used in the measurement, control and protection of power grids. However, deploying PMUs at every bus in a power system is prohibitively expensive, necessitating partial PMU placement that can ensure system observability with minimal units. One consequence of this economic approach is increased system vulnerability to False Data Injection Attacks (FDIAs). This paper proposes a zero-sum game-based approach to strategically place an additional PMU (following the initial optimal PMU deployment that ensures full observability) to bolster robustness against FDIAs by introducing redundancy in attack-susceptible areas. To compute the Nash equilibrium (NE) solution, we leverage a reinforcement learning algorithm that mitigates the need for complete knowledge of the opponent's actions. The proposed PMU deployment algorithm increases the detection rate of FDIA by 36% compared to benchmark algorithms.


title: Finiteness of the number of irreducible $\lambda$-quiddities over a finite commutative and unitary ring

abstract: $\lambda$-quiddities of size $n$ are $n$-tuples of elements of a fixed set, solutions of a matrix equation appearing in the study of Coxeter's friezes. The study of these solutions involves in particular the use of a notion of irreducibility. The main objective of this text is to show that there is a finite number of irreducible $\lambda$-quiddities over a finite unitary commutative ring and to obtain in this case an upper bound of the maximal size of them.


title: Direct imaging of exoplanets: Legacy and prospects

abstract: Understanding how giant and terrestrial planets form and evolve, what is their internal structure and that of their atmosphere, represents one of the major challenges of modern astronomy, which is directly connected to the ultimate search for life at the horizon 2040. However, several astrophysical, biological and technological obstacles must be overcome. From the astrophysical point of view, it is indeed crucial to understand the mechanisms of formation and evolution of giant planets, including planet and disk interactions, which will completely sculpt the planetary architectures and thus dominate the formation of terrestrial planets, especially in regions around the host star capable of supporting life. It is also important to develop dedicated instrumentation and techniques to study in their totality the population of giant and terrestrial planets, but also to reveal in the near future the first biological clues of life in the atmospheres of terrestrial planets. In that perspective, direct imaging from ground-based observatories or in space is playing a central role in concert with other observing techniques. This review introduces the genesis of this observing technique, the main instrumental innovation and challenges, stellar targets and surveys, to then present the main results obtained so far about the physics and the mechanisms of formation and evolution of young giant planets and planetary system architectures. I will then present the exciting perspectives offered by the upcoming generation of planet imagers about to come online, particularly on the future extremely large telescopes. On the timescale of a human Life, we may well be witnessing the first discovery of an exoplanet and the first detection of indices of life in the atmosphere of a nearby exo-Earth!


title: Capturing the Macroscopic Behaviour of Molecular Dynamics with Membership Functions

abstract: Markov processes serve as foundational models in many scientific disciplines, such as molecular dynamics, and their simulation forms a common basis for analysis. While simulations produce useful trajectories, obtaining macroscopic information directly from microstate data presents significant challenges. This paper addresses this gap by introducing the concept of membership functions being the macrostates themselves. We derive equations for the holding times of these macrostates and demonstrate their consistency with the classical definition. Furthermore, we discuss the application of the ISOKANN method for learning these quantities from simulation data. In addition, we present a novel method for extracting transition paths from simulations based on the ISOKANN results and demonstrate its efficacy by applying it to simulations of the {\mu}-opioid receptor. With this approach we provide a new perspective on the analysis of macroscopic behaviour of Markov systems.


title: Scalar field dark matter with time-varying equation of state

abstract: We propose a new model of scalar field dark matter interacting with dark energy. Adopting a fluid description of the dark matter field in the regime of rapid oscillations, we find that the equation of state for dark matter is non-zero and even becomes increasingly negative at late times during dark energy domination. Furthermore, the speed of sound of dark matter is non-vanishing at all length scales, and a non-adiabatic pressure contribution arises. The results indicate that there are still unexplored possible interactions within the dark sector that lead to novel background effects and can impact structure formation processes.


title: Breaking of Time Translation Symmetry and Ergodicity, and Entropy decrease in a Continuous Time Crystal Driven by Nonreciprocal Optical Forces

abstract: Nonreciprocal nonequilibrium process are attracting growing interest in sociology, animal behaviour, chemistry, and nanotechnology, and may have played a role in the origin of life. It is less widely recognized, however, that in open systems light can induce nonreciprocal predator-prey like forces between nanoparticles. Such forces provide access to the continuous time crystal state of matter, which has been demonstrated in a plasmonic metamaterial array of nanowires wherein light triggers a spontaneous mobilization transition to the robust oscillatory state, breaking time translation symmetry. Here, we report on the first experimental study of the transient dynamics of light-induced mobilization and demobilization in a time crystal. By analysing time resolved phase trajectories of the system of nanowires, we show that the mobilization transition is accompanied by breaking of continuous time translation symmetry and ergodicity, and a decrease in the entropy of motion. This insight into the transient dynamics of a nonreciprocity-driven time crystal is relevant to optical timetronics, an information and communications technology paradigm relying on the unique functionalities of time crystals, and applications of the interacting nanowire oscillator platform to modelling a wide range of nonreciprocal processes from many-body dynamics to the early stages of matter-to-life transitions.


title: Variabilities in the polar field and solar cycle due to irregular properties of Bipolar Magnetic Regions

abstract: Decay and dispersal of the tilted Bipolar Magnetic Regions (BMRs) on the solar surface are observed to produce large-scale poloidal field, which acts as the seed for the toroidal field and, thus, the next sunspot cycle. However, various properties of BMR, namely, the tilt, time delay between successive emergences, location, and flux, all have irregular variations. Previous studies show that these variations can lead to changes in the polar field. In this study, we first demonstrate that our 3D kinematic dynamo model, STABLE, reproduces the robust feature of the surface flux transport (SFT) model, namely the variation of the generated dipole moment with the latitude of the BMR position. Using STABLE in both SFT and dynamo modes, we perform simulations by varying the individual properties of BMR and keeping their distributions the same in all the cycles as inspired by the observations. We find that randomness due to the distribution in either the time delay or the BMR latitude produces negligible variation in the polar field and the solar cycle. However, randomness due to BMR flux distribution produces substantial effects, while the scatter in the tilt around Joy law produces the largest variation. Our comparative analyses suggest that the scatter of BMR tilt around Joy law is the major cause of variation in the solar cycle. Furthermore, our simulations also show that the magnetic field-dependent time delay of BMR emergence produces more realistic features of the magnetic cycle, consistent with observation.


title: SPVLoc: Semantic Panoramic Viewport Matching for 6D Camera Localization in Unseen Environments

abstract: In this paper, we present SPVLoc, a global indoor localization method that accurately determines the six-dimensional (6D) camera pose of a query image and requires minimal scene-specific prior knowledge and no scene-specific training. Our approach employs a novel matching procedure to localize the perspective camera's viewport, given as an RGB image, within a set of panoramic semantic layout representations of the indoor environment. The panoramas are rendered from an untextured 3D reference model, which only comprises approximate structural information about room shapes, along with door and window annotations. We demonstrate that a straightforward convolutional network structure can successfully achieve image-to-panorama and ultimately image-to-model matching. Through a viewport classification score, we rank reference panoramas and select the best match for the query image. Then, a 6D relative pose is estimated between the chosen panorama and query image. Our experiments demonstrate that this approach not only efficiently bridges the domain gap but also generalizes well to previously unseen scenes that are not part of the training data. Moreover, it achieves superior localization accuracy compared to the state of the art methods and also estimates more degrees of freedom of the camera pose. We will make our source code publicly available at https://github.com/fraunhoferhhi/spvloc .


title: AllTheDocks road safety dataset: A cyclist's perspective and experience

abstract: Active travel is an essential component in intelligent transportation systems. Cycling, as a form of active travel, shares the road space with motorised traffic which often affects the cyclists' safety and comfort and therefore peoples' propensity to uptake cycling instead of driving. This paper presents a unique dataset, collected by cyclists across London, that includes video footage, accelerometer, GPS, and gyroscope data. The dataset is then labelled by an independent group of London cyclists to rank the safety level of each frame and to identify objects in the cyclist's field of vision that might affect their experience. Furthermore, in this dataset, the quality of the road is measured by the international roughness index of the surface, which indicates the comfort of cycling on the road. The dataset will be made available for open access in the hope of motivating more research in this area to underpin the requirements for cyclists' safety and comfort and encourage more people to replace vehicle travel with cycling.


title: Universal Displacements in Anisotropic Linear Cauchy Elasticity

abstract: Universal displacements are those displacements that can be maintained for any member of a specific class of linear elastic materials in the absence of body forces, solely by applying boundary tractions. For linear hyperelastic (Green elastic) solids, it is known that the space of universal displacements explicitly depends on the symmetry group of the material, and moreover, the larger the symmetry group the larger the set of universal displacements. Linear Cauchy elastic solids, which include linear hyperelastic solids as a special case, do not necessarily have an underlying energy function. Consequently, their elastic constants do not possess the major symmetries. In this paper, we characterize the universal displacements of anisotropic linear Cauchy elasticity. We prove the unexpected result that for each symmetry class, the set of universal displacements of linear Cauchy elasticity is identical to that of linear hyperelasticity.


title: JCGM 101-compliant uncertainty evaluation using virtual experiments

abstract: Virtual experiments (VEs), a modern tool in metrology, can be used to help perform an uncertainty evaluation for the measurand. Current guidelines in metrology do not cover the many possibilities to incorporate VEs into an uncertainty evaluation, and it is often difficult to assess if the intended use of a VE complies with said guidelines. In recent work, it was shown that a VE can be used in conjunction with real measurement data and a Monte Carlo procedure to produce equal results to a supplement of the Guide to the Expression of Uncertainty in Measurement. However, this was shown only for linear measurement models. In this work, we extend this Monte Carlo approach to a common class of non-linear measurement models and more complex VEs, providing a reference approach for suitable uncertainty evaluations involving VEs. Numerical examples are given to show that the theoretical derivations hold in a practical scenario.