title: Quasi-Hermitian quantum mechanics and a new class of user-friendly matrix Hamiltonians

abstract: In the conventional Schr\"{o}dinger's formulation of quantum mechanics the unitary evolution of a state $\psi$ is controlled, in Hilbert space ${\cal L}$, by a Hamiltonian $\mathfrak{h}$ which must be self-adjoint. In the recent, ``quasi-Hermitian'' reformulation of the theory one replaces $\mathfrak{h}$ by its isospectral but non-Hermitian avatar $H = \Omega^{-1}\mathfrak{h}\Omega$ with $\Omega^\dagger\Omega = \Theta \neq I$. Although acting in another, manifestly unphysical Hilbert space ${\cal H}$, the amended Hamiltonian $H \neq H^\dagger$ can be perceived as self-adjoint with respect to the amended inner-product metric $\Theta$. In our paper motivated by a generic technical ``user-unfriendliness'' of the non-Hermiticity of $H$ we introduce and describe a specific new family of Hamiltonians $H$ for which the metrics $\Theta$ become available in closed form.


title: Motion Priority Optimization Framework towards Automated and Teleoperated Robot Cooperation in Industrial Recovery Scenarios

abstract: In this study, we introduce an optimization framework aimed at enhancing the efficiency of motion priority design in scenarios involving automated and teleoperated robots within an industrial recovery context. The escalating utilization of industrial robots at manufacturing sites has been instrumental in mitigating human workload. Nevertheless, the challenge persists in achieving effective human-robot collaboration/cooperation where human workers and robots share a workspace for collaborative tasks. In the event of an industrial robot encountering a failure, it necessitates the suspension of the corresponding factory cell for safe recovery. Given the limited capacity of pre-programmed robots to rectify such failures, human intervention becomes imperative, requiring entry into the robot workspace to address the dropped object while the robot system is halted. This non-continuous manufacturing process results in productivity loss. Robotic teleoperation has emerged as a promising technology enabling human workers to undertake high-risk tasks remotely and safely. Our study advocates for the incorporation of robotic teleoperation in the recovery process during manufacturing failure scenarios, which is referred to as "Cooperative Tele-Recovery". Our proposed approach involves the formulation of priority rules designed to facilitate collision avoidance between manufacturing and recovery robots. This, in turn, ensures a continuous manufacturing process with minimal production loss within a configurable risk limitation. We present a comprehensive motion priority optimization framework, encompassing an HRC simulator-based priority optimization and a cooperative multi-robot controller, to identify optimal parameters for the priority function. The framework dynamically adjusts the allocation of motion priorities for manufacturing and recovery robots while adhering to predefined risk limitations.


title: Hilbert-Schmidt composition-differentiation operators on the unit ball

abstract: We use the notion of radial derivative to introduce composition-differentiation operators on the Hardy and Bergman spaces of the unit ball and the polydisk. We seek for necessary and sufficient conditions on the inducing functions to ensure that the composition-differentiation operator is Hilbert-Schmidt.


title: A Closer Look at the Security Risks in the Rust Ecosystem

abstract: Rust is an emerging programming language designed for the development of systems software. To facilitate the reuse of Rust code, crates.io, as a central package registry of the Rust ecosystem, hosts thousands of third-party Rust packages. The openness of crates.io enables the growth of the Rust ecosystem but comes with security risks by severe security advisories. Although Rust guarantees a software program to be safe via programming language features and strict compile-time checking, the unsafe keyword in Rust allows developers to bypass compiler safety checks for certain regions of code. Prior studies empirically investigate the memory safety and concurrency bugs in the Rust ecosystem, as well as the usage of unsafe keywords in practice. Nonetheless, the literature lacks a systematic investigation of the security risks in the Rust ecosystem. In this paper, we perform a comprehensive investigation into the security risks present in the Rust ecosystem, asking ``what are the characteristics of the vulnerabilities, what are the characteristics of the vulnerable packages, and how are the vulnerabilities fixed in practice?''. To facilitate the study, we first compile a dataset of 433 vulnerabilities, 300 vulnerable code repositories, and 218 vulnerability fix commits in the Rust ecosystem, spanning over 7 years. With the dataset, we characterize the types, life spans, and evolution of the disclosed vulnerabilities. We then characterize the popularity, categorization, and vulnerability density of the vulnerable Rust packages, as well as their versions and code regions affected by the disclosed vulnerabilities. Finally, we characterize the complexity of vulnerability fixes and localities of corresponding code changes, and inspect how practitioners fix vulnerabilities in Rust packages with various localities.


title: Large language models converge toward human-like concept organization

abstract: Large language models show human-like performance in knowledge extraction, reasoning and dialogue, but it remains controversial whether this performance is best explained by memorization and pattern matching, or whether it reflects human-like inferential semantics and world knowledge. Knowledge bases such as WikiData provide large-scale, high-quality representations of inferential semantics and world knowledge. We show that large language models learn to organize concepts in ways that are strikingly similar to how concepts are organized in such knowledge bases. Knowledge bases model collective, institutional knowledge, and large language models seem to induce such knowledge from raw text. We show that bigger and better models exhibit more human-like concept organization, across four families of language models and three knowledge graph embeddings.


title: Optimal ratcheting of dividend payout under Brownian motion surplus

abstract: This paper is concerned with a long standing optimal dividend payout problem in insurance subject to the so-called ratcheting constraint, that is, the dividend payout rate shall be non-decreasing over time. The surplus process is modeled by a drifted Brownian motion process and the aim is to find the optimal dividend ratcheting strategy to maximize the expectation of the total discounted dividend payouts until the ruin time. Due to the path-dependent constraint, the standard control theory cannot be directly applied to tackle the problem. The related Hamilton-Jacobi-Bellman (HJB) equation is a new type of variational inequality. In the literature, it is only shown to have a viscosity solution, which is not strong enough to guarantee the existence of an optimal dividend ratcheting strategy. This paper proposes a novel partial differential equation method to study the HJB equation. We not only prove the the existence and uniqueness of the solution in some stronger functional space, but also prove the monotonicity, boundedness, and $C^{\infty}$-smoothness of the dividend ratcheting free boundary. Based on these results, we eventually derive an optimal dividend ratcheting strategy, and thus solve the open problem completely. Economically, we find that if the surplus volatility is above an explicit threshold, then one should pay dividends at the maximum rate, regardless the surplus level. Otherwise, by contrast, the optimal dividend ratcheting strategy relays on the surplus level and one should only ratchet up the dividend payout rate when the surplus level touches the dividend ratcheting free boundary.


title: Pose-Free Neural Radiance Fields via Implicit Pose Regularization

abstract: Pose-free neural radiance fields (NeRF) aim to train NeRF with unposed multi-view images and it has achieved very impressive success in recent years. Most existing works share the pipeline of training a coarse pose estimator with rendered images at first, followed by a joint optimization of estimated poses and neural radiance field. However, as the pose estimator is trained with only rendered images, the pose estimation is usually biased or inaccurate for real images due to the domain gap between real images and rendered images, leading to poor robustness for the pose estimation of real images and further local minima in joint optimization. We design IR-NeRF, an innovative pose-free NeRF that introduces implicit pose regularization to refine pose estimator with unposed real images and improve the robustness of the pose estimation for real images. With a collection of 2D images of a specific scene, IR-NeRF constructs a scene codebook that stores scene features and captures the scene-specific pose distribution implicitly as priors. Thus, the robustness of pose estimation can be promoted with the scene priors according to the rationale that a 2D real image can be well reconstructed from the scene codebook only when its estimated pose lies within the pose distribution. Extensive experiments show that IR-NeRF achieves superior novel view synthesis and outperforms the state-of-the-art consistently across multiple synthetic and real datasets.


title: iBARLE: imBalance-Aware Room Layout Estimation

abstract: Room layout estimation predicts layouts from a single panorama. It requires datasets with large-scale and diverse room shapes to train the models. However, there are significant imbalances in real-world datasets including the dimensions of layout complexity, camera locations, and variation in scene appearance. These issues considerably influence the model training performance. In this work, we propose the imBalance-Aware Room Layout Estimation (iBARLE) framework to address these issues. iBARLE consists of (1) Appearance Variation Generation (AVG) module, which promotes visual appearance domain generalization, (2) Complex Structure Mix-up (CSMix) module, which enhances generalizability w.r.t. room structure, and (3) a gradient-based layout objective function, which allows more effective accounting for occlusions in complex layouts. All modules are jointly trained and help each other to achieve the best performance. Experiments and ablation studies based on ZInD~\cite{cruz2021zillow} dataset illustrate that iBARLE has state-of-the-art performance compared with other layout estimation baselines.


title: Stability of $p$-adic valuations of Hecke L-values

abstract: In this paper, we prove $p$-stability results for the critical L-values of algebraic Hecke characters over CM fields in $\ell$-adic anticyclotomic twist family with $\ell\neq p$.


title: Constraining self-interactions of a massive scalar field using scalar gravitational waves from stellar core collapse

abstract: We perform a comprehensive numerical study of gravitational waves from stellar core collapse in the massive scalar-tensor theory with the cubic and quartic self-interactions of the scalar field. We investigate the dependence of gravitational waves on the self-interaction as well as the mass of the scalar field and the conformal factor. We find that gravitational-wave spectra show a systematic difference between the cubic and quartic self-interactions. We also find that this systematic difference is insensitive to the mass of the scalar field and the conformal factor. Our results indicate that the type of the self-interaction could be constrained by observations of gravitational waves using the future-planned detectors.


title: Adapting Text-based Dialogue State Tracker for Spoken Dialogues

abstract: Although there have been remarkable advances in dialogue systems through the dialogue systems technology competition (DSTC), it remains one of the key challenges to building a robust task-oriented dialogue system with a speech interface. Most of the progress has been made for text-based dialogue systems since there are abundant datasets with written corpora while those with spoken dialogues are very scarce. However, as can be seen from voice assistant systems such as Siri and Alexa, it is of practical importance to transfer the success to spoken dialogues. In this paper, we describe our engineering effort in building a highly successful model that participated in the speech-aware dialogue systems technology challenge track in DSTC11. Our model consists of three major modules: (1) automatic speech recognition error correction to bridge the gap between the spoken and the text utterances, (2) text-based dialogue system (D3ST) for estimating the slots and values using slot descriptions, and (3) post-processing for recovering the error of the estimated slot value. Our experiments show that it is important to use an explicit automatic speech recognition error correction module, post-processing, and data augmentation to adapt a text-based dialogue state tracker for spoken dialogue corpora.


title: A Quasi-Polynomial Algorithm for Subset-Sum Problems with At Most One Solution

abstract: In this paper we study the problem of maximizing the distance to a given point over an intersection of balls. It was already known that this problem can be solved in polynomial time and space if the given point is not in the convex hull of the balls centers. The cases where the given point is in the convex hull of the balls centers include all NP-complete problems as we show. Some novel results are given in this area. A novel projection algorithm is developed then applied in the context of the Subset Sum Problem (SSP). Under the assumption that the SSP has at most one solution, we provide a quasi-polynomial algorithm, which decreases the radius of an initial ball containing the solution to the SSP. We perform some numerical tests which show the effectiveness of the proposed algorithm.


title: Taxonomic Loss for Morphological Glossing of Low-Resource Languages

abstract: Morpheme glossing is a critical task in automated language documentation and can benefit other downstream applications greatly. While state-of-the-art glossing systems perform very well for languages with large amounts of existing data, it is more difficult to create useful models for low-resource languages. In this paper, we propose the use of a taxonomic loss function that exploits morphological information to make morphological glossing more performant when data is scarce. We find that while the use of this loss function does not outperform a standard loss function with regards to single-label prediction accuracy, it produces better predictions when considering the top-n predicted labels. We suggest this property makes the taxonomic loss function useful in a human-in-the-loop annotation setting.


title: A Consumer-tier based Visual-Brain Machine Interface for Augmented Reality Glasses Interactions

abstract: Objective.Visual-Brain Machine Interface(V-BMI) has provide a novel interaction technique for Augmented Reality (AR) industries. Several state-of-arts work has demonstates its high accuracy and real-time interaction capbilities. However, most of the studies employ EEGs devices that are rigid and difficult to apply in real-life AR glasseses application sceniraros. Here we develop a consumer-tier Visual-Brain Machine Inteface(V-BMI) system specialized for Augmented Reality(AR) glasses interactions. Approach. The developed system consists of a wearable hardware which takes advantages of fast set-up, reliable recording and comfortable wearable experience that specificized for AR glasses applications. Complementing this hardware, we have devised a software framework that facilitates real-time interactions within the system while accommodating a modular configuration to enhance scalability. Main results. The developed hardware is only 110g and 120x85x23 mm, which with 1 Tohm and peak to peak voltage is less than 1.5 uV, and a V-BMI based angry bird game and an Internet of Thing (IoT) AR applications are deisgned, we demonstrated such technology merits of intuitive experience and efficiency interaction. The real-time interaction accuracy is between 85 and 96 percentages in a commercial AR glasses (DTI is 2.24s and ITR 65 bits-min ). Significance. Our study indicates the developed system can provide an essential hardware-software framework for consumer based V-BMI AR glasses. Also, we derive several pivotal design factors for a consumer-grade V-BMI-based AR system: 1) Dynamic adaptation of stimulation patterns-classification methods via computer vision algorithms is necessary for AR glasses applications; and 2) Algorithmic localization to foster system stability and latency reduction.


title: Which Requirements Artifact Quality Defects are Automatically Detectable? A Case Study

abstract: [Context] The quality of requirements engineering artifacts, e.g. requirements specifications, is acknowledged to be an important success factor for projects. Therefore, many companies spend significant amounts of money to control the quality of their RE artifacts. To reduce spending and improve the RE artifact quality, methods were proposed that combine manual quality control, i.e. reviews, with automated approaches. [Problem] So far, we have seen various approaches to automatically detect certain aspects in RE artifacts. However, we still lack an overview what can and cannot be automatically detected. [Approach] Starting from an industry guideline for RE artifacts, we classify 166 existing rules for RE artifacts along various categories to discuss the share and the characteristics of those rules that can be automated. For those rules, that cannot be automated, we discuss the main reasons. [Contribution] We estimate that 53% of the 166 rules can be checked automatically either perfectly or with a good heuristic. Most rules need only simple techniques for checking. The main reason why some rules resist automation is due to imprecise definition. [Impact] By giving first estimates and analyses of automatically detectable and not automatically detectable rule violations, we aim to provide an overview of the potential of automated methods in requirements quality control.


title: Better Prefix Authentication

abstract: We present new schemes for solving prefix authentication and secure relative timestamping. By casting a new light on antimonotone linking schemes, we improve upon the state of the art in prefix authentication, and in timestamping with rounds of bounded length. Our designs can serve as more efficient alternatives to certificate transparency logs.


title: OEBench: Investigating Open Environment Challenges in Real-World Relational Data Streams

abstract: How to get insights from relational data streams in a timely manner is a hot research topic. Data streams can present unique challenges, such as distribution drifts, outliers, emerging classes, and changing features, which have recently been described as open environment challenges for machine learning. While existing studies have been done on incremental learning for data streams, their evaluations are mostly conducted with synthetic datasets. Thus, a natural question is how those open environment challenges look like and how existing incremental learning algorithms perform on real-world relational data streams. To fill this gap, we develop an Open Environment Benchmark named OEBench to evaluate open environment challenges in real-world relational data streams. Specifically, we investigate 55 real-world relational data streams and establish that open environment scenarios are indeed widespread, which presents significant challenges for stream learning algorithms. Through benchmarks with existing incremental learning algorithms, we find that increased data quantity may not consistently enhance the model accuracy when applied in open environment scenarios, where machine learning models can be significantly compromised by missing values, distribution drifts, or anomalies in real-world data streams. The current techniques are insufficient in effectively mitigating these challenges brought by open environments. More researches are needed to address real-world open environment challenges. All datasets and code are open-sourced in https://github.com/sjtudyq/OEBench.


title: Summary of the 4th International Workshop on Requirements Engineering and Testing (RET 2017)

abstract: The RET (Requirements Engineering and Testing) workshop series provides a meeting point for researchers and practitioners from the two separate fields of Requirements Engineering (RE) and Testing. The long term aim is to build a community and a body of knowledge within the intersection of RE and Testing, i.e., RET. The 4th workshop was co-located with the 25th International Requirements Engineering Conference (RE'17) in Lisbon, Portugal and attracted about 20 participants. In line with the previous workshop instances, RET 2017 o ered an interactive setting with a keynote, an invited talk, paper presentations, and a concluding hands-on exercise.


title: AIoT-Based Drum Transcription Robot using Convolutional Neural Networks

abstract: With the development of information technology, robot technology has made great progress in various fields. These new technologies enable robots to be used in industry, agriculture, education and other aspects. In this paper, we propose a drum robot that can automatically complete music transcription in real-time, which is based on AIoT and fog computing technology. Specifically, this drum robot system consists of a cloud node for data storage, edge nodes for real-time computing, and data-oriented execution application nodes. In order to analyze drumming music and realize drum transcription, we further propose a light-weight convolutional neural network model to classify drums, which can be more effectively deployed in terminal devices for fast edge calculations. The experimental results show that the proposed system can achieve more competitive performance and enjoy a variety of smart applications and services.


title: Forecasting with Feedback

abstract: Systematically biased forecasts are typically interpreted as evidence of forecasters' irrationality and/or asymmetric loss. In this paper we propose an alternative explanation: when forecasts inform economic policy decisions, and the resulting actions affect the realization of the forecast target itself, forecasts may be optimally biased even under quadratic loss. The result arises in environments in which the forecaster is uncertain about the decision maker's reaction to the forecast, which is presumably the case in most applications. We illustrate the empirical relevance of our theory by reviewing some stylized properties of Green Book inflation forecasts and relating them to the predictions from our model. Our results point out that the presence of policy feedback poses a challenge to traditional tests of forecast rationality.


title: Learning Cross-modality Information Bottleneck Representation for Heterogeneous Person Re-Identification

abstract: Visible-Infrared person re-identification (VI-ReID) is an important and challenging task in intelligent video surveillance. Existing methods mainly focus on learning a shared feature space to reduce the modality discrepancy between visible and infrared modalities, which still leave two problems underexplored: information redundancy and modality complementarity. To this end, properly eliminating the identity-irrelevant information as well as making up for the modality-specific information are critical and remains a challenging endeavor. To tackle the above problems, we present a novel mutual information and modality consensus network, namely CMInfoNet, to extract modality-invariant identity features with the most representative information and reduce the redundancies. The key insight of our method is to find an optimal representation to capture more identity-relevant information and compress the irrelevant parts by optimizing a mutual information bottleneck trade-off. Besides, we propose an automatically search strategy to find the most prominent parts that identify the pedestrians. To eliminate the cross- and intra-modality variations, we also devise a modality consensus module to align the visible and infrared modalities for task-specific guidance. Moreover, the global-local feature representations can also be acquired for key parts discrimination. Experimental results on four benchmarks, i.e., SYSU-MM01, RegDB, Occluded-DukeMTMC, Occluded-REID, Partial-REID and Partial\_iLIDS dataset, have demonstrated the effectiveness of CMInfoNet.


title: Broken time-reversal symmetry in cubic skutterudite-like superconductor Y$_3$Ru$_4$Ge$_{13}$

abstract: The microscopic properties of superconducting cubic skutterudite-like material Y$_3$Ru$_4$Ge$_{13}$ are investigated using muon spin relaxation and rotation ($\mu$SR) measurements. Zero-field $\mu$SR measurements reveal the presence of a spontaneous internal field with a magnitude of $\approx$ 0.18~mT below the superconducting transition temperature, indicating broken time-reversal symmetry in the ground state. In line with previous experiments, transverse-field $\mu$SR measurements are consistent with a fully developed superconductivity gap in Y$_3$Ru$_4$Ge$_{13}$. Our observations point towards the relevance of electronic correlations beyond electron-phonon coupling as origin and indicate that spin-orbit coupling is likely not the key driving force behind the spontaneous breaking of time-reversal symmetry in this system.


title: An Efficient Construction of Yao-Graph in Data-Distributed Settings

abstract: A sparse graph that preserves an approximation of the shortest paths between all pairs of points in a plane is called a geometric spanner. Using range trees of sublinear size, we design an algorithm in massively parallel computation (MPC) model for constructing a geometric spanner known as Yao-graph. This improves the total time and the total memory of existing algorithms for geometric spanners from subquadratic to near-linear.


title: Extracting vacuum expectation values from approximate vacuum prepared by the adiabatic quantum computation

abstract: We propose a procedure to extract vacuum expectation values from approximate vacuum prepared by the adiabatic quantum computation. We use plural ancilla bits with hierarchical structure, intending to gradually put up approximate precision. We exhibit simulation results for a typical one-qubit system and a two-qubits system based on the (1+1)-dimensional Schwinger model using classically emulated digital quantum simulator.


title: Probing Quarkyonic Matter in Neutron Stars with the Bayesian Nuclear-Physics Multi-Messenger Astrophysics Framework

abstract: The interior of neutron stars contains matter at the highest densities realized in our Universe. Interestingly, theoretical studies of dense matter, in combination with the existence of two solar mass neutron stars, indicate that the speed of sound $c_s$ has to increase to values well above the conformal limit ($c_s^2\sim 1/3$) before decreasing again at higher densities. The decrease could be explained by either a strong first-order phase transition or a cross-over transition from hadronic to quark matter. The latter scenario leads to a pronounced peak in the speed of sound reaching values above the conformal limit, naturally explaining the inferred behavior. In this work, we use the Nuclear-Physics Multi-Messenger Astrophysics framework \textsc{NMMA} to compare predictions of the quarkyonic matter model with astrophysical observations of neutron stars, with the goal of constraining model parameters. Assuming quarkyonic matter to be realized within neutron stars, we find that there can be a significant amount of quarks inside the core of neutron stars with masses in the two solar mass range, amounting to up to $\sim 0.13M_\odot$, contributing $\sim 5.9\%$ of the total mass. Furthermore, for the quarkyonic matter model investigated here, the radius of a $1.4M_\odot$ neutron star would be $13.44^{+1.69}_{-1.54} (13.54^{+1.02}_{-1.04})$ km, at $95\%$ credibility, without (with) the inclusion of AT2017gfo.


title: A Comprehensive Augmentation Framework for Anomaly Detection

abstract: Data augmentation methods are commonly integrated into the training of anomaly detection models. Previous approaches have primarily focused on replicating real-world anomalies or enhancing diversity, without considering that the standard of anomaly varies across different classes, potentially leading to a biased training distribution.This paper analyzes crucial traits of simulated anomalies that contribute to the training of reconstructive networks and condenses them into several methods, thus creating a comprehensive framework by selectively utilizing appropriate combinations.Furthermore, we integrate this framework with a reconstruction-based approach and concurrently propose a split training strategy that alleviates the issue of overfitting while avoiding introducing interference to the reconstruction process. The evaluations conducted on the MVTec anomaly detection dataset demonstrate that our method outperforms the previous state-of-the-art approach, particularly in terms of object classes. To evaluate generalizability, we generate a simulated dataset comprising anomalies with diverse characteristics since the original test samples only include specific types of anomalies and may lead to biased evaluations. Experimental results demonstrate that our approach exhibits promising potential for generalizing effectively to various unforeseen anomalies encountered in real-world scenarios.


title: MadSGM: Multivariate Anomaly Detection with Score-based Generative Models

abstract: The time-series anomaly detection is one of the most fundamental tasks for time-series. Unlike the time-series forecasting and classification, the time-series anomaly detection typically requires unsupervised (or self-supervised) training since collecting and labeling anomalous observations are difficult. In addition, most existing methods resort to limited forms of anomaly measurements and therefore, it is not clear whether they are optimal in all circumstances. To this end, we present a multivariate time-series anomaly detector based on score-based generative models, called MadSGM, which considers the broadest ever set of anomaly measurement factors: i) reconstruction-based, ii) density-based, and iii) gradient-based anomaly measurements. We also design a conditional score network and its denoising score matching loss for the time-series anomaly detection. Experiments on five real-world benchmark datasets illustrate that MadSGM achieves the most robust and accurate predictions.


title: DiffBIR: Towards Blind Image Restoration with Generative Diffusion Prior

abstract: We present DiffBIR, a general restoration pipeline that could handle different blind image restoration tasks in a unified framework. DiffBIR decouples blind image restoration problem into two stages: 1) degradation removal: removing image-independent content; 2) information regeneration: generating the lost image content. Each stage is developed independently but they work seamlessly in a cascaded manner. In the first stage, we use restoration modules to remove degradations and obtain high-fidelity restored results. For the second stage, we propose IRControlNet that leverages the generative ability of latent diffusion models to generate realistic details. Specifically, IRControlNet is trained based on specially produced condition images without distracting noisy content for stable generation performance. Moreover, we design a region-adaptive restoration guidance that can modify the denoising process during inference without model re-training, allowing users to balance realness and fidelity through a tunable guidance scale. Extensive experiments have demonstrated DiffBIR's superiority over state-of-the-art approaches for blind image super-resolution, blind face restoration and blind image denoising tasks on both synthetic and real-world datasets. The code is available at https://github.com/XPixelGroup/DiffBIR.


title: Octant Degeneracy and Plots of Parameter Degeneracy in Neutrino Oscillations Revisited

abstract: The three kinds of parameter degeneracy in neutrino oscillation, the intrinsic, sign and octant degeneracy, form an eight-fold degeneracy. The nature of this eight-fold degeneracy can be visualized on the ($\sin^22\theta_{13}$, $1/\sin^2\theta_{23}$)-plane, through quadratic curves defined by $P(\nu_\mu\to\nu_e)=$ const. and $P(\bar{\nu}_\mu\to\bar{\nu}_e)=$ const., along with a straight line $P(\nu_\mu\to\nu_\mu)=$ const. After $\theta_{13}$ was determined by reactor neutrino experiments, the intrinsic degeneracy in $\theta_{13}$ transforms into an alternative octant degeneracy in $\theta_{23}$, which can potentially be resolved by incorporating the value of $P(\nu_\mu\to\nu_\mu)$. In this paper, we analytically discuss whether this octant parameter degeneracy is resolved or persists in the future long baseline accelerator neutrino experiments, such as T2HK, DUNE, T2HKK and ESS$\nu$SB. It is found that the energy spectra near the first oscillation maximum are effective in resolving the octant degeneracy, whereas those near the second oscillation maximum are not.


title: Advancing Adversarial Robustness Through Adversarial Logit Update

abstract: Deep Neural Networks are susceptible to adversarial perturbations. Adversarial training and adversarial purification are among the most widely recognized defense strategies. Although these methods have different underlying logic, both rely on absolute logit values to generate label predictions. In this study, we theoretically analyze the logit difference around successful adversarial attacks from a theoretical point of view and propose a new principle, namely Adversarial Logit Update (ALU), to infer adversarial sample's labels. Based on ALU, we introduce a new classification paradigm that utilizes pre- and post-purification logit differences for model's adversarial robustness boost. Without requiring adversarial or additional data for model training, our clean data synthesis model can be easily applied to various pre-trained models for both adversarial sample detection and ALU-based data classification. Extensive experiments on both CIFAR-10, CIFAR-100, and tiny-ImageNet datasets show that even with simple components, the proposed solution achieves superior robustness performance compared to state-of-the-art methods against a wide range of adversarial attacks. Our python implementation is submitted in our Supplementary document and will be published upon the paper's acceptance.


title: Theoretical Analysis of Random Scattering Induced by Microlensing

abstract: Theoretical investigations into the deflection angle caused by microlenses offer a direct path to uncovering principles of the cosmological microlensing effect. This work specifically concentrates on the the probability density function (PDF) of the light deflection angle induced by microlenses. We have made several significant improvements to the widely used formula from Katz et al. First, we update the coefficient from 3.05 to 1.454, resulting in a better fit between the theoretical PDF and our simulation results. Second, we developed an elegant fitting formula for the PDF that can replace its integral representation within a certain accuracy, which is numerically divergent unless arbitrary upper limits are chosen. Third, to facilitate further theoretical work in this area, we have identified a more suitable Gaussian approximation for the fitting formula.


title: Exploring Model Transferability through the Lens of Potential Energy

abstract: Transfer learning has become crucial in computer vision tasks due to the vast availability of pre-trained deep learning models. However, selecting the optimal pre-trained model from a diverse pool for a specific downstream task remains a challenge. Existing methods for measuring the transferability of pre-trained models rely on statistical correlations between encoded static features and task labels, but they overlook the impact of underlying representation dynamics during fine-tuning, leading to unreliable results, especially for self-supervised models. In this paper, we present an insightful physics-inspired approach named PED to address these challenges. We reframe the challenge of model selection through the lens of potential energy and directly model the interaction forces that influence fine-tuning dynamics. By capturing the motion of dynamic representations to decline the potential energy within a force-driven physical model, we can acquire an enhanced and more stable observation for estimating transferability. The experimental results on 10 downstream tasks and 12 self-supervised models demonstrate that our approach can seamlessly integrate into existing ranking techniques and enhance their performances, revealing its effectiveness for the model selection task and its potential for understanding the mechanism in transfer learning. Code will be available at https://github.com/lixiaotong97/PED.


title: Benchmarking 5G MEC and Cloud infrastructures for planning IoT messaging of CCAM data

abstract: Vehicles embed lots of sensors supporting driving and safety. Combined with connectivity, they bring new possibilities for Connected, Cooperative and Automated Mobility (CCAM) services that exploit local and global data for a wide understanding beyond the myopic view of local sensors. Internet of Things (IoT) messaging solutions are ideal for vehicular data as they ship core features like the separation of geographic areas, the fusion of different producers on data/sensor types, and concurrent subscription support. Multi-access Edge Computing (MEC) and Cloud infrastructures are key to hosting a virtualized and distributed IoT platform. Currently, the are no benchmarks for assessing the appropriate size of an IoT platform for multiple vehicular data types such as text, image, binary point clouds and video-formatted samples. This paper formulates and executes the tests to get a benchmarking of the performance of a MEC and Cloud platform according to actors' concurrency, data volumes and business levels parameters.


title: Delocalisation enables efficient charge generation in organic photovoltaics, even with little to no energetic offset

abstract: Organic photovoltaics (OPVs) are promising candidates for solar-energy conversion, with device efficiencies continuing to increase. However, the precise mechanism of how charges separate in OPVs is not well understood because low dielectric constants produce a strong attraction between the charges, which they must overcome to separate. Separation has been thought to require energetic offsets at donor-acceptor interfaces, but recent materials have enabled efficient charge generation with small offsets, or with none at all in neat materials. Here, we extend delocalised kinetic Monte Carlo (dKMC) to develop a three-dimensional model of charge generation that includes disorder, delocalisation, and polaron formation in every step from photoexcitation to charge separation. Our simulations show that delocalisation dramatically increases charge-generation efficiency, partly by enabling excitons to dissociate in the bulk. Therefore, charge generation can be efficient even in devices with little to no energetic offset, including neat materials. Our findings demonstrate that the underlying quantum-mechanical effect that improves the charge-separation kinetics is faster and longer-distance hops between delocalised states, mediated by hybridised states of exciton and charge-transfer character.


title: Quasiprojectile breakup and isospin equilibration at Fermi energies: an indication of longer projectile-target contact times?

abstract: An investigation of the quasiprojectile breakup channel in semiperipheral and peripheral collisions of $^{58,64}$Ni+$^{58,64}$Ni at 32 and 52 MeV/nucleon is presented. Data have been acquired in the first experimental campaign of the INDRA-FAZIA apparatus in GANIL. The effect of isospin diffusion between projectile and target in the two asymmetric reactions has been highlighted by means of the isospin transport ratio technique, exploiting the neutron-to-proton ratio of the quasiprojectile reconstructed from the two breakup fragments. We found evidence that, for the same reaction centrality, a higher degree of relaxation of the initial isospin imbalance is achieved in the breakup channel with respect to the more populated binary output, possibly indicating the indirect selection of specific dynamical features. We have proposed an interpretation based on different average projectile-target contact times related to the two exit channels under investigation, with a longer interaction for the breakup channel. The time information has been extracted from AMD simulations of the studied systems coupled to GEMINI++: the model calculations support the hypothesis hereby presented.


title: LAMBO: Large Language Model Empowered Edge Intelligence

abstract: Next-generation edge intelligence is anticipated to bring huge benefits to various applications, e.g., offloading systems. However, traditional deep offloading architectures face several issues, including heterogeneous constraints, partial perception, uncertain generalization, and lack of tractability. In this context, the integration of offloading with large language models (LLMs) presents numerous advantages. Therefore, we propose an LLM-Based Offloading (LAMBO) framework for mobile edge computing (MEC), which comprises four components: (i) Input embedding (IE), which is used to represent the information of the offloading system with constraints and prompts through learnable vectors with high quality; (ii) Asymmetric encoderdecoder (AED) model, which is a decision-making module with a deep encoder and a shallow decoder. It can achieve high performance based on multi-head self-attention schemes; (iii) Actor-critic reinforcement learning (ACRL) module, which is employed to pre-train the whole AED for different optimization tasks under corresponding prompts; and (iv) Active learning from expert feedback (ALEF), which can be used to finetune the decoder part of the AED while adapting to dynamic environmental changes. Our simulation results corroborate the advantages of the proposed LAMBO framework.


title: Area Efficient Modular Reduction in Hardware for Arbitrary Static Moduli

abstract: Modular reduction is a crucial operation in many post-quantum cryptographic schemes, including the Kyber key exchange method or Dilithium signature scheme. However, it can be computationally expensive and pose a performance bottleneck in hardware implementations. To address this issue, we propose a novel approach for computing modular reduction efficiently in hardware for arbitrary static moduli. Unlike other commonly used methods such as Barrett or Montgomery reduction, the method does not require any multiplications. It is not dependent on properties of any particular choice of modulus for good performance and low area consumption. Its major strength lies in its low area consumption, which was reduced by 60% for optimized and up to 90% for generic Barrett implementations for Kyber and Dilithium. Additionally, it is well suited for parallelization and pipelining and scales linearly in hardware resource consumption with increasing operation width. All operations can be performed in the bit-width of the modulus, rather than the size of the number being reduced. This shortens carry chains and allows for faster clocking. Moreover, our method can be executed in constant time, which is essential for cryptography applications where timing attacks can be used to obtain information about the secret key.


title: A representation of a set of maps as a ribbon bipartite graph

abstract: In this purely experimental work we try to represent the set of plane maps with 3 vertices and 3 faces as a bipartite ribbon graph. In particular, this construction allows one to estimate the genus of the initial set.


title: Class Prior-Free Positive-Unlabeled Learning with Taylor Variational Loss for Hyperspectral Remote Sensing Imagery

abstract: Positive-unlabeled learning (PU learning) in hyperspectral remote sensing imagery (HSI) is aimed at learning a binary classifier from positive and unlabeled data, which has broad prospects in various earth vision applications. However, when PU learning meets limited labeled HSI, the unlabeled data may dominate the optimization process, which makes the neural networks overfit the unlabeled data. In this paper, a Taylor variational loss is proposed for HSI PU learning, which reduces the weight of the gradient of the unlabeled data by Taylor series expansion to enable the network to find a balance between overfitting and underfitting. In addition, the self-calibrated optimization strategy is designed to stabilize the training process. Experiments on 7 benchmark datasets (21 tasks in total) validate the effectiveness of the proposed method. Code is at: https://github.com/Hengwei-Zhao96/T-HOneCls.


title: Frequency-domain criterion on the stabilizability for infinite-dimensional linear control systems

abstract: A quantitative frequency-domain condition related to the exponential stabilizability for infinite-dimensional linear control systems is presented. It is proven that this condition is necessary and sufficient for the stabilizability of special systems, while it is a necessary condition for the stabilizability in general. Applications are provided.


title: Hyperbolicity of a semi-Lagrangian formulation of the hydrostatic free-surface Euler system

abstract: By a semi-Lagrangian change of coordinates, the hydrostatic Euler equations describing free-surface sheared flows is rewritten as a system of quasilinear equations, where stability conditions can be determined by the analysis of its hyperbolic structure. This new system can be written as a quasi linear system in time and horizontal variables and involves no more vertical derivatives. However, the coefficients in front of the horizontal derivatives include an integral operator acting on the new vertical variable. The spectrum of these operators is studied in detail, in particular it includes a continuous part. Riemann invariants are then determined as conserved quantities along the characteristic curves. Examples of solutions are provided, in particular stationary solutions and solutions blowing-up in finite time. Eventually, we propose an exact multi-layer $\mathbb{P}_0$-discretization, which could be used to solve numerically this semi-Lagrangian system, and analyze the eigenvalues of the corresponding discretized operator to investigate the hyperbolic nature of the approximated system.


title: Introducing Interactions in Multi-Objective Optimization of Software Architectures

abstract: Software architecture optimization aims to enhance non-functional attributes like performance and reliability while meeting functional requirements. Multi-objective optimization employs metaheuristic search techniques, such as genetic algorithms, to explore feasible architectural changes and propose alternatives to designers. However, the resource-intensive process may not always align with practical constraints. This study investigates the impact of designer interactions on multi-objective software architecture optimization. Designers can intervene at intermediate points in the fully automated optimization process, making choices that guide exploration towards more desirable solutions. We compare this interactive approach with the fully automated optimization process, which serves as the baseline. The findings demonstrate that designer interactions lead to a more focused solution space, resulting in improved architectural quality. By directing the search towards regions of interest, the interaction uncovers architectures that remain unexplored in the fully automated process.


title: Learning to Upsample by Learning to Sample

abstract: We present DySample, an ultra-lightweight and effective dynamic upsampler. While impressive performance gains have been witnessed from recent kernel-based dynamic upsamplers such as CARAFE, FADE, and SAPA, they introduce much workload, mostly due to the time-consuming dynamic convolution and the additional sub-network used to generate dynamic kernels. Further, the need for high-res feature guidance of FADE and SAPA somehow limits their application scenarios. To address these concerns, we bypass dynamic convolution and formulate upsampling from the perspective of point sampling, which is more resource-efficient and can be easily implemented with the standard built-in function in PyTorch. We first showcase a naive design, and then demonstrate how to strengthen its upsampling behavior step by step towards our new upsampler, DySample. Compared with former kernel-based dynamic upsamplers, DySample requires no customized CUDA package and has much fewer parameters, FLOPs, GPU memory, and latency. Besides the light-weight characteristics, DySample outperforms other upsamplers across five dense prediction tasks, including semantic segmentation, object detection, instance segmentation, panoptic segmentation, and monocular depth estimation. Code is available at https://github.com/tiny-smart/dysample.


title: Precipitation induced filament pattern of injected fluid controlled by structured cell

abstract: Mixing of two fluids can lead to the formation of a precipitate. If one of the fluids is injected into a confined space filled with the other, a created precipitate disrupts the flow locally and forms complex spatiotemporal patterns. The relevance of controlling these patterns has been highlighted in the engineering and geological contexts. Here, we show that such injection patterns can be controlled consistently by injection rate and obstacles. Our experimental results revealed filament patterns for high injection and low reaction rates, and the injection rate can control the number of active filaments. Furthermore, appropriately spaced obstacles in the cells can straighten the motion of the advancing tip of the filament. A mathematical model based on a moving boundary adopting the effect of precipitation reproduced the phase diagram and the straight motion of filaments in structured cells. Our study clarifies the impact of the nonlinear permeability response on the precipitate density and that of the obstacles in the surrounding medium on the motion of the injected fluid with precipitation.

categories: cond-mat.soft nlin.AO nlin.PS physics.chem-ph physics.flu-dyn


title: On the limitations of the semi-classical picture in high harmonic generation

abstract: The recent progress in the quantum optical formulation of the process of high harmonic generation has reached a point where the successful semi-classical model shows its limitations. Until recently the light source which drives the process was considered to be provided by a laser, in agreement with the classical picture. However, quantum optics allows to consider light fields beyond the classical realm, such as bright squeezed vacuum or Fock states. Both field states have vanishing electric field amplitudes, but can still lead to the generation of high harmonic radiation for sufficiently high intensities. This poses new questions about the range of validity of the semi-classical picture, which is the matter discussed here.


title: Using deep learning for an automatic detection and classification of the vascular bifurcations along the Circle of Willis

abstract: Most of the intracranial aneurysms (ICA) occur on a specific portion of the cerebral vascular tree named the Circle of Willis (CoW). More particularly, they mainly arise onto fifteen of the major arterial bifurcations constituting this circular structure. Hence, for an efficient and timely diagnosis it is critical to develop some methods being able to accurately recognize each Bifurcation of Interest (BoI). Indeed, an automatic extraction of the bifurcations presenting the higher risk of developing an ICA would offer the neuroradiologists a quick glance at the most alarming areas. Due to the recent efforts on Artificial Intelligence, Deep Learning turned out to be the best performing technology for many pattern recognition tasks. Moreover, various methods have been particularly designed for medical image analysis purposes. This study intends to assist the neuroradiologists to promptly locate any bifurcation presenting a high risk of ICA occurrence. It can be seen as a Computer Aided Diagnosis scheme, where the Artificial Intelligence facilitates the access to the regions of interest within the MRI. In this work, we propose a method for a fully automatic detection and recognition of the bifurcations of interest forming the Circle of Willis. Several neural networks architectures have been tested, and we thoroughly evaluate the bifurcation recognition rate.


title: Optimal error bounds on time-splitting methods for the nonlinear Schr\"odinger equation with low regularity potential and nonlinearity

abstract: We establish optimal error bounds on time-splitting methods for the nonlinear Schr\"odinger equation with low regularity potential and typical power-type nonlinearity $ f(\rho) = \rho^\sigma $, where $ \rho:=|\psi|^2 $ is the density with $ \psi $ the wave function and $ \sigma > 0 $ the exponent of the nonlinearity. For the first-order Lie-Trotter time-splitting method, optimal $ L^2 $-norm error bound is proved for $L^\infty$-potential and $ \sigma > 0 $, and optimal $H^1$-norm error bound is obtained for $ W^{1, 4} $-potential and $ \sigma \geq 1/2 $. For the second-order Strang time-splitting method, optimal $ L^2 $-norm error bound is established for $H^2$-potential and $ \sigma \geq 1 $, and optimal $H^1$-norm error bound is proved for $H^3$-potential and $ \sigma \geq 3/2 $ (or $\sigma = 1$). Compared to those error estimates of time-splitting methods in the literature, our optimal error bounds either improve the convergence rates under the same regularity assumptions or significantly relax the regularity requirements on potential and nonlinearity for optimal convergence orders. A key ingredient in our proof is to adopt a new technique called \textit{regularity compensation oscillation} (RCO), where low frequency modes are analyzed by phase cancellation, and high frequency modes are estimated by regularity of the solution. Extensive numerical results are reported to confirm our error estimates and to demonstrate that they are sharp.


title: Killing two birds with one stone: Can an audio captioning system also be used for audio-text retrieval?

abstract: Automated Audio Captioning (AAC) aims to develop systems capable of describing an audio recording using a textual sentence. In contrast, Audio-Text Retrieval (ATR) systems seek to find the best matching audio recording(s) for a given textual query (Text-to-Audio) or vice versa (Audio-to-Text). These tasks require different types of systems: AAC employs a sequence-to-sequence model, while ATR utilizes a ranking model that compares audio and text representations within a shared projection subspace. However, this work investigates the relationship between AAC and ATR by exploring the ATR capabilities of an unmodified AAC system, without fine-tuning for the new task. Our AAC system consists of an audio encoder (ConvNeXt-Tiny) trained on AudioSet for audio tagging, and a transformer decoder responsible for generating sentences. For AAC, it achieves a high SPIDEr-FL score of 0.298 on Clotho and 0.472 on AudioCaps on average. For ATR, we propose using the standard Cross-Entropy loss values obtained for any audio/caption pair. Experimental results on the Clotho and AudioCaps datasets demonstrate decent recall values using this simple approach. For instance, we obtained a Text-to-Audio R@1 value of 0.382 for Au-dioCaps, which is above the current state-of-the-art method without external data. Interestingly, we observe that normalizing the loss values was necessary for Audio-to-Text retrieval.


title: Impact of quadrupole deformation on intermediate-energy heavy-ion collisions

abstract: This study employs the isospin-dependent Boltzmann-Uehling-Uhlenbeck model to simulate intermediate-energy heavy-ion collisions between prolate nuclei $^{24}$Mg. The emphasis is on investigating the influence of centrality and orientation in several collision scenarios. The final-state particle multiplicities and anisotropic flows are primarily determined by the eccentricity and the area of the initial overlap. This not only provides feedback on the collision systems, but also, to some extent, provides a means to explore the fine structure inside deformed nuclei. Additionally, non-polarized collisions have been further discussed. These results contribute to the understanding of the geometric effects in nuclear reactions, and aid in the exploration of other information on reaction systems, such as the equation of state and nuclear high-momentum tail.


title: Can We Rely on AI?

abstract: Over the last decade, adversarial attack algorithms have revealed instabilities in deep learning tools. These algorithms raise issues regarding safety, reliability and interpretability in artificial intelligence; especially in high risk settings. From a practical perspective, there has been a war of escalation between those developing attack and defence strategies. At a more theoretical level, researchers have also studied bigger picture questions concerning the existence and computability of attacks. Here we give a brief overview of the topic, focusing on aspects that are likely to be of interest to researchers in applied and computational mathematics.


title: Who invented von Koch's Snowflake Curve?

abstract: A strange title, might you say: Answer is in the question! However, contrary to popular belief and numerous citations in the literature, the image of the snowflake curve is not present or even mentioned in von Koch's original articles. So, where and when did the first snowflake fall? Unravel the mystery of the snowflake curve with us on a journey through time.


title: Group-Conditional Conformal Prediction via Quantile Regression Calibration for Crop and Weed Classification

abstract: As deep learning predictive models become an integral part of a large spectrum of precision agricultural systems, a barrier to the adoption of such automated solutions is the lack of user trust in these highly complex, opaque and uncertain models. Indeed, deep neural networks are not equipped with any explicit guarantees that can be used to certify the system's performance, especially in highly varying uncontrolled environments such as the ones typically faced in computer vision for agriculture.Fortunately, certain methods developed in other communities can prove to be important for agricultural applications. This article presents the conformal prediction framework that provides valid statistical guarantees on the predictive performance of any black box prediction machine, with almost no assumptions, applied to the problem of deep visual classification of weeds and crops in real-world conditions. The framework is exposed with a focus on its practical aspects and special attention accorded to the Adaptive Prediction Sets (APS) approach that delivers marginal guarantees on the model's coverage. Marginal results are then shown to be insufficient to guarantee performance on all groups of individuals in the population as characterized by their environmental and pedo-climatic auxiliary data gathered during image acquisition.To tackle this shortcoming, group-conditional conformal approaches are presented: the ''classical'' method that consists of iteratively applying the APS procedure on all groups, and a proposed elegant reformulation and implementation of the procedure using quantile regression on group membership indicators. Empirical results showing the validity of the proposed approach are presented and compared to the marginal APS then discussed.


title: FedChain: An Efficient and Secure Consensus Protocol based on Proof of Useful Federated Learning for Blockchain

abstract: Blockchain has become a popular decentralized paradigm for various applications in the zero-trust environment. The core of the blockchain is the consensus protocol, which establishes consensus among all the participants. PoW (Proof-of-Work) is one of the most popular consensus protocols. However, the PoW consensus protocol which incentives the participants to use their computing power to solve a meaningless hash puzzle is continuously questioned as energy-wasting. To address these issues, we propose an efficient and secure consensus protocol based on proof of useful federated learning for blockchain (called FedChain). We first propose a secure and robust blockchain architecture that takes federated learning tasks as proof of work. Then a pool aggregation mechanism is integrated to improve the efficiency of the FedChain architecture. To protect model parameter privacy for each participant within a mining pool, a secret sharing-based ring-all reduce architecture is designed. We also introduce a data distribution-based federated learning model optimization algorithm to improve the model performance of FedChain. At last, a zero-knowledge proof-based federated learning model verification is introduced to preserve the privacy of federated learning participants while proving the model performance of federated learning participants. Our approach has been tested and validated through extensive experiments, demonstrating its performance.


title: How Faithful are Self-Explainable GNNs?

abstract: Self-explainable deep neural networks are a recent class of models that can output ante-hoc local explanations that are faithful to the model's reasoning, and as such represent a step forward toward filling the gap between expressiveness and interpretability. Self-explainable graph neural networks (GNNs) aim at achieving the same in the context of graph data. This begs the question: do these models fulfill their implicit guarantees in terms of faithfulness? In this extended abstract, we analyze the faithfulness of several self-explainable GNNs using different measures of faithfulness, identify several limitations -- both in the models themselves and in the evaluation metrics -- and outline possible ways forward.


title: Sequential annotations for naturally-occurring HRI: first insights

abstract: We explain the methodology we developed for improving the interactions accomplished by an embedded conversational agent, drawing from Conversation Analytic sequential and multimodal analysis. The use case is a Pepper robot that is expected to inform and orient users in a library. In order to propose and learn better interactive schema, we are creating a corpus of naturally-occurring interactions that will be made available to the community. To do so, we propose an annotation practice based on some theoretical underpinnings about the use of language and multimodal resources in human-robot interaction. CCS CONCEPTS $\bullet$ Computing methodologies $\rightarrow$ Discourse, dialogue and pragmatics; $\bullet$ Human-centered computing $\rightarrow$ Text input; HCI theory, concepts and models; Field studies.


title: PALS: Distributed Gradient Clocking on Chip

abstract: Consider an arbitrary network of communicating modules on a chip, each requiring a local signal telling it when to execute a computational step. There are three common solutions to generating such a local clock signal: (i) by deriving it from a single, central clock source, (ii) by local, free-running oscillators, or (iii) by handshaking between neighboring modules. Conceptually, each of these solutions is the result of a perceived dichotomy in which (sub)systems are either clocked or asynchronous. We present a solution and its implementation that lies between these extremes. Based on a distributed gradient clock synchronization algorithm, we show a novel design providing modules with local clocks, the frequency bounds of which are almost as good as those of free-running oscillators, yet neighboring modules are guaranteed to have a phase offset substantially smaller than one clock cycle. Concretely, parameters obtained from a 15nm ASIC simulation running at 2GHz yield mathematical worst-case bounds of 20ps on the phase offset for a $32 \times 32$ node grid network.


title: Probabilistic Dataset Reconstruction from Interpretable Models

abstract: Interpretability is often pointed out as a key requirement for trustworthy machine learning. However, learning and releasing models that are inherently interpretable leaks information regarding the underlying training data. As such disclosure may directly conflict with privacy, a precise quantification of the privacy impact of such breach is a fundamental problem. For instance, previous work have shown that the structure of a decision tree can be leveraged to build a probabilistic reconstruction of its training dataset, with the uncertainty of the reconstruction being a relevant metric for the information leak. In this paper, we propose of a novel framework generalizing these probabilistic reconstructions in the sense that it can handle other forms of interpretable models and more generic types of knowledge. In addition, we demonstrate that under realistic assumptions regarding the interpretable models' structure, the uncertainty of the reconstruction can be computed efficiently. Finally, we illustrate the applicability of our approach on both decision trees and rule lists, by comparing the theoretical information leak associated to either exact or heuristic learning algorithms. Our results suggest that optimal interpretable models are often more compact and leak less information regarding their training data than greedily-built ones, for a given accuracy level.


title: The first-order Trotter decomposition in the dynamical-invariant basis

abstract: The Trotter decomposition is a basic approach to Hamiltonian simulation (digital quantum simulation). The first-order Trotter decomposition is the simplest one, whose deviations from target dynamics are of the first order of a small coefficient in terms of the infidelity. In this paper, we consider the first-order Trotter decomposition in the dynamical-invariant basis. By using a state-dependent inequality, we point out that deviations of this decomposition are of the second order of a small coefficient. Moreover, we also show that this decomposition includes a useful example, i.e., digital implementation of shortcuts to adiabaticity by counterdiabatic driving.


title: Quintessence-like features in the late-time cosmological evolution of $f(Q)$ symmetric teleparallel gravity

abstract: In this study, we investigate the cosmological history within the framework of modified $f(Q)$ gravity, which proposes an alternative theory of gravity where the gravitational force is described by a non-metricity scalar. By employing a parametrization scheme for the Hubble parameter, we obtain the exact solution to the field equations in $f(Q)$ cosmology. To constrain our model, we utilize external datasets, including 57 data points from the Hubble dataset, 1048 data points from the SN dataset, and six data points from the BAO dataset. This enables us to determine the best-fit values for the model parameters involved in the parameterization scheme. We analyze the cosmic evolution of various cosmological parameters, including the deceleration parameter, which exhibits the expected behavior in late-time cosmology and changes its signature with redshift. Further, we present the evolution of energy density, EoS parameter, and other geometrical parameters with respect to redshift. Furthermore, we discuss several cosmological tests and diagnostic analyses. Our findings demonstrate that the late-time cosmic evolution can be adequately described without the need for dark energy by employing a parametrization scheme in modified gravity.


title: Nilpotent center conditions in cubic switching polynomial Li\'enard systems by higher-order analysis

abstract: The aim of this paper is to investigate two classical problems related to nilpotent center conditions and bifurcation of limit cycles in switching polynomial systems. Due to the difficulty in calculating the Lyapunov constants of switching polynomial systems at non-elementary singular points, it is extremely difficult to use the existing Poincar\'e-Lyapunov method to study these two problems. In this paper, we develop a higher-order Poincar\'e-Lyapunov method to consider the nilpotent center problem in switching polynomial systems, with particular attention focused on cubic switching Li\'enard systems. With proper perturbations, explicit center conditions are derived for switching Li\'enard systems at a nilpotent center, which is characterized as global. Moreover, with Bogdanov-Takens bifurcation theory, the existence of five limit cycles around the nilpotent center is proved for a class of switching Li\'enard systems, which is a new lower bound of cyclicity for such polynomial systems around a nilpotent center.


title: A note on Rubio de Francia's extrapolation in tent spaces and applications

abstract: The Rubio de Francia extrapolation theorem is a very powerful result which states that in order to show that certain operators satisfy weighted norm inequalities with Muckenhoupt weights it suffices to see that the corresponding inequalities hold for some fixed exponent, for instance $p=2$. In this paper we extend this result and show that this extrapolation principle allows one to obtain weighted estimates in tent spaces. From our extrapolation result we automatically derive new estimates (and reprove some other) concerning Calder\'on-Zygmund operators, operators associated with the Kato conjecture, or fractional operators.


title: LoVe is in the Air -- Location Verification of ADS-B Signals using Distributed Public Sensors

abstract: The Automatic Dependant Surveillance-Broadcast (ADS-B) message scheme was designed without any authentication or encryption of messages in place. It is therefore easily possible to attack it, e.g., by injecting spoofed messages or modifying the transmitted Global Navigation Satellite System (GNSS) coordinates. In order to verify the integrity of the received information, various methods have been suggested, such as multilateration, the use of Kalman filters, group certification, and many others. However, solutions based on modifications of the standard may be difficult and too slow to be implemented due to legal and regulatory issues. A vantage far less explored is the location verification using public sensor data. In this paper, we propose LoVe, a lightweight message verification approach that uses a geospatial indexing scheme to evaluate the trustworthiness of publicly deployed sensors and the ADS-B messages they receive. With LoVe, new messages can be evaluated with respect to the plausibility of their reported coordinates in a location privacy-preserving manner, while using a data-driven and lightweight approach. By testing our approach on two open datasets, we show that LoVe achieves very low false positive rates (between 0 and 0.00106) and very low false negative rates (between 0.00065 and 0.00334) while providing a real-time compatible approach that scales well even with a large sensor set. Compared to currently existing approaches, LoVe neither requires a large number of sensors, nor for messages to be recorded by as many sensors as possible simultaneously in order to verify location claims. Furthermore, it can be directly applied to currently deployed systems thus being backward compatible.


title: A note on a paper by R. C. Alperin

abstract: We point out a mistake in the statement of Corollary 2 in R. C. Alperin's paper on Selberg's lemma.


title: On factorization of rank-one auto-correlation matrix polynomials

abstract: This article characterizes the rank-one factorization of auto-correlation matrix polynomials. We establish a sufficient and necessary uniqueness condition for uniqueness of the factorization based on the greatest common divisor (GCD) of multiple polynomials. In the unique case, we show that the factorization can be carried out explicitly using GCDs. In the non-unique case, the number of non-trivially different factorizations is given and all solutions are enumerated.


title: Stochastic Graph Bandit Learning with Side-Observations

abstract: In this paper, we investigate the stochastic contextual bandit with general function space and graph feedback. We propose an algorithm that addresses this problem by adapting to both the underlying graph structures and reward gaps. To the best of our knowledge, our algorithm is the first to provide a gap-dependent upper bound in this stochastic setting, bridging the research gap left by the work in [35]. In comparison to [31,33,35], our method offers improved regret upper bounds and does not require knowledge of graphical quantities. We conduct numerical experiments to demonstrate the computational efficiency and effectiveness of our approach in terms of regret upper bounds. These findings highlight the significance of our algorithm in advancing the field of stochastic contextual bandits with graph feedback, opening up avenues for practical applications in various domains.


title: The Agricultural Spraying Vehicle Routing Problem With Splittable Edge Demands

abstract: In horticulture, spraying applications occur multiple times throughout any crop year. This paper presents a splittable agricultural chemical sprayed vehicle routing problem and formulates it as a mixed integer linear program. The main difference from the classical capacitated arc routing problem (CARP) is that our problem allows us to split the demand on a single demand edge amongst robotics sprayers. We are using theoretical insights about the optimal solution structure to improve the formulation and provide two different formulations of the splittable capacitated arc routing problem (SCARP), a basic spray formulation and a large edge demands formulation for large edge demands problems. This study presents solution methods consisting of lazy constraints, symmetry elimination constraints, and a heuristic repair method. Computational experiments on a set of valuable data based on the properties of real-world agricultural orchard fields reveal that the proposed methods can solve the SCARP with different properties. We also report computational results on classical benchmark sets from previous CARP literature. The tested results indicated that the SCARP model can provide cheaper solutions in some instances when compared with the classical CARP literature. Besides, the heuristic repair method significantly improves the quality of the solution by decreasing the upper bound when solving large-scale problems.


title: DiffusionVMR: Diffusion Model for Joint Video Moment Retrieval and Highlight Detection

abstract: Video moment retrieval and highlight detection have received attention in the current era of video content proliferation, aiming to localize moments and estimate clip relevances based on user-specific queries. Given that the video content is continuous in time, there is often a lack of clear boundaries between temporal events in a video. This boundary ambiguity makes it challenging for the model to learn text-video clip correspondences, resulting in the subpar performance of existing methods in predicting target segments. To alleviate this problem, we propose to solve the two tasks jointly from the perspective of denoising generation. Moreover, the target boundary can be localized clearly by iterative refinement from coarse to fine. Specifically, a novel framework, DiffusionVMR, is proposed to redefine the two tasks as a unified conditional denoising generation process by combining the diffusion model. During training, Gaussian noise is added to corrupt the ground truth, with noisy candidates produced as input. The model is trained to reverse this noise addition process. In the inference phase, DiffusionVMR initiates directly from Gaussian noise and progressively refines the proposals from the noise to the meaningful output. Notably, the proposed DiffusionVMR inherits the advantages of diffusion models that allow for iteratively refined results during inference, enhancing the boundary transition from coarse to fine. Furthermore, the training and inference of DiffusionVMR are decoupled. An arbitrary setting can be used in DiffusionVMR during inference without consistency with the training phase. Extensive experiments conducted on five widely-used benchmarks (i.e., QVHighlight, Charades-STA, TACoS, YouTubeHighlights and TVSum) across two tasks (moment retrieval and/or highlight detection) demonstrate the effectiveness and flexibility of the proposed DiffusionVMR.


title: Water Condensation Zones around Main Sequence Stars

abstract: Understanding the set of conditions that allow rocky planets to have liquid water on their surface -- in the form of lakes, seas or oceans -- is a major scientific step to determine the fraction of planets potentially suitable for the emergence and development of life as we know it on Earth. This effort is also necessary to define and refine the so-called "Habitable Zone" (HZ) in order to guide the search for exoplanets likely to harbor remotely detectable life forms. Until now, most numerical climate studies on this topic have focused on the conditions necessary to maintain oceans, but not to form them in the first place. Here we use the three-dimensional Generic Planetary Climate Model (PCM), historically known as the LMD Generic Global Climate Model (GCM), to simulate water-dominated planetary atmospheres around different types of Main-Sequence stars. The simulations are designed to reproduce the conditions of early ocean formation on rocky planets due to the condensation of the primordial water reservoir at the end of the magma ocean phase. We show that the incoming stellar radiation (ISR) required to form oceans by condensation is always drastically lower than that required to vaporize oceans. We introduce a Water Condensation Limit, which lies at significantly lower ISR than the inner edge of the HZ calculated with three-dimensional numerical climate simulations. This difference is due to a behavior change of water clouds, from low-altitude dayside convective clouds to high-altitude nightside stratospheric clouds. Finally, we calculated transit spectra, emission spectra and thermal phase curves of TRAPPIST-1b, c and d with H2O-rich atmospheres, and compared them to CO2 atmospheres and bare rock simulations. We show using these observables that JWST has the capability to probe steam atmospheres on low-mass planets, and could possibly test the existence of nightside water clouds.


title: Intensity-based dynamic speckle method for analysis of variable-rate dynamic events

abstract: We study efficiency of intensity-based dynamic speckle method for characterization of dynamic events which occur at variable rate in time within the temporal averaging interval. We checked ability of the method to describe the speed evolution by i) numerical simulation at variable speed, ii) processing of speckle patterns obtained from phase distributions fed to a SLM at controllable change of the temporal correlation radius of speckle intensity fluctuations and iii) conducting experiments with a polymer solution drying by using a hot-stage. The numerical and SLM simulation experiments allowed for modification of the used estimates in order to obtain relevant information


title: Best Memory Architecture Exploration under Parameters Variations accelerated with Machine Learning

abstract: The design of effective memory architecture is of utmost importance in modern computing systems. However, the design of memory subsystems is even more difficult today because process variation and modern design techniques like dynamic voltage scaling make performance metrics for memory assessment be treated as random variables instead of scalars at design time. Most of the previous works have studied the design of memory design from the yield analysis perspective leaving the question of the best memory organization on average open. Because examining all possible combinations of design parameter values of a memory chip would require prohibitively much time, in this work, we propose Best Arm Identification (BAI) algorithms to accelerate the exploration for the best memory architecture on average under parameter variations. Our experimental results demonstrate that we can arrive at the best memory organization 99% of the time in x5 faster than an exhaustive search of all possible conditions.


title: Corner Transfer Matrix Approach to the Yang-Lee Singularity in the 2D Ising Model in a magnetic field

abstract: We study the 2D Ising model in a complex magnetic field in the vicinity of the Yang-Lee edge singularity. By using Baxter's variational corner transfer matrix method combined with analytic techniques, we numerically calculate the scaling function and obtain an accurate estimate of the location of the Yang-Lee singularity. The existing series expansions for susceptibility of the 2D Ising model on a triangular lattice by Chan, Guttmann, Nickel and Perk allowed us to substantially enhance the accuracy of our calculations. Our results are in excellent agreement with the Ising field theory calculations by Fonseca, Zamolodchikov and the recent work by Xu and Zamolodchikov. In particular, we numerically confirm an agreement between the leading singular behavior of the scaling function and the predictions of the ${\mathcal M}_{2/5}$ conformal field theory.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: 2-Coupon Coloring of Cubic Graphs Containing 3-Cycle or 4-Cycle

abstract: Let $G$ be a graph. A total dominating set in a graph $G$ is a set $S$ of vertices of $G$ such that every vertex in $G$ is adjacent to a vertex in $S$. Recently, the following question was proposed: "Is it true that every connected cubic graph containing a $3$-cycle has two vertex disjoint total dominating sets?" In this paper, we give a negative answer to this question. Moreover, we prove that if we replace $3$-cycle with $4$-cycle the answer is affirmative. This implies every connected cubic graph containing a diamond (the complete graph of order $4$ minus one edge) as a subgraph can be partitioned into two total dominating sets, a result that was proved in 2017.


title: Topological flat band with higher winding number in a superradiance lattice

abstract: A five-level M-type scheme in atomic ensembles is proposed to generate a one-dimensional bipartite superradiance lattice in momentum space. By taking advantage of this tunable atomic system, we show that various types of Su-Schrieffer-Heeger (SSH) model, including the standard SSH and extended SSH model, can be realized. Interestingly, it is shown that through changing the Rabi frequencies and detunings in our proposed scheme, there is a topological phase transition from topological trivial regime with winding number being 0 to topological non-trivial regime with winding number being 2. Furthermore, a robust flat band with higher winding number (being 2) can be achieved in the above topological non-trivial regime, where the superradiance spectra can be utilized as a tool for experimental detection. Our proposal would provide a promising approach to explore new physics, such as fractional topological phases, in the flat bands with higher topological number.


title: Mixup-Augmented Meta-Learning for Sample-Efficient Fine-Tuning of Protein Simulators

abstract: Molecular dynamics simulations have emerged as a fundamental instrument for studying biomolecules. At the same time, it is desirable to perform simulations of a collection of particles under various conditions in which the molecules can fluctuate. In this paper, we explore and adapt the soft prompt-based learning method to molecular dynamics tasks. Our model can remarkably generalize to unseen and out-of-distribution scenarios with limited training data. While our work focuses on temperature as a test case, the versatility of our approach allows for efficient simulation through any continuous dynamic conditions, such as pressure and volumes. Our framework has two stages: 1) Pre-trains with data mixing technique, augments molecular structure data and temperature prompts, then applies a curriculum learning method by increasing the ratio of them smoothly. 2) Meta-learning-based fine-tuning framework improves sample-efficiency of fine-tuning process and gives the soft prompt-tuning better initialization points. Comprehensive experiments reveal that our framework excels in accuracy for in-domain data and demonstrates strong generalization capabilities for unseen and out-of-distribution samples.


title: Einstein vs Hawking: Black hole binaries and cosmological expansion

abstract: This note aims at investigating two different situations where the classical general relativistic dynamics competes with the evolution driven by Hawking evaporation. We focus, in particular, on binary systems of black holes emitting gravitational waves and gravitons, and on the cosmological evolution when black holes are immersed in their own radiation bath. Several non-trivial features are underlined in both cases.


title: Large Language Models on the Chessboard: A Study on ChatGPT's Formal Language Comprehension and Complex Reasoning Skills

abstract: While large language models have made strides in natural language processing, their proficiency in complex reasoning tasks requiring formal language comprehension, such as chess, remains less investigated. This paper probes the performance of ChatGPT, a sophisticated language model by OpenAI in tackling such complex reasoning tasks, using chess as a case study. Through robust metrics examining both the legality and quality of moves, we assess ChatGPT's understanding of the chessboard, adherence to chess rules, and strategic decision-making abilities. Our evaluation identifies limitations within ChatGPT's attention mechanism that affect its formal language comprehension and uncovers the model's underdeveloped self-regulation abilities. Our study also reveals ChatGPT's propensity for a coherent strategy in its gameplay and a noticeable uptick in decision-making assertiveness when the model is presented with a greater volume of natural language or possesses a more lucid understanding of the state of the chessboard. These findings contribute to the growing exploration of language models' abilities beyond natural language processing, providing valuable information for future research towards models demonstrating human-like cognitive abilities.


title: AI-Based Facial Emotion Recognition Solutions for Education: A Study of Teacher-User and Other Categories

abstract: Existing information on AI-based facial emotion recognition (FER) is not easily comprehensible by those outside the field of computer science, requiring cross-disciplinary effort to determine a categorisation framework that promotes the understanding of this technology, and its impact on users. Most proponents classify FER in terms of methodology, implementation and analysis; relatively few by its application in education; and none by its users. This paper is concerned primarily with (potential) teacher-users of FER tools for education. It proposes a three-part classification of these teachers, by orientation, condition and preference, based on a classical taxonomy of affective educational objectives, and related theories. It also compiles and organises the types of FER solutions found in or inferred from the literature into "technology" and "applications" categories, as a prerequisite for structuring the proposed "teacher-user" category. This work has implications for proponents', critics', and users' understanding of the relationship between teachers and FER.


title: Compiler Discovered Dynamic Scheduling of Irregular Code in High-Level Synthesis

abstract: Dynamically scheduled high-level synthesis (HLS) achieves higher throughput than static HLS for codes with unpredictable memory accesses and control flow. However, excessive dataflow scheduling results in circuits that use more resources and have a slower critical path, even when only a part of the circuit exhibits dynamic behavior. Recent work has shown that marking parts of a dataflow circuit for static scheduling can save resources and improve performance (hybrid scheduling), but the dynamic part of the circuit still bottlenecks the critical path. We propose instead to selectively introduce dynamic scheduling into static HLS. This paper presents an algorithm for identifying code regions amenable to dynamic scheduling and shows a methodology for introducing dynamically scheduled basic blocks, loops, and memory operations into static HLS. Our algorithm is informed by modulo-scheduling and can be integrated into any modulo-scheduled HLS tool. On a set of ten benchmarks, we show that our approach achieves on average an up to 3.7$\times$ and 3$\times$ speedup against dynamic and hybrid scheduling, respectively, with an area overhead of 1.3$\times$ and frequency degradation of 0.74$\times$ when compared to static HLS.


title: Diffusion rate in non-generic directions in the wind-tree model

abstract: We show that any real number in [0,1) is a diffusion rate for the wind-tree model with rational parameters. We will also provide a criterion in order to describe the shape of the Lyapunov spectrum of cocycles obtained as suspension of a representation. As an application, we exhibit an infinite family of wind-tree billiards for which the interior of the Lyapunov spectrum is a big as possible: this is the full square (0,1)^2. To the best of the knowledge of the authors, these are the first complete descriptions where the interior of the Lyapunov spectrum is known explicitly in dimension two, even for general Fuchsian groups.


title: SpikeBERT: A Language Spikformer Learned from BERT with Knowledge Distillation

abstract: Spiking neural networks (SNNs) offer a promising avenue to implement deep neural networks in a more energy-efficient way. However, the network architectures of existing SNNs for language tasks are still simplistic and relatively shallow, and deep architectures have not been fully explored, resulting in a significant performance gap compared to mainstream transformer-based networks such as BERT. To this end, we improve a recently-proposed spiking Transformer (i.e., Spikformer) to make it possible to process language tasks and propose a two-stage knowledge distillation method for training it, which combines pre-training by distilling knowledge from BERT with a large collection of unlabelled texts and fine-tuning with task-specific instances via knowledge distillation again from the BERT fine-tuned on the same training examples. Through extensive experimentation, we show that the models trained with our method, named SpikeBERT, outperform state-of-the-art SNNs and even achieve comparable results to BERTs on text classification tasks for both English and Chinese with much less energy consumption. Our code is available at https://github.com/Lvchangze/SpikeBERT.


title: In-situ Plasma Studies using a Direct Current Microplasma in a Scanning Electron Microscope

abstract: Microplasmas can be used for a wide range of technological applications and to improve our understanding of fundamental physics. Scanning electron microscopy, on the other hand, provides insights into the sample morphology and chemistry of materials from the mm-down to the nm-scale. Combining both would provide direct insight into plasma-sample interactions in real-time and at high spatial resolution. Up till now, very few attempts in this direction have been made, and significant challenges remain. This work presents a stable direct current glow discharge microplasma setup built inside a scanning electron microscope. The experimental setup is capable of real-time in-situ imaging of the sample evolution during plasma operation and it demonstrates localized sputtering and sample oxidation. Further, the experimental parameters such as varying gas mixtures, electrode polarity, and field strength are explored and experimental $V$-$I$ curves under various conditions are provided. These results demonstrate the capabilities of this setup in potential investigations of plasma physics, plasma-surface interactions, and materials science and its practical applications. The presented setup shows the potential to have several technological applications, e.g., to locally modify the sample surface (e.g., local oxidation and ion implantation for nanotechnology applications) on the $\mu$m-scale.


title: Characterising trees and hyperbolic spaces by their boundaries

abstract: We use the language of proper CAT(-1) spaces to study thick, locally compact trees, the real, complex and quaternionic hyperbolic spaces and the hyperbolic plane over the octonions. These are rank 1 Euclidean buildings, respectively rank 1 symmetric spaces of non-compact type. We give a uniform proof that these spaces may be reconstructed using the cross ratio on their visual boundary, bringing together the work of Tits and Bourdon.


title: Wandering Julia components of cubic rational maps

abstract: We prove that every wandering Julia component of cubic rational maps eventually has at most two complementary components.


title: Evaluation and Analysis of Hallucination in Large Vision-Language Models

abstract: Large Vision-Language Models (LVLMs) have recently achieved remarkable success. However, LVLMs are still plagued by the hallucination problem, which limits the practicality in many scenarios. Hallucination refers to the information of LVLMs' responses that does not exist in the visual input, which poses potential risks of substantial consequences. There has been limited work studying hallucination evaluation in LVLMs. In this paper, we propose Hallucination Evaluation based on Large Language Models (HaELM), an LLM-based hallucination evaluation framework. HaELM achieves an approximate 95% performance comparable to ChatGPT and has additional advantages including low cost, reproducibility, privacy preservation and local deployment. Leveraging the HaELM, we evaluate the hallucination in current LVLMs. Furthermore, we analyze the factors contributing to hallucination in LVLMs and offer helpful suggestions to mitigate the hallucination problem. Our training data and human annotation hallucination data will be made public soon.


title: Nanozyme-based biosensing for clinical diagnosis of COVID-19: A mini review

abstract: Several clinical methods had been utilized for diagnosis of COVID-19 for instance, real-time reverse transcription-polymerase chain reaction (rRT-PCR), hematology examination, polymerase chain reaction (PCR), diagnostic guidelines based on clinical features, and Chest CT scans. However, the accurate current methods are time-consuming and expensive and other methods are inaccurate. To solve these drawbacks, nanozyme-based sensors have been developed for the reliable, accurate, and rapid detection of SARS-CoV-2. The main basis of these sensors is the detection of color variation of a nanozyme-mediated oxidation reaction in the presence and the absence of antigens of COVID-19. Besides, some of methods are based on probing the fluorescence of these systems as the clinical signal toward detection of SARS-CoV-2. This mini review focused on overviewing the nanozymes-based methods toward COVID-19 diagnosis. The historical background of COVID-19 was reviewed. Thereafter, the biomedical applications of nanozymes was discussed and finally, the recent progress of early diagnosis of COVID-19 based on nanozymatic systems was briefly reviewed.


title: Close-in ice lines and the super-stellar C/O ratio in discs around very low-mass stars

abstract: The origin of the elevated C/O ratios in discs around late M dwarfs compared to discs around solar-type stars is not well understood. Here we endeavour to reproduce the observed differences in the disc C/O ratios as a function of stellar mass using a viscosity-driven disc evolution model and study the corresponding atmospheric composition of planets that grow inside the water-ice line in these discs. We carried out simulations using a coupled disc evolution and planet formation code that includes pebble drift and evaporation. We used a chemical partitioning model for the dust composition in the disc midplane. Inside the water-ice line, the disc's C/O ratio initially decreases to sub-stellar due to the inward drift and evaporation of water-ice-rich pebbles before increasing again to super-stellar values due to the inward diffusion of carbon-rich vapour. We show that this process is more efficient for very low-mass stars compared to solar-type stars due to the closer-in ice lines and shorter disc viscous timescales. In high-viscosity discs, the transition from sub-stellar to super-stellar takes place faster due to the fast inward advection of carbon-rich gas. Our results suggest that planets accreting their atmospheres early (when the disc C/O is still sub-stellar) will have low atmospheric C/O ratios, while planets that accrete their atmospheres late (when the disc C/O has become super-stellar) can obtain high C/O ratios. Our model predictions are consistent with observations, under the assumption that all stars have the same metallicity and chemical composition, and that the vertical mixing timescales in the inner disc are much shorter than the radial advection timescales. This further strengthens the case for considering stellar abundances alongside disc evolution in future studies that aim to link planet (atmospheric) composition to disc composition.