title: SNP-S3: Shared Network Pre-training and Significant Semantic Strengthening for Various Video-Text Tasks

abstract: We present a framework for learning cross-modal video representations by directly pre-training on raw data to facilitate various downstream video-text tasks. Our main contributions lie in the pre-training framework and proxy tasks. First, based on the shortcomings of two mainstream pixel-level pre-training architectures (limited applications or less efficient), we propose Shared Network Pre-training (SNP). By employing one shared BERT-type network to refine textual and cross-modal features simultaneously, SNP is lightweight and could support various downstream applications. Second, based on the intuition that people always pay attention to several "significant words" when understanding a sentence, we propose the Significant Semantic Strengthening (S3) strategy, which includes a novel masking and matching proxy task to promote the pre-training performance. Experiments conducted on three downstream video-text tasks and six datasets demonstrate that, we establish a new state-of-the-art in pixel-level video-text pre-training; we also achieve a satisfactory balance between the pre-training efficiency and the fine-tuning performance. The codebase are available at https://github.com/alipay/Ant-Multi-Modal-Framework/tree/main/prj/snps3_vtp.


title: Three-Dimensional Electrode Integration with Microwave Sensors for Precise Microparticle Detection in Microfluidics

abstract: Microwave sensors integrated with microfluidic platforms can provide the size and permittivity of single cells and microparticles. Amongst the microwave sensor topologies, the planar arrangement of electrodes is a popular choice owing to the ease of fabrication. Unfortunately, planar electrodes generate a non-uniform electric field which causes the responsivity of the sensor to depend on the vertical position of a microparticle in the microfluidic channel. To overcome this problem, we fabricated three-dimensional (3D) electrodes at the coplanar sensing region of an underlying microwave resonator. The 3D electrodes are based on SU8 polymer which is then metallized by sputter coating. With this system, we readily characterized a mixture composed of 12 um and 20 um polystyrene particles and demonstrated separation without any position-related calibration. The ratio of the electronic response of the two particle types is approximately equal to the ratio of the particle volumes, which indicates the generation of a uniform electric field at the sensing region. The current work obviates the need for using multiple coplanar electrodes and extensive processing of the data for the calibration of particle height in a microfluidic channel: as such, it enables the fabrication of more sophisticated microwave resonators for environmental and biological applications.


title: Predicting quantum evolutions of excitation energy transfer in a light-harvesting complex using multi-optimized recurrent neural networks

abstract: Constructing models to discover physics underlying magnanimous data is a traditional strategy in data mining which has been proved to be powerful and successful. In this work, a multi-optimized recurrent neural network (MRNN) is utilized to predict the dynamics of photosynthetic excitation energy transfer (EET) in a light-harvesting complex. The original data set produced by the master equation were trained to forecast the EET evolution. An agreement between our prediction and the theoretical deduction with an accuracy of over 99.26\% is found, showing the validity of the proposed MRNN. A time-segment polynomial fitting multiplied by a unit step function results in a loss rate of the order of $10^{-5}$, showing a striking consistence with analytical formulations for the photosynthetic EET. The work sets up a precedent for accurate EET prediction from large data set by establishing analytical descriptions for physics hidden behind, through minimizing the processing cost during the evolution of week-coupling EET.


title: Double InfoGAN for Contrastive Analysis

abstract: Contrastive Analysis (CA) deals with the discovery of what is common and what is distinctive of a target domain compared to a background one. This is of great interest in many applications, such as medical imaging. Current state-of-the-art (SOTA) methods are latent variable models based on VAE (CA-VAEs). However, they all either ignore important constraints or they don't enforce fundamental assumptions. This may lead to sub-optimal solutions where distinctive factors are mistaken for common ones (or viceversa). Furthermore, the generated images have a rather poor quality, typical of VAEs, decreasing their interpretability and usefulness. Here, we propose Double InfoGAN, the first GAN based method for CA that leverages the high-quality synthesis of GAN and the separation power of InfoGAN. Experimental results on four visual datasets, from simple synthetic examples to complex medical images, show that the proposed method outperforms SOTA CA-VAEs in terms of latent separation and image quality. Datasets and code are available online.


title: Mitigating Density Fluctuations in Particle-based Active Nematic Simulations

abstract: Understanding active matter has led to new perspectives on biophysics and non-equilibrium dynamics. However, the development of numerical tools for simulating active fluids capable of incorporating non-trivial boundaries or inclusions has lagged behind. Active particle-based methods, which typically excel at this, suffer from large density fluctuations that affect the dynamics of inclusions. To this end, we advance the Active-Nematic Multi-Particle Collision Dynamics algorithm, a particle-based method for simulating active nematics, by addressing the large density fluctuations that arise from activity. This paper introduces three novel activity formulations that mitigate the coupling between activity and local density. Local density fluctuations are decreased to a level comparable to the passive limit while retaining the phenomenology of active nematics and increasing the active turbulence regime four-fold. These developments extend the technique into a flexible tool for modeling active systems, including solutes and inclusions, with broad applications for the study of biophysical systems.


title: Parameter-robust full linear convergence and optimal complexity of adaptive iteratively linearized FEM for nonlinear PDEs

abstract: We propose an adaptive iteratively linearized finite element method (AILFEM) in the context of strongly monotone nonlinear operators in Hilbert spaces. The approach combines adaptive mesh-refinement with an energy-contractive linearization scheme (e.g., the Ka\v{c}anov method) and a norm-contractive algebraic solver (e.g., an optimal geometric multigrid method). Crucially, a novel parameter-free algebraic stopping criterion is designed and we prove that it leads to a uniformly bounded number of algebraic solver steps. Unlike available results requiring sufficiently small adaptivity parameters to ensure even plain convergence, the new AILFEM algorithm guarantees full R-linear convergence for arbitrary adaptivity parameters. Thus, parameter-robust convergence is guaranteed. Moreover, for sufficiently small adaptivity parameters, the new adaptive algorithm guarantees optimal complexity, i.e., optimal convergence rates with respect to the overall computational cost and, hence, time.


title: Identification of graphite with perfect rhombohedral stacking by electronic Raman scattering

abstract: Rhombohedral graphite (RG) shows strong correlations in its topological flat band and is pivotal for exploring emergent, correlated electronic phenomena. One key advantage is the enhancement of electronic interactions with the increase in the number of rhombohedrally stacked graphene layers. Increasing thickness also leads to an exponential increase in the number of stacking faults, necessitating a precise method to identify flawless rhombohedral stacking. Overcoming this challenge is difficult because the established technique for stacking sequence identification, based on the Raman 2D peak, fails in thick RG samples. We demonstrate that the strong layer dependence of the band structure can be harnessed to identify RG without stacking faults, or alternatively, to detect their presence. For thicknesses ranging from 3 to 12 layers, we show that each perfect RG structure presents distinctive peak positions in electronic Raman scattering (ERS). This measurement can be carried out using a conventional confocal Raman spectrometer at room temperature, using visible excitation wavelengths. Consequently, this overcomes the identification challenge by providing a simple and fast optical measurement technique, thereby helping to establish RG as a platform for studying strong correlations in one of the simplest crystals possible.


title: A Policy Gradient Primal-Dual Algorithm for Constrained MDPs with Uniform PAC Guarantees

abstract: We study a primal-dual reinforcement learning (RL) algorithm for the online constrained Markov decision processes (CMDP) problem, wherein the agent explores an optimal policy that maximizes return while satisfying constraints. Despite its widespread practical use, the existing theoretical literature on primal-dual RL algorithms for this problem only provides sublinear regret guarantees and fails to ensure convergence to optimal policies. In this paper, we introduce a novel policy gradient primal-dual algorithm with uniform probably approximate correctness (Uniform-PAC) guarantees, simultaneously ensuring convergence to optimal policies, sublinear regret, and polynomial sample complexity for any target accuracy. Notably, this represents the first Uniform-PAC algorithm for the online CMDP problem. In addition to the theoretical guarantees, we empirically demonstrate in a simple CMDP that our algorithm converges to optimal policies, while an existing algorithm exhibits oscillatory performance and constraint violation.


title: Vision-Assisted Digital Twin Creation for mmWave Beam Management

abstract: In the context of communication networks, digital twin technology provides a means to replicate the radio frequency (RF) propagation environment as well as the system behaviour, allowing for a way to optimize the performance of a deployed system based on simulations. One of the key challenges in the application of Digital Twin technology to mmWave systems is the prevalent channel simulators' stringent requirements on the accuracy of the 3D Digital Twin, reducing the feasibility of the technology in real applications. We propose a practical Digital Twin creation pipeline and a channel simulator, that relies only on a single mounted camera and position information. We demonstrate the performance benefits compared to methods that do not explicitly model the 3D environment, on downstream sub-tasks in beam acquisition, using the real-world dataset of the DeepSense6G challenge


title: Unique continuation estimates for Baouendi--Grushin equations on cylinders

abstract: We prove time-pointwise quantitative unique continuation estimates for the evolution operators associated to (fractional powers of) the Baouendi--Grushin operators on the cylinder $\mathbb{R}^d \times \mathbb{T}^d$. Corresponding spectral inequalities, relating for functions from spectral subspaces associated to finite energy intervals their $L^2$-norm on the whole cylinder to the $L^2$-norm on a suitable subset, and results on exact and approximate null-controllabilty are deduced. This extends and complements results obtained recently by the authors and by Jaming and Wang.


title: SDRDPy: An application to graphically visualize the knowledge obtained with supervised descriptive rule algorithms

abstract: SDRDPy is a desktop application that allows experts an intuitive graphic and tabular representation of the knowledge extracted by any supervised descriptive rule discovery algorithm. The application is able to provide an analysis of the data showing the relevant information of the data set and the relationship between the rules, data and the quality measures associated for each rule regardless of the tool where algorithm has been executed. All of the information is presented in a user-friendly application in order to facilitate expert analysis and also the exportation of reports in different formats.


title: First-order elliptic boundary value problems on manifolds with non-compact boundary

abstract: We consider first-order elliptic differential operators acting on vector bundles over smooth manifolds with smooth boundary, which is permitted to be noncompact. Under very mild assumptions, we obtain a regularity theory for sections in the maximal domain. Under additional geometric assumptions, and assumptions on an adapted boundary operator, we obtain a trace theorem on the maximal domain. This allows us to systematically study both local and nonlocal boundary conditions. In particular, the Atiyah-Patodi-Singer boundary condition occurs as a special case. Furthermore, we study contexts which induce semi-Fredholm and Fredholm extensions.


title: Vector-valued estimates for shifted operators

abstract: Shifted variants of (dyadic) Hardy-Littlewood maximal function and Stein's square function have played a significant role in the study of many important operators such as Calderon commutators, (bilinear) Hilbert transforms, multilinear multipliers, and multilinear rough singular integrals. Estimates for such shifted operators have a certain logarithmic growth in terms of the shift factor, but the optimality of the logarithmic growth has not yet been fully resolved. In this article, we provide sharp vector-valued shifted maximal inequality for generalized Peetre's maximal function, from which improved estimates for the above shifted operators follow with optimal logarithmic growths in a new way. We also obtain a vector-valued maximal inequality for the shifted (dyadic) Hardy-Littlewood maximal operator.


title: A Graph-Native Query Optimization Framework

abstract: Graph queries that combine pattern matching with relational operations, referred as PatRelQuery, are widely used in many real-world applications. It allows users to identify arbitrary patterns in a graph and further perform in-depth relational analysis on the results. To effectively support PatRelQuery, two key challenges need to be addressed: (1) how to optimize PatRelQuery in a unified framework, and (2) how to handle the arbitrary type constraints in patterns in PatRelQuery. In this paper, we present a graph-native query optimization framework named GOpt, to tackle these issues. GOpt is built on top of a unified intermediate representation (IR) that is capable of capturing both graph and relational operations, thereby streamlining the optimization of PatRelQuery. To handle the arbitrary type constraints, GOpt employs an automatic type inference approach to identify implicit type constraints. Additionally, GOpt introduces a graph-native optimizer, which encompasses an extensive collection of optimization rules along with cost-based techniques tailored for arbitrary patterns, to optimize PatRelQuery. Through comprehensive experiments, we demonstrate that GOpt can achieve significant query performance improvements, in both crafted benchmarks and real-world applications.


title: Scenario Predict-then-Optimize for Data-Driven Online Inventory Routing

abstract: The real-time joint optimization of inventory replenishment and vehicle routing is essential for cost-efficiently operating one-warehouse, multiple-retailer systems. This is complex, as future demand predictions should capture correlation retailer demand, and based upon such predictions, replenishment and routing decisions must be taken. Traditionally, such decisions are made by either making distributional assumptions or using machine-learning-based point forecasts. The former approach ignores nonstationary demand patterns, while the latter approach only provides a point forecast ignoring the inherent forecast error. Consequently, in practice, service levels often do not meet their targets, and truck fill rates fall short, harming the efficiency and sustainability of daily operations. We propose Scenario Predict-then-Optimize. This fully data-driven approach for online inventory routing consists of two subsequent steps at each real-time decision epoch. The scenario-predict step exploits neural networks, specifically multi-horizon quantile recurrent neural networks, to predict future demand quantiles, upon which we design a scenario sampling approach. The subsequent scenario-optimize step then solves a scenario-based stochastic programming approximation. Results show that our approach outperforms the classic Predict-then-Optimize paradigm and empirical sampling methods. We show this both on synthetic data and real-life data. Our approach is appealing to practitioners. It is fast, does not rely on distributional assumptions, and does not face the burden of single-scenario forecasts. We show it is robust for various demand and cost parameters, enhancing the efficiency and sustainability of daily replenishment and routing decisions. Finally, Scenario Predict-then-Optimize is general and can be easily extended to account for other operational constraints, making it a useful tool in practice.


title: A Prompt-Engineered Large Language Model, Deep Learning Workflow for Materials Classification

abstract: Large language models (LLMs) have demonstrated rapid progress across a wide array of domains. Owing to the very large number of parameters and training data in LLMs, these models inherently encompass an expansive and comprehensive materials knowledge database, far exceeding the capabilities of individual researcher. Nonetheless, devising methods to harness the knowledge embedded within LLMs for the design and discovery of novel materials remains a formidable challenge. We introduce a general approach for addressing materials classification problems, which incorporates LLMs, prompt engineering, and deep learning. Utilizing a dataset of metallic glasses as a case study, our methodology achieved an improvement of up to 463% in prediction accuracy compared to conventional classification models. These findings underscore the potential of leveraging textual knowledge generated by LLMs for materials especially in the common situation where datasets are sparse, thereby promoting innovation in materials discovery and design.


title: Robustly overfitting latents for flexible neural image compression

abstract: Neural image compression has made a great deal of progress. State-of-the-art models are based on variational autoencoders and are outperforming classical models. Neural compression models learn to encode an image into a quantized latent representation that can be efficiently sent to the decoder, which decodes the quantized latent into a reconstructed image. While these models have proven successful in practice, they lead to sub-optimal results due to imperfect optimization and limitations in the encoder and decoder capacity. Recent work shows how to use stochastic Gumbel annealing (SGA) to refine the latents of pre-trained neural image compression models. We extend this idea by introducing SGA+, which contains three different methods that build upon SGA. We show how our method improves the overall compression performance in terms of the R-D trade-off, compared to its predecessors. Additionally, we show how refinement of the latents with our best-performing method improves the compression performance on both the Tecnick and CLIC dataset. Our method is deployed for a pre-trained hyperprior and for a more flexible model. Further, we give a detailed analysis of our proposed methods and show that they are less sensitive to hyperparameter choices. Finally, we show how each method can be extended to three- instead of two-class rounding.


title: RADIN: Souping on a Budget

abstract: Model Soups, extending Stochastic Weights Averaging (SWA), combine models fine-tuned with different hyperparameters. Yet, their adoption is hindered by computational challenges due to subset selection issues. In this paper, we propose to speed up model soups by approximating soups performance using averaged ensemble logits performances. Theoretical insights validate the congruence between ensemble logits and weight averaging soups across any mixing ratios. Our Resource ADjusted soups craftINg (RADIN) procedure stands out by allowing flexible evaluation budgets, enabling users to adjust his budget of exploration adapted to his resources while increasing performance at lower budget compared to previous greedy approach (up to 4% on ImageNet).


title: Graph Transformers without Positional Encodings

abstract: Recently, Transformers for graph representation learning have become increasingly popular, achieving state-of-the-art performance on a wide-variety of graph datasets, either alone or in combination with message-passing graph neural networks (MP-GNNs). Infusing graph inductive-biases in the innately structure-agnostic transformer architecture in the form of structural or positional encodings (PEs) is key to achieving these impressive results. However, designing such encodings is tricky and disparate attempts have been made to engineer such encodings including Laplacian eigenvectors, relative random-walk probabilities (RRWP), spatial encodings, centrality encodings, edge encodings etc. In this work, we argue that such encodings may not be required at all, provided the attention mechanism itself incorporates information about the graph structure. We introduce Eigenformer, a Graph Transformer employing a novel spectrum-aware attention mechanism cognizant of the Laplacian spectrum of the graph, and empirically show that it achieves performance competetive with SOTA Graph Transformers on a number of standard GNN benchmarks. Additionally, we theoretically prove that Eigenformer can express various graph structural connectivity matrices, which is particularly essential when learning over smaller graphs.


title: Dimensional Analysis Theory and Molecular Dynamics Simulation of Polypropylene Melt Flow during Injection Molding Process

abstract: Flow marks are common surface defects that occur in injection-molded products. Their formation may be related to the flow process of the melt in the mold. Through dimensional analysis, we have discovered that the geometric shape of the flow field is controlled by specific dimensionless quantities. These quantities can be summarized as follows: geometric dimensionless quantities related to the shape of the mold, material dimensionless quantities related to the melt and mold materials, and physical dimensionless quantities related to the flow. When the geometric shape of the mold changes proportionally, with the melt and mold material fixed, and the initial temperature of the melt and mold fixed, the geometric shape of the flow field will be solely controlled by the Weissenberg number Wi. If Wi is kept constant, changing the injection speed, changing the relaxation time of the polypropylene melt, or scaling the mold will result in similar geometric shapes of the flow field. If the size of the mold is not changed, the geometric shape of the flow field will be the same. Since the dimensionless equation represents a similar system of all sizes, we verified the above conclusion through molecular dynamics simulations at a smaller scale. After further improvement of the micro simulation system, there is a possibility of visualizing the formation process of flow marks. This would greatly aid in the advancement of theory and the elimination of flow marks in production and experiments. This work also illustrates that the methodology of dimensional analysis plus molecular dynamics simulation may be applied to a wider range of other systems, scaling down large systems and thus significantly reducing their computational effort.


title: Optimal Dynamic Ancillary Services Provision Based on Local Power Grid Perception

abstract: In this paper, we propose a systematic closed-loop approach to provide optimal dynamic ancillary services with converter-interfaced generation systems based on local power grid perception. In particular, we structurally encode dynamic ancillary services such as fast frequency and voltage regulation in the form of a parametric transfer function matrix, which includes several parameters to define a set of different feasible response behaviors, among which we aim to find the optimal one to be realized by the converter system. Our approach is based on a so-called "perceive-and-optimize" (P&O) strategy: First, we identify a grid dynamic equivalent at the interconnection terminals of the converter system. Second, we consider the closed-loop interconnection of the identified grid equivalent and the parametric transfer function matrix, which we optimize for the set of transfer function parameters, resulting in a stable and optimal closed-loop performance for ancillary services provision. In the process, we ensure that grid-code and device-level requirements are satisfied. Finally, we demonstrate the effectiveness of our approach in different numerical case studies based on a modified Kundur two-area test system.


title: Influence of sources with a spectral peak in the detection of Cosmic Dawn and Epoch of Reionization

abstract: Foreground removal is one of the biggest challenges in the detection of the Cosmic Dawn (CD) and Epoch of Reionization (EoR). Various foreground subtraction techniques have been developed based on the spectral smoothness of foregrounds. However, the sources with a spectral peak (SP) at Megahertz may break down the spectral smoothness at low frequencies (< 1000 MHz). In this paper, we cross-match the GaLactic and Extragalactic All-sky Murchison Widefield Array (GLEAM) extragalactic source catalogue with three other radio source catalogues, covering the frequency range from 72 MHz to 1.4 GHz, to search for sources with spectral turnover. 4,423 sources from the GLEAM catalogue are identified as SP sources, representing approximately 3.2 per cent of the GLEAM radio source population. We utilize the properties of SP source candidates obtained from real observations to establish simulations and test the impact of SP sources on the extraction of CD/EoR signals. We statistically compare the differences introduced by SP sources in the residuals after removing the foregrounds with three methods, which are polynomial fitting, Principal Component Analysis (PCA), and fast independent component analysis (FastICA). Our results indicate that the presence of SP sources in the foregrounds has a negligible influence on extracting the CD/EoR signal. After foreground subtraction, the contribution from SP sources to the total power in the two-dimensional (2D) power spectrum within the EoR window is approximately 3 to 4 orders of magnitude lower than the CD/EoR signal.


title: Quantum error correction realized by the renormalization group in scalar field theories

abstract: We demonstrate that quantum error correction is realized by the renormalization group in scalar field theories. We construct $q$-level states by using coherent states in the IR region. By acting on them the inverse of the unitary operator $U$ that describes the renormalization group flow of the ground state, we encode them into states in the UV region. We find that the Knill-Laflamme condition is satisfied for operators that create coherent states. We verify this to the first order in the perturbation theory. This result suggests a general relationship between the renormalization group and quantum error correction and should give insights into understanding a role played by them in the gauge/gravity correspondence.


title: Exploiting Audio-Visual Features with Pretrained AV-HuBERT for Multi-Modal Dysarthric Speech Reconstruction

abstract: Dysarthric speech reconstruction (DSR) aims to transform dysarthric speech into normal speech by improving the intelligibility and naturalness. This is a challenging task especially for patients with severe dysarthria and speaking in complex, noisy acoustic environments. To address these challenges, we propose a novel multi-modal framework to utilize visual information, e.g., lip movements, in DSR as extra clues for reconstructing the highly abnormal pronunciations. The multi-modal framework consists of: (i) a multi-modal encoder to extract robust phoneme embeddings from dysarthric speech with auxiliary visual features; (ii) a variance adaptor to infer the normal phoneme duration and pitch contour from the extracted phoneme embeddings; (iii) a speaker encoder to encode the speaker's voice characteristics; and (iv) a mel-decoder to generate the reconstructed mel-spectrogram based on the extracted phoneme embeddings, prosodic features and speaker embeddings. Both objective and subjective evaluations conducted on the commonly used UASpeech corpus show that our proposed approach can achieve significant improvements over baseline systems in terms of speech intelligibility and naturalness, especially for the speakers with more severe symptoms. Compared with original dysarthric speech, the reconstructed speech achieves 42.1\% absolute word error rate reduction for patients with more severe dysarthria levels.


title: M2-RAAP: A Multi-Modal Recipe for Advancing Adaptation-based Pre-training towards Effective and Efficient Zero-shot Video-text Retrieval

abstract: We present a Multi-Modal Recipe for Advancing Adaptation-based Pre-training towards effective and efficient zero-shot video-text retrieval, dubbed M2-RAAP. Upon popular image-text models like CLIP, most current adaptation-based video-text pre-training methods are confronted by three major issues, i.e., noisy data corpus, time-consuming pre-training, and limited performance gain. Towards this end, we conduct a comprehensive study including four critical steps in video-text pre-training. Specifically, we investigate 1) data filtering and refinement, 2) video input type selection, 3) temporal modeling, and 4) video feature enhancement. We then summarize this empirical study into the M2-RAAP recipe, where our technical contributions lie in 1) the data filtering and text re-writing pipeline resulting in 1M high-quality bilingual video-text pairs, 2) the replacement of video inputs with key-frames to accelerate pre-training, and 3) the Auxiliary-Caption-Guided (ACG) strategy to enhance video features. We conduct extensive experiments by adapting three image-text foundation models on two refined video-text datasets from different languages, validating the robustness and reproducibility of M2-RAAP for adaptation-based pre-training. Results demonstrate that M2-RAAP yields superior performance with significantly reduced data (-90%) and time consumption (-95%), establishing a new SOTA on four English zero-shot retrieval datasets and two Chinese ones. We are preparing our refined bilingual data annotations and codebase, which will be available at https://github.com/alipay/Ant-Multi-Modal-Framework/tree/main/prj/M2_RAAP.


title: Self-Aligning Active Agents with Inertia and Active Torque

abstract: We extend the study of the inertial effects on the dynamics of active agents to the case where self-alignment is present. In contrast with the most common models of active particles, we find that self-alignment, which couples the rotational dynamics to the translational one, produces unexpected and non-trivial dynamics, already at the deterministic level. Examining first the motion of a free particle, we contrast the role of inertia depending on the sign of the self-aligning torque. When positive, inertia does not alter the steady-state linear motion of an a-chiral self-propelled particle. On the contrary, for a negative self-aligning torque, inertia leads to the destabilization of the linear motion into a spontaneously broken chiral symmetry orbiting dynamics. Adding an active torque, or bias, to the angular dynamics the bifurcation becomes imperfect in favor of the chiral orientation selected by the bias. In the case of a positive self-alignment, the interplay of the active torque and inertia leads to the emergence, out of a saddle-node bifurcation, of truly new solutions, which coexist with the simply biased linear motion. In the context of a free particle, the rotational inertia leaves unchanged the families of steady-state solutions but can modify their stability properties. The situation is radically different when considering the case of a collision with a wall, where a very singular oscillating dynamics takes place which can only be captured if both translational and rotational inertia are present.


title: AI-enabled Cyber-Physical In-Orbit Factory -- AI approaches based on digital twin technology for robotic small satellite production

abstract: With the ever increasing number of active satellites in space, the rising demand for larger formations of small satellites and the commercialization of the space industry (so-called New Space), the realization of manufacturing processes in orbit comes closer to reality. Reducing launch costs and risks, allowing for faster on-demand deployment of individually configured satellites as well as the prospect for possible on-orbit servicing for satellites makes the idea of realizing an in-orbit factory promising. In this paper, we present a novel approach to an in-orbit factory of small satellites covering a digital process twin, AI-based fault detection, and teleoperated robot-control, which are being researched as part of the "AI-enabled Cyber-Physical In-Orbit Factory" project. In addition to the integration of modern automation and Industry 4.0 production approaches, the question of how artificial intelligence (AI) and learning approaches can be used to make the production process more robust, fault-tolerant and autonomous is addressed. This lays the foundation for a later realisation of satellite production in space in the form of an in-orbit factory. Central aspect is the development of a robotic AIT (Assembly, Integration and Testing) system where a small satellite could be assembled by a manipulator robot from modular subsystems. Approaches developed to improving this production process with AI include employing neural networks for optical and electrical fault detection of components. Force sensitive measuring and motion training helps to deal with uncertainties and tolerances during assembly. An AI-guided teleoperated control of the robot arm allows for human intervention while a Digital Process Twin represents process data and provides supervision during the whole production process. Approaches and results towards automated satellite production are presented in detail.


title: Dance-to-Music Generation with Encoder-based Textual Inversion of Diffusion Models

abstract: The harmonious integration of music with dance movements is pivotal in vividly conveying the artistic essence of dance. This alignment also significantly elevates the immersive quality of gaming experiences and animation productions. While there has been remarkable advancement in creating high-fidelity music from textual descriptions, current methodologies mainly concentrate on modulating overarching characteristics such as genre and emotional tone. They often overlook the nuanced management of temporal rhythm, which is indispensable in crafting music for dance, since it intricately aligns the musical beats with the dancers' movements. Recognizing this gap, we propose an encoder-based textual inversion technique for augmenting text-to-music models with visual control, facilitating personalized music generation. Specifically, we develop dual-path rhythm-genre inversion to effectively integrate the rhythm and genre of a dance motion sequence into the textual space of a text-to-music model. Contrary to the classical textual inversion method, which directly updates text embeddings to reconstruct a single target object, our approach utilizes separate rhythm and genre encoders to obtain text embeddings for two pseudo-words, adapting to the varying rhythms and genres. To achieve a more accurate evaluation, we propose improved evaluation metrics for rhythm alignment. We demonstrate that our approach outperforms state-of-the-art methods across multiple evaluation metrics. Furthermore, our method seamlessly adapts to in-the-wild data and effectively integrates with the inherent text-guided generation capability of the pre-trained model. Samples are available at \url{https://youtu.be/D7XDwtH1YwE}.


title: Weighted-Hamming Metric for Parallel Channels

abstract: Independent parallel q-ary symmetric channels are a suitable transmission model for several applications. The proposed weighted-Hamming metric is tailored to this setting and enables optimal decoding performance. We show that some weighted-Hamming-metric codes exhibit the unusual property that all errors beyond half the minimum distance can be corrected. Nevertheless, a tight relation between the error-correction capability of a code and its minimum distance can be established. Generalizing their Hamming-metric counterparts, upper and lower bounds on the cardinality of a code with a given weighted-Hamming distance are obtained. Finally, we propose a simple code construction with optimal minimum distance for specific parameters.


title: Distillation Enhanced Time Series Forecasting Network with Momentum Contrastive Learning

abstract: Contrastive representation learning is crucial in time series analysis as it alleviates the issue of data noise and incompleteness as well as sparsity of supervision signal. However, existing constrastive learning frameworks usually focus on intral-temporal features, which fails to fully exploit the intricate nature of time series data. To address this issue, we propose DE-TSMCL, an innovative distillation enhanced framework for long sequence time series forecasting. Specifically, we design a learnable data augmentation mechanism which adaptively learns whether to mask a timestamp to obtain optimized sub-sequences. Then, we propose a contrastive learning task with momentum update to explore inter-sample and intra-temporal correlations of time series to learn the underlying structure feature on the unlabeled time series. Meanwhile, we design a supervised task to learn more robust representations and facilitate the contrastive learning process. Finally, we jointly optimize the above two tasks. By developing model loss from multiple tasks, we can learn effective representations for downstream forecasting task. Extensive experiments, in comparison with state-of-the-arts, well demonstrate the effectiveness of DE-TSMCL, where the maximum improvement can reach to 27.3%.


title: SimAda: A Simple Unified Framework for Adapting Segment Anything Model in Underperformed Scenes

abstract: Segment anything model (SAM) has demonstrated excellent generalization capabilities in common vision scenarios, yet lacking an understanding of specialized data. Although numerous works have focused on optimizing SAM for downstream tasks, these task-specific approaches usually limit the generalizability to other downstream tasks. In this paper, we aim to investigate the impact of the general vision modules on finetuning SAM and enable them to generalize across all downstream tasks. We propose a simple unified framework called SimAda for adapting SAM in underperformed scenes. Specifically, our framework abstracts the general modules of different methods into basic design elements, and we design four variants based on a shared theoretical framework. SimAda is simple yet effective, which removes all dataset-specific designs and focuses solely on general optimization, ensuring that SimAda can be applied to all SAM-based and even Transformer-based models. We conduct extensive experiments on nine datasets of six downstream tasks. The results demonstrate that SimAda significantly improves the performance of SAM on multiple downstream tasks and achieves state-of-the-art performance on most of them, without requiring task-specific designs. Code is available at: https://github.com/zongzi13545329/SimAda


title: An Efficient PGD Solver for Structural Dynamics Applications

abstract: We propose in this paper a Proper Generalized Decomposition (PGD) solver for reduced-order modeling of linear elastodynamic problems. It primarily focuses on enhancing the computational efficiency of a previously introduced PGD solver based on the Hamiltonian formalism. The novelty of this work lies in the implementation of a solver that is halfway between Modal Decomposition and the conventional PGD framework, so as to accelerate the fixed-point iteration algorithm. Additional procedures such that Aitken's delta-squared process and mode-orthogonalization are incorporated to ensure convergence and stability of the algorithm. Numerical results regarding the ROM accuracy, time complexity, and scalability are provided to demonstrate the performance of the new solver when applied to dynamic simulation of a three-dimensional structure.


title: Biospheric AI

abstract: The dominant paradigm in AI ethics and value alignment is highly anthropocentric. The focus of these disciplines is strictly on human values which limits the depth and breadth of their insights. Recently, attempts to expand to a sentientist perspective have been initiated. We argue that neither of these outlooks is sufficient to capture the actual complexity of the biosphere and ensure that AI does not damage it. Thus, we propose a new paradigm -- Biospheric AI that assumes an ecocentric perspective. We discuss hypothetical ways in which such an AI might be designed. Moreover, we give directions for research and application of the modern AI models that would be consistent with the biospheric interests. All in all, this work attempts to take first steps towards a comprehensive program of research that focuses on the interactions between AI and the biosphere.


title: A new class of efficient high order semi-Lagrangian IMEX discontinuous Galerkin methods on staggered unstructured meshes

abstract: In this paper we present a new high order semi-implicit DG scheme on two-dimensional staggered triangular meshes applied to different nonlinear systems of hyperbolic conservation laws such as advection-diffusion models, incompressible Navier-Stokes equations and natural convection problems. While the temperature and pressure field are defined on a triangular main grid, the velocity field is defined on a quadrilateral edge-based staggered mesh. A semi-implicit time discretization is proposed, which separates slow and fast time scales by treating them explicitly and implicitly, respectively. The nonlinear convection terms are evolved explicitly using a semi-Lagrangian approach, whereas we consider an implicit discretization for the diffusion terms and the pressure contribution. High-order of accuracy in time is achieved using a new flexible and general framework of IMplicit-EXplicit (IMEX) Runge-Kutta schemes specifically designed to operate with semi-Lagrangian methods. To improve the efficiency in the computation of the DG divergence operator and the mass matrix, we propose to approximate the numerical solution with a less regular polynomial space on the edge-based mesh, which is defined on two sub-triangles that split the staggered quadrilateral elements. Due to the implicit treatment of the fast scale terms, the resulting numerical scheme is unconditionally stable for the considered governing equations. Contrarily to a genuinely space-time discontinuous-Galerkin scheme, the IMEX discretization permits to preserve the symmetry and the positive semi-definiteness of the arising linear system for the pressure that can be solved at the aid of an efficient matrix-free implementation of the conjugate gradient method. We present several convergence results, including nonlinear transport and density currents, up to third order of accuracy in both space and time.


title: Advances in 3D Generation: A Survey

abstract: Generating 3D models lies at the core of computer graphics and has been the focus of decades of research. With the emergence of advanced neural representations and generative models, the field of 3D content generation is developing rapidly, enabling the creation of increasingly high-quality and diverse 3D models. The rapid growth of this field makes it difficult to stay abreast of all recent developments. In this survey, we aim to introduce the fundamental methodologies of 3D generation methods and establish a structured roadmap, encompassing 3D representation, generation methods, datasets, and corresponding applications. Specifically, we introduce the 3D representations that serve as the backbone for 3D generation. Furthermore, we provide a comprehensive overview of the rapidly growing literature on generation methods, categorized by the type of algorithmic paradigms, including feedforward generation, optimization-based generation, procedural generation, and generative novel view synthesis. Lastly, we discuss available datasets, applications, and open challenges. We hope this survey will help readers explore this exciting topic and foster further advancements in the field of 3D content generation.


title: Giant third-order nonlinear Hall effect in misfit layer compound (SnS)${1.17}$(NbS$_2$)$_3$

abstract: Nonlinear Hall effect (NLHE) holds immense significance in recognizing the band geometry and its potential applications in current rectification. Recent discoveries have expanded the study from second-order to third-order nonlinear Hall effect (THE), which is governed by an intrinsic band geometric quantity called the Berry Connection Polarizability (BCP) tensor. Here we demonstrate a giant THE in a misfit layer compound, (SnS)${1.17}$(NbS$_2$)$_3$. While the THE is prohibited in individual NbS$_2$ and SnS due to the constraints imposed by the crystal symmetry and their band structures, a remarkable THE emerges when a superlattice is formed by introducing a monolayer of SnS. The angular-dependent THE and its scaling relationship indicate that the phenomenon could be correlated to the band geometry modulation, concurrently with the symmetry breaking. The resulting strength of THE is orders of magnitude higher compared to recent studies. Our work illuminates the modulation of structural and electronic geometries for novel quantum phenomena through interface engineering.


title: SWEA: Updating Factual Knowledge in Large Language Models via Subject Word Embedding Altering

abstract: The general capabilities of large language models (LLMs) make them the infrastructure for various AI applications, but updating their inner knowledge requires significant resources. Recent model editing is a promising technique for efficiently updating a small amount of knowledge of LLMs and has attracted much attention. In particular, local editing methods, which directly update model parameters, are more suitable for updating a small amount of knowledge. Local editing methods update weights by computing least squares closed-form solutions and identify edited knowledge by vector-level matching in inference, which achieve promising results. However, these methods still require a lot of time and resources to complete the computation. Moreover, vector-level matching lacks reliability, and such updates disrupt the original organization of the model's parameters. To address these issues, we propose an detachable and expandable Subject Word Embedding Altering (SWEA) framework, which finds the editing embeddings through token-level matching and adds them to the subject word embeddings in Transformer input. To get these editing embeddings, we propose optimizing then suppressing fusion method, which first optimizes learnable embedding vectors for the editing target and then suppresses the Knowledge Embedding Dimensions (KEDs) to obtain final editing embeddings. We thus propose SWEA$\oplus$OS method for editing factual knowledge in LLMs. We demonstrate the overall state-of-the-art (SOTA) performance of SWEA$\oplus$OS on the \textsc{CounterFact} and zsRE datasets. To further validate the reasoning ability of SWEA$\oplus$OS in editing knowledge, we evaluate it on the more complex \textsc{RippleEdits} benchmark. The results demonstrate that SWEA$\oplus$OS possesses SOTA reasoning ability.


title: Revisiting Trimaximal TM2 mixing in two $A_4$ modular symmetries

abstract: We discuss a minimal lepton flavour model with two modular $A_4$ symmetries, one acting on neutrinos and the other acting on charged leptons. Two corresponding moduli fields are restricted at stabilisers. To avoid vanishing or degenerate lepton masses, the stabiliser in the charged lepton sector always preserves a $Z_3$ symmetry, and that in the neutrino preserves a $Z_2$ symmetry. By scanning all viable stabilisers, a unique Trimaximal TM2 mixing is predicted. However, the prediction of the lightest neutrino mass and the mass parameter in neutrinoless double beta decay, as well as two Majorana phases, are different and classified into three cases.


title: On melting for the 3D radial Stefan problem

abstract: We consider the three-dimensional radial Stefan problem which describes the evolution of a radial symmetric ice ball with free boundary \begin{equation*} \left\{\begin{aligned} &\partial_{t}u-\partial_{rr}u-\frac{2}{r}\partial_{r}u=0 \quad in\ r\geq\lambda(t),\\ &\partial_{r}u(t,\lambda(t))=-\dot{\lambda}(t),\\ &u(t,\lambda(t))=0,\\ &u(0,\cdot)=u_{0},\quad \lambda(0)=\lambda_{0}. \end{aligned}\right. \end{equation*} We prove the existence in the radial class of finite time melting with rates \begin{equation*} \lambda(t)=\left\{\begin{aligned} &4\sqrt{\pi}\frac{\sqrt{T-t}}{|\log (T-t)|}(1+o_{t\rightarrow T}(1)),\\ &c(u_{0},k)(1+o_{t\rightarrow T}(1))(T-t)^{\frac{k+1}{2}},\quad k\in{\mathbb{N}}^{*}, \end{aligned}\right. \end{equation*} which respectively correspond to the fundamental stable melting rate and a sequence of codimension $k$ unstable rates. Our analysis mainly depend on the methods developed in [17] which deals with the similar problems in two dimensions and also the construction of both stable and unstable finite time blow-up solutions for the harmonic heat flow in [49],[50].


title: Deterministic Computing Power Networking: Architecture, Technologies and Prospects

abstract: With the development of new Internet services such as computation-intensive and delay-sensitive tasks, the traditional "Best Effort" network transmission mode has been greatly challenged. The network system is urgently required to provide end-to-end transmission determinacy and computing determinacy for new applications to ensure the safe and efficient operation of services. Based on the research of the convergence of computing and networking, a new network paradigm named deterministic computing power networking (Det-CPN) is proposed. In this article, we firstly introduce the research advance of computing power networking. And then the motivations and scenarios of Det-CPN are analyzed. Following that, we present the system architecture, technological capabilities, workflow as well as key technologies for Det-CPN. Finally, the challenges and future trends of Det-CPN are analyzed and discussed.


title: Phase diagram of the interacting Haldane model with spin-dependent sublattice potentials

abstract: Using the exact-diagonalization (ED) and mean-field (MF) approaches, we investigate the ground-state phase diagram of the interacting Haldane model on the honeycomb lattice, incorporating spin-dependent sublattice potentials $\Delta_{\sigma,\alpha}$. Here $\alpha=\text{A}$,$\text{B}$ and $\sigma=\uparrow$,$\downarrow$ denote the sublattice and spin components, respectively. Setting $\Delta_{\sigma,\text{A}}=+\Delta$ ($-\Delta$) and $\Delta_{\sigma,\text{B}}$$=-\Delta$ ($+\Delta$) for $\sigma=\uparrow$ ($\downarrow$) results in the system favoring a spin ordered state. Conversely, introducing the nearest-neighbor Coulomb interaction can induce charge ordering in the system. Due to the competition between these factors, we observe that in both ED and MF approaches, an exotic state with Chern number $C=1$ survives amidst two locally ordered phases and a topologically ordered phase with $C=2$. In the ED method, various properties, such as the fidelity metric, the excitation gap and the structure factors, are employed to identify critical points. In the MF method, using a sufficiently large lattice size, we define the local order parameters and band gaps to characterize the phase transitions. The interacting Haldane model and the spin-dependent lattice potential may be experimentally realized in an ultracold atom gas, providing a potential means to detect this intriguing state.


title: Detection of Critical Events in Renewable Energy Production Time Series

abstract: The introduction of more renewable energy sources into the energy system increases the variability and weather dependence of electricity generation. Power system simulations are used to assess the adequacy and reliability of the electricity grid over decades, but often become computational intractable for such long simulation periods with high technical detail. To alleviate this computational burden, we investigate the use of outlier detection algorithms to find periods of extreme renewable energy generation which enables detailed modelling of the performance of power systems under these circumstances. Specifically, we apply the Maximum Divergent Intervals (MDI) algorithm to power generation time series that have been derived from ERA5 historical climate reanalysis covering the period from 1950 through 2019. By applying the MDI algorithm on these time series, we identified intervals of extreme low and high energy production. To determine the outlierness of an interval different divergence measures can be used. Where the cross-entropy measure results in shorter and strongly peaking outliers, the unbiased Kullback-Leibler divergence tends to detect longer and more persistent intervals. These intervals are regarded as potential risks for the electricity grid by domain experts, showcasing the capability of the MDI algorithm to detect critical events in these time series. For the historical period analysed, we found no trend in outlier intensity, or shift and lengthening of the outliers that could be attributed to climate change. By applying MDI on climate model output, power system modellers can investigate the adequacy and possible changes of risk for the current and future electricity grid under a wider range of scenarios.


title: A theorem on the asymptotic behaviour of the generalised $\mathrm{v}$-number

abstract: Let $R$ be a finitely $\mathbb{N}$-graded algebra over a Noetherian ring. In this paper we study the asymptotic behaviour of the so called $v$-number $\mathrm{w}_P(J^{\underline{n}}M/I^{\underline{n}}N)$ as function of $\underline{n}$ where $N\subset M$ are finitely generated $R$-modules, and $I_1\subset J_1,\dots,I_r\subset J_r$ are homogeneous ideals. We prove that $\mathrm{w}_P(M/I^{\underline{n}}N)$ and $\mathrm{w}_P(I^{\underline{n}}M/I^{\underline{n}+\underline{1}}N)$ are eventually the minimum of $r$ liner functions.


title: Breaking 1.7V open circuit voltage in large area transparent perovskite solar cells using bulk and interfaces passivation

abstract: Efficient semi-transparent solar cells can trigger the adoption of building integrated photovoltaics. Halide perovskites are particularly suitable in this respect owing to their tunable bandgap. Main drawbacks in the development of transparent perovskite solar cells are the high Voc deficit and the difficulties in depositing thin films over large area substrates, given the low solubility of bromide and chloride precursors. In this work, we develop a 2D and passivation strategies for the high band-gap Br perovskite able to reduce charge recombination and consequently improving the open-circuit voltage. We demonstrate 1cm 2 perovskite solar cells with Voc up to 1.73 V (1.83 eV QFLS) and a PCE of 8.2%. The AVT exceeds 70% by means of a bifacial light management and a record light utilization efficiency of 5.72 is achieved, setting a new standard for transparent photovoltaics. Moreover, we show the high ceiling of our technology towards IoT application due to a bifaciality factor of 87% along with 17% PCE under indoor lighting. Finally, the up-scaling has been demonstrated fabricating 20cm 2 -active area modules with PCE of 7.3% and Voc per cell up to 1.65V.


title: On $(1,2)$-step competition graphs of multipartite tournaments

abstract: A multipartite tournament is an orientation of a complete $k$-partite graph for some positive integer $k\geq 3$. We say that a multipartite tournament $D$ is tight if every partite set forms a clique in the $(1,2)$-step competition graph, denoted by $C_{1,2}(D)$, of $D$. In this paper, we completely characterize $C_{1,2}(D)$ for a tight multipartite tournament $D$. We will study $C_{1,2}(D)$ for a multipartite tournament $D$ that is not tight in a follow up paper.


title: On the evaluation of the suitability of the materials used to 3D print holographic acoustic lenses to correct transcranial focused ultrasound aberrations

abstract: The correction of transcranial focused ultrasound aberrations is a relevant topic for enhancing various non-invasive medical treatments. Nowadays, the most widely accepted method to improve focusing is the emission through multi-element phased arrays; however, a new disruptive technology, based on 3D printed holographic acoustic lenses, has recently been proposed overcoming the spatial limitations of phased arrays due to the submillimetric precision of the latest generation of 3D printers. This works aims to optimize this recent solution; particularly, the preferred acoustic properties of the polymers used for printing the lens are systematically analyzed, paying special attention to the effect of p-wave speed and its relationship to the achievable voxel size of 3D printers. Results from simulations and experiments clearly show that there are optimal ranges for lens thickness and p-wave speed, fairly independent of the emitted frequency, the transducer aperture, or the transducer-target distance, given a particular voxel size


title: QTFlow: Quantitative Timing-Sensitive Information Flow for Security-Aware Hardware Design on RTL

abstract: In contemporary Electronic Design Automation (EDA) tools, security often takes a backseat to the primary goals of power, performance, and area optimization. Commonly, the security analysis is conducted by hand, leading to vulnerabilities in the design remaining unnoticed. Security-aware EDA tools assist the designer in the identification and removal of security threats while keeping performance and area in mind. Cutting-edge methods employ information flow analysis to identify inadvertent information leaks in design structures. Current information leakage detection methods use quantitative information flow analysis to quantify the leaks. However, handling sequential circuits poses challenges for state-of-the-art techniques due to their time-agnostic nature, overlooking timing channels, and introducing false positives. To address this, we introduce QTFlow, a timing-sensitive framework for quantifying hardware information leakages during the design phase. Illustrating its effectiveness on open-source benchmarks, QTFlow autonomously identifies timing channels and diminishes all false positives arising from time-agnostic analysis when contrasted with current state-of-the-art techniques.


title: The 1/3-conjectures for domination in cubic graphs

abstract: A set S of vertices in a graph G is a dominating set of G if every vertex not in S is adjacent to a vertex in S . The domination number of G, denoted by $\gamma$(G), is the minimum cardinality of a dominating set in G. In a breakthrough paper in 2008, L{\"o}wenstein and Rautenbach proved that if G is a cubic graph of order n and girth at least 83, then $\gamma$(G) $\le$ n/3. A natural question is if this girth condition can be lowered. The question gave birth to two 1/3-conjectures for domination in cubic graphs. The first conjecture, posed by Verstraete in 2010, states that if G is a cubic graph on n vertices with girth at least 6, then $\gamma$(G) $\le$ n/3. The second conjecture, first posed as a question by Kostochka in 2009, states that if G is a cubic, bipartite graph of order n, then $\gamma$(G) $\le$n/3. In this paper, we prove Verstraete's conjecture when there is no 7-cycle and no 8-cycle, and we prove the Kostochka's related conjecture for bipartite graphs when there is no 4-cycle and no 8-cycle.


title: Do Object Detection Localization Errors Affect Human Performance and Trust?

abstract: Bounding boxes are often used to communicate automatic object detection results to humans, aiding humans in a multitude of tasks. We investigate the relationship between bounding box localization errors and human task performance. We use observer performance studies on a visual multi-object counting task to measure both human trust and performance with different levels of bounding box accuracy. The results show that localization errors have no significant impact on human accuracy or trust in the system. Recall and precision errors impact both human performance and trust, suggesting that optimizing algorithms based on the F1 score is more beneficial in human-computer tasks. Lastly, the paper offers an improvement on bounding boxes in multi-object counting tasks with center dots, showing improved performance and better resilience to localization inaccuracy.


title: Exciton-phonon coupling induces new pathway for ultrafast intralayer-to-interlayer exciton transition and interlayer charge transfer in WS2-MoS2 heterostructure: a first-principles study

abstract: Despite the weak, van-der-Waals interlayer coupling, photoinduced charge transfer vertically across atomically thin interfaces can occur within surprisingly fast, sub-50fs timescales. Early theoretical understanding of the charge transfer is based on a noninteracting picture, neglecting excitonic effects that dominate the optical properties of such materials. Here, we employ an ab initio many-body perturbation theory approach which explicitly accounts for the excitons and phonons in the heterostructure. Our large-scale first-principles calculations directly probe the role of exciton-phonon coupling in the charge dynamics of the WS$_2$/MoS$_2$ heterobilayer. We find that the exciton-phonon interaction induced relaxation time of photo-excited excitons at the $K$ valley of MoS$_2$ and WS$_2$ is 67 fs and 15 fs at 300 K, respectively, which sets a lower bound to the intralayer-to-interlayer exciton transfer time and is consistent with experiment reports. We further show that electron-hole correlations facilitate novel transfer pathways which are otherwise inaccessible to non-interacting electrons and holes.


title: Privacy-preserving data release leveraging optimal transport and particle gradient descent

abstract: We present a novel approach for differentially private data synthesis of protected tabular datasets, a relevant task in highly sensitive domains such as healthcare and government. Current state-of-the-art methods predominantly use marginal-based approaches, where a dataset is generated from private estimates of the marginals. In this paper, we introduce PrivPGD, a new generation method for marginal-based private data synthesis, leveraging tools from optimal transport and particle gradient descent. Our algorithm outperforms existing methods on a large range of datasets while being highly scalable and offering the flexibility to incorporate additional domain-specific constraints.


title: A Survey of Pre-trained Language Models for Processing Scientific Text

abstract: The number of Language Models (LMs) dedicated to processing scientific text is on the rise. Keeping pace with the rapid growth of scientific LMs (SciLMs) has become a daunting task for researchers. To date, no comprehensive surveys on SciLMs have been undertaken, leaving this issue unaddressed. Given the constant stream of new SciLMs, appraising the state-of-the-art and how they compare to each other remain largely unknown. This work fills that gap and provides a comprehensive review of SciLMs, including an extensive analysis of their effectiveness across different domains, tasks and datasets, and a discussion on the challenges that lie ahead.


title: Learning the subspace of variation for global optimization of functions with low effective dimension

abstract: We propose an algorithmic framework, that employs active subspace techniques, for scalable global optimization of functions with low effective dimension (also referred to as low-rank functions). This proposal replaces the original high-dimensional problem by one or several lower-dimensional reduced subproblem(s), capturing the main directions of variation of the objective which are estimated here as the principal components of a collection of sampled gradients. We quantify the sampling complexity of estimating the subspace of variation of the objective in terms of its effective dimension and hence, bound the probability that the reduced problem will provide a solution to the original problem. To account for the practical case when the effective dimension is not known a priori, our framework adaptively solves a succession of reduced problems, increasing the number of sampled gradients until the estimated subspace of variation remains unchanged. We prove global convergence under mild assumptions on the objective, the sampling distribution and the subproblem solver, and illustrate numerically the benefits of our proposed algorithms over those using random embeddings.


title: PALoc: Advancing SLAM Benchmarking with Prior-Assisted 6-DoF Trajectory Generation and Uncertainty Estimation

abstract: Accurately generating ground truth (GT) trajectories is essential for Simultaneous Localization and Mapping (SLAM) evaluation, particularly under varying environmental conditions. This study introduces a systematic approach employing a prior map-assisted framework for generating dense six-degree-of-freedom (6-DoF) GT poses for the first time, enhancing the fidelity of both indoor and outdoor SLAM datasets. Our method excels in handling degenerate and stationary conditions frequently encountered in SLAM datasets, thereby increasing robustness and precision. A significant aspect of our approach is the detailed derivation of covariances within the factor graph, enabling an in-depth analysis of pose uncertainty propagation. This analysis crucially contributes to demonstrating specific pose uncertainties and enhancing trajectory reliability from both theoretical and empirical perspectives. Additionally, we provide an open-source toolbox (https://github.com/JokerJohn/Cloud_Map_Evaluation) for map evaluation criteria, facilitating the indirect assessment of overall trajectory precision. Experimental results show at least a 30\% improvement in map accuracy and a 20\% increase in direct trajectory accuracy compared to the Iterative Closest Point (ICP) \cite{sharp2002icp} algorithm across diverse campus environments, with substantially enhanced robustness. Our open-source solution (https://github.com/JokerJohn/PALoc), extensively applied in the FusionPortable\cite{Jiao2022Mar} dataset, is geared towards SLAM benchmark dataset augmentation and represents a significant advancement in SLAM evaluations.


title: Neural Machine Translation for Malayalam Paraphrase Generation

abstract: This study explores four methods of generating paraphrases in Malayalam, utilizing resources available for English paraphrasing and pre-trained Neural Machine Translation (NMT) models. We evaluate the resulting paraphrases using both automated metrics, such as BLEU, METEOR, and cosine similarity, as well as human annotation. Our findings suggest that automated evaluation measures may not be fully appropriate for Malayalam, as they do not consistently align with human judgment. This discrepancy underscores the need for more nuanced paraphrase evaluation approaches especially for highly agglutinative languages.


title: Leveraging Swin Transformer for Local-to-Global Weakly Supervised Semantic Segmentation

abstract: In recent years, weakly supervised semantic segmentation using image-level labels as supervision has received significant attention in the field of computer vision. Most existing methods have addressed the challenges arising from the lack of spatial information in these labels by focusing on facilitating supervised learning through the generation of pseudo-labels from class activation maps (CAMs). Due to the localized pattern detection of CNNs, CAMs often emphasize only the most discriminative parts of an object, making it challenging to accurately distinguish foreground objects from each other and the background. Recent studies have shown that Vision Transformer (ViT) features, due to their global view, are more effective in capturing the scene layout than CNNs. However, the use of hierarchical ViTs has not been extensively explored in this field. This work explores the use of Swin Transformer by proposing "SWTformer" to enhance the accuracy of the initial seed CAMs by bringing local and global views together. SWTformer-V1 generates class probabilities and CAMs using only the patch tokens as features. SWTformer-V2 incorporates a multi-scale feature fusion mechanism to extract additional information and utilizes a background-aware mechanism to generate more accurate localization maps with improved cross-object discrimination. Based on experiments on the PascalVOC 2012 dataset, SWTformer-V1 achieves a 0.98% mAP higher localization accuracy, outperforming state-of-the-art models. It also yields comparable performance by 0.82% mIoU on average higher than other methods in generating initial localization maps, depending only on the classification network. SWTformer-V2 further improves the accuracy of the generated seed CAMs by 5.32% mIoU, further proving the effectiveness of the local-to-global view provided by the Swin transformer. Code available at: https://github.com/RozhanAhmadi/SWTformer


title: Evolving privacy: drift parameter estimation for discretely observed i.i.d. diffusion processes under LDP

abstract: The problem of estimating a parameter in the drift coefficient is addressed for $N$ discretely observed independent and identically distributed stochastic differential equations (SDEs). This is done considering additional constraints, wherein only public data can be published and used for inference. The concept of local differential privacy (LDP) is formally introduced for a system of stochastic differential equations. The objective is to estimate the drift parameter by proposing a contrast function based on a pseudo-likelihood approach. A suitably scaled Laplace noise is incorporated to meet the privacy requirements. Our key findings encompass the derivation of explicit conditions tied to the privacy level. Under these conditions, we establish the consistency and asymptotic normality of the associated estimator. Notably, the convergence rate is intricately linked to the privacy level, and is some situations may be completely different from the case where privacy constraints are ignored. Our results hold true as the discretization step approaches zero and the number of processes $N$ tends to infinity.


title: Renormalised energy between boundary vortices in thin-film micromagnetics with Dzyaloshinskii-Moriya interaction

abstract: We consider a three-dimensional micromagnetic model with Dzyaloshinskii-Moriya interaction in a thin-film regime for boundary vortices. In this regime, we prove a dimension reduction result: the nonlocal three-dimensional model reduces to a local two-dimensional Ginzburg-Landau type model in terms of the averaged magnetization in the thickness of the film. This reduced model captures the interaction between boundary vortices (so-called renormalised energy), that we determine by a $\Gamma$-convergence result at the second order and then we analyse its minimisers. They nucleate two boundary vortices whose position depends on the Dzyaloshinskii-Moriya interaction.


title: Incorporating quasiparticle and excitonic properties into material discovery

abstract: In recent years, GW-BSE has been proven to be extremely successful in studying the quasiparticle (QP) bandstructures and excitonic effects in the optical properties of materials. However, the massive computational cost associated with such calculations restricts their applicability in high-throughput material discovery studies. Recently, we developed a Python workflow package, $py$GWBSE, to perform high-throughput GW-BSE simulations. In this work, using $py$GWBSE we create a database of various QP properties and excitonic properties of over 350 chemically and structurally diverse materials. Despite the relatively small size of the dataset, we obtain highly accurate supervised machine learning (ML) models via the dataset. The models predict the quasiparticle gap with an RMSE of 0.36 eV, exciton binding energies of materials with an RMSE of 0.29 eV, and classify materials as high or low excitonic binding energy materials with classification accuracy of 90%. We exemplify the application of these ML models in the discovery of 159 visible-light and 203 ultraviolet-light photoabsorber materials utilizing the Materials Project database.


title: SAT-Based Subsumption Resolution

abstract: Subsumption resolution is an expensive but highly effective simplifying inference for first-order saturation theorem provers. We present a new SAT-based reasoning technique for subsumption resolution, without requiring radical changes to the underlying saturation algorithm. We implemented our work in the theorem prover Vampire, and show that it is noticeably faster than the state of the art.


title: An Enduring Rapidly Moving Storm as a Guide to Saturn's Equatorial Jet's Complex Structure

abstract: Saturn has an intense and broad eastward equatorial jet with a complex three-dimensional structure mixed with time variability. The equatorial region experiences strong seasonal insolation variations enhanced by ring shadowing and three of the six known giant planetary-scale storms have developed in it. These factors make Saturn's equator a natural laboratory to test models of jets in giant planets. Here we report on a bright equatorial atmospheric feature imaged in 2015 that moved steadily at a high speed of 450 ms-1 not measured since 1980-81 with other equatorial clouds moving within an ample range of velocities. Radiative transfer models show that these motions occur at three altitude levels within the upper haze and clouds. We find that the peak of the jet (latitudes 10\degree N to 10\degree S) suffers intense vertical shears reaching +2.5 ms-1 km-1, two orders of magnitude higher than meridional shears, and temporal variability above 1 bar altitude level.


title: Diagnostic potential of wavelength-integrated scattering polarisation signals of the solar He II Ly-alpha line

abstract: Aims: Main goal of this work is to study the potential of He II Ly-alpha wavelength-integrated scattering polarisation for probing the magnetism of the solar upper chromosphere. Methods: Radiative transfer calculations are performed in semi-empirical 1D solar atmospheres considering a two-term atomic model and accounting for the Hanle, Zeeman, and magneto-optical effects. The problem is suitably linearised and discretised, and the resulting numerical system is solved with a matrix-free iterative method. The results obtained modelling scattering processes with three different descriptions, namely in the limit of complete frequency redistribution (CRD), and accounting for partial frequency redistribution (PRD) effects under the angle-averaged (AA) approximation and in the general angle-dependent (AD) formulation, are compared. Results: In the line-core, the synthetic Stokes profiles resulting from CRD, PRD-AA, and PRD-AD calculations show a very good agreement. On the other hand, relevant differences are observed in Q/I outside the line-core region. Besides, the precise structure of the atmospheric model does not noticeably affect the line-core profiles, but it strongly impacts the Q/I signals outside the line-core. As most of the He II Ly-alpha photons originate in the core region, it turns out that wavelength-integrated linear polarisation signals are almost insensitive to both the scattering description and the atmospheric model. Appreciable wavelength-integrated U/I signals, showing observable sensitivity to horizontal magnetic fields in the range 0-1000 G, are also found, particularly near the limb. It turns out that, while the integration time required to detect magnetic fields in the quiet chromosphere with this line is too long for sounding rocket missions, magnetic fields corresponding to typical plage areas would produce detectable signals, especially near the limb.


title: Predicting the Future with Simple World Models

abstract: World models can represent potentially high-dimensional pixel observations in compact latent spaces, making it tractable to model the dynamics of the environment. However, the latent dynamics inferred by these models may still be highly complex. Abstracting the dynamics of the environment with simple models can have several benefits. If the latent dynamics are simple, the model may generalize better to novel transitions, and discover useful latent representations of environment states. We propose a regularization scheme that simplifies the world model's latent dynamics. Our model, the Parsimonious Latent Space Model (PLSM), minimizes the mutual information between latent states and the dynamics that arise between them. This makes the dynamics softly state-invariant, and the effects of the agent's actions more predictable. We combine the PLSM with three different model classes used for i) future latent state prediction, ii) video prediction, and iii) planning. We find that our regularization improves accuracy, generalization, and performance in downstream tasks.


title: Broadband biphoton source for quantum optical coherence tomography based on a Michelson interferometer

abstract: Broadband correlated photon pairs (biphotons) are valuable in quantum metrology, but current generation methods either involve complex nonlinear structures or lack sufficient bandwidth and brightness. In this work, we theoretically describe and experimentally demonstrate a novel technique for generation of a bright collinear biphoton field with a broad spectrum, achieved by using a tightly focused pump in a bulk nonlinear crystal. As the most straightforward application of the source, we employ Michelson interferometer-based quantum optical coherence tomography (QOCT). Utilizing the source enables the demonstration of record resolution and dispersion cancellation for this QOCT scheme.


title: Safe Reinforcement Learning-Based Eco-Driving Control for Mixed Traffic Flows With Disturbances

abstract: This paper presents a safe learning-based eco-driving framework tailored for mixed traffic flows, which aims to optimize energy efficiency while guaranteeing safety during real-system operations. Even though reinforcement learning (RL) is capable of optimizing energy efficiency in intricate environments, it is challenged by safety requirements during the training process. The lack of safety guarantees is the other concern when deploying a trained policy in real-world application. Compared with RL, model predicted control (MPC) can handle constrained dynamics systems, ensuring safe driving. However, the major challenges lie in complicated eco-driving tasks and the presence of disturbances, which respectively challenge the MPC design and the satisfaction of constraints. To address these limitations, the proposed framework incorporates the tube-based enhanced MPC (RMPC) to ensure the safe execution of the RL policy under disturbances, thereby improving the control robustness. RL not only optimizes the energy efficiency of the connected and automated vehicle in mixed traffic but also handles more uncertain scenarios, in which the energy consumption of the human-driven vehicle and its diverse and stochastic driving behaviors are considered in the optimization framework. Simulation results demonstrate that the proposed algorithm, compared with RMPC technique, shows an average improvement of 10.88% in holistic energy efficiency, while compared with RL algorithm, it effectively prevents inter-vehicle collisions.


title: A Cross-View Hierarchical Graph Learning Hypernetwork for Skill Demand-Supply Joint Prediction

abstract: The rapidly changing landscape of technology and industries leads to dynamic skill requirements, making it crucial for employees and employers to anticipate such shifts to maintain a competitive edge in the labor market. Existing efforts in this area either rely on domain-expert knowledge or regarding skill evolution as a simplified time series forecasting problem. However, both approaches overlook the sophisticated relationships among different skills and the inner-connection between skill demand and supply variations. In this paper, we propose a Cross-view Hierarchical Graph learning Hypernetwork (CHGH) framework for joint skill demand-supply prediction. Specifically, CHGH is an encoder-decoder network consisting of i) a cross-view graph encoder to capture the interconnection between skill demand and supply, ii) a hierarchical graph encoder to model the co-evolution of skills from a cluster-wise perspective, and iii) a conditional hyper-decoder to jointly predict demand and supply variations by incorporating historical demand-supply gaps. Extensive experiments on three real-world datasets demonstrate the superiority of the proposed framework compared to seven baselines and the effectiveness of the three modules.


title: Global-Liar: Factuality of LLMs over Time and Geographic Regions

abstract: The increasing reliance on AI-driven solutions, particularly Large Language Models (LLMs) like the GPT series, for information retrieval highlights the critical need for their factuality and fairness, especially amidst the rampant spread of misinformation and disinformation online. Our study evaluates the factual accuracy, stability, and biases in widely adopted GPT models, including GPT-3.5 and GPT-4, contributing to reliability and integrity of AI-mediated information dissemination. We introduce 'Global-Liar,' a dataset uniquely balanced in terms of geographic and temporal representation, facilitating a more nuanced evaluation of LLM biases. Our analysis reveals that newer iterations of GPT models do not always equate to improved performance. Notably, the GPT-4 version from March demonstrates higher factual accuracy than its subsequent June release. Furthermore, a concerning bias is observed, privileging statements from the Global North over the Global South, thus potentially exacerbating existing informational inequities. Regions such as Africa and the Middle East are at a disadvantage, with much lower factual accuracy. The performance fluctuations over time suggest that model updates may not consistently benefit all regions equally. Our study also offers insights into the impact of various LLM configuration settings, such as binary decision forcing, model re-runs and temperature, on model's factuality. Models constrained to binary (true/false) choices exhibit reduced factuality compared to those allowing an 'unclear' option. Single inference at a low temperature setting matches the reliability of majority voting across various configurations. The insights gained highlight the need for culturally diverse and geographically inclusive model training and evaluation. This approach is key to achieving global equity in technology, distributing AI benefits fairly worldwide.


title: Propagation Dynamics of Rumor vs. Non-rumor across Multiple Social Media Platforms Driven by User Characteristics

abstract: Studying information propagation dynamics in social media can elucidate user behaviors and patterns. However, previous research often focuses on single platforms and fails to differentiate between the nuanced roles of source users and other participants in cascades. To address these limitations, we analyze propagation cascades on Twitter and Weibo combined with a crawled dataset of nearly one million users with authentic attributes. Our preliminary findings from multiple platforms robustly indicate that rumors tend to spread more deeply, while non-rumors distribute more broadly. Interestingly, we discover that the spread of rumors is slower, persists longer, and, in most cases, involves fewer participants than that of non-rumors. And an undiscovered highlight is that reputable active users, termed `onlookers', inadvertently or unwittingly spread rumors due to their extensive online interactions and the allure of sensational fake news. Conversely, celebrities exhibit caution, mindful of releasing unverified information. Additionally, we identify cascade features aligning with exponential patterns, highlight the Credibility Erosion Effect (CEE) phenomenon in the propagation process, and discover the different contents and policies between the two platforms. Our findings enhance current understanding and provide a valuable statistical analysis for future research.


title: Stimulus-Informed Generalized Canonical Correlation Analysis for Group Analysis of Neural Responses

abstract: Various new brain-computer interface technologies or neuroscience applications require decoding stimulus-following neural responses to natural stimuli such as speech and video from, e.g., electroencephalography (EEG) signals. In this context, generalized canonical correlation analysis (GCCA) is often used as a group analysis technique, which allows the extraction of correlated signal components from the neural activity of multiple subjects attending to the same stimulus. GCCA can be used to improve the signal-to-noise ratio of the stimulus-following neural responses relative to all other irrelevant (non-)neural activity, or to quantify the correlated neural activity across multiple subjects in a group-wise coherence metric. However, the traditional GCCA technique is stimulus-unaware: no information about the stimulus is used to estimate the correlated components from the neural data of several subjects. Therefore, the GCCA technique might fail to extract relevant correlated signal components in practical situations where the amount of information is limited, for example, because of a limited amount of training data or group size. This motivates a new stimulus-informed GCCA (SI-GCCA) framework that allows taking the stimulus into account to extract the correlated components. We show that SI-GCCA outperforms GCCA in various practical settings, for both auditory and visual stimuli. Moreover, we showcase how SI-GCCA can be used to steer the estimation of the components towards the stimulus. As such, SI-GCCA substantially improves upon GCCA for various purposes, ranging from preprocessing to quantifying attention.


title: Explainable Benchmarking for Iterative Optimization Heuristics

abstract: Benchmarking heuristic algorithms is vital to understand under which conditions and on what kind of problems certain algorithms perform well. In most current research into heuristic optimization algorithms, only a very limited number of scenarios, algorithm configurations and hyper-parameter settings are explored, leading to incomplete and often biased insights and results. This paper presents a novel approach we call explainable benchmarking. Introducing the IOH-Xplainer software framework, for analyzing and understanding the performance of various optimization algorithms and the impact of their different components and hyper-parameters. We showcase the framework in the context of two modular optimization frameworks. Through this framework, we examine the impact of different algorithmic components and configurations, offering insights into their performance across diverse scenarios. We provide a systematic method for evaluating and interpreting the behaviour and efficiency of iterative optimization heuristics in a more transparent and comprehensible manner, allowing for better benchmarking and algorithm design.


title: On the breakdown of eikonal approximation and survival of Reggeization in presence of dimension-5 Higgs-gluon coupling

abstract: We consider the one-loop effective vertex for the interaction of a gluon with a Reggeized gluon and a Higgs boson in the infinite-top-mass limit, which is described by a dimension-5 non-renormalizable operator. This vertex enters the calculation of differential cross sections for the forward inclusive production of a Higgs boson in high-energy proton-proton collisions, possibly in association with a backward jet or identified hadron, in a framework where next-to-leading logarithms of the energy are resummed to all orders. The effective vertex is extracted from the high-energy behavior of two-to-two amplitudes for the Higgs production in parton-parton collisions and relies on the validity of the Regge form for these amplitudes. We find that the usual eikonal approximation (Gribov prescription) for the Regge limit and the known region-expansion technique in this limit lead to an incomplete result for the amplitude. The discrepancy is traced back to the non-renormalizable nature of the involved operator. However, the Regge limit of the exact QCD amplitude agrees with the Regge-pole exchange form at one loop, nontrivially supporting the Reggeization hypothesis.


title: Device-free Indoor WLAN Localization with Distributed Antenna Placement Optimization and Spatially Localized Regression

abstract: Wireless sensing is a promising technology for future wireless communication networks to realize various application services. Wireless local area network (WLAN)-based localization approaches using channel state information (CSI) have been investigated intensively. Further improvements in detection performance will depend on selecting appropriate feature information and determining the placements of distributed antenna elements. This paper presents a proposal of an enhanced device-free WLAN-based localization scheme with beam-tracing based antenna placement optimization and spatially localized regression, where beam-forming weights (BFWs) are used as feature information for training machine-learning (ML)-based models localized to partitioned areas. By this scheme, the antenna placement at the access point (AP) is determined by solving a combinational optimization problem with beam-tracing between AP and station (STA) without knowing the CSI. Additionally, we propose the use of localized regression to improve localization accuracy with low complexity, where classification and regression based ML models are used for coarse and precise estimations of the target position. We evaluate the proposed scheme effects on localization performance in an indoor environment. Experiment results demonstrate that the proposed antenna placement and localized regression scheme improve the localization accuracy while reducing the required complexity for both off-line training and on-line localization relative to other reference schemes.


title: Rainbow Hamiltonicity and the spectral radius

abstract: Let $\mathcal{G}=\{G_1,\ldots,G_n \}$ be a family of graphs of order $n$ with the same vertex set. A rainbow Hamiltonian cycle in $\mathcal{G}$ is a cycle that visits each vertex precisely once such that any two edges belong to different graphs of $\mathcal{G}$. We obtain a rainbow version of Ore's size condition of Hamiltonicity, and pose a related problem. Towards a solution of that problem, we give a sufficient condition for the existence of a rainbow Hamiltonian cycle in terms of the spectral radii of the graphs in $\mathcal{G}$ and completely characterize the corresponding extremal graphs.


title: Drift Diffusion Model to understand (mis)information sharing dynamic in complex networks

abstract: Sharing misinformation threatens societies as misleading news shapes the risk perception of individuals. We witnessed this during the COVID-19 pandemic, where misinformation undermined the effectiveness of stay-at-home orders, posing an additional obstacle in the fight against the virus. In this research, we study misinformation spreading, reanalyzing behavioral data on online sharing, and analyzing decision-making mechanisms using the Drift Diffusion Model (DDM). We find that subjects display an increased instinctive inclination towards sharing misleading news, but rational thinking significantly curbs this reaction, especially for more cautious and older individuals. Using an agent-based model, we expand this individual knowledge to a social network where individuals are exposed to misinformation through friends and share (or not) content with probabilities driven by DDM. The natural shape of the Twitter network provides a fertile ground for any news to rapidly become viral, yet we found that limiting users' followers proves to be an appropriate and feasible containment strategy.


title: Multiplicity results for mass constrained Allen-Cahn equations on Riemannian manifolds with boundary

abstract: We present multiplicity results for mass constrained Allen-Cahn equations on a Riemannian manifold with boundary, considering both Neumann and Dirichlet conditions. These results hold under the assumptions of small mass constraint and small diffusion parameter. We obtain lower bounds on the number of solutions according to the Lusternik--Schnirelmann category of the manifold in case of Dirichlet boundary conditions and of its boundary in the case of Neumann boundary conditions. Under generic non-degeneracy assumptions on the solutions, we obtain stronger results based on Morse inequalities. Our approach combines topological and variational methods with tools from Geometric Measure Theory.


title: Unstable $p$-completion in motivic homotopy theory

abstract: We define unstable $p$-completion in general $\infty$-topoi and the unstable motivic homotopy category, and prove that the $p$-completion of a nilpotent sheaf or motivic space can be computed on its Postnikov tower. We then show that the ($p$-completed) homotopy groups of the $p$-completion of a nilpotent motivic space $X$ fit into short exact sequences $0 \to \mathbb L_0 \pi_n(X) \to \pi_n^p(X_p^\wedge) \to \mathbb L_1 \pi_{n-1}(X) \to 0$, where the $\mathbb L_i$ are (versions of) the derived $p$-completion functors, analogous to the classical situation.


title: Delayed response to the photovoltaic performance in a double quantum dot photocell with spatially correlated fluctuation

abstract: A viable strategy for enhancing photovoltaic performance in a double quantum dot (DQD) photocell is to comprehend the underlying quantum physical regime of charge transfer. This work explores the photovoltaic performance dependent spatially correlated fluctuation in a DQD photocell. A suggested DQD photocell model was used to examine the effects of spatially correlated variation on charge transfer and output photovoltaic efficiency. The charge transfer process and the process of reaching peak solar efficiency were both significantly delayed as a result of the spatially correlated fluctuation, and the anti-spatial correlation fluctuation also resulted in lower output photovoltaic efficiency. Further results revealed that some structural parameters, such as gap difference and tunneling coefficient within two dots, could suppress the delayed response, and a natural adjustment feature was demonstrated on the delayed response in this DQD photocell model. Subsequent investigation verified that the delayed response was caused by the spatial correlation fluctuation, which slowed the generative process of noise-induced coherence, which had previously been proven to improve quantum photovoltaic performance in quantum photocells. While anti-spatial correlation fluctuation and a hotter thermal ambient environment could diminish the condition for noise-induced coherence, as demonstrated by the reduced photovoltaic capabilities in this suggested DQD photocell model. As a result, we expect that regulated noise-induced coherence, via spatially correlated fluctuation, will have a major impact on photovoltaic qualities in a DQD photocell system. The discovery of its underlying physical regime of quantum fluctuation will broaden and deepen understanding of quantum features of electron transfer, as well as provide some indications concerning quantum techniques for high efficiency DQD solar cells.


title: Blow-$ADE$ singularities and $\mu^*$-constant deformations

abstract: We introduce a class of complex surface singularities - the blow-$ADE$ singularities - which are likely to be stable with respect to $\mu^*$-constant deformations. We prove such a stability property in several special cases. Here, we emphasize that we are not just considering deformation families for small values of the deformation parameter but families connecting any two elements in the $\mu^*$-constant stratum.


title: Instruction-Guided Scene Text Recognition

abstract: Multi-modal models have shown appealing performance in visual tasks recently, as instruction-guided training has evoked the ability to understand fine-grained visual content. However, current methods cannot be trivially applied to scene text recognition (STR) due to the gap between natural and text images. In this paper, we introduce a novel paradigm that formulates STR as an instruction learning problem, and propose instruction-guided scene text recognition (IGTR) to achieve effective cross-modal learning. IGTR first generates rich and diverse instruction triplets of <condition,question,answer>, serving as guidance for nuanced text image understanding. Then, we devise an architecture with dedicated cross-modal feature fusion module, and multi-task answer head to effectively fuse the required instruction and image features for answering questions. Built upon these designs, IGTR facilitates accurate text recognition by comprehending character attributes. Experiments on English and Chinese benchmarks show that IGTR outperforms existing models by significant margins. Furthermore, by adjusting the instructions, IGTR enables various recognition schemes. These include zero-shot prediction, where the model is trained based on instructions not explicitly targeting character recognition, and the recognition of rarely appearing and morphologically similar characters, which were previous challenges for existing models.