title: InteractionNet: Joint Planning and Prediction for Autonomous Driving with Transformers

abstract: Planning and prediction are two important modules of autonomous driving and have experienced tremendous advancement recently. Nevertheless, most existing methods regard planning and prediction as independent and ignore the correlation between them, leading to the lack of consideration for interaction and dynamic changes of traffic scenarios. To address this challenge, we propose InteractionNet, which leverages transformer to share global contextual reasoning among all traffic participants to capture interaction and interconnect planning and prediction to achieve joint. Besides, InteractionNet deploys another transformer to help the model pay extra attention to the perceived region containing critical or unseen vehicles. InteractionNet outperforms other baselines in several benchmarks, especially in terms of safety, which benefits from the joint consideration of planning and forecasting. The code will be available at https://github.com/fujiawei0724/InteractionNet.


title: Occlusion-Free Image Based Visual Servoing using Probabilistic Control Barrier Certificates

abstract: Image-based visual servoing (IBVS) is a widely-used approach in robotics that employs visual information to guide robots towards desired positions. However, occlusions in this approach can lead to visual servoing failure and degrade the control performance due to the obstructed vision feature points that are essential for providing visual feedback. In this paper, we propose a Control Barrier Function (CBF) based controller that enables occlusion-free IBVS tasks by automatically adjusting the robot's configuration to keep the feature points in the field of view and away from obstacles. In particular, to account for measurement noise of the feature points, we develop the Probabilistic Control Barrier Certificates (PrCBC) using control barrier functions that encode the chance-constrained occlusion avoidance constraints under uncertainty into deterministic admissible control space for the robot, from which the resulting configuration of robot ensures that the feature points stay occlusion free from obstacles with a satisfying predefined probability. By integrating such constraints with a Model Predictive Control (MPC) framework, the sequence of optimized control inputs can be derived to achieve the primary IBVS task while enforcing the occlusion avoidance during robot movements. Simulation results are provided to validate the performance of our proposed method.


title: TSI-Net: A Timing Sequence Image Segmentation Network for Intracranial Artery Segmentation in Digital Subtraction Angiography

abstract: Cerebrovascular disease is one of the major diseases facing the world today. Automatic segmentation of intracranial artery (IA) in digital subtraction angiography (DSA) sequences is an important step in the diagnosis of vascular related diseases and in guiding neurointerventional procedures. While, a single image can only show part of the IA within the contrast medium according to the imaging principle of DSA technology. Therefore, 2D DSA segmentation methods are unable to capture the complete IA information and treatment of cerebrovascular diseases. We propose A timing sequence image segmentation network with U-shape, called TSI-Net, which incorporates a bi-directional ConvGRU module (BCM) in the encoder. The network incorporates a bi-directional ConvGRU module (BCM) in the encoder, which can input variable-length DSA sequences, retain past and future information, segment them into 2D images. In addition, we introduce a sensitive detail branch (SDB) at the end for supervising fine vessels. Experimented on the DSA sequence dataset DIAS, the method performs significantly better than state-of-the-art networks in recent years. In particular, it achieves a Sen evaluation metric of 0.797, which is a 3% improvement compared to other methods.


title: Spin-Statistics for Black Hole Microstates

abstract: The gravitational path integral can be used to compute the number of black hole states for a given energy window, or the free energy in a thermal ensemble. In this article we explain how to use the gravitational path integral to compute the separate number of bosonic and fermionic black hole microstates. We do this by comparing the partition function with and without the insertion of $(-1)^{\sf F}$. In particular we introduce a universal rotating black hole that contributes to the partition function in the presence of $(-1)^{\sf F}$. We study this problem for black holes in asymptotically flat space and in AdS, putting constraints on the high energy spectrum of holographic CFTs (not necessarily supersymmetric). Finally, we analyze wormhole contributions to related quantities.


title: Pulsed high-power radio frequency energy can cause non-thermal harmful effects on the brain

abstract: High-power microwave applications are growing for both military and civil purposes, yet they can induce brain-related risks and raise important public health concerns. High-power sub-millisecond radio frequency energy pulses have been demonstrated to be able to induce neurological and neuropathological changes in the brain while being compliant with current regulatory guidelines' limits, highlighting the necessity of revising them.


title: An Anonymous yet Accountable Contract Wallet System using Account Abstraction

abstract: Account abstraction allows a contract wallet to initiate transaction execution. Thus, account abstraction is useful for preserving the privacy of externally owned accounts (EOAs) because it can remove a transaction issued from an EOA to the contract wallet and hides who issued the transaction by additionally employing anonymous authentication procedures such as ring signatures. However, unconditional anonymity is undesirable in practice because it prevents to reveal who is accountable for a problem when it arises. Thus, maintaining a balancing between anonymity and accountability is important. In this paper, we propose an anonymous yet accountable contract wallet system. In addition to account abstraction, the proposed system also utilizes accountable ring signatures (Bootle et al., ESORICS 2015). The proposed system provides (1) anonymity of a transaction issuer that hides who agreed with running the contract wallet, and (2) accountability of the issuer, which allows the issuer to prove they agreed with running the contract wallet. Moreover, due to a security requirement of accountable ring signatures, the transaction issuer cannot claim that someone else issued the transaction. This functionality allows us to clarify the accountability involved in issuing a transaction. In addition, the proposed system allows an issuer to employ a typical signature scheme, e.g., ECDSA, together with the ring signature scheme. This functionality can be considered an extension of the common multi-signatures that require a certain number of ECDSA signatures to run a contract wallet. The proposed system was implemented using zkSync (Solidity). We discuss several potential applications of the proposed system, i.e., medical information sharing and asset management.


title: Microlocal Analysis of Waves Across the Event Horizon of an Extremal Rotating Black Hole

abstract: Static black holes contain regions of spacetime which not even light can escape from. In the centre of mass frame, these blocks are separated from each other by event horizons. Unlike pointlike particles, fields can spread and interact non-causally across the horizons. The microlocal theory of this is somewhat incomplete however. For instance, the theory of real principal type operators does not apply on the horizon. In this article, we address this issue for the extremal rotating black hole. Namely, we show that null covectors on the horizon of the extremal Kerr spacetime form an involutive double characteristic manifold and then extend the construction of parametrix across the event horizon. This provides a mathematical basis for the asymptotic oscillatory solutions in the region. Such approximations are central in quantum mechanics. In contrast to the real principal case, solutions near the horizon admit two channels for propagation of singularities. Indeed, there is additional propagation along the double characteristic variety.


title: Machine learning of kinetic energy densities with target and feature averaging: better results with fewer training data

abstract: Machine learning of kinetic energy functionals (KEF), in particular kinetic energy density (KED) functionals, has recently attracted attention as a promising way to construct KEFs for orbital-free density functional theory (OF-DFT). Neural networks (NN) and kernel methods including Gaussian process regression (GPR) have been used to learn Kohn-Sham (KS) KED from density-based descriptors derived from KS DFT calculations. The descriptors are typically expressed as functions of different powers and derivatives of the electron density. This can generate large and extremely unevenly distributed datasets, which complicates effective application of machine learning techniques. Very uneven data distributions require many training data points, can cause overfitting, and ultimately lower the quality of a ML KED model. We show that one can produce more accurate ML models from fewer data by working with partially averaged density-dependent variables and KED. Averaging palliates the issue of very uneven data distributions and associated difficulties of sampling, while retaining enough spatial structure necessary for working within the paradigm of KEDF. We use GPR as a function of partially spatially averaged terms of the 4th order gradient expansion and the Kohn-Sham effective potential and obtain accurate and stable (with respect to different random choices of training points) kinetic energy models for Al, Mg, and Si simultaneously from as few as 2000 samples (about 0.3% of the total KS DFT data). In particular, accuracies on the order of 1% in a measure of the quality of energy-volume dependence B' = \frac{E(V_0-\Delta V)-2E(V_0)+E(V_0 + \Delta V)}{\big(\frac{\Delta V}{V_0}\big)^2} are obtained simultaneously for all three materials.


title: DetermiNet: A Large-Scale Diagnostic Dataset for Complex Visually-Grounded Referencing using Determiners

abstract: State-of-the-art visual grounding models can achieve high detection accuracy, but they are not designed to distinguish between all objects versus only certain objects of interest. In natural language, in order to specify a particular object or set of objects of interest, humans use determiners such as "my", "either" and "those". Determiners, as an important word class, are a type of schema in natural language about the reference or quantity of the noun. Existing grounded referencing datasets place much less emphasis on determiners, compared to other word classes such as nouns, verbs and adjectives. This makes it difficult to develop models that understand the full variety and complexity of object referencing. Thus, we have developed and released the DetermiNet dataset , which comprises 250,000 synthetically generated images and captions based on 25 determiners. The task is to predict bounding boxes to identify objects of interest, constrained by the semantics of the given determiner. We find that current state-of-the-art visual grounding models do not perform well on the dataset, highlighting the limitations of existing models on reference and quantification tasks.


title: Laws of Physics

abstract: Despite its apparent complexity, our world seems to be governed by simple laws of physics. This volume provides a philosophical introduction to such laws. I explain how they are connected to some of the central issues in philosophy, such as ontology, possibility, explanation, induction, counterfactuals, time, determinism, and fundamentality. I suggest that laws are fundamental facts that govern the world by constraining its physical possibilities. I examine three hallmarks of laws--simplicity, exactness, and objectivity--and discuss whether and how they may be associated with laws of physics.

categories: physics.hist-ph cond-mat.stat-mech gr-qc math-ph math.MP quant-ph


title: Accelerated Decay due to Operator Spreading in Bulk-Dissipated Quantum Systems

abstract: Markovian open many-body quantum systems display complicated relaxation dynamics. The spectral gap of the Liouvillian characterizes the asymptotic decay rate towards the stationary state, but it has recently been pointed out that the spectral gap does not necessarily determine the overall relaxation time. Our understanding on the relaxation process before the asymptotically long-time regime is still limited. We here present a collective relaxation dynamics of autocorrelation functions in the stationary state. As a key quantity in the analysis, we introduce the instantaneous decay rate, which characterizes the transient relaxation and converges to the conventional asymptotic decay rate in the long-time limit. Our theory predicts that a bulk-dissipated system generically shows an accelerated decay before the asymptotic regime due to the scrambling of quantum information associated with the operator spreading.


title: Simulating room transfer functions between transducers mounted on audio devices using a modified image source method

abstract: The image source method (ISM) is often used to simulate room acoustics due to its ease of use and computational efficiency. The standard ISM is limited to simulations of room impulse responses between point sources and omnidirectional receivers. In this work, the ISM is extended using spherical harmonic directivity coefficients to include acoustic diffraction effects due to source and receiver transducers mounted on physical devices, which are typically encountered in practical situations. The proposed method is verified using finite element simulations of various loudspeaker and microphone configurations in a rectangular room. It is shown that the accuracy of the proposed method is related to the sizes, shapes, number, and positions of the devices inside a room. A simplified version of the proposed method, which can significantly reduce computational effort, is also presented. The proposed method and its simplified version can simulate room transfer functions more accurately than currently available image source methods and can aid the development and evaluation of speech and acoustic signal processing algorithms, including speech enhancement, acoustic scene analysis, and acoustic parameter estimation.


title: Privacy-preserving Continual Federated Clustering via Adaptive Resonance Theory

abstract: With the increasing importance of data privacy protection, various privacy-preserving machine learning methods have been proposed. In the clustering domain, various algorithms with a federated learning framework (i.e., federated clustering) have been actively studied and showed high clustering performance while preserving data privacy. However, most of the base clusterers (i.e., clustering algorithms) used in existing federated clustering algorithms need to specify the number of clusters in advance. These algorithms, therefore, are unable to deal with data whose distributions are unknown or continually changing. To tackle this problem, this paper proposes a privacy-preserving continual federated clustering algorithm. In the proposed algorithm, an adaptive resonance theory-based clustering algorithm capable of continual learning is used as a base clusterer. Therefore, the proposed algorithm inherits the ability of continual learning. Experimental results with synthetic and real-world datasets show that the proposed algorithm has superior clustering performance to state-of-the-art federated clustering algorithms while realizing data privacy protection and continual learning ability. The source code is available at \url{https://github.com/Masuyama-lab/FCAC}.


title: Topological Quantum Materials for Energy Conversion and Storage

abstract: Topological quantum materials (TQMs) have symmetry protected band structures with useful electronic properties that have applications in information, sensing, energy, and other technologies. In the past 10 years, the applications of TQMs in the field of energy conversion and storage mainly including water splitting, ethanol electro-oxidation, battery, supercapacitor, and relative energy-efficient devices have attracted increasing attention. The novel quantum states in TQMs provide a stable electron bath with high conductivity and carrier mobility, long lifetime, and determined spin states, making TQMs an ideal platform for understanding the surface reactions and looking for highly efficient materials for energy conversion and storage. In this Perspective, we present an overview of the recent progress regarding topological quantum catalysis. We describe the open problems, and the potential applications of TQMs in water splitting, batteries, supercapacitors, and other prospects in energy conversion and storage.


title: Sub-Finsler geometry and nonholonomic mechanics

abstract: In this paper, we discuss a variational approach to the length functional and its relation to sub-Hamiltonian equations on sub-Finsler manifolds. Then, we introduce the notion of the nonholonomic sub-Finslerian structure and prove that the distributions are geodesically invariant concerning the Barthel non-linear connection. We provide necessary and sufficient conditions for the existence of the curves that are abnormal extremals; likewise, we provide necessary and sufficient conditions for normal extremals to be the motion of a free nonholonomic mechanical system, and vice versa. Moreover, we show that a coordinate-free approach for a free particle is a comparison between the solutions of the nonholonomic mechanical problem and the solutions of the Vakonomic dynamical problem for the nonholonomic sub-Finslerian structure. In addition, we provide an example of the nonholonomic sub-Finslerian structure. Finally, we show that the sub-Laplacian measures the curvature of the nonholonomic sub-Finslerian structure.


title: Lipschitz Transport Maps via the Follmer Flow

abstract: Inspired by the construction of the F{\"o}llmer process, we construct a unit-time flow on the Euclidean space, termed the F{\"o}llmer flow, whose flow map at time 1 pushes forward a standard Gaussian measure onto a general target measure. We study the well-posedness of the F{\"o}llmer flow and establish the Lipschitz property of the flow map at time 1. We apply the Lipschitz mapping to several rich classes of probability measures on deriving dimension-free functional inequalities and concentration inequalities for the empirical measure.


title: Holographic renormalized Entanglement and entropic $c-$function

abstract: We compute holographic entanglement entropy (EE) and the renormalized EE in AdS solitons with gauge potential for various dimensions. The renormalized EE is a cutoff-independent universal component of EE. Via Kaluza-Klein compactification of $S^1$ and considering the low-energy regime, we deduce the $(d-1)$-dimensional renormalized EE from the odd-dimensional counterpart. This corresponds to the shrinking circle of AdS solitons, probed at large $l$. The minimal surface transitions from disk to cylinder dominance as $l$ increases. The quantum phase transition occurs at a critical subregion size, with renormalized EE showing non-monotonic behavior around this size. Across dimensions, massive modes decouple at lower energy, while degrees of freedom with Wilson lines contribute at smaller energy scales.


title: Password-Stealing without Hacking: Wi-Fi Enabled Practical Keystroke Eavesdropping

abstract: The contact-free sensing nature of Wi-Fi has been leveraged to achieve privacy breaches, yet existing attacks relying on Wi-Fi CSI (channel state information) demand hacking Wi-Fi hardware to obtain desired CSIs. Since such hacking has proven prohibitively hard due to compact hardware, its feasibility in keeping up with fast-developing Wi-Fi technology becomes very questionable. To this end, we propose WiKI-Eve to eavesdrop keystrokes on smartphones without the need for hacking. WiKI-Eve exploits a new feature, BFI (beamforming feedback information), offered by latest Wi-Fi hardware: since BFI is transmitted from a smartphone to an AP in clear-text, it can be overheard (hence eavesdropped) by any other Wi-Fi devices switching to monitor mode. As existing keystroke inference methods offer very limited generalizability, WiKI-Eve further innovates in an adversarial learning scheme to enable its inference generalizable towards unseen scenarios. We implement WiKI-Eve and conduct extensive evaluation on it; the results demonstrate that WiKI-Eve achieves 88.9% inference accuracy for individual keystrokes and up to 65.8% top-10 accuracy for stealing passwords of mobile applications (e.g., WeChat).


title: SAM3D: Segment Anything Model in Volumetric Medical Images

abstract: Image segmentation remains a pivotal component in medical image analysis, aiding in the extraction of critical information for precise diagnostic practices. With the advent of deep learning, automated image segmentation methods have risen to prominence, showcasing exceptional proficiency in processing medical imagery. Motivated by the Segment Anything Model (SAM)-a foundational model renowned for its remarkable precision and robust generalization capabilities in segmenting 2D natural images-we introduce SAM3D, an innovative adaptation tailored for 3D volumetric medical image analysis. Unlike current SAM-based methods that segment volumetric data by converting the volume into separate 2D slices for individual analysis, our SAM3D model processes the entire 3D volume image in a unified approach. Extensive experiments are conducted on multiple medical image datasets to demonstrate that our network attains competitive results compared with other state-of-the-art methods in 3D medical segmentation tasks while being significantly efficient in terms of parameters. Code and checkpoints are available at https://github.com/UARK-AICV/SAM3D.


title: Evaluating Deep Learning-based Melanoma Classification using Immunohistochemistry and Routine Histology: A Three Center Study

abstract: Pathologists routinely use immunohistochemical (IHC)-stained tissue slides against MelanA in addition to hematoxylin and eosin (H&E)-stained slides to improve their accuracy in diagnosing melanomas. The use of diagnostic Deep Learning (DL)-based support systems for automated examination of tissue morphology and cellular composition has been well studied in standard H&E-stained tissue slides. In contrast, there are few studies that analyze IHC slides using DL. Therefore, we investigated the separate and joint performance of ResNets trained on MelanA and corresponding H&E-stained slides. The MelanA classifier achieved an area under receiver operating characteristics curve (AUROC) of 0.82 and 0.74 on out of distribution (OOD)-datasets, similar to the H&E-based benchmark classification of 0.81 and 0.75, respectively. A combined classifier using MelanA and H&E achieved AUROCs of 0.85 and 0.81 on the OOD datasets. DL MelanA-based assistance systems show the same performance as the benchmark H&E classification and may be improved by multi stain classification to assist pathologists in their clinical routine.


title: The local Burkholder functional, quasiconvexity and Geometric Function Theory

abstract: We show that the local Burkholder functional $\mathcal B_K$ is quasiconvex. In the limit of $p$ going to 2 we find a class of non-polyconvex functionals which are quasiconvex on the set of matrices with positive determinant. In order to prove the validity of lower semicontinuity arguments in this setting, we show that the Burkholder functionals satisfy a sharp extension of the classical function theoretic area formula. As a corollary, in addition to functionals in geometric function theory, one finds new classes of non-polyconvex functionals, degenerating as the determinant vanishes, for which there is existence of minimizers.


title: HOPPER: Interpretative Fuzzing for Libraries

abstract: Despite the fact that the state-of-the-art fuzzers can generate inputs efficiently, existing fuzz drivers still cannot adequately cover entries in libraries. Most of these fuzz drivers are crafted manually by developers, and their quality depends on the developers' understanding of the code. Existing works have attempted to automate the generation of fuzz drivers by learning API usage from code and execution traces. However, the generated fuzz drivers are limited to a few specific call sequences by the code being learned. To address these challenges, we present HOPPER, which can fuzz libraries without requiring any domain knowledge to craft fuzz drivers. It transforms the problem of library fuzzing into the problem of interpreter fuzzing. The interpreters linked against libraries under test can interpret the inputs that describe arbitrary API usage. To generate semantically correct inputs for the interpreter, HOPPER learns the intra- and inter-API constraints in the libraries and mutates the program with grammar awareness. We implemented HOPPER and evaluated its effectiveness on 11 real-world libraries against manually crafted fuzzers and other automatic solutions. Our results show that HOPPER greatly outperformed the other fuzzers in both code coverage and bug finding, having uncovered 25 previously unknown bugs that other fuzzers couldn't. Moreover, we have demonstrated that the proposed intra- and inter-API constraint learning methods can correctly learn constraints implied by the library and, therefore, significantly improve the fuzzing efficiency. The experiment results indicate that HOPPER is able to explore a vast range of API usages for library fuzzing out of the box.


title: On the containment problem and sporadic simplicial line arrangements

abstract: In the paper we present two examples of inductively free sporadic simplicial arrangements of 31 lines that are non-isomorphic, which allow us to answer negatively questions on the containment problem recently formulated by Drabkin and Seceleanu.


title: How life-table right-censoring affected the Brazilian Social Security Factor: an application of the gamma-Gompertz-Makeham model

abstract: Automatic Adjustment Mechanisms (AAM) are legal instruments that help social security systems respond to demographic and economic changes. In Brazil, the Social Security Factor (SSF) was introduced in the late 1990s as an AAM to link retirement benefits to life expectancy at the retirement age, with the hope of promoting contributory justice and discouraging early retirement. Recent research has highlighted the limitations of right-censored life tables, such as those used in Brazil. It has recommended using the gamma-Gompertz-Makeham (GGM) model to estimate adult and old-age mortality. This study investigated the impact of right-censoring on the SSF by comparing the official SSF and other social security metrics with a counterfactual scenario computed based on fitted GGM models. The results indicate that from 2004 to 2012, official life tables may have negatively impacted retirees' income, particularly for those who delayed their retirement. Furthermore, the GGM-fitted models' life expectancies had more stable paths over time, which could have helped with long-term planning. This study's findings are significant for policymakers as they highlight the importance of using appropriate mortality metrics in AAMs to ensure accurate retirement benefit payments. They also underscore the need to consider the potential impacts of seemingly innocuous hypotheses on public action outcomes. Overall, this study provides valuable insights for public planners and policymakers looking to enhance the effectiveness and fairness of social security systems.


title: Instance Segmentation of Dislocations in TEM Images

abstract: Quantitative Transmission Electron Microscopy (TEM) during in-situ straining experiment is able to reveal the motion of dislocations -- linear defects in the crystal lattice of metals. In the domain of materials science, the knowledge about the location and movement of dislocations is important for creating novel materials with superior properties. A long-standing problem, however, is to identify the position and extract the shape of dislocations, which would ultimately help to create a digital twin of such materials. In this work, we quantitatively compare state-of-the-art instance segmentation methods, including Mask R-CNN and YOLOv8. The dislocation masks as the results of the instance segmentation are converted to mathematical lines, enabling quantitative analysis of dislocation length and geometry -- important information for the domain scientist, which we then propose to include as a novel length-aware quality metric for estimating the network performance. Our segmentation pipeline shows a high accuracy suitable for all domain-specific, further post-processing. Additionally, our physics-based metric turns out to perform much more consistently than typically used pixel-wise metrics.


title: Subdivision schemes based on weighted local polynomial regression. A new technique for the convergence analysis

abstract: The generation of curves and surfaces from given data is a well-known problem in Computer-Aided Design that can be approached using subdivision schemes. They are powerful tools that allow obtaining new data from the initial one by means of simple calculations. However, in some applications, the collected data are given with noise and most of schemes are not adequate to process them. In this paper, we present some new families of binary univariate linear subdivision schemes using weighted local polynomial regression. We study their properties, such as convergence, monotonicity, polynomial reproduction and approximation and denoising capabilities. For the convergence study, we develop some new theoretical results. Finally, some examples are presented to confirm the proven properties.


title: Evidence for the Higgs boson decay to a $Z$ boson and a photon at the LHC

abstract: The first evidence for the Higgs boson decay to a $Z$ boson and a photon is presented, with a statistical significance of 3.4 standard deviations. The result is derived from a combined analysis of the searches performed by the ATLAS and CMS Collaborations with proton-proton collision data sets collected at the CERN Large Hadron Collider (LHC) from 2015 to 2018. These correspond to integrated luminosities of around 140 fb$^{-1}$ for each experiment, at a center-of-mass energy of 13 TeV. The measured signal yield is $2.2\pm0.7$ times the Standard Model prediction, and agrees with the theoretical expectation within 1.9 standard deviations.


title: An Adaptive and Modular Blockchain Enabled Architecture for a Decentralized Metaverse

abstract: A metaverse breaks the boundaries of time and space between people, realizing a more realistic virtual experience, improving work efficiency, and creating a new business model. Blockchain, as one of the key supporting technologies for a metaverse design, provides a trusted interactive environment. However, the rich and varied scenes of a metaverse have led to excessive consumption of on-chain resources, raising the threshold for ordinary users to join, thereby losing the human-centered design. Therefore, we propose an adaptive and modular blockchain-enabled architecture for a decentralized metaverse to address these issues. The solution includes an adaptive consensus/ledger protocol based on a modular blockchain, which can effectively adapt to the ever-changing scenarios of the metaverse, reduce resource consumption, and provide a secure and reliable interactive environment. In addition, we propose the concept of Non-Fungible Resource (NFR) to virtualize idle resources. Users can establish a temporary trusted environment and rent others' NFR to meet their computing needs. Finally, we simulate and test our solution based on XuperChain, and the experimental results prove the feasibility of our design.


title: Phase Transition and Subshifts of Finite Type

abstract: The aim of this article is to establish freezing phase transition of the pressure function, considering the generalized Hofbauer potential {\phi}, which is connected to the distance from subshift of finite type {\Sigma}F in the full shift {\Sigma} over finite alphabets. Our objective is to prove that the pressure function exhibits phase transition with the dominating measure is highly concentrated on {\Sigma}F after the transition. Moreover, the pressure function attains C1-smoothness when the transition occurs at 2.


title: Stroke-based Neural Painting and Stylization with Dynamically Predicted Painting Region

abstract: Stroke-based rendering aims to recreate an image with a set of strokes. Most existing methods render complex images using an uniform-block-dividing strategy, which leads to boundary inconsistency artifacts. To solve the problem, we propose Compositional Neural Painter, a novel stroke-based rendering framework which dynamically predicts the next painting region based on the current canvas, instead of dividing the image plane uniformly into painting regions. We start from an empty canvas and divide the painting process into several steps. At each step, a compositor network trained with a phasic RL strategy first predicts the next painting region, then a painter network trained with a WGAN discriminator predicts stroke parameters, and a stroke renderer paints the strokes onto the painting region of the current canvas. Moreover, we extend our method to stroke-based style transfer with a novel differentiable distance transform loss, which helps preserve the structure of the input image during stroke-based stylization. Extensive experiments show our model outperforms the existing models in both stroke-based neural painting and stroke-based stylization. Code is available at https://github.com/sjtuplayer/Compositional_Neural_Painter


title: Slopes and Moreau-Rockafellar Theorem

abstract: Properties of local and global slope of a function and its approximate critical points sets are studied in relation to determination of the function.


title: Towards Robust Natural-Looking Mammography Lesion Synthesis on Ipsilateral Dual-Views Breast Cancer Analysis

abstract: In recent years, many mammographic image analysis methods have been introduced for improving cancer classification tasks. Two major issues of mammogram classification tasks are leveraging multi-view mammographic information and class-imbalance handling. In the first problem, many multi-view methods have been released for concatenating features of two or more views for the training and inference stage. Having said that, most multi-view existing methods are not explainable in the meaning of feature fusion, and treat many views equally for diagnosing. Our work aims to propose a simple but novel method for enhancing examined view (main view) by leveraging low-level feature information from the auxiliary view (ipsilateral view) before learning the high-level feature that contains the cancerous features. For the second issue, we also propose a simple but novel malignant mammogram synthesis framework for upsampling minor class samples. Our easy-to-implement and no-training framework has eliminated the current limitation of the CutMix algorithm which is unreliable synthesized images with random pasted patches, hard-contour problems, and domain shift problems. Our results on VinDr-Mammo and CMMD datasets show the effectiveness of our two new frameworks for both multi-view training and synthesizing mammographic images, outperforming the previous conventional methods in our experimental settings.


title: Quantum retrodiction in Gaussian systems and applications in optomechanics

abstract: What knowledge can be obtained from the record of a continuous measurement about the quantum state the measured system was in at the beginning of the measurement? The task of quantum state retrodiction, the inverse of the more common state prediction, is rigorously and elegantly addressed in quantum measurement theory through retrodictive Positive Operator Valued Measures. This article provides an introduction to this general framework, presents its practical formulation for retrodicting Gaussian quantum states using continuous-time homodyne measurements, and applies it to optomechanical systems. We identify and characterise achievable retrodictive POVMs in common optomechanical operating modes with resonant or off-resonant driving fields and specific choices of local oscillator frequencies in homodyne detection. In particular, we demonstrate the possibility of a near-ideal measurement of the quadrature of the mechanical oscillator, giving direct access to the position or momentum distribution of the oscillator at a given time. This forms the basis for complete quantum state tomography, albeit in a destructive manner.


title: Dynamic Frame Interpolation in Wavelet Domain

abstract: Video frame interpolation is an important low-level vision task, which can increase frame rate for more fluent visual experience. Existing methods have achieved great success by employing advanced motion models and synthesis networks. However, the spatial redundancy when synthesizing the target frame has not been fully explored, that can result in lots of inefficient computation. On the other hand, the computation compression degree in frame interpolation is highly dependent on both texture distribution and scene motion, which demands to understand the spatial-temporal information of each input frame pair for a better compression degree selection. In this work, we propose a novel two-stage frame interpolation framework termed WaveletVFI to address above problems. It first estimates intermediate optical flow with a lightweight motion perception network, and then a wavelet synthesis network uses flow aligned context features to predict multi-scale wavelet coefficients with sparse convolution for efficient target frame reconstruction, where the sparse valid masks that control computation in each scale are determined by a crucial threshold ratio. Instead of setting a fixed value like previous methods, we find that embedding a classifier in the motion perception network to learn a dynamic threshold for each sample can achieve more computation reduction with almost no loss of accuracy. On the common high resolution and animation frame interpolation benchmarks, proposed WaveletVFI can reduce computation up to 40% while maintaining similar accuracy, making it perform more efficiently against other state-of-the-arts. Code is available at https://github.com/ltkong218/WaveletVFI.


title: BroadCAM: Outcome-agnostic Class Activation Mapping for Small-scale Weakly Supervised Applications

abstract: Class activation mapping~(CAM), a visualization technique for interpreting deep learning models, is now commonly used for weakly supervised semantic segmentation~(WSSS) and object localization~(WSOL). It is the weighted aggregation of the feature maps by activating the high class-relevance ones. Current CAM methods achieve it relying on the training outcomes, such as predicted scores~(forward information), gradients~(backward information), etc. However, when with small-scale data, unstable training may lead to less effective model outcomes and generate unreliable weights, finally resulting in incorrect activation and noisy CAM seeds. In this paper, we propose an outcome-agnostic CAM approach, called BroadCAM, for small-scale weakly supervised applications. Since broad learning system (BLS) is independent to the model learning, BroadCAM can avoid the weights being affected by the unreliable model outcomes when with small-scale data. By evaluating BroadCAM on VOC2012 (natural images) and BCSS-WSSS (medical images) for WSSS and OpenImages30k for WSOL, BroadCAM demonstrates superior performance than existing CAM methods with small-scale data (less than 5\%) in different CNN architectures. It also achieves SOTA performance with large-scale training data. Extensive qualitative comparisons are conducted to demonstrate how BroadCAM activates the high class-relevance feature maps and generates reliable CAMs when with small-scale training data.


title: Gradient estimates for $\Delta_pu-|\nabla u|^q+b(x)|u|^{r-1}u=0$ on a complete Riemannian manifold and Liouville type theorems

abstract: In this paper the Nash-Moser iteration method is used to study the gradient estimates of solutions to the quasilinear elliptic equation $\Delta_p u-|\nabla u|^q+b(x)|u|^{r-1}u=0$ defined on a complete Riemannian manifold $(M,g)$. When $b(x)\equiv0$, a unified Cheng-Yau type estimate of the solutions to this equation is derived. Regardless of whether this equation is defined on a manifold or a region of Euclidean space, certain technical and geometric conditions posed in \cite[Theorem E, F]{MR3261111} are weakened and hence some of the estimates due to Bidaut-V\'eron, Garcia-Huidobro and V\'eron (see \cite[Theorem E, F]{MR3261111}) are improved. In addition, we extend their results to the case $p>n=\dim(M)$. When $b(x)$ does not vanish, we can also extend some estimates for positive solutions to the above equation defined on a region of the Euclidean space due to Filippucci-Sun-Zheng \cite{filippucci2022priori} to arbitrary solutions to this equation on a complete Riemannian manifold. Even in the case of Euclidean space, the estimates for positive solutions in \cite{filippucci2022priori} and our results can not cover each other.


title: Interactive, Iterative, Tooled, Rule-Based Migration of Microsoft Access to Web Technologies

abstract: In the context of a collaboration with Berger-Levrault, an IT company producing information systems, we are working on migrating Microsoft Access monolithic applications to the web front-end and microservices back-end. Like in most software migrations, developers must learn the target technology, and they will be in charge of the evolution of the migrated system in the future. To respond to this problem, we propose the developers take over the migration project. To enable the developers to drive the migration to the target systems, we propose an Interactive, Iterative, Tooled, Rule-Based Migration approach. The contributions of this article are (i) an iterative, interactive process to language, library, GUI and architectural migration; (ii) proposal of a set of artefacts required to support such an approach; (iii) three different validations of the approach: (a) library and paradigm usage migration to Java and Pharo, (b) tables and queries migration to Java and Typescript, (c) form migration to Java Springboot and Typescript Angular.


title: Behind Recommender Systems: the Geography of the ACM RecSys Community

abstract: The amount and dissemination rate of media content accessible online is nowadays overwhelming. Recommender Systems filter this information into manageable streams or feeds, adapted to our personal needs or preferences. It is of utter importance that algorithms employed to filter information do not distort or cut out important elements from our perspectives of the world. Under this principle, it is essential to involve diverse views and teams from the earliest stages of their design and development. This has been highlighted, for instance, in recent European Union regulations such as the Digital Services Act, via the requirement of risk monitoring, including the risk of discrimination, and the AI Act, through the requirement to involve people with diverse backgrounds in the development of AI systems. We look into the geographic diversity of the recommender systems research community, specifically by analyzing the affiliation countries of the authors who contributed to the ACM Conference on Recommender Systems (RecSys) during the last 15 years. This study has been carried out in the framework of the Diversity in AI - DivinAI project, whose main objective is the long-term monitoring of diversity in AI forums through a set of indexes.


title: Excited state properties of point defects in semiconductors and insulators investigated with time-dependent density functional theory

abstract: We present a formulation of spin-conserving and spin-flip, hybrid time-dependent density functional theory (TDDFT), including the calculation of analytical forces, which allows for efficient calculations of excited state properties of solid-state systems with hundreds to thousands of atoms. We discuss an implementation on both GPU and CPU based architectures, along with several acceleration techniques. We then apply our formulation to the study of several point defects in semiconductors and insulators, specifically the negatively charged nitrogen-vacancy and neutral silicon-vacancy centers in diamond, the neutral divacancy center in 4H silicon carbide, and the neutral oxygen-vacancy center in magnesium oxide. Our results highlight the importance of taking into account structural relaxations in excited states, in order to interpret and predict optical absorption and emission mechanisms in spin-defects.


title: Testing local-global divisibility at a stable set

abstract: We show that the local-global divisibility in commutative algebraic groups defined over number fields can be tested on sets of primes of arbitrary small density, i.e. stable and persistent sets. We also give a new description of the cohomological group giving an obstruction to the problem. In addition, we show new examples of stable sets.


title: Lipschitz constants for a hyperbolic type metric under M\"obius transformations

abstract: Let $D$ be a nonempty open set in a metric space $(X,d)$ with $\partial D\neq \emptyset$. Define \begin{equation*} h_{D,c}(x,y)=\log\left(1+c\frac{d(x,y)}{\sqrt{d_D(x)d_D(y)}}\right), \end{equation*} where $d_D(x)=d(x,\partial D)$ is the distance from $x$ to the boundary of $D$. For every $c\geq 2$, $h_{D,c}$ is a metric. In this paper, we study the sharp Lipschitz constants for the metric $h_{D,c}$ under M\"obius transformations of the unit ball, the upper half space, and the punctured unit ball.


title: Topological fingerprints for audio identification

abstract: We present a topological audio fingerprinting approach for robustly identifying duplicate audio tracks. Our method applies persistent homology on local spectral decompositions of audio signals, using filtered cubical complexes computed from mel-spectrograms. By encoding the audio content in terms of local Betti curves, our topological audio fingerprints enable accurate detection of time-aligned audio matchings. Experimental results demonstrate the accuracy of our algorithm in the detection of tracks with the same audio content, even when subjected to various obfuscations. Our approach outperforms existing methods in scenarios involving topological distortions, such as time stretching and pitch shifting.


title: Parameterized Aspects of Distinct Kemeny Rank Aggregation

abstract: The Kemeny method is one of the popular tools for rank aggregation. However, computing an optimal Kemeny ranking is NP-hard. Consequently, the computational task of finding a Kemeny ranking has been studied under the lens of parameterized complexity with respect to many parameters. We first present a comprehensive relationship, both theoretical and empirical, among these parameters. Further, we study the problem of computing all distinct Kemeny rankings under the lens of parameterized complexity. We consider the target Kemeny score, number of candidates, average distance of input rankings, maximum range of any candidate, and unanimity width as our parameters. For all these parameters, we already have FPT algorithms. We find that any desirable number of Kemeny rankings can also be found without substantial increase in running time. We also present FPT approximation algorithms for Kemeny rank aggregation with respect to these parameters.


title: Learning Compact Compositional Embeddings via Regularized Pruning for Recommendation

abstract: Latent factor models are the dominant backbones of contemporary recommender systems (RSs) given their performance advantages, where a unique vector embedding with a fixed dimensionality (e.g., 128) is required to represent each entity (commonly a user/item). Due to the large number of users and items on e-commerce sites, the embedding table is arguably the least memory-efficient component of RSs. For any lightweight recommender that aims to efficiently scale with the growing size of users/items or to remain applicable in resource-constrained settings, existing solutions either reduce the number of embeddings needed via hashing, or sparsify the full embedding table to switch off selected embedding dimensions. However, as hash collision arises or embeddings become overly sparse, especially when adapting to a tighter memory budget, those lightweight recommenders inevitably have to compromise their accuracy. To this end, we propose a novel compact embedding framework for RSs, namely Compositional Embedding with Regularized Pruning (CERP). Specifically, CERP represents each entity by combining a pair of embeddings from two independent, substantially smaller meta-embedding tables, which are then jointly pruned via a learnable element-wise threshold. In addition, we innovatively design a regularized pruning mechanism in CERP, such that the two sparsified meta-embedding tables are encouraged to encode information that is mutually complementary. Given the compatibility with agnostic latent factor models, we pair CERP with two popular recommendation models for extensive experiments, where results on two real-world datasets under different memory budgets demonstrate its superiority against state-of-the-art baselines. The codebase of CERP is available in https://github.com/xurong-liang/CERP.


title: A cutting-surface consensus approach for distributed robust optimization of multi-agent systems

abstract: A novel and fully distributed optimization method is proposed for the distributed robust convex program (DRCP) over a time-varying unbalanced directed network under the uniformly jointly strongly connected (UJSC) assumption. Firstly, a tractable approximated DRCP (ADRCP) is introduced by discretizing the semi-infinite constraints into a finite number of inequality constraints and restricting the right-hand side of the constraints with a positive parameter. This problem is iteratively solved by a distributed projected gradient algorithm proposed in this paper, which is based on epigraphic reformulation and subgradient projected algorithms. Secondly, a cutting-surface consensus approach is proposed for locating an approximately optimal consensus solution of the DRCP with guaranteed feasibility. This approach is based on iteratively approximating the DRCP by successively reducing the restriction parameter of the right-hand constraints and populating the cutting-surfaces into the existing finite set of constraints. Thirdly, to ensure finite-time termination of the distributed optimization, a distributed termination algorithm is developed based on consensus and zeroth-order stopping conditions under UJSC graphs. Fourthly, it is proved that the cutting-surface consensus approach terminates finitely and yields a feasible and approximate optimal solution for each agent. Finally, the effectiveness of the approach is illustrated through a numerical example.


title: Deep Reinforcement Learning Enabled Joint Deployment and Beamforming in STAR-RIS Assisted Networks

abstract: In the new generation of wireless communication systems, reconfigurable intelligent surfaces (RIS) and simultaneously transmitting and reflecting reconfigurable intelligent surfaces (STAR-RIS) have become competitive network components to achieve intelligent and reconfigurable network environments. However, existing work has not fully studied the deployment freedom of STAR-RIS, which limits further improvements in network communication performance. Therefore, this paper proposes a solution based on a deep reinforcement learning algorithm to dynamically deploy STAR-RIS and hybrid beamforming to improve the total communication rate of users in mobile wireless networks. The paper constructs a STAR-RIS assisted multi-user multiple-input single-output (MU-MISO) mobile wireless network and jointly optimizes the dynamic deployment strategy of STAR-RIS and the hybrid beamforming strategy to maximize the long-term total communication rate of users. To solve this problem, the paper uses the Proximal Policy Optimization (PPO) algorithm to optimize the deployment of STAR-RIS and the joint beamforming strategy of STAR-RIS and the base station. The trained policy can maximize the downlink transmission rate of the system and meet the real-time decision-making needs of the system. Numerical simulation results show that compared with the traditional scheme without using STAR-RIS and fixed STAR-RIS deployment, the PPO method proposed in this paper can effectively improve the total communication rate of wireless network users in the service area.


title: Keep-Alive Caching for the Hawkes process

abstract: We study the design of caching policies in applications such as serverless computing where there is not a fixed size cache to be filled, but rather there is a cost associated with the time an item stays in the cache. We present a model for such caching policies which captures the trade-off between this cost and the cost of cache misses. We characterize optimal caching policies in general and apply this characterization by deriving a closed form for Hawkes processes. Since optimal policies for Hawkes processes depend on the history of arrivals, we also develop history-independent policies which achieve near-optimal average performance. We evaluate the performances of the optimal policy and approximate polices using simulations and a data trace of Azure Functions, Microsoft's FaaS (Function as a Service) platform for serverless computing.


title: AR.S.Space: An AR Casual Game for Social Engagement in Work Environments

abstract: In social situations, individuals often encounter communication challenges, particularly when adapting to new environments. While some studies have acknowledged the potential of AR social games to aid in effective socialization to some extent, little attention has been given to AR HMD-based games specifically designed to facilitate social interactions. In response, we propose AR.S.Space, an AR HMD-based social game that employs augmented reality features to engage users with virtual social agents through asynchronous communication. The game aims to mitigate the unease associated with initial social interactions and foster long-term connections. To assess its efficacy, a user study was conducted within a specific scenario (an office space), gathering quantitative data and qualitative feedback through questionnaires and interviews. The findings highlight the game's potential to enhance socialization in small-scale environments. Moreover, the study offers valuable design guidelines for future research and the application of AR social games in similar settings.


title: DGC: Training Dynamic Graphs with Spatio-Temporal Non-Uniformity using Graph Partitioning by Chunks

abstract: Dynamic Graph Neural Network (DGNN) has shown a strong capability of learning dynamic graphs by exploiting both spatial and temporal features. Although DGNN has recently received considerable attention by AI community and various DGNN models have been proposed, building a distributed system for efficient DGNN training is still challenging. It has been well recognized that how to partition the dynamic graph and assign workloads to multiple GPUs plays a critical role in training acceleration. Existing works partition a dynamic graph into snapshots or temporal sequences, which only work well when the graph has uniform spatio-temporal structures. However, dynamic graphs in practice are not uniformly structured, with some snapshots being very dense while others are sparse. To address this issue, we propose DGC, a distributed DGNN training system that achieves a 1.25x - 7.52x speedup over the state-of-the-art in our testbed. DGC's success stems from a new graph partitioning method that partitions dynamic graphs into chunks, which are essentially subgraphs with modest training workloads and few inter connections. This partitioning algorithm is based on graph coarsening, which can run very fast on large graphs. In addition, DGC has a highly efficient run-time, powered by the proposed chunk fusion and adaptive stale aggregation techniques. Extensive experimental results on 3 typical DGNN models and 4 popular dynamic graph datasets are presented to show the effectiveness of DGC.


title: ReuNify: A Step Towards Whole Program Analysis for React Native Android Apps

abstract: React Native is a widely-used open-source framework that facilitates the development of cross-platform mobile apps. The framework enables JavaScript code to interact with native-side code, such as Objective-C/Swift for iOS and Java/Kotlin for Android, via a communication mechanism provided by React Native. However, previous research and tools have overlooked this mechanism, resulting in incomplete analysis of React Native app code. To address this limitation, we have developed REUNIFY, a prototype tool that integrates the JavaScript and native-side code of React Native apps into an intermediate language that can be processed by the Soot static analysis framework. By doing so, REUNIFY enables the generation of a comprehensive model of the app's behavior. Our evaluation indicates that, by leveraging REUNIFY, the Soot-based framework can improve its coverage of static analysis for the 1,007 most popular React Native Android apps, augmenting the number of lines of Jimple code by 70%. Additionally, we observed an average increase of 84% in new nodes reached in the callgraph for these apps, after integrating REUNIFY. When REUNIFY is used for taint flow analysis, an average of two additional privacy leaks were identified. Overall, our results demonstrate that REUNIFY significantly enhances the Soot-based framework's capability to analyze React Native Android apps.


title: A New Model for Testing IPv6 Fragment Handling

abstract: Since the origins of the Internet, various vulnerabilities exploiting the IP fragmentation process have plagued IPv4 protocol, many leading to a wide range of attacks. IPv6 modified the handling of fragmentations and introduced a specific extension header, not solving the related problems, as proved by extensive literature. One of the primary sources of problems has been the overlapping fragments, which result in unexpected or malicious packets when reassembled. To overcome the problem related to fragmentation, the authors of RFC 5722 decided that IPv6 hosts MUST silently drop overlapping fragments. Since then, several studies have proposed methodologies to check if IPv6 hosts accept overlapping fragments and are still vulnerable to related attacks. However, some of the above methodologies have not been proven complete or need to be more accurate. In this paper we propose a novel model to check IPv6 fragmentation handling specifically suited for the reassembling strategies of modern operating systems. Previous models, indeed, considered OS reassembly policy as byte-based. However, nowadays, reassembly policies are fragment-based, making previous models inadequate. Our model leverages the commutative property of the checksum, simplifying the whole assessing process. Starting with this new model, we were able to better evaluate the RFC-5722 and RFC-9099 compliance of modern operating systems against fragmentation handling. Our results suggest that IPv6 fragmentation can still be considered a threat and that more effort is needed to solve related security issues.


title: General-relativistic radiation transport scheme in Gmunu II: Implementation of novel microphysical library for neutrino radiation -- Weakhub

abstract: We introduce \texttt{Weakhub}, a novel neutrino microphysics library that provides opacities and kernels beyond conventional interactions used in the literature. This library includes neutrino-matter, neutrino-photon, and neutrino-neutrino interactions, along with corresponding weak and strong corrections. A full kinematics approach is adopted for the calculations of $\beta$-processes, incorporating various weak corrections and medium modifications due to the nuclear equation of state. Calculations of plasma processes, electron neutrino-antineutrino annihilation, and nuclear de-excitation are included. We also present the detailed derivations of weak interactions and the coupling of them to the two-moment based general-relativistic multi-group radiation transport in the \texttt{G}eneral-relativistic \texttt{mu}ltigrid \texttt{nu}merical (\texttt{Gmunu}) code. We compare the neutrino opacity spectra for all interactions and estimate their contributions at hydrodynamical points in core-collapse supernova and binary neutron star postmerger remnant, and predict the effects of improved opacities in comparison to conventional ones for a binary neutron star postmerger at a specific hydrodynamical point. We test the implementation of the conventional set of interactions by comparing it to an open-source neutrino library \texttt{NuLib} in a core-collapse supernova simulation. We demonstrate good agreement with discrepancies of less than $\sim 10\%$ in luminosity for all neutrino species, while also highlighting the reasons contributing to the differences. To compare the advanced interactions to the conventional set in core-collapse supernova modelling, we perform simulations to analyze their impacts on neutrino signatures, hydrodynamical behaviors, and shock dynamics, showing significant deviations.


title: On the theory of body motion in confined Stokesian fluids

abstract: We propose a theoretical method to decompose the solution of a Stokes flow past a body immersed in a confined fluid in two simpler problems, related separately to the two geometrical elements of these systems: (i) the body immersed in the unbounded fluid (represented by its Fax\'en operators), and (ii) the domain of the confinement (represented by its Stokesian multipoles). Specifically, by using a reflection method, and assuming linear and reciprocal boundary conditions \citep{procopio-giona_pof}, we provide the expression for the velocity field, the forces, torques and higher-order moments acting on the body in terms of: (i) the volume moments of the body in the unbounded ambient flow; (ii) the multipoles in the domain of the confinement; (iii) the collection of all the volumetric moments on the body immersed in all the regular parts of the multipoles considered as ambient flows. A detailed convergence analysis of the reflection method is developed. In the light of practical applications, we estimate the truncation error committed by considering only the lower order moments (thus truncating the matrices) and the errors associated with the approximated expressions available in the literature for force and torques. We apply the theoretical results to the archetypal hydrodynamic system of a sphere with Navier-slip boundary conditions near a plane wall with no-slip boundary conditions, to determine forces and torques on a translating and rotating sphere as a function of the slip length and of the distance of the sphere from the plane. The hydromechanics of a spheroid is also addressed.


title: Common Ground In Crisis: Causal Narrative Networks of Public Official Communications During the COVID-19 Pandemic

abstract: This study investigates the use of causal narratives in public social media communications by U.S. public agencies over the first fifteen months of the COVID-19 pandemic. We extract causal narratives in the form of cause/effect pairs from official communications, analyzing the resulting semantic network to understand the structure and dependencies among concepts within agency discourse and the evolution of that discourse over time. We show that although the semantic network of causally-linked claims is complex and dynamic, there is considerable consistency across agencies in their causal assertions. We also show that the position of concepts within the structure of causal discourse has a significant impact on message retransmission net of controls, an important engagement outcome.


title: First-quantized adiabatic time evolution for the ground state of a many-electron system and the optimal nuclear configuration

abstract: We propose a novel adiabatic time evolution (ATE) method for obtaining the ground state of a quantum many-electron system on a quantum circuit based on first quantization. As a striking feature of the ATE method, it consists of only unitary operations representing real-time evolution, which means that it does not require any ancillary qubits, nor controlled real-time evolution operators. Especially, we explored the first-quantized formalism of ATE method in this study, since the implementation of first-quantized real-time evolution on quantum circuits is known to be efficient. However, when realizing the ATE quantum circuit in first-quantization formalism, obstacles are how to set the adiabatic Hamiltonian and how to prepare the corresponding initial ground state. We provide a way to prepare an antisymmetrized and non-degenerate initial ground state that is suitable as an input to an ATE circuit, which allows our ATE method to be applied to systems with any number of electrons. In addition, by considering a first-quantized Hamiltonian for quantum-mechanical electron system and classical nuclear system, we design a quantum circuit for optimal structure search based on ATE. Numerical simulations are demonstrated for simple systems, and it is confirmed that the ground state of the electronic system and optimal structure can be obtained by our method.


title: Efficient Single Object Detection on Image Patches with Early Exit Enhanced High-Precision CNNs

abstract: This paper proposes a novel approach for detecting objects using mobile robots in the context of the RoboCup Standard Platform League, with a primary focus on detecting the ball. The challenge lies in detecting a dynamic object in varying lighting conditions and blurred images caused by fast movements. To address this challenge, the paper presents a convolutional neural network architecture designed specifically for computationally constrained robotic platforms. The proposed CNN is trained to achieve high precision classification of single objects in image patches and to determine their precise spatial positions. The paper further integrates Early Exits into the existing high-precision CNN architecture to reduce the computational cost of easily rejectable cases in the background class. The training process involves a composite loss function based on confidence and positional losses with dynamic weighting and data augmentation. The proposed approach achieves a precision of 100% on the validation dataset and a recall of almost 87%, while maintaining an execution time of around 170 $\mu$s per hypotheses. By combining the proposed approach with an Early Exit, a runtime optimization of more than 28%, on average, can be achieved compared to the original CNN. Overall, this paper provides an efficient solution for an enhanced detection of objects, especially the ball, in computationally constrained robotic platforms.


title: A Robust Negative Learning Approach to Partial Domain Adaptation Using Source Prototypes

abstract: This work proposes a robust Partial Domain Adaptation (PDA) framework that mitigates the negative transfer problem by incorporating a robust target-supervision strategy. It leverages ensemble learning and includes diverse, complementary label feedback, alleviating the effect of incorrect feedback and promoting pseudo-label refinement. Rather than relying exclusively on first-order moments for distribution alignment, our approach offers explicit objectives to optimize intra-class compactness and inter-class separation with the inferred source prototypes and highly-confident target samples in a domain-invariant fashion. Notably, we ensure source data privacy by eliminating the need to access the source data during the adaptation phase through a priori inference of source prototypes. We conducted a series of comprehensive experiments, including an ablation analysis, covering a range of partial domain adaptation tasks. Comprehensive evaluations on benchmark datasets corroborate our framework's enhanced robustness and generalization, demonstrating its superiority over existing state-of-the-art PDA approaches.


title: A few misfits can Change the World

abstract: Rising inequality is a critical concern for societies worldwide, to the extent that emerging high-growth economies such as China have identified common prosperity as a central goal. However, the mechanisms by which digital disruptions contribute to inequality and the efficacy of existing remedies such as taxation, must be better understood. This is particularly true for the implications of the complex process of technological adoption that requires extensive social validation beyond weak ties and, how to trigger it in the hyperconnected world of the 21st century. This study aims to shed light on the implications of market evolutionary mechanism from the lenses of technological adoption as a social process. Our findings underscore the pivotal importance of connectivity in this process while also revealing the limited effectiveness of taxation as a counterbalance for inequality. Our research reveals that widespread cultural change is not a prerequisite for technological disruption. The injection of a small cohort of entrepreneurs - a few misfits - can expedite technology adoption even in conservative, moderately connected societies and, change the world.


title: Exploring the Opportunities of AR for Enriching Storytelling with Family Photos between Grandparents and Grandchildren

abstract: Storytelling with family photos, as an important mode of reminiscence-based activities, can be instrumental in promoting intergenerational communication between grandparents and grandchildren by strengthening generation bonds and shared family values. Motivated by challenges that existing technology approaches encountered for improving intergenerational storytelling (e.g., the need to hold the tablet, the potential view detachment from the physical world in Virtual Reality (VR)), we sought to find new ways of using Augmented Reality (AR) to support intergenerational storytelling, which offers new capabilities (e.g., 3D models, new interactivity) to enhance the expression for the storyteller. We conducted a two-part exploratory study, where pairs of grandparents and grandchildren 1) participated in an in-person storytelling activity with a semi-structured interview 2) and then a participatory design session with AR technology probes that we designed to inspire their exploration. Our findings revealed insights into the possible ways of intergenerational storytelling, the feasibility and usages of AR in facilitating it, and the key design implications for leveraging AR in intergenerational storytelling.


title: Local Well-posedness of the Incompressible Current-Vortex Sheet Problems

abstract: We prove the local well-posedness of the incompressible current-vortex sheet problems in standard Sobolev spaces under the surface tension or the Syrovatskij condition, which shows that both capillary forces and large tangential magnetic fields can stabilize the motion of current-vortex sheets. Furthermore, under the Syrovatskij condition, the vanishing surface tension limit is established for the motion of current-vortex sheets. These results hold without assuming the interface separating the two plasmas being a graph.


title: Feature Enhancer Segmentation Network (FES-Net) for Vessel Segmentation

abstract: Diseases such as diabetic retinopathy and age-related macular degeneration pose a significant risk to vision, highlighting the importance of precise segmentation of retinal vessels for the tracking and diagnosis of progression. However, existing vessel segmentation methods that heavily rely on encoder-decoder structures struggle to capture contextual information about retinal vessel configurations, leading to challenges in reconciling semantic disparities between encoder and decoder features. To address this, we propose a novel feature enhancement segmentation network (FES-Net) that achieves accurate pixel-wise segmentation without requiring additional image enhancement steps. FES-Net directly processes the input image and utilizes four prompt convolutional blocks (PCBs) during downsampling, complemented by a shallow upsampling approach to generate a binary mask for each class. We evaluate the performance of FES-Net on four publicly available state-of-the-art datasets: DRIVE, STARE, CHASE, and HRF. The evaluation results clearly demonstrate the superior performance of FES-Net compared to other competitive approaches documented in the existing literature.


title: Multimodal Integration of Olfactory and Visual Processing through DCM analysis: Contextual Modulation of Facial Perception

abstract: This study examines the modulatory effect of contextual hedonic olfactory stimuli on the visual processing of neutral faces using event-related potentials (ERPs) and effective connectivity analysis. The aim is to investigate how odors' valence influences the cortical connectivity underlying face processing, and the role arousal enhanced by faces plays on such visual-odor multimodal integration. To this goal, a novel methodological approach combining electrodermal activity (EDA) and dynamic causal modeling (DCM) was proposed to examine cortico-cortical interactions changes. The results revealed that EDA sympathetic responses were associated with an increase of the N170 amplitude, which may be suggested as a marker of heightened arousal to faces. Hedonic odors had an impact on early visual ERP components, with increased N1 amplitude during the administration of unpleasant odor and decreased vertex positive potential (VPP) amplitude during the administration of both unpleasant and neutral odors. On the connectivity side, unpleasant odors strengthened the forward connection from the inferior temporal gyrus (ITG) to the middle temporal gyrus (MTG), involved in processing changeable facial features. Conversely, the occurrence of sympathetic responses was correlated with an inhibition of the same connection, and with an enhancement of the backward connection from ITG to the fusiform face gyrus. These findings suggest that negative odors may enhance the interpretation of emotional expressions and mental states, while faces capable of enhancing sympathetic arousal prioritize the processing of identity. The proposed methodology provides insights into the neural mechanisms underlying the integration of visual and olfactory stimuli in face processing.


title: Data-Adaptive Graph Framelets with Generalized Vanishing Moments for Graph Signal Processing

abstract: In this paper, we propose a novel and general framework to construct tight framelet systems on graphs with localized supports based on hierarchical partitions. Our construction provides parametrized graph framelet systems with great generality based on partition trees, by which we are able to find the size of a low-dimensional subspace that best fits the low-rank structure of a family of signals. The orthogonal decomposition of subspaces provides a key ingredient for the definition of "generalized vanishing moments" for graph framelets. In a data-adaptive setting, the graph framelet systems can be learned by solving an optimization problem on Stiefel manifolds with respect to our parameterization. Moreover, such graph framelet systems can be further improved by solving a subsequent optimization problem on Stiefel manifolds, aiming at providing the utmost sparsity for a given family of graph signals. Experimental results show that our learned graph framelet systems perform superiorly in non-linear approximation and denoising tasks.


title: Analytical Modeling of Acoustic Exponential Materials and Physical Mechanism of Broadband Anti-Reflection

abstract: Spatially exponential distributions of material properties are ubiquitous in many natural and engineered systems, from the vertical distribution of the atmosphere to acoustic horns and anti-reflective coatings. These media seamlessly interface different impedances, enhancing wave transmission and reducing internal reflections. This work advances traditional transfer matrix theory by integrating analytical solutions for acoustic exponential materials, which possess exponential density and/or bulk modulus, offering a more accurate predictive tool and revealing the physical mechanism of broadband anti-reflection for sound propagation in such non-uniform materials. Leveraging this method, we designed an acoustic dipole array that effectively mimics exponential mass distribution. Through experiments with precisely engineered micro-perforated plates, we demonstrate an ultra-low reflection rate of about 0.86% across a wide frequency range from 420 Hz to 10,000 Hz. Our modified transfer matrix approach underpins the design of exponential materials, and our layering strategy for stacking acoustic dipoles suggests a pathway to more functional gradient acoustic metamaterials.


title: YOLO series target detection algorithms for underwater environments

abstract: You Only Look Once (YOLO) algorithm is a representative target detection algorithm emerging in 2016, which is known for its balance of computing speed and accuracy, and now plays an important role in various fields of human production and life. However, there are still many limitations in the application of YOLO algorithm in underwater environments due to problems such as dim light and turbid water. With limited land area resources, the ocean must have great potential for future human development. In this paper, starting from the actual needs of marine engineering applications, taking underwater structural health monitoring (SHM) and underwater biological detection as examples, we propose improved methods for the application of underwater YOLO algorithms, and point out the problems that still exist.


title: Nonreciprocal phonon dichroism induced by Fermi pocket anisotropy in two-dimensional Dirac materials

abstract: Electrons in two-dimensional (2D) Dirac materials carry local band geometric quantities, such as the Berry curvature and orbital magnetic moments, which, combined with electron-phonon coupling, may affect the phonon dynamics in an unusual way. Here, we propose intrinsic nonreciprocal linear and circular phonon dichroism in magnetic 2D Dirac materials, which originate from nonlocal band geometric quantities of electrons and reduce to pure Fermi-surface properties for acoustic phonons. We find that to acquire the nonreciprocity, the Fermi pocket anisotropy rather than the chirality of electrons is crucial. Two possible mechanisms of Fermi pocket anisotropy are suggested: (i) trigonal warping and out-of-plane magnetization or (ii) Rashba spin-orbit interaction and in-plane magnetization. As a concrete example, we predict appreciable and tunable nonreciprocal phonon dichroism in 2H-MoTe 2 on a EuO substrate. Our finding points to a different route towards electrical control of phonon nonreciprocity for acoustoelectronics applications based on 2D quantum materials.


title: Thiele's PIDE for unit-linked policies in the Heston-Hawkes stochastic volatility model

abstract: The main purpose of the paper is to derive Thiele's differential equation for unit-linked policies in the Heston-Hawkes stochastic volatility model introduced in arXiv:2210.15343. This model is an extension of the well-known Heston model that incorporates the volatility clustering feature by adding a compound Hawkes process in the volatility. Since the model is arbitrage-free, pricing unit-linked policies via the equivalence principle under a risk neutral probability measure is possible. Studying the moments of the variance and certain stochastic exponentials, a suitable family of risk neutral probability measures is found. The established and practical method to compute reserves in life insurance is by solving Thiele's equation, which is crucial to guarantee the solvency of the insurance company.


title: Zero-Shot Scene Graph Generation via Triplet Calibration and Reduction

abstract: Scene Graph Generation (SGG) plays a pivotal role in downstream vision-language tasks. Existing SGG methods typically suffer from poor compositional generalizations on unseen triplets. They are generally trained on incompletely annotated scene graphs that contain dominant triplets and tend to bias toward these seen triplets during inference. To address this issue, we propose a Triplet Calibration and Reduction (T-CAR) framework in this paper. In our framework, a triplet calibration loss is first presented to regularize the representations of diverse triplets and to simultaneously excavate the unseen triplets in incompletely annotated training scene graphs. Moreover, the unseen space of scene graphs is usually several times larger than the seen space since it contains a huge number of unrealistic compositions. Thus, we propose an unseen space reduction loss to shift the attention of excavation to reasonable unseen compositions to facilitate the model training. Finally, we propose a contextual encoder to improve the compositional generalizations of unseen triplets by explicitly modeling the relative spatial relations between subjects and objects. Extensive experiments show that our approach achieves consistent improvements for zero-shot SGG over state-of-the-art methods. The code is available at https://github.com/jkli1998/T-CAR.


title: A new numerical mesoscopic scale one-domain approach solver for free fluid/porous medium interaction

abstract: A new numerical continuum \textit{one-domain} approach (ODA) solver is presented for the simulation of the transfer processes between a free fluid and a porous medium. The solver is developed in the \textit{mesoscopic} scale framework, where a continuous variation of the physical parameters of the porous medium (e.g., porosity and permeability) is assumed. The Navier-Stokes-Brinkman equations are solved along with the continuity equation, under the hypothesis of incompressible fluid. The porous medium is assumed to be fully saturated and can potentially be anisotropic. The domain is discretized with unstructured meshes allowing local refinements. A fractional time step procedure is applied, where one predictor and two corrector steps are solved within each time iteration. The predictor step is solved in the framework of a marching in space and time procedure, with some important numerical advantages. The two corrector steps require the solution of large linear systems, whose matrices are sparse, symmetric and positive definite, with $\mathcal{M}$-matrix property over Delaunay-meshes. A fast and efficient solution is obtained using a preconditioned conjugate gradient method. The discretization adopted for the two corrector steps can be regarded as a Two-Point-Flux-Approximation (TPFA) scheme, which, unlike the standard TPFA schemes, does not require the grid mesh to be $\mathbf{K}$-orthogonal, (with $\mathbf{K}$ the anisotropy tensor). As demonstrated with the provided test cases, the proposed scheme correctly retains the anisotropy effects within the porous medium. Furthermore, it overcomes the restrictions of existing mesoscopic scale one-domain approachs proposed in the literature.


title: MVD:A Novel Methodology and Dataset for Acoustic Vehicle Type Classification

abstract: Rising urban populations have led to a surge in vehicle use and made traffic monitoring and management indispensable. Acoustic traffic monitoring (ATM) offers a cost-effective and efficient alternative to more computationally expensive methods of monitoring traffic such as those involving computer vision technologies. In this paper, we present MVD and MVDA: two open datasets for the development of acoustic traffic monitoring and vehicle-type classification algorithms, which contain audio recordings of moving vehicles. The dataset contain four classes- Trucks, Cars, Motorbikes, and a No-vehicle class. Additionally, we propose a novel and efficient way to accurately classify these acoustic signals using cepstrum and spectrum based local and global audio features, and a multi-input neural network. Experimental results show that our methodology improves upon the established baselines of previous works and achieves an accuracy of 91.98% and 96.66% on MVD and MVDA Datasets, respectively. Finally, the proposed model was deployed through an Android application to make it accessible for testing and demonstrate its efficacy.


title: Data assimilation for networks of coupled oscillators: Inferring unknown model parameters from partial observations

abstract: We develop a data-driven method combining a forecast model with unknown parameters and partial noisy observations for networks of coupled oscillators. Employing network-specific localization of the forecast covariance, an Ensemble Kalman Filter with state space augmentation is shown to yield highly accurate estimates of both the oscillator phases and unknown model parameters in the case where only a subset of oscillator phases are observed. In contrast, standard data assimilation methods yield poor results. We demonstrate the effectiveness of our approach for Kuramoto oscillators and for networks of theta neurons.

categories: nlin.AO cond-mat.dis-nn math.DS physics.data-an


title: Emergent entanglement phase transitions in non-Hermitian Aubry-Andr\'e-Harper chains

abstract: We investigate the entanglement dynamics of the non-Hermitian Aubry-Andr\'e-Harper (AAH) chain. The results reveal that by increasing quasiperiodic strength, a phase transition occurs from the area law induced by non-Hermitian skin effect to the area law arising from Anderson localization. For the former, the entanglement entropy follows a non-monotonic process, i.e., it increases first, then oscillates, and finally converges to a stable value. While for the latter, the entanglement entropy remains low because the wave function is not expandable in Anderson's localization region. The early-stage behavior of entanglement entropy indicates that the two area-law cases are of different phases. Interestingly, the volume-law behavior emerges at the critical point between these two area-law phases. Our study reveals that the area laws induced by the skin effect and the Anderson localization is two different phases, and that a volume law can emerge at the phase transition point. The understanding of the entanglement phase transition induced by disorder and skin effect is thus deepened.


title: Security assessment of common open source MQTT brokers and clients

abstract: Security and dependability of devices are paramount for the IoT ecosystem. Message Queuing Telemetry Transport protocol (MQTT) is the de facto standard and the most common alternative for those limited devices that cannot leverage HTTP. However, the MQTT protocol was designed with no security concern since initially designed for private networks of the oil and gas industry. Since MQTT is widely used for real applications, it is under the lens of the security community, also considering the widespread attacks targeting IoT devices. Following this direction research, in this paper we present an empirical security evaluation of several widespread implementations of MQTT system components, namely five broker libraries and three client libraries. While the results of our research do not capture very critical flaws, there are several scenarios where some libraries do not fully adhere to the standard and leave some margins that could be maliciously exploited and potentially cause system inconsistencies.


title: Trash to Treasure: Low-Light Object Detection via Decomposition-and-Aggregation

abstract: Object detection in low-light scenarios has attracted much attention in the past few years. A mainstream and representative scheme introduces enhancers as the pre-processing for regular detectors. However, because of the disparity in task objectives between the enhancer and detector, this paradigm cannot shine at its best ability. In this work, we try to arouse the potential of enhancer + detector. Different from existing works, we extend the illumination-based enhancers (our newly designed or existing) as a scene decomposition module, whose removed illumination is exploited as the auxiliary in the detector for extracting detection-friendly features. A semantic aggregation module is further established for integrating multi-scale scene-related semantic information in the context space. Actually, our built scheme successfully transforms the "trash" (i.e., the ignored illumination in the detector) into the "treasure" for the detector. Plenty of experiments are conducted to reveal our superiority against other state-of-the-art methods. The code will be public if it is accepted.


title: Reuse and Diffuse: Iterative Denoising for Text-to-Video Generation

abstract: Inspired by the remarkable success of Latent Diffusion Models (LDMs) for image synthesis, we study LDM for text-to-video generation, which is a formidable challenge due to the computational and memory constraints during both model training and inference. A single LDM is usually only capable of generating a very limited number of video frames. Some existing works focus on separate prediction models for generating more video frames, which suffer from additional training cost and frame-level jittering, however. In this paper, we propose a framework called "Reuse and Diffuse" dubbed $\textit{VidRD}$ to produce more frames following the frames already generated by an LDM. Conditioned on an initial video clip with a small number of frames, additional frames are iteratively generated by reusing the original latent features and following the previous diffusion process. Besides, for the autoencoder used for translation between pixel space and latent space, we inject temporal layers into its decoder and fine-tune these layers for higher temporal consistency. We also propose a set of strategies for composing video-text data that involve diverse content from multiple existing datasets including video datasets for action recognition and image-text datasets. Extensive experiments show that our method achieves good results in both quantitative and qualitative evaluations. Our project page is available $\href{https://anonymous0x233.github.io/ReuseAndDiffuse/}{here}$.


title: Text2Control3D: Controllable 3D Avatar Generation in Neural Radiance Fields using Geometry-Guided Text-to-Image Diffusion Model

abstract: Recent advances in diffusion models such as ControlNet have enabled geometrically controllable, high-fidelity text-to-image generation. However, none of them addresses the question of adding such controllability to text-to-3D generation. In response, we propose Text2Control3D, a controllable text-to-3D avatar generation method whose facial expression is controllable given a monocular video casually captured with hand-held camera. Our main strategy is to construct the 3D avatar in Neural Radiance Fields (NeRF) optimized with a set of controlled viewpoint-aware images that we generate from ControlNet, whose condition input is the depth map extracted from the input video. When generating the viewpoint-aware images, we utilize cross-reference attention to inject well-controlled, referential facial expression and appearance via cross attention. We also conduct low-pass filtering of Gaussian latent of the diffusion model in order to ameliorate the viewpoint-agnostic texture problem we observed from our empirical analysis, where the viewpoint-aware images contain identical textures on identical pixel positions that are incomprehensible in 3D. Finally, to train NeRF with the images that are viewpoint-aware yet are not strictly consistent in geometry, our approach considers per-image geometric variation as a view of deformation from a shared 3D canonical space. Consequently, we construct the 3D avatar in a canonical space of deformable NeRF by learning a set of per-image deformation via deformation field table. We demonstrate the empirical results and discuss the effectiveness of our method.


title: Inter-Domain Routing with Extensible Criteria

abstract: With the rapid evolution and diversification of Internet applications, their communication-quality criteria are continuously evolving. To globally optimize communication quality, the Internet's control plane thus needs to optimize inter-domain paths on diverse criteria, and should provide flexibility for adding new criteria or modifying existing ones. However, existing inter-domain routing protocols and proposals satisfy these requirements at best to a limited degree. We propose IREC, an inter-domain routing architecture that enables multi-criteria path optimization with extensible criteria through parallel execution and real-time addition of independent routing algorithms, together with the possibility for end domains to express their desired criteria to the control plane. We show IREC's viability by implementing it on a global testbed, and use simulations on a realistic Internet topology to demonstrate IREC's potential for path optimization in real-world deployments.


title: Evaluating Microservice Organizational Coupling based on Cross-service Contribution

abstract: For traditional modular software systems, "high cohesion, low coupling" is a recommended setting while it remains so for microservice architectures. However, coupling phenomena commonly exist therein which are caused by cross-service calls and dependencies. In addition, it is noticeable that teams for microservice projects can also suffer from high coupling issues in terms of their cross-service contribution, which can inevitably result in technical debt and high managerial costs. Such organizational coupling needs to be detected and mitigated in time to prevent future losses. Therefore, this paper proposes an automatable approach to evaluate the organizational couple by investigating the microservice ownership and cross-service contribution.


title: $\Lambda_b \rightarrow \Lambda_c^{\ast}$ at $1\,/\,m_c^2$ heavy quark order

abstract: We systematically compute the $\Lambda_b(p, s_b) \to \Lambda_c(2595)^+$ and $\Lambda_b(p, s_b) \to \Lambda_c(2625)^+$ form factors within the Heavy Quark Effective Theory (HQET) framework including $\mathcal{O}(1/m_c^2)$. Besides taking into account the Standard Model-like vector and axial contributions, we further determine tensor and pseudo-tensor form factors. Our work constitutes a step forward with respect to previous analyses allowing for a comprehensive study of the matrix element parametrisation stemming from the HQET formalism. Finally, we demonstrate that the resulting form factors agree well with lattice Quantum Chromodynamics (LQCD) determinations stressing the need and relevance of the newly derived $1/m_c^2$ corrections.


title: Software Testing of Generative AI Systems: Challenges and Opportunities

abstract: Software Testing is a well-established area in software engineering, encompassing various techniques and methodologies to ensure the quality and reliability of software systems. However, with the advent of generative artificial intelligence (GenAI) systems, new challenges arise in the testing domain. These systems, capable of generating novel and creative outputs, introduce unique complexities that require novel testing approaches. In this paper, I aim to explore the challenges posed by generative AI systems and discuss potential opportunities for future research in the field of testing. I will touch on the specific characteristics of GenAI systems that make traditional testing techniques inadequate or insufficient. By addressing these challenges and pursuing further research, we can enhance our understanding of how to safeguard GenAI and pave the way for improved quality assurance in this rapidly evolving domain.


title: Compositional properties of planet-crossing asteroids from astronomical surveys

abstract: Context. The study of planet-crossing asteroids is of both practical and fundamental importance. As they are closer than asteroids in the Main Belt, we have access to a smaller size range, and this population frequently impacts planetary surfaces and can pose a threat to life. Aims. We aim to characterize the compositions of a large corpus of planet-crossing asteroids and to study how these compositions are related to orbital and physical parameters. Methods. We gathered publicly available visible colors of near-Earth objects (NEOs) from the Sloan Digital Sky Survey (SDSS) and SkyMapper surveys. We also computed SDSS-compatible colors from reflectance spectra of the Gaia mission and a compilation of ground-based observations. We determined the taxonomy of each NEO from its colors and studied the distribution of the taxonomic classes and spectral slope against the orbital parameters and diameter. Results. We provide updated photometry for 470 NEOs from the SDSS, and taxonomic classification of 7,401 NEOs. We classify 42 NEOs that are mission-accessible, including six of the seven flyby candidates of the ESA Hera mission. We confirm the perihelion dependance of spectral slope among S-type NEOs, likely related to a rejuvenation mechanism linked with thermal fatigue. We also confirm the clustering of A-type NEOs around 1.5-2 AU, and predict the taxonomic distribution of small asteroids in the NEO source regions in the Main Belt.


title: Secure Control of Networked Inverted Pendulum Visual Servo System with Adverse Effects of Image Computation (Extended Version)

abstract: When visual image information is transmitted via communication networks, it easily suffers from image attacks, leading to system performance degradation or even crash. This paper investigates secure control of networked inverted pendulum visual servo system (NIPVSS) with adverse effects of image computation. Firstly, the image security limitation of the traditional NIPVSS is revealed, where its stability will be destroyed by eavesdropping-based image attacks. Then, a new NIPVSS with the fast scaled-selective image encryption (F2SIE) algorithm is proposed, which not only meets the real-time requirement by reducing the computational complexity, but also improve the security by reducing the probability of valuable information being compromised by eavesdropping-based image attacks. Secondly, adverse effects of the F2SIE algorithm and image attacks are analysed, which will produce extra computational delay and errors. Then, a closed-loop uncertain time-delay model of the new NIPVSS is established, and a robust controller is designed to guarantee system asymptotic stability. Finally, experimental results of the new NIPVSS demonstrate the feasibility and effectiveness of the proposed method.