Search

Based on the recently proposed framework of general relativistic stochastic mechanics and stochastic thermodynamics at the ensemble level, this work focuses on general relativistic stochastic thermodynamics at the trajectory level. The first law of stochastic thermodynamics is reformulated and the fluctuation theorems are proved on this level, with emphasis on maintaining fully general covariance and on the choice of observers., Comment: 30 pages, 2 figures. v2: fixed a typo and updated the detail of a reference

Using the recently proposed covariant framework of general relativistic stochastic mechanics and stochastic thermodynamics, we proved the detailed and integral fluctuation theorems in curved spacetime. The time-reversal transformation is described as a transformation from the perspective of future-directed observer to that of the corresponding past-directed observer, which enables us to maintain general covariance throughout the construction. The result presented in this work may be applied in understanding the origin of irreversibility in macroscopic processes in the presence of relativistic gravity, as in most astrophysical or cosmological processes., Comment: 5 pages. v2: updated the detail of a reference

The concept of Digital Twin (DT) is increasingly applied to systems on different levels of abstraction across domains, to support monitoring, analysis, diagnosis, decision making and automated control. Whilst the interest in applying DT is growing, the definition of DT is unclear, neither is there a clear pathway to develop DT to fully realise its capacities. In this paper, we revise the concept of DT and its categorisation. We propose a DT maturity matrix, based on which we propose a model-based DT development methodology. We also discuss how model-based tools can be used to support the methodology and present our own supporting tool. We report our preliminary findings with a discussion on a case study, in which we use our proposed methodology and our supporting tool to develop an extensible DT platform for the assurance of Electrical and Electronics systems of space launch vehicles.

Recent advances in diffusion models attempt to handle conditional generative tasks by utilizing a differentiable loss function for guidance without the need for additional training. While these methods achieved certain success, they often compromise on sample quality and require small guidance step sizes, leading to longer sampling processes. This paper reveals that the fundamental issue lies in the manifold deviation during the sampling process when loss guidance is employed. We theoretically show the existence of manifold deviation by establishing a certain lower bound for the estimation error of the loss guidance. To mitigate this problem, we propose Diffusion with Spherical Gaussian constraint (DSG), drawing inspiration from the concentration phenomenon in high-dimensional Gaussian distributions. DSG effectively constrains the guidance step within the intermediate data manifold through optimization and enables the use of larger guidance steps. Furthermore, we present a closed-form solution for DSG denoising with the Spherical Gaussian constraint. Notably, DSG can seamlessly integrate as a plugin module within existing training-free conditional diffusion methods. Implementing DSG merely involves a few lines of additional code with almost no extra computational overhead, yet it leads to significant performance improvements. Comprehensive experimental results in various conditional generation tasks validate the superiority and adaptability of DSG in terms of both sample quality and time efficiency., Comment: Accepted by ICML 2024

Based on the covariant underdamped and overdamped Langevin equations with Stratonovich coupling to multiplicative noises and the associated Fokker-Planck equations on Riemannian manifold, we present the first law of stochastic thermodynamics on the trajectory level. The corresponding fluctuation theorems are also established, with the total entropy production of the Brownian particle and the heat reservoir playing the role of dissipation function., Comment: 10 pages. v3: final published version

Based on the recent work [1,2], we formulate the first law and the second law of stochastic thermodynamics in the framework of general relativity. These laws are established for a charged Brownian particle moving in a heat reservoir and subjecting to an external electromagnetic field in generic stationary spacetime background, and in order to maintain general covariance, they are presented respectively in terms of the divergences of the energy current and the entropy density current. The stability of the equilibrium state is also analyzed., Comment: 16 pages, 1 figure

The general covariant Fokker-Planck equations associated with the two different versions of covariant Langevin equation in Part I of this series of work are derived, both lead to the same reduced Fokker-Planck equation for the non-normalized one particle distribution function (1PDF). The relationship between various distribution functions is clarified in this process. Several macroscopic quantities are introduced by use of the 1PDF, and the results indicate an intimate connection with the description in relativistic kinetic theory. The concept of relativistic equilibrium state of the heat reservoir is also clarified, and, under the working assumption that the Brownian particle should approach the same equilibrium distribution as the heat reservoir in the long time limit, a general covariant version of Einstein relation arises., Comment: 25 pages. Published version

Human supervisors in multi-robot systems are primarily responsible for monitoring robots, but can also be assigned with secondary tasks. These tasks can act as interruptions and can be categorized as either intrinsic, i.e., being directly related to the monitoring task, or extrinsic, i.e., being unrelated. In this paper, we investigate the impact of these two types of interruptions through a user study ($N=39$), where participants monitor a number of remote mobile robots while intermittently being interrupted by either a robot fault correction task (intrinsic) or a messaging task (extrinsic). We find that task performance of participants does not change significantly with the interruptions but depends greatly on the number of robots. However, interruptions result in an increase in perceived workload, and extrinsic interruptions have a more negative effect on workload across all NASA-TLX scales. Participants also reported switching between extrinsic interruptions and the primary task to be more difficult compared to the intrinsic interruption case. Statistical significance of these results is confirmed using ANOVA and one-sample t-test. These findings suggest that when deciding task assignment in such supervision systems, one should limit interruptions from secondary tasks, especially extrinsic ones, in order to limit user workload., Comment: 7 pages, 10 figures, 2 tables, ICRA 2023

Two different versions of relativistic Langevin equation in curved spacetime background are constructed, both are manifestly general covariant. It is argued that, from the observer's point of view, the version which takes the proper time of the Brownian particle as evolution parameter contains some conceptual issues, while the one which makes use of the proper time of the observer is more physically sound. The two versions of the relativistic Langevin equation are connected by a reparametrization scheme. In spite of the issues contained in the first version of the relativistic Langevin equation, it still permits to extract the physical probability distributions of the Brownian particles, as is shown by Monte Carlo simulation in the example case of Brownian motion in $(1+1)$-dimensional Minkowski spacetime., Comment: 23 pages. Title change and minor corrections

In this paper, we consider the problem of allocating human operator assistance in a system with multiple autonomous robots. Each robot is required to complete independent missions, each defined as a sequence of tasks. While executing a task, a robot can either operate autonomously or be teleoperated by the human operator to complete the task at a faster rate. We show that the problem of creating a teleoperation schedule that minimizes makespan of the system is NP-Hard. We formulate our problem as a Mixed Integer Linear Program, which can be used to optimally solve small to moderate sized problem instances. We also develop an anytime algorithm that makes use of the problem structure to provide a fast and high-quality solution of the operator scheduling problem, even for larger problem instances. Our key insight is to identify blocking tasks in greedily-created schedules and iteratively remove those blocks to improve the quality of the solution. Through numerical simulations, we demonstrate the benefits of the proposed algorithm as an efficient and scalable approach that outperforms other greedy methods.

In medical imaging, manual annotations can be expensive to acquire and sometimes infeasible to access, making conventional deep learning-based models difficult to scale. As a result, it would be beneficial if useful representations could be derived from raw data without the need for manual annotations. In this paper, we propose to address the problem of self-supervised representation learning with multi-modal ultrasound video-speech raw data. For this case, we assume that there is a high correlation between the ultrasound video and the corresponding narrative speech audio of the sonographer. In order to learn meaningful representations, the model needs to identify such correlation and at the same time understand the underlying anatomical features. We designed a framework to model the correspondence between video and audio without any kind of human annotations. Within this framework, we introduce cross-modal contrastive learning and an affinity-aware self-paced learning scheme to enhance correlation modelling. Experimental evaluations on multi-modal fetal ultrasound video and audio show that the proposed approach is able to learn strong representations and transfers well to downstream tasks of standard plane detection and eye-gaze prediction., Comment: MICCAI 2020 (early acceptance)

Image representations are commonly learned from class labels, which are a simplistic approximation of human image understanding. In this paper we demonstrate that transferable representations of images can be learned without manual annotations by modeling human visual attention. The basis of our analyses is a unique gaze tracking dataset of sonographers performing routine clinical fetal anomaly screenings. Models of sonographer visual attention are learned by training a convolutional neural network (CNN) to predict gaze on ultrasound video frames through visual saliency prediction or gaze-point regression. We evaluate the transferability of the learned representations to the task of ultrasound standard plane detection in two contexts. Firstly, we perform transfer learning by fine-tuning the CNN with a limited number of labeled standard plane images. We find that fine-tuning the saliency predictor is superior to training from random initialization, with an average F1-score improvement of 9.6% overall and 15.3% for the cardiac planes. Secondly, we train a simple softmax regression on the feature activations of each CNN layer in order to evaluate the representations independently of transfer learning hyper-parameters. We find that the attention models derive strong representations, approaching the precision of a fully-supervised baseline model for all but the last layer., Comment: Accepted at the international conference on Information Processing in Medical Imaging (IPMI) 2019