title: Survival probability of structures under fatigue: a data-based approach

abstract: This article addresses the probabilistic nature of fatigue life in structures subjected to cyclic loading with variable amplitude. Drawing on the formalisation of Miner's cumulative damage rule that we introduced in the recent article [Cartiaux, Ehrlacher, Legoll, Libal and Reygner, Prob. Eng. Mech. 2023], we apply our methodology to estimate the survival probability of an industrial structure using experimental data. The study considers both the randomness in the initial state of the structure and in the amplitude of loading cycles. The results indicate that the variability of loading cycles can be captured through the concept of deterministic equivalent damage, providing a computationally efficient method for assessing the fatigue life of the structure. Furthermore, the article highlights that the usual combination of Miner's rule and of the weakest link principle systematically overestimates the structure's fatigue life. On the case study that we consider, this overestimation reaches a multiplicative factor of more than two. We then describe how the probabilistic framework that we have introduced offers a remedy to this overestimation.


title: The Wide-field Spectroscopic Telescope (WST) Science White Paper

abstract: The Wide-field Spectroscopic Telescope (WST) is proposed as a new facility dedicated to the efficient delivery of spectroscopic surveys. This white paper summarises the initial concept as well as the corresponding science cases. WST will feature simultaneous operation of a large field-of-view (3 sq. degree), a high multiplex (20,000) multi-object spectrograph (MOS) and a giant 3x3 sq. arcmin integral field spectrograph (IFS). In scientific capability these requirements place WST far ahead of existing and planned facilities. Given the current investment in deep imaging surveys and noting the diagnostic power of spectroscopy, WST will fill a crucial gap in astronomical capability and work synergistically with future ground and space-based facilities. This white paper shows that WST can address outstanding scientific questions in the areas of cosmology; galaxy assembly, evolution, and enrichment, including our own Milky Way; origin of stars and planets; time domain and multi-messenger astrophysics. WST's uniquely rich dataset will deliver unforeseen discoveries in many of these areas. The WST Science Team (already including more than 500 scientists worldwide) is open to the all astronomical community. To register in the WST Science Team please visit https://www.wstelescope.com/for-scientists/participate

categories: astro-ph.IM astro-ph.CO astro-ph.EP astro-ph.GA astro-ph.SR


title: Planning and Inverse Kinematics of Hyper-Redundant Manipulators with VO-FABRIK

abstract: Hyper-redundant Robotic Manipulators (HRMs) offer great dexterity and flexibility of operation, but solving Inverse Kinematics (IK) is challenging. In this work, we introduce VO-FABRIK, an algorithm combining Forward and Backward Reaching Inverse Kinematics (FABRIK) for repeatable deterministic IK computation, and an approach inspired from velocity obstacles to perform path planning under collision and joint limits constraints. We show preliminary results on an industrial HRM with 19 actuated joints. Our algorithm achieves good performance where a state-of-the-art IK solver fails.


title: Safe Spot: Perceived safety of dominant and submissive appearances of quadruped robots in human-robot interactions

abstract: Unprecedented possibilities of quadruped robots have driven much research on the technical aspects of these robots. However, the social perception and acceptability of quadruped robots so far remain poorly understood. This work investigates whether the way we design quadruped robots' behaviors can affect people's perception of safety in interactions with these robots. We designed and tested a dominant and submissive personality for the quadruped robot (Boston Dynamics Spot). These were tested in two different walking scenarios (head-on and crossing interactions) in a 2x2 within-subjects study. We collected both behavioral data and subjective reports on participants' perception of the interaction. The results highlight that participants perceived the submissive robot as safer compared to the dominant one. The behavioral dynamics of interactions did not change depending on the robot's appearance. Participants' previous in-person experience with the robot was associated with lower subjective safety ratings but did not correlate with the interaction dynamics. Our findings have implications for the design of quadruped robots and contribute to the body of knowledge on the social perception of non-humanoid robots. We call for a stronger standing of felt experiences in human-robot interaction research.


title: Numerical simulations of a stochastic dynamics leading to cascades and loss of regularity: applications to fluid turbulence and generation of fractional Gaussian fields

abstract: Motivated by the modeling of the spatial structure of the velocity field of three-dimensional turbulent flows, and the phenomenology of cascade phenomena, a linear dynamics has been recently proposed able to generate high velocity gradients from a smooth-in-space forcing term. It is based on a linear Partial Differential Equation (PDE) stirred by an additive random forcing term which is delta-correlated in time. The underlying proposed deterministic mechanism corresponds to a transport in Fourier space which aims at transferring energy injected at large scales towards small scales. The key role of the random forcing is to realize these transfers in a statistically homogeneous way. Whereas at finite times and positive viscosity the solutions are smooth, a loss of regularity is observed for the statistically stationary state in the inviscid limit. We here present novel simulations, based on finite volume methods in the Fourier domain and a splitting method in time, which are more accurate than the pseudo-spectral simulations. We show that the novel algorithm is able to reproduce accurately the expected local and statistical structure of the predicted solutions. We conduct numerical simulations in one, two and three spatial dimensions, and we display the solutions both in physical and Fourier spaces. We additionally display key statistical quantities such as second-order structure functions and power spectral densities at various viscosities.

categories: physics.flu-dyn cs.NA math.NA physics.comp-ph


title: DualBEV: CNN is All You Need in View Transformation

abstract: Camera-based Bird's-Eye-View (BEV) perception often struggles between adopting 3D-to-2D or 2D-to-3D view transformation (VT). The 3D-to-2D VT typically employs resource intensive Transformer to establish robust correspondences between 3D and 2D feature, while the 2D-to-3D VT utilizes the Lift-Splat-Shoot (LSS) pipeline for real-time application, potentially missing distant information. To address these limitations, we propose DualBEV, a unified framework that utilizes a shared CNN-based feature transformation incorporating three probabilistic measurements for both strategies. By considering dual-view correspondences in one-stage, DualBEV effectively bridges the gap between these strategies, harnessing their individual strengths. Our method achieves state-of-the-art performance without Transformer, delivering comparable efficiency to the LSS approach, with 55.2% mAP and 63.4% NDS on the nuScenes test set. Code will be released at https://github.com/PeidongLi/DualBEV.


title: Comparison of Spatial Visualization Techniques for Radiation in Augmented Reality

abstract: Augmented Reality (AR) provides a safe and low-cost option for hazardous safety training that allows for the visualization of aspects that may be invisible, such as radiation. Effectively visually communicating such threats in the environment around the user is not straightforward. This work describes visually encoding radiation using the spatial awareness mesh of an AR Head Mounted Display. We leverage the AR device's GPUs to develop a real time solution that accumulates multiple dynamic sources and uses stencils to prevent an environment being over saturated with a visualization, as well as supporting the encoding of direction explicitly in the visualization. We perform a user study (25 participants) of different visualizations and obtain user feedback. Results show that there are complex interactions and while no visual representation was statistically superior or inferior, user opinions vary widely. We also discuss the evaluation approaches and provide recommendations.


title: Inclusive hadronic decay rate of the $\tau$ lepton from lattice QCD: the $\bar u s$ flavour channel and the Cabibbo angle

abstract: We present a lattice determination of the inclusive decay rate of the process $\tau\mapsto X_{us} \nu_\tau$ in which the $\tau$ lepton decays into a generic hadronic state $X_{us}$ with $\bar u s$ flavour quantum numbers. Our results have been obtained in $n_f=2+1+1$ iso-symmetric QCD with full non-perturbative accuracy, without any OPE approximation and, except for the presently missing long-distance isospin-breaking corrections, include a solid estimate of all sources of theoretical uncertainties. This has been possible by using the Hansen-Lupo-Tantalo method [1] that we have already successfully applied in [2] to compute the inclusive decay rate of the process $\tau\mapsto X_{ud} \nu_\tau$ in the $\bar u d$ flavour channel. By combining our first-principles theoretical results with the presently-available experimental data we extract the CKM matrix element $\vert V_{us}\vert$, the Cabibbo angle, with a $0.9$\% accuracy, dominated by the experimental error.


title: Experimental set-up for thermal measurements at the nanoscale using an SThM probe with niobium nitride thermometer

abstract: Scanning Thermal Microscopy (SThM) has become an important measurement tool for characterizing the thermal properties of materials at the nanometer scale. This technique requires a SThM probe that combines an Atomic Force Microscopy (AFM) probe and a very sensitive resistive thermometry; the thermometer being located at the apex of the probe tip allows the mapping of temperature or thermal properties of nanostructured materials with very high spatial resolution. The high interest of the SThM technique in the field of thermal nanoscience currently suffers from a low temperature sensitivity despite its high spatial resolution. To address this challenge, we developed a high vacuum-based AFM system hosting a highly sensitive niobium nitride (NbN) SThM probe to demonstrate its unique performance. As a proof of concept, we utilized this custom-built system to carry out thermal measurements using the 3$\omega$ method. By measuring the $V_{3\omega}$ voltage on the NbN resistive thermometer in vacuum conditions we were able to determine the SThM probe's thermal conductance and thermal time constant. The performance of the probe is demonstrated by doing thermal measurements in-contact with a sapphire sample.


title: Considering Nonstationary within Multivariate Time Series with Variational Hierarchical Transformer for Forecasting

abstract: The forecasting of Multivariate Time Series (MTS) has long been an important but challenging task. Due to the non-stationary problem across long-distance time steps, previous studies primarily adopt stationarization method to attenuate the non-stationary problem of the original series for better predictability. However, existing methods always adopt the stationarized series, which ignores the inherent non-stationarity, and has difficulty in modeling MTS with complex distributions due to the lack of stochasticity. To tackle these problems, we first develop a powerful hierarchical probabilistic generative module to consider the non-stationarity and stochastic characteristics within MTS, and then combine it with transformer for a well-defined variational generative dynamic model named Hierarchical Time series Variational Transformer (HTV-Trans), which recovers the intrinsic non-stationary information into temporal dependencies. Being a powerful probabilistic model, HTV-Trans is utilized to learn expressive representations of MTS and applied to forecasting tasks. Extensive experiments on diverse datasets show the efficiency of HTV-Trans on MTS forecasting tasks


title: Algorithmic Identification of Essential Exogenous Nodes for Causal Sufficiency in Brain Networks

abstract: In the investigation of any causal mechanisms, such as the brain's causal networks, the assumption of causal sufficiency plays a critical role. Notably, neglecting this assumption can result in significant errors, a fact that is often disregarded in the causal analysis of brain networks. In this study, we propose an algorithmic identification approach for determining essential exogenous nodes that satisfy the critical need for causal sufficiency to adhere to it in such inquiries. Our approach consists of three main steps: First, by capturing the essence of the Peter-Clark (PC) algorithm, we conduct independence tests for pairs of regions within a network, as well as for the same pairs conditioned on nodes from other networks. Next, we distinguish candidate confounders by analyzing the differences between the conditional and unconditional results, using the Kolmogorov-Smirnov test. Subsequently, we utilize Non-Factorized identifiable Variational Autoencoders (NF-iVAE) along with the Correlation Coefficient index (CCI) metric to identify the confounding variables within these candidate nodes. Applying our method to the Human Connectome Projects (HCP) movie-watching task data, we demonstrate that while interactions exist between dorsal and ventral regions, only dorsal regions serve as confounders for the visual networks, and vice versa. These findings align consistently with those resulting from the neuroscientific perspective. Finally, we show the reliability of our results by testing 30 independent runs for NF-iVAE initialization.


title: FedFMS: Exploring Federated Foundation Models for Medical Image Segmentation

abstract: Medical image segmentation is crucial for clinical diagnosis. The Segmentation Anything Model (SAM) serves as a powerful foundation model for visual segmentation and can be adapted for medical image segmentation. However, medical imaging data typically contain privacy-sensitive information, making it challenging to train foundation models with centralized storage and sharing. To date, there are few foundation models tailored for medical image deployment within the federated learning framework, and the segmentation performance, as well as the efficiency of communication and training, remain unexplored. In response to these issues, we developed Federated Foundation models for Medical image Segmentation (FedFMS), which includes the Federated SAM (FedSAM) and a communication and training-efficient Federated SAM with Medical SAM Adapter (FedMSA). Comprehensive experiments on diverse datasets are conducted to investigate the performance disparities between centralized training and federated learning across various configurations of FedFMS. The experiments revealed that FedFMS could achieve performance comparable to models trained via centralized training methods while maintaining privacy. Furthermore, FedMSA demonstrated the potential to enhance communication and training efficiency. Our model implementation codes are available at https://github.com/LIU-YUXI/FedFMS.


title: Simulating conditioned diffusions on manifolds

abstract: To date, most methods for simulating conditioned diffusions are limited to the Euclidean setting. The conditioned process can be constructed using a change of measure known as Doob's $h$-transform. The specific type of conditioning depends on a function $h$ which is typically unknown in closed form. To resolve this, we extend the notion of guided processes to a manifold $M$, where one replaces $h$ by a function based on the heat kernel on $M$. We consider the case of a Brownian motion with drift, constructed using the frame bundle of $M$, conditioned to hit a point $x_T$ at time $T$. We prove equivalence of the laws of the conditioned process and the guided process with a tractable Radon-Nikodym derivative. Subsequently, we show how one can obtain guided processes on any manifold $N$ that is diffeomorphic to $M$ without assuming knowledge of the heat kernel on $N$. We illustrate our results with numerical simulations and an example of parameter estimation where a diffusion process on the torus is observed discretely in time.


title: Radiation transport methods in star formation simulations

abstract: Radiation transport plays a crucial role in star formation models, as certain questions within this field cannot be accurately addressed without taking it into account. Given the high complexity of the interstellar medium from which stars form, numerical simulations are frequently employed to model the star formation process. This study reviews recent methods for incorporating radiation transport into star formation simulations, discussing them in terms of the used algorithms, treatment of radiation frequency dependence, the interaction of radiation with the gas, and the parallelization of methods for deployment on supercomputers. Broadly, the algorithms fall into two categories: (i) moment-based methods, encompassing the flux-limited diffusion approximation, M1 closure, and variable Eddington tensor methods, and (ii) methods directly solving the radiation transport equation, including forward and reverse ray tracing, characteristics-based methods, and Monte Carlo techniques. Beyond discussing advantages and disadvantages of these methods, the review also lists recent radiation hydrodynamic codes implemented the described methods.


title: Revised BDS Test

abstract: In this paper, we focus on the BDS test, which is a nonparametric test of independence. Specifically, the null hypothesis $H_{0}$ of it is that $\{u_{t}\}$ is i.i.d. (independent and identically distributed), where $\{u_{t}\}$ is a random sequence. The BDS test is widely used in economics and finance, but it has a weakness that cannot be ignored: over-rejecting $H_{0}$ even if the length $T$ of $\{u_{t}\}$ is as large as $(100,2000)$. To improve the over-rejection problem of BDS test, considering that the correlation integral is the foundation of BDS test, we not only accurately describe the expectation of the correlation integral under $H_{0}$, but also calculate all terms of the asymptotic variance of the correlation integral whose order is $O(T^{-1})$ and $O(T^{-2})$, which is essential to improve the finite sample performance of BDS test. Based on this, we propose a revised BDS (RBDS) test and prove its asymptotic normality under $H_{0}$. The RBDS test not only inherits all the advantages of the BDS test, but also effectively corrects the over-rejection problem of the BDS test, which can be fully confirmed by the simulation results we presented. Moreover, based on the simulation results, we find that similar to BDS test, RBDS test would also be affected by the parameter estimations of the ARCH-type model, resulting in size distortion, but this phenomenon can be alleviated by the logarithmic transformation preprocessing of the estimate residuals of the model. Besides, through some actual datasets that have been demonstrated to fit well with ARCH-type models, we also compared the performance of BDS test and RBDS test in evaluating the goodness-of-fit of the model in empirical problem, and the results reflect that, under the same condition, the performance of the RBDS test is more encouraging.


title: On classical solutions and canonical transformations for Hamilton--Jacobi--Bellman equations

abstract: In this note we show how canonical transformations reveal hidden convexity properties for deterministic optimal control problems, which in turn result in global existence of $C^{1,1}_{loc}$ solutions to first order Hamilton--Jacobi--Bellman equations.


title: Large deviation principle for the largest eigenvalue of random matrices with a variance profile

abstract: We establish large deviation principles for the largest eigenvalue of large random matrices with variance profiles. For $N \in \mathbb N$, we consider random $N \times N$ symmetric matrices $H^N$ which are such that $H_{ij}^{N}=\frac{1}{\sqrt{N}}X_{i,j}^{N}$ for $1 \leq i,j \leq N$, where the $X_{i,j}^{N}$ for $1 \leq i \leq j \leq N$ are independent and centered. We then denote $\Sigma_{i,j} ^N = \text{Var} (X_{i,j}^{N}) ( 1 + \textbf{1}_{ i =j})^{-1}$ the variance profile of $H^N$. Our large deviation principle is then stated under the assumption that the $\Sigma^N$ converge in a certain sense toward a real continuous function $\sigma$ of $[0,1]^2$ and that the entries of $H^N$ are sharp sub-Gaussian. Our rate function is expressed in terms of the solution of a Dyson equation involving $\sigma$. This result is a generalization of a previous work by the third author and is new even in the case of Gaussian entries.


title: Combinatorial approach to Andrews-Gordon and Bressoud type identities

abstract: We provide combinatorial tools inspired by work of Warnaar to give combinatorial interpretations of the sum sides of the Andrews-Gordon and Bressoud identities. More precisely, we give an explicit weight- and length-preserving bijection between sets related to integer partitions, which provides these interpretations. In passing, we discover the $q$-series version of an identity of Kur\c{s}ung\"oz, similar to the Bressoud identity but with opposite parity conditions, which we prove combinatorially using the classical Bressoud identity and our bijection. We also use this bijection to prove combinatorially many identities, some known and other new, of the Andrews-Gordon and Bressoud type.


title: An Overview of Automated Vehicle Platooning Strategies

abstract: Automated vehicle (AV) platooning has the potential to improve the safety, operational, and energy efficiency of surface transportation systems by limiting or eliminating human involvement in the driving tasks. The theoretical validity of the AV platooning strategies has been established and practical applications are being tested under real-world conditions. The emergence of sensors, communication, and control strategies has resulted in rapid and constant evolution of AV platooning strategies. In this paper, we review the state-of-the-art knowledge in AV platooning using a five-component platooning framework, which includes vehicle model, information-receiving process, information flow topology, spacing policy, and controller and discuss the advantages and limitations of the components. Based on the discussion about existing strategies and associated limitations, potential future research directions are presented.


title: SIRST-5K: Exploring Massive Negatives Synthesis with Self-supervised Learning for Robust Infrared Small Target Detection

abstract: Single-frame infrared small target (SIRST) detection aims to recognize small targets from clutter backgrounds. Recently, convolutional neural networks have achieved significant advantages in general object detection. With the development of Transformer, the scale of SIRST models is constantly increasing. Due to the limited training samples, performance has not been improved accordingly. The quality, quantity, and diversity of the infrared dataset are critical to the detection of small targets. To highlight this issue, we propose a negative sample augmentation method in this paper. Specifically, a negative augmentation approach is proposed to generate massive negatives for self-supervised learning. Firstly, we perform a sequential noise modeling technology to generate realistic infrared data. Secondly, we fuse the extracted noise with the original data to facilitate diversity and fidelity in the generated data. Lastly, we proposed a negative augmentation strategy to enrich diversity as well as maintain semantic invariance. The proposed algorithm produces a synthetic SIRST-5K dataset, which contains massive pseudo-data and corresponding labels. With a rich diversity of infrared small target data, our algorithm significantly improves the model performance and convergence speed. Compared with other state-of-the-art (SOTA) methods, our method achieves outstanding performance in terms of probability of detection (Pd), false-alarm rate (Fa), and intersection over union (IoU).


title: We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values

abstract: Concurrent distributed systems are notoriously difficult to construct and reason about. Choreographic programming is a recent paradigm that describes a distributed system in a single global program called a choreography. Choreographies simplify reasoning about distributed systems and can ensure deadlock freedom by static analysis. In previous choreographic programming languages, each value is located at a single party, and the programmer is expected to insert special untyped "select" operations to ensure that all parties follow the same communication pattern. We present He-Lambda-Small, a new choreographic programming language with Multiply Located Values. He-Lambda-Small allows multicasting to a set of parties, and the resulting value will be located at all of them. This approach enables a simple and elegant alternative to "select": He-Lambda-Small requires that the guard for a conditional be located at all of the relevant parties. In He-Lambda-Small, checking that a choreography is well-typed suffices to show that it is deadlock-free. We present several case studies that demonstrate the use of multiply-located values to concisely encode tricky communication patterns described in previous work without the use of "select" or redundant communication.


title: On balanceable and simply balanceable regular graphs

abstract: We continue the study of balanceable graphs, defined by Caro, Hansberg, and Montejano in 2021 as graphs $G$ such that any $2$-coloring of the edges of a sufficiently large complete graph containing sufficiently many edges of each color contains a balanced copy of $G$. While the problem of recognizing balanceable graphs was conjectured to be NP-complete by Dailly, Hansberg, and Ventura in 2021, balanceable graphs admit an elegant combinatorial characterization: a graph is balanceable if and only there exist two vertex subsets, one containing half of all the graph's edges and another one such that the corresponding cut contains half of all the graph's edges. We consider a special case of this property, namely when one of the two sets is a vertex cover, and call the corresponding graphs simply balanceable. We prove a number of results on balanceable and simply balanceable regular graphs. First, we characterize simply balanceable regular graphs via a condition involving the independence number of the graph. Second, we address a question of Dailly, Hansberg, and Ventura from 2021 and show that every cubic graph is balanceable. Third, using Brooks' theorem, we show that every $4$-regular graph with order divisible by $4$ is balanceable. Finally, we show that it is NP-complete to determine if a $9$-regular graph is simply balanceable.


title: Rethinking Transformers Pre-training for Multi-Spectral Satellite Imagery

abstract: Recent advances in unsupervised learning have demonstrated the ability of large vision models to achieve promising results on downstream tasks by pre-training on large amount of unlabelled data. Such pre-training techniques have also been explored recently in the remote sensing domain due to the availability of large amount of unlabelled data. Different from standard natural image datasets, remote sensing data is acquired from various sensor technologies and exhibit diverse range of scale variations as well as modalities. Existing satellite image pre-training methods either ignore the scale information present in the remote sensing imagery or restrict themselves to use only a single type of data modality. In this paper, we re-visit transformers pre-training and leverage multi-scale information that is effectively utilized with multiple modalities. Our proposed approach, named SatMAE++, performs multi-scale pre-training and utilizes convolution based upsampling blocks to reconstruct the image at higher scales making it extensible to include more scales. Compared to existing works, the proposed SatMAE++ with multi-scale pre-training is equally effective for both optical as well as multi-spectral imagery. Extensive experiments on six datasets reveal the merits of proposed contributions, leading to state-of-the-art performance on all datasets. SatMAE++ achieves mean average precision (mAP) gain of 2.5\% for multi-label classification task on BigEarthNet dataset. Our code and pre-trained models are available at \url{https://github.com/techmn/satmae_pp}.


title: Exponential asymptotics and Stokes surfaces in nonlinear three-dimensional flows

abstract: In this dissertation, we seek to expand the scope of work done by Lustri and Chapman (2013) in modelling 3D flow past a point source, in order to account for more general flows, where the strength of such a source, $\delta$, is now $O(1)$. We find that in order to solve for the Stokes surfaces of this nonlinear system, we must develop a numerical scheme to shoot from the analytically continued free surface into real space. The principal contribution of this work is a demonstration of the disparity between the line of intersection found by Lustri and Chapman (2013) and that found by our own nonlinear numerical method, along with proposed extensions for further avenues of research e.g. including surface tension.


title: Accelerating Airy tensor modes of cosmological gravitational waves

abstract: From a classical analysis, it is shown that the nondiffractive accelerating gravitational Airy wave packets are solutions of Einstein equations for their linearized tensor modes in a Friedmann-Lema\^itre-Robertson-Walker cosmological background filled with a perfect fluid, with equations of state $w=1/3$ and $w=-1/3$. These solutions have finite energy, presenting accelerating behavior due to the structured spatial form of the wavepacket. This is manifested by curved trajectories along the wave path. Also, using spectral functions, it is possible, with these packets, to construct more general, arbitrary wave packets. All these new solutions bring insights on new forms for gravitational wave propagation.


title: EVD4UAV: An Altitude-Sensitive Benchmark to Evade Vehicle Detection in UAV

abstract: Vehicle detection in Unmanned Aerial Vehicle (UAV) captured images has wide applications in aerial photography and remote sensing. There are many public benchmark datasets proposed for the vehicle detection and tracking in UAV images. Recent studies show that adding an adversarial patch on objects can fool the well-trained deep neural networks based object detectors, posing security concerns to the downstream tasks. However, the current public UAV datasets might ignore the diverse altitudes, vehicle attributes, fine-grained instance-level annotation in mostly side view with blurred vehicle roof, so none of them is good to study the adversarial patch based vehicle detection attack problem. In this paper, we propose a new dataset named EVD4UAV as an altitude-sensitive benchmark to evade vehicle detection in UAV with 6,284 images and 90,886 fine-grained annotated vehicles. The EVD4UAV dataset has diverse altitudes (50m, 70m, 90m), vehicle attributes (color, type), fine-grained annotation (horizontal and rotated bounding boxes, instance-level mask) in top view with clear vehicle roof. One white-box and two black-box patch based attack methods are implemented to attack three classic deep neural networks based object detectors on EVD4UAV. The experimental results show that these representative attack methods could not achieve the robust altitude-insensitive attack performance.


title: Fourier-transform infrared spectroscopy with undetected photons from high-gain spontaneous parametric down-conversion

abstract: Fourier-transform infrared spectroscopy (FTIR) is an indispensable analytical method that allows label-free identification of substances via fundamental molecular vibrations. However, the sensitivity of FTIR is often limited by the low efficiency of mid-infrared (MIR) photodetectors. SU(1,1) interferometry has previously enabled FTIR with undetected MIR photons via spontaneous parametric down-conversion in the low-parametric-gain regime, where the number of photons per mode is much less than one and sensitive photodetectors are needed. In this work, we develop a high-parametric-gain SU(1,1) interferometer for MIR-range FTIR with undetected photons. Using our new method, we demonstrate three major advantages: a high photon number at the interferometer output, a considerably lower photon number at the sample, and improved interference contrast. In addition, we analyze different methods to broaden the spectral range of the interferometer by aperiodic poling and temperature gradient in the gain medium. Exploiting the broadband SU(1,1) interferometer, we measure and evaluate the MIR absorption spectra of polymers in the 3-{\mu}m region.


title: Infinite Translation Surfaces in the Wild

abstract: This book explores infinite-type translation surfaces and is intended as an introductory text for graduate and PhD students, as well as a reference for more advanced researchers. Chapter 1 introduces the three definitions of translation surfaces and meticulously proves their equivalence. It is enriched with numerous examples that are revisited throughout the book. Chapter 2 provides a detailed examination of the topological classification of infinite-type surfaces, the construction of infinite coverings of finite-type translation surfaces, and the structure of points within the metric completion. Chapter 3 investigates the affine symmetries of infinite-type translation surfaces, with special emphasis on infinite coverings of finite-type surfaces, the Hooper-Thurston-Veech construction, and affine homeomorphisms of finite-area infinite-type translation surfaces. Chapter 4 introduces infinite interval exchange transformations and employs them to demonstrate that the dynamics of translation flows are significantly more complex in the infinite-type context. The two appendices address hyperbolic geometry and the spectra of infinite graphs, respectively.


title: An Adaptive Dimension Reduction Estimation Method for High-dimensional Bayesian Optimization

abstract: Bayesian optimization (BO) has shown impressive results in a variety of applications within low-to-moderate dimensional Euclidean spaces. However, extending BO to high-dimensional settings remains a significant challenge. We address this challenge by proposing a two-step optimization framework. Initially, we identify the effective dimension reduction (EDR) subspace for the objective function using the minimum average variance estimation (MAVE) method. Subsequently, we construct a Gaussian process model within this EDR subspace and optimize it using the expected improvement criterion. Our algorithm offers the flexibility to operate these steps either concurrently or in sequence. In the sequential approach, we meticulously balance the exploration-exploitation trade-off by distributing the sampling budget between subspace estimation and function optimization, and the convergence rate of our algorithm in high-dimensional contexts has been established. Numerical experiments validate the efficacy of our method in challenging scenarios.


title: Hidden monotonicity and canonical transformations for mean field games and master equations

abstract: In this paper we unveil novel monotonicity conditions applicable for Mean Field Games through the exploration of finite dimensional $canonical\ transformations$. Our findings contribute to establishing new global well-posedness results for the associated master equations, also in the case of potentially degenerate idiosyncratic noise. Additionally, we show that recent advancements in global well-posedness results, specifically those related to displacement semi-monotone and anti-monotone data, can be easily obtained as a consequence of our main results.


title: Reply with Sticker: New Dataset and Model for Sticker Retrieval

abstract: Using stickers in online chatting is very prevalent on social media platforms, where the stickers used in the conversation can express someone's intention/emotion/attitude in a vivid, tactful, and intuitive way. Existing sticker retrieval research typically retrieves stickers based on context and the current utterance delivered by the user. That is, the stickers serve as a supplement to the current utterance. However, in the real-world scenario, using stickers to express what we want to say rather than as a supplement to our words only is also important. Therefore, in this paper, we create a new dataset for sticker retrieval in conversation, called StickerInt, where stickers are used to reply to previous conversations or supplement our words. Based on the created dataset, we present a simple yet effective framework for sticker retrieval in conversation based on the learning of intention and the cross-modal relationships between conversation context and stickers, coined as \textbf{Int-RA}. Specifically, we first devise a knowledge-enhanced intention predictor to introduce the intention information into the conversation representations. Subsequently, a relation-aware sticker selector is devised to retrieve the response sticker via cross-modal relationships. Extensive experiments on the created dataset show that the proposed model achieves state-of-the-art performance in sticker retrieval.


title: Towards Real-World Stickers Use: A New Dataset for Multi-Tag Sticker Recognition

abstract: In real-world conversations, the diversity and ambiguity of stickers often lead to varied interpretations based on the context, necessitating the requirement for comprehensively understanding stickers and supporting multi-tagging. To address this challenge, we introduce StickerTAG, the first multi-tag sticker dataset comprising a collected tag set with 461 tags and 13,571 sticker-tag pairs, designed to provide a deeper understanding of stickers. Recognizing multiple tags for stickers becomes particularly challenging due to sticker tags usually are fine-grained attribute aware. Hence, we propose an Attentive Attribute-oriented Prompt Learning method, ie, Att$^2$PL, to capture informative features of stickers in a fine-grained manner to better differentiate tags. Specifically, we first apply an Attribute-oriented Description Generation (ADG) module to obtain the description for stickers from four attributes. Then, a Local Re-attention (LoR) module is designed to perceive the importance of local information. Finally, we use prompt learning to guide the recognition process and adopt confidence penalty optimization to penalize the confident output distribution. Extensive experiments show that our method achieves encouraging results for all commonly used metrics.


title: Clark Measures on Bounded Symmetric Domains

abstract: Given a bounded symmetric domain $D$, we study (positive) pluriharmonic functions on $D$ and investigate a possible analogue of the family of Clark measures associated with a holomorphic function from $D$ into the unit disc in $\mathbb C$.


title: MambaLithium: Selective state space model for remaining-useful-life, state-of-health, and state-of-charge estimation of lithium-ion batteries

abstract: Recently, lithium-ion batteries occupy a pivotal position in the realm of electric vehicles and the burgeoning new energy industry. Their performance is heavily dependent on three core states: remaining-useful-life (RUL), state-of-health (SOH), and state-of-charge (SOC). Given the remarkable success of Mamba (Structured state space sequence models with selection mechanism and scan module, S6) in sequence modeling tasks, this paper introduces MambaLithium, a selective state space model tailored for precise estimation of these critical battery states. Leveraging Mamba algorithms, MambaLithium adeptly captures the intricate aging and charging dynamics of lithium-ion batteries. By focusing on pivotal states within the battery's operational envelope, MambaLithium not only enhances estimation accuracy but also maintains computational robustness. Experiments conducted using real-world battery data have validated the model's superiority in predicting battery health and performance metrics, surpassing current methods. The proposed MambaLithium framework is potential for applications in advancing battery management systems and fostering sustainable energy storage solutions. Source code is available at https://github.com/zshicode/MambaLithium.


title: Dynamic fluctuation-dissipation theory for Generalized Langevin Equations: constructive constraints, stability and realizability

abstract: Using the initial-value formulation, a dynamic theory for systems evolving according to a Generalized Langevin Equation is developed, providing more restrictive conditions on the existence of equilibrium behavior and its fluctuation-dissipation implications. For systems fulfilling the property of local realizability, that for all the practical purposes corresponds to the postulate of the existence of a Markovian embedding, physical constraints, expressed in the form of dissipative stability and stochastic realizability are derived. If these two properties are met, Kubo theory is constructively recovered, while if one of these conditions is violated a thermodynamic equilibrium behavior does not exist (and this occurs also for `` well-behaved dissipative systems'' according to the classical Kubo theory), with significant implications in the linear response theory.


title: 3d-oxide molecules to tailor large magnetic anisotropy energies on MgO films

abstract: Designing systems with large magnetic anisotropy energy (MAE) is desirable and critical for nanoscale magnetic devices. A recent breakthrough achieved the theoretical limit of the MAE for 3$d$ transition metal atoms by placing a single Co atom on a MgO(100) surface, a result not replicated by standard first-principles simulations. Our study, incorporating Hubbard-$U$ correction and spin-orbit coupling, successfully reproduces and explains the high MAE of a Co adatom on a MgO (001) surface. We go further by exploring ways to enhance MAE in 3d transition metal adatoms through different structural geometries of 3d--O molecules on MgO. One promising structure, with molecules perpendicular to the surface, enhances MAE while reducing substrate interaction, minimizing spin fluctuations, and boosting magnetic stability. Additionally, we demonstrate significant control over MAE by precisely placing 3d--O molecules on the substrate at the atomic level.


title: Part-aware Personalized Segment Anything Model for Patient-Specific Segmentation

abstract: Precision medicine, such as patient-adaptive treatments utilizing medical images, poses new challenges for image segmentation algorithms due to (1) the large variability across different patients and (2) the limited availability of annotated data for each patient. In this work, we propose a data-efficient segmentation method to address these challenges, namely Part-aware Personalized Segment Anything Model (P^2SAM). Without any model fine-tuning, P^2SAM enables seamless adaptation to any new patients relying only on one-shot patient-specific data. We introduce a novel part-aware prompt mechanism to select multiple-point prompts based on part-level features of the one-shot data. To further promote the robustness of the selected prompt, we propose a retrieval approach to handle outlier prompts. Extensive experiments demonstrate that P^2SAM improves the performance by +8.0% and +2.0% mean Dice score within two patient-specific segmentation settings, and exhibits impressive generality across different application domains, e.g., +6.4% mIoU on the PerSeg benchmark. Code will be released upon acceptance.


title: Cost-Performance Optimization for Processing Low-Resource Language Tasks Using Commercial LLMs

abstract: Large Language Models (LLMs) exhibit impressive zero/few-shot inference and generation quality for high-resource languages (HRLs). A few of them have been trained on low-resource languages (LRLs) and give decent performance. Owing to the prohibitive costs of training LLMs, they are usually used as a network service, with the client charged by the count of input and output tokens. The number of tokens strongly depends on the script and language, as well as the LLM's subword vocabulary. We show that LRLs are at a pricing disadvantage, because the well-known LLMs produce more tokens for LRLs than HRLs. This is because most currently popular LLMs are optimized for HRL vocabularies. Our objective is to level the playing field: reduce the cost of processing LRLs in contemporary LLMs while ensuring that predictive and generative qualities are not compromised. As means to reduce the number of tokens processed by the LLM, we consider code-mixing, translation, and transliteration of LRLs to HRLs. We perform an extensive study using the IndicXTREME classification and six generative tasks dataset, covering 15 Indic and 3 other languages, while using GPT-4 (one of the costliest LLM services released so far) as a commercial LLM. We observe and analyze interesting patterns involving token count, cost, and quality across a multitude of languages and tasks. We show that choosing the best policy to interact with the LLM can reduce cost by 90% while giving better or comparable performance compared to communicating with the LLM in the original LRL.


title: OmniCount: Multi-label Object Counting with Semantic-Geometric Priors

abstract: Object counting is pivotal for understanding the composition of scenes. Previously, this task was dominated by class-specific methods, which have gradually evolved into more adaptable class-agnostic strategies. However, these strategies come with their own set of limitations, such as the need for manual exemplar input and multiple passes for multiple categories, resulting in significant inefficiencies. This paper introduces a new, more practical approach enabling simultaneous counting of multiple object categories using an open vocabulary framework. Our solution, OmniCount, stands out by using semantic and geometric insights from pre-trained models to count multiple categories of objects as specified by users, all without additional training. OmniCount distinguishes itself by generating precise object masks and leveraging point prompts via the Segment Anything Model for efficient counting. To evaluate OmniCount, we created the OmniCount-191 benchmark, a first-of-its-kind dataset with multi-label object counts, including points, bounding boxes, and VQA annotations. Our comprehensive evaluation in OmniCount-191, alongside other leading benchmarks, demonstrates OmniCount's exceptional performance, significantly outpacing existing solutions and heralding a new era in object counting technology.


title: Positive Pluriharmonic Functions on Symmetric Siegel Domains

abstract: Given a symmetric Siegel domain $\mathscr D$ and a positive plurihamonic function $f$ on $\mathscr D$, we study the largest positive Radon measure $\mu$ on the Silov boundary $\mathrm b \mathscr D$ of $\mathscr D$ whose Poisson integral $\mathscr P \mu$ is $\leq f$. If $\mathscr D$ has no tubular irreducible factors of rank $\geq 2$, we show that $\mathscr P \mu$ is plurihamonic, and that $f-\mathscr P \mu$ is linear. As an application, we describe a possible analogue of the family of Clark measures associated with a holomorphic function from $\mathscr D$ into the unit disc in $\mathbb C$.


title: On the ergodicity breaking in well-behaved Generalized Langevin Equations

abstract: The phenomenon of ergodicity breaking of stochastic dynamics governed by Generalized Langevin Equations (GLE) in the presence of well-behaved exponentially decaying dissipative memory kernels, recently investigated by many authors (Phys. Rev. E {\bf 83} 062102 2011; Phys. Rev. E {\bf 98} 062140 2018; Eur. Phys. J. B {\bf 93} 184 2020), finds, in the dynamic theory of GLE, its simple and natural explanation, related to the concept of dissipative stability. It is shown that the occurrence of ergodicity breakdown for well-behaved dissipative kernels falls, in general, ouside the region of stochastic realizability, and therefore it cannot be observed in physical systems.


title: VideoElevator: Elevating Video Generation Quality with Versatile Text-to-Image Diffusion Models

abstract: Text-to-image diffusion models (T2I) have demonstrated unprecedented capabilities in creating realistic and aesthetic images. On the contrary, text-to-video diffusion models (T2V) still lag far behind in frame quality and text alignment, owing to insufficient quality and quantity of training videos. In this paper, we introduce VideoElevator, a training-free and plug-and-play method, which elevates the performance of T2V using superior capabilities of T2I. Different from conventional T2V sampling (i.e., temporal and spatial modeling), VideoElevator explicitly decomposes each sampling step into temporal motion refining and spatial quality elevating. Specifically, temporal motion refining uses encapsulated T2V to enhance temporal consistency, followed by inverting to the noise distribution required by T2I. Then, spatial quality elevating harnesses inflated T2I to directly predict less noisy latent, adding more photo-realistic details. We have conducted experiments in extensive prompts under the combination of various T2V and T2I. The results show that VideoElevator not only improves the performance of T2V baselines with foundational T2I, but also facilitates stylistic video synthesis with personalized T2I. Our code is available at https://github.com/YBYBZhang/VideoElevator.


title: Scarf complexes of graphs and their powers

abstract: Every multigraded free resolution of a monomial ideal I contains the Scarf multidegrees of I. We say I has a Scarf resolution if the Scarf multidegrees are sufficient to describe a minimal free resolution of I. The main question of this paper is which graphs G have edge ideal I(G) with a Scarf resolution? We show that I(G) has a Scarf resolution if and only if G is a gap-free forest. We also classify connected graphs for which all powers of I(G) have Scarf resolutions. Along the way, we give a concrete description of the Scarf complex of any forest. For a general graph, we give a recursive construction for its Scarf complex based on Scarf complexes of induced subgraphs.


title: Is Cosine-Similarity of Embeddings Really About Similarity?

abstract: Cosine-similarity is the cosine of the angle between two vectors, or equivalently the dot product between their normalizations. A popular application is to quantify semantic similarity between high-dimensional objects by applying cosine-similarity to a learned low-dimensional feature embedding. This can work better but sometimes also worse than the unnormalized dot-product between embedded vectors in practice. To gain insight into this empirical observation, we study embeddings derived from regularized linear models, where closed-form solutions facilitate analytical insights. We derive analytically how cosine-similarity can yield arbitrary and therefore meaningless `similarities.' For some linear models the similarities are not even unique, while for others they are implicitly controlled by the regularization. We discuss implications beyond linear models: a combination of different regularizations are employed when learning deep models; these have implicit and unintended effects when taking cosine-similarities of the resulting embeddings, rendering results opaque and possibly arbitrary. Based on these insights, we caution against blindly using cosine-similarity and outline alternatives.


title: Bayesian Hierarchical Probabilistic Forecasting of Intraday Electricity Prices

abstract: We present a first study of Bayesian forecasting of electricity prices traded on the German continuous intraday market which fully incorporates parameter uncertainty. Our target variable is the IDFull price index, forecasts are given in terms of posterior predictive distributions. For validation we use the exceedingly volatile electricity prices of 2022, which have hardly been the subject of forecasting studies before. As a benchmark model, we use all available intraday transactions at the time of forecast creation to compute a current value for the IDFull. According to the weak-form efficiency hypothesis, it would not be possible to significantly improve this benchmark built from last price information. We do, however, observe statistically significant improvement in terms of both point measures and probability scores. Finally, we challenge the declared gold standard of using LASSO for feature selection in electricity price forecasting by presenting strong statistical evidence that Orthogonal Matching Pursuit (OMP) leads to better forecasting performance.


title: Modelling Triatomic Biosignatures: Ozone and Isotopomers

abstract: In this work we present a new approach to produce spectroscopic constants and model first-principles synthetic spectra for all molecules of astrophysical interest. We have generalized our previous diatomic molecule simulation framework, employing Transition-Optimised Shifted Hermite (TOSH) theory, thereby enabling the modelling of polyatomic rotational constants for molecules with three or more atoms. These capabilities, are now provided by our new code Epimetheus. As a first validation of our approach, we confront our predictions and assess their accuracy against the well-studied triatomic molecule, ozone 666 ($^{16}$O$_3$), in addition to eight of its potential isotopomers: ozone 668 ($^{16}$O$^{16}$O$^{18}$O), 686 ($^{16}$O$^{18}$O$^{16}$O), 667 ($^{16}$O$^{16}$O$^{17}$O), 676 ($^{16}$O$^{17}$O$^{16}$O), 688 ($^{16}$O$^{18}$O$^{18}$O), 868 ($^{18}$O$^{16}$O$^{18}$O), 888 ($^{18}$O$_3$), and 777 ($^{17}$O$_3$). We then assess the accuracy of these rotational constants using the Epimetheus data in our code Pandora, and generate synthetic molecular spectra. The ozone spectra presented here are purely infrared and not Raman. Epimetheus builds upon the work from our previous code Prometheus, which used the TOSH theory to account for anharmonicity for the fundamental $\nu=0 \rightarrow \nu=1$ band, going further to now account for triatomic molecules. This is combined with thermal profile modeling for the rotational transitions. We have found that this extended method performs promisingly, typically approximating the spectroscopic constants and spectra well. Some issues do arise depending on the symmetry group of the ozone isotopomer. In general, we show that Epimetheus can provide the data to produce appreciable molecular spectra, to help drive future high-resolution studies.

categories: physics.chem-ph astro-ph.EP astro-ph.GA astro-ph.IM


title: Simulating dynamics of ellipsoidal particles using lattice Boltzmann method

abstract: Anisotropic particles are often encountered in different fields of soft matter and complex fluids. In this work, we present an implementation of the coupled hydrodynamics of solid ellipsoidal particles and the surrounding fluid using the lattice Boltzmann method. A standard link-based mechanism is used to implement the solid-fluid boundary conditions. We develop an implicit method to update the position and orientation of the ellipsoid. This exploits the relations between the quaternion which describes the ellipsoid's orientation and the ellipsoid's angular velocity to obtain a stable and robust dynamic update. The proposed algorithm is validated by looking at four scenarios: (i) the steady translational velocity of a spheroid subject to an external force in different orientations, (ii) the drift of an inclined spheroid subject to an imposed force, (iii) three-dimensional rotational motions in a simple shear flow (Jeffrey's orbits), and (iv) developed fluid flows and self-propulsion exhibited by a spheroidal microswimmer. In all cases the comparison of numerical results showed good agreement with known analytical solutions, irrespective of the choice of the fluid properties, geometrical parameters, and lattice Boltzmann model, thus demonstrating the robustness of the proposed algorithm.


title: Chlorine and zinc co-doping effects on the electronic structure and optical properties of {\gamma}-CuI

abstract: The effects of chlorine (Cl) and zinc (Zn) co-doping on the electronic structure and optical properties of the zinc blende ({\gamma}) phase of copper iodide ({\gamma}-CuI) scintillator material are investigated by using first-principles density functional theory calculations. The band structure, density of states, dielectric function, absorption coefficients, and reflectivity were analyzed before and after doping. Results show co-doping significantly modifies the band structure, reduces the band gap, and generates impurity energy levels. Cl doping enhances absorption in the high energy region while reducing visible light absorption. Zn doping induces a redshift in absorption and n-type conductivity at high concentrations. With suitable co-doping ratios, the absorption coefficient and reflectivity of {\gamma}-CuI can be optimized in the visible range to improve scintillation light yield. The calculations provide guidance for co-doping {\gamma}-CuI scintillators to achieve superior detection performance. The n-type conductivity also makes doped {\gamma}-CuI promising for optoelectronic applications.


title: The minimum distance of a parameterized code over an even cycle

abstract: We compute the minimum distance of the parameterized code of order 1 over an even cycle.


title: An Improved Algorithm for Learning Drifting Discrete Distributions

abstract: We present a new adaptive algorithm for learning discrete distributions under distribution drift. In this setting, we observe a sequence of independent samples from a discrete distribution that is changing over time, and the goal is to estimate the current distribution. Since we have access to only a single sample for each time step, a good estimation requires a careful choice of the number of past samples to use. To use more samples, we must resort to samples further in the past, and we incur a drift error due to the bias introduced by the change in distribution. On the other hand, if we use a small number of past samples, we incur a large statistical error as the estimation has a high variance. We present a novel adaptive algorithm that can solve this trade-off without any prior knowledge of the drift. Unlike previous adaptive results, our algorithm characterizes the statistical error using data-dependent bounds. This technicality enables us to overcome the limitations of the previous work that require a fixed finite support whose size is known in advance and that cannot change over time. Additionally, we can obtain tighter bounds depending on the complexity of the drifting distribution, and also consider distributions with infinite support.


title: Safe Execution of Learned Orientation Skills with Conic Control Barrier Functions

abstract: In the field of Learning from Demonstration (LfD), Dynamical Systems (DSs) have gained significant attention due to their ability to generate real-time motions and reach predefined targets. However, the conventional convergence-centric behavior exhibited by DSs may fall short in safety-critical tasks, specifically, those requiring precise replication of demonstrated trajectories or strict adherence to constrained regions even in the presence of perturbations or human intervention. Moreover, existing DS research often assumes demonstrations solely in Euclidean space, overlooking the crucial aspect of orientation in various applications. To alleviate these shortcomings, we present an innovative approach geared toward ensuring the safe execution of learned orientation skills within constrained regions surrounding a reference trajectory. This involves learning a stable DS on SO(3), extracting time-varying conic constraints from the variability observed in expert demonstrations, and bounding the evolution of the DS with Conic Control Barrier Function (CCBF) to fulfill the constraints. We validated our approach through extensive evaluation in simulation and showcased its effectiveness for a cutting skill in the context of assisted teleoperation.


title: On Practicality of Using ARM TrustZone Trusted Execution Environment for Securing Programmable Logic Controllers

abstract: Programmable logic controllers (PLCs) are crucial devices for implementing automated control in various industrial control systems (ICS), such as smart power grids, water treatment systems, manufacturing, and transportation systems. Owing to their importance, PLCs are often the target of cyber attackers that are aiming at disrupting the operation of ICS, including the nation's critical infrastructure, by compromising the integrity of control logic execution. While a wide range of cybersecurity solutions for ICS have been proposed, they cannot counter strong adversaries with a foothold on the PLC devices, which could manipulate memory, I/O interface, or PLC logic itself. These days, many ICS devices in the market, including PLCs, run on ARM-based processors, and there is a promising security technology called ARM TrustZone, to offer a Trusted Execution Environment (TEE) on embedded devices. Envisioning that such a hardware-assisted security feature becomes available for ICS devices in the near future, this paper investigates the application of the ARM TrustZone TEE technology for enhancing the security of PLC. Our aim is to evaluate the feasibility and practicality of the TEE-based PLCs through the proof-of-concept design and implementation using open-source software such as OP-TEE and OpenPLC. Our evaluation assesses the performance and resource consumption in real-world ICS configurations, and based on the results, we discuss bottlenecks in the OP-TEE secure OS towards a large-scale ICS and desired changes for its application on ICS devices. Our implementation is made available to public for further study and research.


title: On the structure of Completely Reducible States

abstract: The complete reducibility property for bipartite states reduced the separability problem to a proper subset of positive under partial transpose states and was used to prove several theorems inside and outside entanglement theory. So far only three types of bipartite states were proved to possess this property. In this work, we provide some procedures to create states with this property, we call these states by the name of completely reducible states. The convex combination of such states is the first procedure, showing that the set of completely reducible states is a convex cone. We also provide a complete description of the extreme rays of this set. Then we show that powers, roots and partial traces of completely reducible states result in states of the same type. Finally, we consider a shuffle of states that preserves this property. This shuffle allows us to construct states with the complete reducibility property avoiding the only three conditions known to date that imply this property.


title: Exploiting polar symmetry in designing equivariant observers for vision-based motion estimation

abstract: Accurately estimating camera motion from image sequences poses a significant challenge in computer vision and robotics. Many computer vision methods first compute the essential matrix associated with a motion and then extract orientation and normalized translation as inputs to pose estimation, reconstructing the scene scale (that is unobservable in the epipolar construction) from separate information. In this paper, we design a continuous-time filter that exploits the same perspective by using the epipolar constraint to define pseudo-measurements. We propose a novel polar symmetry on the pose of the camera that makes these measurements equivariant. This allows us to apply recent results from equivariant systems theory to estimating pose. We provide a novel explicit persistence of excitation condition to characterize observability of the full pose, ensuring reconstruction of the scale parameter that is not directly observable in the epipolar construction.


title: Attention-guided Feature Distillation for Semantic Segmentation

abstract: In contrast to existing complex methodologies commonly employed for distilling knowledge from a teacher to a student, the pro-posed method showcases the efficacy of a simple yet powerful method for utilizing refined feature maps to transfer attention. The proposed method has proven to be effective in distilling rich information, outperforming existing methods in semantic segmentation as a dense prediction task. The proposed Attention-guided Feature Distillation (AttnFD) method, em-ploys the Convolutional Block Attention Module (CBAM), which refines feature maps by taking into account both channel-specific and spatial information content. By only using the Mean Squared Error (MSE) loss function between the refined feature maps of the teacher and the student,AttnFD demonstrates outstanding performance in semantic segmentation, achieving state-of-the-art results in terms of mean Intersection over Union (mIoU) on the PascalVoc 2012 and Cityscapes datasets. The Code is available at https://github.com/AmirMansurian/AttnFD.


title: The R2D2 deep neural network series paradigm for fast precision imaging in radio astronomy

abstract: Radio-interferometric (RI) imaging entails solving high-resolution high-dynamic range inverse problems from large data volumes. Recent image reconstruction techniques grounded in optimization theory have demonstrated remarkable capability for imaging precision, well beyond CLEAN's capability. These range from advanced proximal algorithms propelled by handcrafted regularization operators, such as the SARA family, to hybrid plug-and-play (PnP) algorithms propelled by learned regularization denoisers, such as AIRI. Optimization and PnP structures are however highly iterative, which hinders their ability to handle the extreme data sizes expected from future instruments. To address this scalability challenge, we introduce a novel deep learning approach, dubbed "Residual-to-Residual DNN series for high-Dynamic range imaging". R2D2's reconstruction is formed as a series of residual images, iteratively estimated as outputs of Deep Neural Networks (DNNs) taking the previous iteration's image estimate and associated data residual as inputs. It thus takes a hybrid structure between a PnP algorithm and a learned version of the matching pursuit algorithm that underpins CLEAN. We present a comprehensive study of our approach, featuring its multiple incarnations distinguished by their DNN architectures. We provide a detailed description of its training process, targeting a telescope-specific approach. R2D2's capability to deliver high precision is demonstrated in simulation, across a variety of image and observation settings using the Very Large Array (VLA). Its reconstruction speed is also demonstrated: with only few iterations required to clean data residuals at dynamic ranges up to 100000, R2D2 opens the door to fast precision imaging. R2D2 codes are available in the BASPLib library on GitHub.


title: Asymptotic Variation of Elementary Abelian p-Extensions over $P^1$

abstract: In this paper, we prove that there exists a Zariski dense open subset $U$ in the parameter space of all elementary $p$-covers of the projective line that ramified at exactly one point, defined over the rationals, such that for every curve $X$ in $U(\overline{Q})$ and for any prime $p$ large enough, the reduction of $X$ at all primes lying over $p$ achieves its generic Newton slopes.


title: Quantitative Propagation of Chaos for Singular Interacting Particle Systems Driven by Fractional Brownian Motion

abstract: We consider interacting systems particle driven by i.i.d. fractional Brownian motions, subject to irregular, possibly distributional, pairwise interactions. We show propagation of chaos and mean field convergence to the law of the associated McKean--Vlasov equation, as the number of particles $N\to\infty$, with quantitative sharp rates of order $N^{-1/2}$. Our results hold for a wide class of possibly time-dependent interactions, which are only assumed to satisfy a Besov-type regularity, related to the Hurst parameter $H\in (0,+\infty)\setminus \mathbb{N}$ of the driving noises. In particular, as $H$ decreases to $0$, interaction kernels of arbitrary singularity can be considered, a phenomenon frequently observed in regularization by noise results. Our proofs rely on a combinations of Sznitman's direct comparison argument with stochastic sewing techniques.


title: Control-Oriented Identification for the Linear Quadratic Regulator: Technical Report

abstract: Data-driven control benefits from rich datasets, but constructing such datasets becomes challenging when gathering data is limited. We consider an offline experiment design approach to gathering data where we design a control input to collect data that will most improve the performance of a feedback controller. We show how such a control-oriented approach can be used in a setting with linear dynamics and quadratic objective and, through design of a gradient estimator, solve the problem via stochastic gradient descent. We show our formulation numerically outperforms an A- and L-optimal experiment design approach as well as a robust dual control approach.


title: Lepowsky's and Wakimoto's product formulas for the affine Lie algebras $C_l^{(1)}$

abstract: In this paper, we recall Lepowsky's and Wakimoto's product character formulas formulated in a new way by using arrays of specialized weighted crystals of negative roots for affine Lie algebras of type $C_l^{(1)}$, $D_{l+1}^{(2)}$ and $A_{2l}^{(2)}$. Lepowsky-Wakimoto's infinite periodic products appear as one side of (conjectured) Rogers-Ramanujan-type combinatorial identities for affine Lie algebras of type $C_l^{(1)}$.


title: Sparse dynamic network reconstruction through L1-regularization of a Lyapunov equation

abstract: An important problem in many areas of science is that of recovering interaction networks from simultaneous time-series of many interacting dynamical processes. A common approach is to use the elements of the correlation matrix or its inverse as proxies of the interaction strengths, but the reconstructed networks are necessarily undirected. Transfer entropy methods have been proposed to reconstruct directed networks but the reconstructed network lacks information about interaction strengths. We propose a network reconstruction method that inherits the best of the two approaches by reconstructing a directed weighted network from noisy data under the assumption that the network is sparse and the dynamics are governed by a linear (or weakly-nonlinear) stochastic dynamical system. The two steps of our method are i) constructing an (infinite) family of candidate networks by solving the covariance matrix Lyapunov equation for the state matrix and ii) using L1-regularization to select a sparse solution. We further show how to use prior information on the (non)existence of a few directed edges to drastically improve the quality of the reconstruction.


title: Evaluating AI and Human Authorship Quality in Academic Writing through Physics Essays

abstract: This study evaluates $n = 300$ short-form physics essay submissions, equally divided between student work submitted before the introduction of ChatGPT and those generated by OpenAI's GPT-4. In blinded evaluations conducted by five independent markers who were unaware of the origin of the essays, we observed no statistically significant differences in scores between essays authored by humans and those produced by AI (p-value $= 0.107$, $\alpha$ = 0.05). Additionally, when the markers subsequently attempted to identify the authorship of the essays on a 4-point Likert scale - from `Definitely AI' to `Definitely Human' - their performance was only marginally better than random chance. This outcome not only underscores the convergence of AI and human authorship quality but also highlights the difficulty of discerning AI-generated content solely through human judgment. Furthermore, the effectiveness of five commercially available software tools for identifying essay authorship was evaluated. Among these, ZeroGPT was the most accurate, achieving a 98% accuracy rate and a precision score of 1.0 when its classifications were reduced to binary outcomes. This result is a source of potential optimism for maintaining assessment integrity. Finally, we propose that texts with $\leq 50\%$ AI-generated content should be considered the upper limit for classification as human-authored, a boundary inclusive of a future with ubiquitous AI assistance whilst also respecting human-authorship.


title: Soft Theorems for Boostless Amplitudes

abstract: We consider effective field theories (EFTs) of scalar fields with broken Lorentz boosts, which arise by taking the decoupling and flat-space limits of the EFT of inflation, and derive constraints that must be satisfied by the corresponding scattering amplitudes if there is an underlying non-linearly realised symmetry. We primarily concentrate on extended shift symmetries which depend on the space-time coordinates, and find that combinations of scattering amplitudes obey enhanced Adler zeros. That is, such combinations vanish as one external momentum is taken soft, with the rate at which they vanish dictated by the corresponding symmetry. In our soft theorem derivation, we pay particular care to the energy and momentum-conserving delta functions that arise due to space-time translations, and show that when acted upon by derivatives with respect to spatial momenta, they yield a tower of soft theorems which are ultimately required for closure of the underlying symmetry algebra. All of our soft theorems correspond to constraints that must be satisfied by on-shell amplitudes and, even for symmetries that depend on the time coordinate, our soft theorems only require derivatives to be taken with respect to spatial momenta. We perform a soft bootstrap procedure to find solutions to our soft theorems, and compare these solutions to what we find from an off-shell analysis using the coset construction.


title: Rubidium and cesium ion-induced electron and ion signals for scanning ion microscopy applications

abstract: Scanning ion microscopy applications of novel focused ion beam (FIB) systems based on ultracold rubidium (Rb) and cesium (Cs) atoms were investigated via ion-induced electron and ion yields. Results measured on the Rb$^+$ and Cs$^+$ FIB systems were compared with results from commercially available gallium (Ga$^+$) systems to verify the merits of applying Rb$^+$ and Cs$^+$ for imaging. The comparison shows that Rb$^+$ and Cs$^+$ have higher secondary electron (SE) yields on a variety of pure element targets than Ga$^+$, which implies a higher signal-to-noise ratio can be achieved for the same dose in SE imaging using Rb$^+$/Cs$^+$ than Ga$^+$. In addition, analysis of the ion-induced ion signals reveals that secondary ions dominate Cs$^+$ induced ion signals while the Rb$^+$/Ga$^+$ induced signals contain more backscattered ions.


title: On varimax asymptotics in network models and spectral methods for dimensionality reduction

abstract: Varimax factor rotations, while popular among practitioners in psychology and statistics since being introduced by H. Kaiser, have historically been viewed with skepticism and suspicion by some theoreticians and mathematical statisticians. Now, work by K. Rohe and M. Zeng provides new, fundamental insight: varimax rotations provably perform statistical estimation in certain classes of latent variable models when paired with spectral-based matrix truncations for dimensionality reduction. We build on this newfound understanding of varimax rotations by developing further connections to network analysis and spectral methods rooted in entrywise matrix perturbation analysis. Concretely, this paper establishes the asymptotic multivariate normality of vectors in varimax-transformed Euclidean point clouds that represent low-dimensional node embeddings in certain latent space random graph models. We address related concepts including network sparsity, data denoising, and the role of matrix rank in latent variable parameterizations. Collectively, these findings, at the confluence of classical and contemporary multivariate analysis, reinforce methodology and inference procedures grounded in matrix factorization-based techniques. Numerical examples illustrate our findings and supplement our discussion.


title: Incompleteness of Sinclair-type continuum flexible boundary conditions for atomistic fracture simulations

abstract: The elastic field around a crack opening is known to be described by continuum linearised elasticity in leading order. In this work, we explicitly develop the next term in the atomistic asymptotic expansion in the case of a Mode III crack in anti-plane geometry. The aim of such an expansion is twofold. First, we show that the well-known flexible boundary condition ansatz due to Sinclair is incomplete, meaning that, in principle, employing it in atomistic fracture simulations is no better than using boundary conditions from continuum linearised elasticity. And secondly, the higher order far-field expansion can be employed as a boundary condition for high-accuracy atomistic simulations. To obtain our results, we develop an asymptotic expansion of the associated lattice Green's function. In an interesting departure from the recently developed theory for spatially homogeneous cases, this includes a novel notion of a discrete geometry predictor, which accounts for the peculiar discrete geometry near the crack tip.


title: Accelerating high order discontinuous Galerkin solvers through a clustering-based viscous/turbulent-inviscid domain decomposition

abstract: We explore the unsupervised clustering technique introduced in [25] to identify viscous/turbulent from inviscid regions in incompressible flows. The separation of regions allows solving the Navier-Stokes equations including Large Eddy Simulation closure models only in the viscous/turbulent ones, while solving the Euler equations in the remaining of the computational domain. By solving different sets of equations, the computational cost is significantly reduced. This coupling strategy is implemented within a discontinuous Galerkin numerical framework, which allows discontinuous solutions (i.e., different set of equations) in neighbouring elements that interact through numerical fluxes. The proposed strategy maintains the same accuracy at lower cost, when compared to solving the full Navier-Stokes equations throughout the entire domain. Validation of this approach is conducted across diverse flow regimes, spanning from unsteady laminar flows to unsteady turbulent flows, including an airfoil section at Reynolds numbers Re = 103 and 104 and large angles of attack, and the flow past a wind turbine, modelled using actuator lines. The computational cost is reduced by 25% and 29% for the unsteady turbulent flow around an airfoil section and the flow past the wind turbine, respectively. In addition, to further accelerate the simulations, we combine the proposed decoupling with local P -adaptation, as proposed in [ 30]. When doing so, we reduce the computational cost by 41% and 45% for the flow around the airfoil section and the flow past the wind turbine, respectively


title: Generalized Yang Poisson Models on Canonical Phase Space

abstract: We discuss the generalized Yang Poisson models. We construct generalizations of the Yang Poisson algebra related to $\mathfrak{o}(1,5)$ algebra discussed by Meljanac and Mignemi (2023). The exact realizations of this generalized algebra on canonical phase space are presented and the corresponding differential equations are solved in simple cases. Furthermore, we discuss the Poisson algebras related to $\mathfrak{o}(3,3)$ and $\mathfrak{o}(2,4)$ algebras.


title: Algorithm-Hardware Co-Design of Distribution-Aware Logarithmic-Posit Encodings for Efficient DNN Inference

abstract: Traditional Deep Neural Network (DNN) quantization methods using integer, fixed-point, or floating-point data types struggle to capture diverse DNN parameter distributions at low precision, and often require large silicon overhead and intensive quantization-aware training. In this study, we introduce Logarithmic Posits (LP), an adaptive, hardware-friendly data type inspired by posits that dynamically adapts to DNN weight/activation distributions by parameterizing LP bit fields. We also develop a novel genetic-algorithm based framework, LP Quantization (LPQ), to find optimal layer-wise LP parameters while reducing representational divergence between quantized and full-precision models through a novel global-local contrastive objective. Additionally, we design a unified mixed-precision LP accelerator (LPA) architecture comprising of processing elements (PEs) incorporating LP in the computational datapath. Our algorithm-hardware co-design demonstrates on average <1% drop in top-1 accuracy across various CNN and ViT models. It also achieves ~ 2x improvements in performance per unit area and 2.2x gains in energy efficiency compared to state-of-the-art quantization accelerators using different data types.


title: Grasping Trajectory Optimization with Point Clouds

abstract: We introduce a new trajectory optimization method for robotic grasping based on a point-cloud representation of robots and task spaces. In our method, robots are represented by 3D points on their link surfaces. The task space of a robot is represented by a point cloud that can be obtained from depth sensors. Using the point-cloud representation, goal reaching in grasping can be formulated as point matching, while collision avoidance can be efficiently achieved by querying the signed distance values of the robot points in the signed distance field of the scene points. Consequently, a constrained non-linear optimization problem is formulated to solve the joint motion and grasp planning problem. The advantage of our method is that the point-cloud representation is general to be used with any robot in any environment. We demonstrate the effectiveness of our method by conducting experiments on a tabletop scene and a shelf scene for grasping with a Fetch mobile manipulator and a Franka Panda arm.


title: On the Set of Possible Minimizers of a Sum of Convex Functions

abstract: Consider a sum of convex functions, where the only information known about each individual summand is the location of a minimizer. In this work, we give an exact characterization of the set of possible minimizers of the sum. Our results cover several types of assumptions on the summands, such as smoothness or strong convexity. Our main tool is the use of necessary and sufficient conditions for interpolating the considered function classes, which leads to shorter and more direct proofs in comparison with previous work. We also address the setting where each summand minimizer is assumed to lie in a unit ball, and prove a tight bound on the norm of any minimizer of the sum.


title: Will GPT-4 Run DOOM?

abstract: We show that GPT-4's reasoning and planning capabilities extend to the 1993 first-person shooter Doom. This large language model (LLM) is able to run and play the game with only a few instructions, plus a textual description--generated by the model itself from screenshots--about the state of the game being observed. We find that GPT-4 can play the game to a passable degree: it is able to manipulate doors, combat enemies, and perform pathing. More complex prompting strategies involving multiple model calls provide better results. While further work is required to enable the LLM to play the game as well as its classical, reinforcement learning-based counterparts, we note that GPT-4 required no training, leaning instead on its own reasoning and observational capabilities. We hope our work pushes the boundaries on intelligent, LLM-based agents in video games. We conclude by discussing the ethical implications of our work.


title: Observation of Topological Hall Effect and Skyrmions in Pt/Co/Ir/Co/Pt System

abstract: The interlayer exchange coupling (IEC) between two ferromagnetic (FM) layers separated by a non-magnetic (NM) spacer layer gives rise to different types of coupling with the variation of spacer layer thickness. When the NM is metallic, the IEC is attributed to the well known Ruderman Kittel Kasuya Yosida (RKKY) interaction which shows an oscillatory decaying nature with increasing thickness. Due to this, it is possible to tune the coupling between the two FM to be either ferromagnetic or antiferromagnetic. In this work we have studied a Pt/Co/Ir/Co/Pt system where the Co thickness has been taken in the strong perpendicular magnetic anisotropy regime which is much less than the spin reorientation transition thickness. By tuning the Ir thickness to 2.0 nm, a canted state of magnetization reversal in the system is observed which gives rise to a possibility of nucleating topologically non trivial spin textures like skyrmions. Further, with the combination of transport and magnetic force microscopy (MFM) measurements, we have confirmed the presence of skyrmions in our system. These findings may be useful for potential applications in emerging spintronic and data storage technologies using skyrmions.


title: Semicoherent Symmetric Quantum Processes: Theory and Applications

abstract: Discovering pragmatic and efficient approaches to synthesize $\varepsilon$-approximations to quantum operators such as real (imaginary) time-evolution propagators in terms of the basic quantum operations (gates) is challenging. These invaluable $\varepsilon$-approximations enable the compilation of classical and quantum algorithms modeling, e.g., dynamical properties. In parallel, symmetries are powerful tools concisely describing the fundamental laws of nature; the symmetrical underpinnings of physical laws having consistently provided profound insights and substantially increased predictive power. In this work, we consider the interplay between $\varepsilon$-approximations processes and symmetries in a semi-coherent context--where measurements occur at each logical clock cycle. We draw inspiration from Pascual Jordan's groundbreaking formulation of non-associative, but commutative, algebraic forms. Our symmetrized formalism is applied in various domains such as quantum random walks, real-time-evolutions, variational algorithms ansatzes, and efficient entanglement verification. Our work paves the way for a deeper understanding and greater appreciation of how symmetries can be used to control quantum dynamics in the near-term.


title: Squeezing, trisqueezing, and quadsqueezing in a spin-oscillator system

abstract: Quantum harmonic oscillators model a wide variety of phenomena ranging from electromagnetic fields to vibrations of atoms in molecules. Their excitations can be represented by bosons such as photons, single particles of light, or phonons, the quanta of vibrational energy. Linear interactions that only create and annihilate single bosons can generate coherent states of light or motion. Introducing nth-order nonlinear interactions, that instead involve n bosons, leads to increasingly complex quantum behaviour. For example, second-order interactions enable squeezing, used to enhance the precision of measurements beyond classical limits, while higher-order interactions create non-Gaussian states essential for continuous-variable quantum computation. However, generating nonlinear interactions is challenging, typically requiring higher-order derivatives of the driving field or specialized hardware. Hybrid systems, where linear interactions couple an oscillator to an additional spin, offer a solution and are readily available across many platforms. Here, using the spin of a single trapped ion coupled to its motion, we employ two linear interactions to demonstrate up to fourth-order bosonic interactions; we focus on generalised squeezing interactions and demonstrate squeezing, trisqueezing, and quadsqueezing. We characterise these interactions, including their spin dependence, and reconstruct the Wigner function of the resulting states. We also discuss the scaling of the interaction strength, where we drive the quadsqueezing interaction more than 100 times faster than using conventional techniques. Our method presents no fundamental limit in the interaction order n and applies to any platform supporting spin-dependent linear interactions. Strong higher-order nonlinear interactions unlock the study of fundamental quantum optics, quantum simulation, and computation in a hitherto unexplored regime.


title: Federated Joint Learning of Robot Networks in Stroke Rehabilitation

abstract: Advanced by rich perception and precise execution, robots possess immense potential to provide professional and customized rehabilitation exercises for patients with mobility impairments caused by strokes. Autonomous robotic rehabilitation significantly reduces human workloads in the long and tedious rehabilitation process. However, training a rehabilitation robot is challenging due to the data scarcity issue. This challenge arises from privacy concerns (e.g., the risk of leaking private disease and identity information of patients) during clinical data access and usage. Data from various patients and hospitals cannot be shared for adequate robot training, further compromising rehabilitation safety and limiting implementation scopes. To address this challenge, this work developed a novel federated joint learning (FJL) method to jointly train robots across hospitals. FJL also adopted a long short-term memory network (LSTM)-Transformer learning mechanism to effectively explore the complex tempo-spatial relations among patient mobility conditions and robotic rehabilitation motions. To validate FJL's effectiveness in training a robot network, a clinic-simulation combined experiment was designed. Real rehabilitation exercise data from 200 patients with stroke diseases (upper limb hemiplegia, Parkinson's syndrome, and back pain syndrome) were adopted. Inversely driven by clinical data, 300,000 robotic rehabilitation guidances were simulated. FJL proved to be effective in joint rehabilitation learning, performing 20% - 30% better than baseline methods.


title: Quasiparticle band structure and excitonic optical response in V2O5 bulk and monolayer

abstract: The electronic band structure of V$_2$O$_5$ is calculated using an all-electron quasiparticle self-consistent (QS) $GW$ method, including electron-hole ladder diagrams in the screening of $W$. The optical dielectric function calculated with the Bethe-Salpeter equation exhibits excitons with large binding energy, consistent with spectroscopic ellipsometry data and other recent calculations. Sharp peaks in the direction perpendicular to the layers at high energy are found to be an artifact of the truncation of the numbers of bands included in the BSE calculation of the macroscopic dielectric function. The $\varepsilon_1(\omega=0)$ gives indices of refraction in good agreement with experiment. The excitons are charge transfer excitons with the hole primarily on oxygen and electrons on vanadium, but depending on which exciton, the distribution over different oxygens changes. The exciton wave functions have a spread of about 5-15\AA, with asymmetric character for the electron distribution around the hole depending on which oxygen the hole is fixed at. The monolayer quasiparticle gap increases inversely proportional to interlayer distance once the initial interlayer covalent couplings are removed which is thanks to the long-range nature of the self-energy and the reduced screening in a 2D system. The optical gap on the other hand is relatively independent of interlayer spacing because of the compensation between the self-energy gap shift and the exciton binding energy, both of which are proportional to the screened Coulomb interaction $\hat{W}$. Recent experimental results on very thin layer V$_2$O$_5$ obtained by chemical exfoliation provide experimental support for an increase in gap.


title: Energy function for grain boundary plane orientation fundamental zone

abstract: The success of grain boundary (GB) plane orientation fundamental zone (FZ) has connected GB structures across multiple crystallographic characters with their properties in a unique insight, but quantitative understandings of the structure-property relationship therein are still lacking. Based on the well-known Read-Shockley relationship, a theoretical derivation is proposed to predict low angle GB energies as a function of FZ parameters, which forms a standard energy function that accurately captures the simulated energy trends in a simple and clear manner. The theorization presented here is therefore expected to be a starting point for modern GB energy functions.


title: Geometric inverse problems on gas giants

abstract: On gas giant planets the speed of sound is isotropic and goes to zero at the surface. Geometrically, this corresponds to a Riemannian manifold whose metric tensor has a conformal blow-up near the boundary. The blow-up is tamer than in asymptotically hyperbolic geometry: the boundary is at a finite distance. We study the differential geometry of such manifolds, especially the asymptotic behavior of geodesics near the boundary. We relate the geometry to the propagation of singularities of a hydrodynamic PDE and we give the basic properties of the Laplace--Beltrami operator. We solve two inverse problems, showing that the interior structure of a gas giant is uniquely determined by different types of boundary data.


title: Physics-based distinction of nonequilibrium effects in near-wall modeling of turbulent separation bubble with and without sweep

abstract: Pressure-gradient-induced separation of swept and unswept turbulent boundary layers, based on the DNS studies of Coleman et al. (J. Fluid Mech. 2018 & 2019), have been analyzed for various nonequilibrium effects. The goal is to isolate physical processes critical to near-wall flow modeling. The decomposition of skin friction into contributing physical terms, proposed by Renard and Deck (J. Fluid Mech. 2016) (short: RD decomposition), affords several key insights into the near-wall physics of these flows. In the unswept case, spatial growth term (encapsulating nonequilibrium effects) and TKE production appear to be the dominant contributing terms in the RD decomposition in the separated and pressure-gradient zones, but a closer inspection reveals that only the spatial growth term dominates in the inner layer close to the separation bubble, implying a strong need for incorporating nonequilibrium terms in the wall modeling of this case. The comparison of streamwise RD decomposition of swept and unswept cases shows that a larger accumulated Clauser-pressure-gradient parameter history in the latter energizes the outer dynamics in the APG, leading to diminished separation bubble size in the unswept case. The spanwise RD decomposition in the swept case indicates that the downstream spanwise flow largely retains the upstream ZPG characteristics. This seems to ease the near-wall modeling challenge in the separated region, especially for basic models with an inherent log-law assumption. Wall-modeled LES of the swept and unswept cases are then performed using three wall models, validating many of the modeling implications from the DNS. In particular, the extension of RD decomposition to wall models underpins the criticality of spatial growth term close to the separation bubble, and the corresponding superior predictions by the PDE wall model due to its accurate capturing of this term.


title: Take Your Best Shot: Sampling-Based Next-Best-View Planning for Autonomous Photography & Inspection

abstract: Autonomous mobile robots (AMRs) equipped with high-quality cameras have revolutionized the field of inspections by providing efficient and cost-effective means of conducting surveys. The use of autonomous inspection is becoming more widespread in a variety of contexts, yet it is still challenging to acquire the best inspection information autonomously. In situations where objects may block a robot's view, it is necessary to use reasoning to determine the optimal points for collecting data. Although researchers have explored cloud-based applications to store inspection data, these applications may not operate optimally under network constraints, and parsing these datasets can be manually intensive. Instead, there is an emerging requirement for AMRs to autonomously capture the most informative views efficiently. To address this challenge, we present an autonomous Next-Best-View (NBV) framework that maximizes the inspection information while reducing the number of pictures needed during operations. The framework consists of a formalized evaluation metric using ray-tracing and Gaussian process interpolation to estimate information reward based on the current understanding of the partially-known environment. A derivative-free optimization (DFO) method is used to sample candidate views in the environment and identify the NBV point. The proposed approach's effectiveness is shown by comparing it with existing methods and further validated through simulations and experiments with various vehicles.


title: HGIC: A Hand Gesture Based Interactive Control System for Efficient and Scalable Multi-UAV Operations

abstract: As technological advancements continue to expand the capabilities of multi unmanned-aerial-vehicle systems (mUAV), human operators face challenges in scalability and efficiency due to the complex cognitive load and operations associated with motion adjustments and team coordination. Such cognitive demands limit the feasible size of mUAV teams and necessitate extensive operator training, impeding broader adoption. This paper developed a Hand Gesture Based Interactive Control (HGIC), a novel interface system that utilize computer vision techniques to intuitively translate hand gestures into modular commands for robot teaming. Through learning control models, these commands enable efficient and scalable mUAV motion control and adjustments. HGIC eliminates the need for specialized hardware and offers two key benefits: 1) Minimal training requirements through natural gestures; and 2) Enhanced scalability and efficiency via adaptable commands. By reducing the cognitive burden on operators, HGIC opens the door for more effective large-scale mUAV applications in complex, dynamic, and uncertain scenarios. HGIC will be open-sourced after the paper being published online for the research community, aiming to drive forward innovations in human-mUAV interactions.