title: Natural Gradient Interpretation of Rank-One Update in CMA-ES

abstract: The covariance matrix adaptation evolution strategy (CMA-ES) is a stochastic search algorithm using a multivariate normal distribution for continuous black-box optimization. In addition to strong empirical results, part of the CMA-ES can be described by a stochastic natural gradient method and can be derived from information geometric optimization (IGO) framework. However, there are some components of the CMA-ES, such as the rank-one update, for which the theoretical understanding is limited. While the rank-one update makes the covariance matrix to increase the likelihood of generating a solution in the direction of the evolution path, this idea has been difficult to formulate and interpret as a natural gradient method unlike the rank-$\mu$ update. In this work, we provide a new interpretation of the rank-one update in the CMA-ES from the perspective of the natural gradient with prior distribution. First, we propose maximum a posteriori IGO (MAP-IGO), which is the IGO framework extended to incorporate a prior distribution. Then, we derive the rank-one update from the MAP-IGO by setting the prior distribution based on the idea that the promising mean vector should exist in the direction of the evolution path. Moreover, the newly derived rank-one update is extensible, where an additional term appears in the update for the mean vector. We empirically investigate the properties of the additional term using various benchmark functions.


title: Statistical ranking with dynamic covariates

abstract: We consider a covariate-assisted ranking model grounded in the Plackett--Luce framework. Unlike existing works focusing on pure covariates or individual effects with fixed covariates, our approach integrates individual effects with dynamic covariates. This added flexibility enhances realistic ranking yet poses significant challenges for analyzing the associated estimation procedures. This paper makes an initial attempt to address these challenges. We begin by discussing the sufficient and necessary condition for the model's identifiability. We then introduce an efficient alternating maximization algorithm to compute the maximum likelihood estimator (MLE). Under suitable assumptions on the topology of comparison graphs and dynamic covariates, we establish a quantitative uniform consistency result for the MLE with convergence rates characterized by the asymptotic graph connectivity. The proposed graph topology assumption holds for several popular random graph models under optimal leading-order sparsity conditions. A comprehensive numerical study is conducted to corroborate our theoretical findings and demonstrate the application of the proposed model to real-world datasets, including horse racing and tennis competitions.


title: Large Vocabulary Size Improves Large Language Models

abstract: This paper empirically investigates the relationship between subword vocabulary size and the performance of large language models (LLMs) to provide insights on how to define the vocabulary size. Experimental results show that larger vocabulary sizes lead to better performance in LLMs. Moreover, we consider a continual training scenario where a pre-trained language model is trained on a different target language. We introduce a simple method to use a new vocabulary instead of the pre-defined one. We show that using the new vocabulary outperforms the model with the vocabulary used in pre-training.


title: Approximation of $L^\infty$ functionals with generalized Orlicz norms

abstract: The aim of this paper is to deal with the asymptotics of generalized Orlicz norms when the lower growth rate tends to infinity. $\Gamma$-convergence results and related representation theorems in terms of $L^\infty$ functionals are proven for sequences of generalized Orlicz energies under mild convexity assumptions. This latter hypothesis is removed in the variable exponent setting.


title: Large Language Models in Student Assessment: Comparing ChatGPT and Human Graders

abstract: This study investigates the efficacy of large language models (LLMs) as tools for grading master-level student essays. Utilizing a sample of 60 essays in political science, the study compares the accuracy of grades suggested by the GPT-4 model with those awarded by university teachers. Results indicate that while GPT-4 aligns with human grading standards on mean scores, it exhibits a risk-averse grading pattern and its interrater reliability with human raters is low. Furthermore, modifications in the grading instructions (prompt engineering) do not significantly alter AI performance, suggesting that GPT-4 primarily assesses generic essay characteristics such as language quality rather than adapting to nuanced grading criteria. These findings contribute to the understanding of AI's potential and limitations in higher education, highlighting the need for further development to enhance its adaptability and sensitivity to specific educational assessment requirements.


title: Special Weingarten surfaces with planar convex boundary

abstract: We prove a Ros-Rosenberg theorem in the setting of Special Weingarten surfaces. We show that a compact, connected, embedded, Special Weingarten surface in $\mathhb{R}^3$ with planar convex boundary is a topological disk under mild suitable assumptions.


title: Optimal Control of the Nonlinear Stochastic Fokker--Planck Equation

abstract: We consider a control problem for the nonlinear stochastic Fokker--Planck equation. This equation describes the evolution of the distribution of nonlocally interacting particles affected by a common source of noise. The system is directed by a controller that acts on the drift term with the goal of minimising a cost functional. We establish the well-posedness of the state equation, prove the existence of optimal controls, and formulate a stochastic maximum principle (SMP) that provides necessary and sufficient optimality conditions for the control problem. The adjoint process arising in the SMP is characterised by a nonlocal (semi)linear backward SPDE for which we study existence and uniqueness. We also rigorously connect the control problem for the nonlinear stochastic Fokker--Planck equation to the control of the corresponding McKean--Vlasov SDE that describes the motion of a representative particle. Our work extends existing results for the control of the Fokker--Planck equation to nonlinear and stochastic dynamics. In particular, the sufficient SMP, which we obtain by exploiting the special structure of the Fokker--Planck equation, seems to be novel even in the linear deterministic setting. We illustrate our results with an application to a model of government interventions in financial systems, supplemented by numerical illustrations.


title: Multi-Modal Vision Transformers for Crop Mapping from Satellite Image Time Series

abstract: Using images acquired by different satellite sensors has shown to improve classification performance in the framework of crop mapping from satellite image time series (SITS). Existing state-of-the-art architectures use self-attention mechanisms to process the temporal dimension and convolutions for the spatial dimension of SITS. Motivated by the success of purely attention-based architectures in crop mapping from single-modal SITS, we introduce several multi-modal multi-temporal transformer-based architectures. Specifically, we investigate the effectiveness of Early Fusion, Cross Attention Fusion and Synchronized Class Token Fusion within the Temporo-Spatial Vision Transformer (TSViT). Experimental results demonstrate significant improvements over state-of-the-art architectures with both convolutional and self-attention components.


title: Enumeration of Terracini schemes

abstract: In this note we outline a way of computing the expected lenght of the Terracini scheme of a curve, when this scheme is expected to be finite and we give a closed formula for curves in $\p^4$. We also discuss the widely open case of varieties of higher dimension.


title: An FPRAS for #nFBDD

abstract: #nFBDD is the problem of counting the number of satisfying assignments, or models, of a non-deterministic free binary decision diagram (nFBDD). The problem is #P-hard. We study the approximate variant of this problem where one seeks an estimate of the model count. It is known that there exists a quasi-polynomial-time randomized approximation scheme (QPRAS) for #nFBDD. We provide the first FPRAS for #nFBDD


title: Demonstration of a Squeezed Light Source on Thin-Film Lithium Niobate with Modal Phase Matching

abstract: Squeezed states are essential for continuous variable (CV) quantum information processing, with wide-ranging applications in computing, sensing and communications. Integrated photonic circuits provide a scalable, convenient platform for building large CV circuits. Thin-film Lithium Niobate (TFLN) is particularly promising due to its low propagation loss, efficient parametric down conversion, and fast electro-optical modulation. In this work, we demonstrate a squeezed light source on an integrated TFLN platform, achieving a measured shot noise reduction of 0.46 dB using modal phase matching and grating couplers with an efficiency of up to -2.2 dB. The achieved squeezing is comparable to what has been observed using more complex circuitry based on periodic poling. The simpler design allows for compact, efficient and reproducible sources of squeezed light.


title: Stellar Winds

abstract: Stellar winds form an integral part of astronomy. The solar wind affects Earth's magnetosphere, while the winds of hot massive stars are highly relevant for galactic feedback through their mechanical wind energy. In different parts of the stellar HR diagram different forces dominate. On the hot side of the HRD radiative forces on ionised gas particles are active, while on the cool side molecular and dust opacities take over. Moreover, due to the convective envelopes, alternative physical ingredients may start to dominate. I will describe the basic equation of motion and give a few examples, mostly focusing on the winds from massive stars. Here mass-loss rates significantly affect the stellar evolution all the way to core collapse as a supernova and/or black hole formation event.


title: Vision Mamba-based autonomous crack segmentation on concrete, asphalt, and masonry surfaces

abstract: Convolutional neural networks (CNNs) and Transformers have shown advanced accuracy in crack detection under certain conditions. Yet, the fixed local attention can compromise the generalisation of CNNs, and the quadratic complexity of the global self-attention restricts the practical deployment of Transformers. Given the emergence of the new-generation architecture of Mamba, this paper proposes a Vision Mamba (VMamba)-based framework for crack segmentation on concrete, asphalt, and masonry surfaces, with high accuracy, generalisation, and less computational complexity. Having 15.6% - 74.5% fewer parameters, the encoder-decoder network integrated with VMamba could obtain up to 2.8% higher mDS than representative CNN-based models while showing about the same performance as Transformer-based models. Moreover, the VMamba-based encoder-decoder network could process high-resolution image input with up to 90.6% lower floating-point operations.


title: Robust NLoS Localization in 5G mmWave Networks: Data-based Methods and Performance

abstract: Ensuring smooth mobility management while employing directional beamformed transmissions in 5G millimeter-wave networks calls for robust and accurate user equipment (UE) localization and tracking. In this article, we develop neural network-based positioning models with time- and frequency-domain channel state information (CSI) data in harsh non-line-of-sight (NLoS) conditions. We propose a novel frequency-domain feature extraction, which combines relative phase differences and received powers across resource blocks, and offers robust performance and reliability. Additionally, we exploit the multipath components and propose an aggregate time-domain feature combining time-of-flight, angle-of-arrival and received path-wise powers. Importantly, the temporal correlations are also harnessed in the form of sequence processing neural networks, which prove to be of particular benefit for vehicular UEs. Realistic numerical evaluations in large-scale line-of-sight (LoS)-obstructed urban environment with moving vehicles are provided, building on full ray-tracing based propagation modeling. The results show the robustness of the proposed CSI features in terms of positioning accuracy, and that the proposed models reliably localize UEs even in the absence of a LoS path, clearly outperforming the state-of-the-art with similar or even reduced processing complexity. The proposed sequence-based neural network model is capable of tracking the UE position, speed and heading simultaneously despite the strong uncertainties in the CSI measurements. Finally, it is shown that differences between the training and online inference environments can be efficiently addressed and alleviated through transfer learning.


title: Gigantic-oxidative atomically layered epitaxy for designed complex oxides

abstract: In designing material functionality within the intricate realm of transition metal oxides, lattice structure and d-orbital occupancy are two principal determinants of the correlated physical properties, such as superconductivity. However, the modulation of these two factors is inherently limited by the need to balance thermodynamic stability, kinetic mobility, and synthesis precision, particularly for oxidation-demanding phases. We introduce a methodology, namely the gigantic-oxidative atomically layered epitaxy (GOAL-Epitaxy), enhancing oxidation power 3-4 orders of magnitude beyond oxide molecular beam epitaxy (OMBE) and pulsed laser deposition (PLD), while ensuring atomic-layer-by-layer growth of designed complex structures. Consequently, thermodynamic stability is markedly augmented at elevated temperatures, improving growth kinetics. We demonstrate the accurate synthesis of complex nickelates and cuprates, especially an artificially designed structure as a parent of high-temperature superconductivity, in which alternating single and double NiO2 layers possess distinct nominal d-orbital occupancy. The GOAL-Epitaxy enables material discovery within the vastly broadened growth parameter space.


title: Carrot and Stick: Inducing Self-Motivation with Positive & Negative Feedback

abstract: Positive thinking is thought to be an important component of self-motivation in various practical fields such as education and the workplace. Previous work, including sentiment transfer and positive reframing, has focused on the positive side of language. However, self-motivation that drives people to reach their goals has not yet been studied from a computational perspective. Moreover, negative feedback has not yet been explored, even though positive and negative feedback are both necessary to grow self-motivation. To facilitate self-motivation, we propose CArrot and STICk (CASTIC) dataset, consisting of 12,590 sentences with 5 different strategies for enhancing self-motivation. Our data and code are publicly available at here.


title: Why are non-radial solar eruptions less frequent than radial ones?

abstract: Coronal mass ejections from the Sun are not always initiated along a radial trajectory; such non-radial eruptions are well known to be caused by the asymmetry of the pre-eruption magnetic configuration, which is primarily determined by the uneven distribution of magnetic flux at the photosphere. Therefore, it is naturally expected that the non-radial eruptions should be rather common, at least as frequent as radial ones, given the typically asymmetrical nature of photospheric magnetic flux. However, statistical studies have shown that only a small fraction of eruptions display non-radial behavior. Here we aim to shed light on this counterintuitive fact, based on a series of numerical simulations of eruption initiation in bipolar fields with different asymmetric flux distributions. As the asymmetry of the flux distribution increases, the eruption direction tends to deviate further away from the radial path, accompanied by a decrease in eruption intensity. In case of too strong asymmetry, no eruption is triggered, indicating that excessively inclined eruptions cannot occur. Therefore, our simulations suggest that asymmetry plays a negative role in producing eruption, potentially explaining the lesser frequency of non-radial solar eruptions compared to radial ones. With increasing asymmetry, the degree of non-potentiality the field can attain is reduced. Consequently, the intensity of the pre-eruption current sheet decreases, and reconnection becomes less efficient, resulting in weaker eruptions.


title: YEAST: Yet Another Sequential Test

abstract: Large-scale randomised experiments have become a standard tool for developing products and improving user experience. To reduce losses from shipping harmful changes experimental results are, in practice, often checked repeatedly, which leads to inflated false alarm rates. To alleviate this problem, one can use sequential testing techniques as they control false discovery rates despite repeated checks. While multiple sequential testing methods exist in the literature, they either restrict the number of interim checks the experimenter can perform or have tuning parameters that require calibration. In this paper, we propose a novel sequential testing method that does not limit the number of interim checks and at the same time does not have any tuning parameters. The proposed method is new and does not stem from existing experiment monitoring procedures. It controls false discovery rates by ``inverting'' a bound on the threshold crossing probability derived from a classical maximal inequality. We demonstrate both in simulations and using real-world data that the proposed method outperforms current state-of-the-art sequential tests for continuous test monitoring. In addition, we illustrate the method's effectiveness with a real-world application on a major online fashion platform.


title: The Privileged Students: On the Value of Initialization in Multilingual Knowledge Distillation

abstract: Knowledge distillation (KD) has proven to be a successful strategy to improve the performance of a smaller model in many NLP tasks. However, most of the work in KD only explores monolingual scenarios. In this paper, we investigate the value of KD in multilingual settings. We find the significance of KD and model initialization by analyzing how well the student model acquires multilingual knowledge from the teacher model. Our proposed method emphasizes copying the teacher model's weights directly to the student model to enhance initialization. Our finding shows that model initialization using copy-weight from the fine-tuned teacher contributes the most compared to the distillation process itself across various multilingual settings. Furthermore, we demonstrate that efficient weight initialization preserves multilingual capabilities even in low-resource scenarios.


title: OAML: Outlier Aware Metric Learning for OOD Detection Enhancement

abstract: Out-of-distribution (OOD) detection methods have been developed to identify objects that a model has not seen during training. The Outlier Exposure (OE) methods use auxiliary datasets to train OOD detectors directly. However, the collection and learning of representative OOD samples may pose challenges. To tackle these issues, we propose the Outlier Aware Metric Learning (OAML) framework. The main idea of our method is to use the k-NN algorithm and Stable Diffusion model to generate outliers for training at the feature level without making any distributional assumptions. To increase feature discrepancies in the semantic space, we develop a mutual information-based contrastive learning approach for learning from OOD data effectively. Both theoretical and empirical results confirm the effectiveness of this contrastive learning technique. Furthermore, we incorporate knowledge distillation into our learning framework to prevent degradation of in-distribution classification accuracy. The combination of contrastive learning and knowledge distillation algorithms significantly enhances the performance of OOD detection. Experimental results across various datasets show that our method significantly outperforms previous OE methods.


title: NARRepair: Non-Autoregressive Code Generation Model for Automatic Program Repair

abstract: With the advancement of deep learning techniques, the performance of Automatic Program Repair(APR) techniques has reached a new level. Previous deep learning-based APR techniques essentially modified program sentences in the Autoregressive(AR) manner, which predicts future values based on past values. Due to the manner of word-by-word generation, the AR-based APR technique has a huge time delay. This negative consequence overshadows the widespread adoption of APR techniques in real-life software development. To address the issue, we aim to apply the Non-Autoregressive(NAR) method to the APR task, which can output target code in a parallel manner to avoid huge inference delays. To effectively adapt the NAR manner for the APR task, we in this paper propose NARRepair, the first customized NAR code generation model for the APR task. The NARRepair features three major novelties, including 1) using repair actions to alleviate the over-correction issue, 2) extracting dependency information from AST to alleviate the issue of lacking inter-word dependency information, 3) employing two-stage decoding to alleviate the issue of lacking contextual information. We evaluated NARRepair on three widely used datasets in the APR community, and the results show that our technique can significantly improve the inference speed while maintaining high repair accuracy.


title: SyROCCo: Enhancing Systematic Reviews using Machine Learning

abstract: The sheer number of research outputs published every year makes systematic reviewing increasingly time- and resource-intensive. This paper explores the use of machine learning techniques to help navigate the systematic review process. ML has previously been used to reliably 'screen' articles for review - that is, identify relevant articles based on reviewers' inclusion criteria. The application of ML techniques to subsequent stages of a review, however, such as data extraction and evidence mapping, is in its infancy. We therefore set out to develop a series of tools that would assist in the profiling and analysis of 1,952 publications on the theme of 'outcomes-based contracting'. Tools were developed for the following tasks: assign publications into 'policy area' categories; identify and extract key information for evidence mapping, such as organisations, laws, and geographical information; connect the evidence base to an existing dataset on the same topic; and identify subgroups of articles that may share thematic content. An interactive tool using these techniques and a public dataset with their outputs have been released. Our results demonstrate the utility of ML techniques to enhance evidence accessibility and analysis within the systematic review processes. These efforts show promise in potentially yielding substantial efficiencies for future systematic reviewing and for broadening their analytical scope. Our work suggests that there may be implications for the ease with which policymakers and practitioners can access evidence. While ML techniques seem poised to play a significant role in bridging the gap between research and policy by offering innovative ways of gathering, accessing, and analysing data from systematic reviews, we also highlight their current limitations and the need to exercise caution in their application, particularly given the potential for errors and biases.


title: Evaluating the Ability of Large Language Models to Reason about Cardinal Directions

abstract: We investigate the abilities of a representative set of Large language Models (LLMs) to reason about cardinal directions (CDs). To do so, we create two datasets: the first, co-created with ChatGPT, focuses largely on recall of world knowledge about CDs; the second is generated from a set of templates, comprehensively testing an LLM's ability to determine the correct CD given a particular scenario. The templates allow for a number of degrees of variation such as means of locomotion of the agent involved, and whether set in the first , second or third person. Even with a temperature setting of zero, Our experiments show that although LLMs are able to perform well in the simpler dataset, in the second more complex dataset no LLM is able to reliably determine the correct CD, even with a temperature setting of zero.


title: Towards Better Graph-based Cross-document Relation Extraction via Non-bridge Entity Enhancement and Prediction Debiasing

abstract: Cross-document Relation Extraction aims to predict the relation between target entities located in different documents. In this regard, the dominant models commonly retain useful information for relation prediction via bridge entities, which allows the model to elaborately capture the intrinsic interdependence between target entities. However, these studies ignore the non-bridge entities, each of which co-occurs with only one target entity and offers the semantic association between target entities for relation prediction. Besides, the commonly-used dataset--CodRED contains substantial NA instances, leading to the prediction bias during inference. To address these issues, in this paper, we propose a novel graph-based cross-document RE model with non-bridge entity enhancement and prediction debiasing. Specifically, we use a unified entity graph to integrate numerous non-bridge entities with target entities and bridge entities, modeling various associations between them, and then use a graph recurrent network to encode this graph. Finally, we introduce a novel debiasing strategy to calibrate the original prediction distribution. Experimental results on the closed and open settings show that our model significantly outperforms all baselines, including the GPT-3.5-turbo and InstructUIE, achieving state-of-the-art performance. Particularly, our model obtains 66.23% and 55.87% AUC points in the official leaderboard\footnote{\url{https://codalab.lisn.upsaclay.fr/competitions/3770#results}} under the two settings, respectively, ranking the first place in all submissions since December 2023. Our code is available at https://github.com/DeepLearnXMU/CoRE-NEPD.


title: Conditional Bayesian Quadrature

abstract: We propose a novel approach for estimating conditional or parametric expectations in the setting where obtaining samples or evaluating integrands is costly. Through the framework of probabilistic numerical methods (such as Bayesian quadrature), our novel approach allows to incorporates prior information about the integrands especially the prior smoothness knowledge about the integrands and the conditional expectation. As a result, our approach provides a way of quantifying uncertainty and leads to a fast convergence rate, which is confirmed both theoretically and empirically on challenging tasks in Bayesian sensitivity analysis, computational finance and decision making under uncertainty.


title: GIM: A Million-scale Benchmark for Generative Image Manipulation Detection and Localization

abstract: The extraordinary ability of generative models emerges as a new trend in image editing and generating realistic images, posing a serious threat to the trustworthiness of multimedia data and driving the research of image manipulation detection and location(IMDL). However, the lack of a large-scale data foundation makes IMDL task unattainable. In this paper, a local manipulation pipeline is designed, incorporating the powerful SAM, ChatGPT and generative models. Upon this basis, We propose the GIM dataset, which has the following advantages: 1) Large scale, including over one million pairs of AI-manipulated images and real images. 2) Rich Image Content, encompassing a broad range of image classes 3) Diverse Generative Manipulation, manipulated images with state-of-the-art generators and various manipulation tasks. The aforementioned advantages allow for a more comprehensive evaluation of IMDL methods, extending their applicability to diverse images. We introduce two benchmark settings to evaluate the generalization capability and comprehensive performance of baseline methods. In addition, we propose a novel IMDL framework, termed GIMFormer, which consists of a ShadowTracer, Frequency-Spatial Block (FSB), and a Multi-window Anomalous Modelling (MWAM) Module. Extensive experiments on the GIM demonstrate that GIMFormer surpasses previous state-of-the-art works significantly on two different benchmarks.


title: Terahertz photocurrent probe of quantum geometry and interactions in magic-angle twisted bilayer graphene

abstract: Moir\'e materials represent strongly interacting electron systems bridging topological and correlated physics. Despite significant advances, decoding wavefunction properties underlying the quantum geometry remains challenging. Here, we utilize polarization-resolved photocurrent measurements to probe magic-angle twisted bilayer graphene, leveraging its sensitivity to the Berry connection that encompasses quantum "textures" of electron wavefunctions. Using terahertz light resonant with optical transitions of its flat bands, we observe bulk photocurrents driven by broken symmetries and reveal the interplay between electron interactions and quantum geometry. We observe inversion-breaking gapped states undetectable through quantum transport, sharp changes in the polarization axes caused by interaction-induced band renormalization, and recurring photocurrent patterns at integer fillings of the moir\'e unit cell that track the evolution of quantum geometry through the cascade of phase transitions. The large and tunable terahertz response intrinsic to flat-band systems offers direct insights into the quantum geometry of interacting electrons and paves the way for innovative terahertz quantum technologies.


title: The fate of the interstellar medium in early-type galaxies. IV. The impact of stellar feedback, mergers, and black holes on the cold ISM in simulated galaxies

abstract: Removing cold interstellar medium (ISM) from a galaxy is central to quenching star formation. However, the exact mechanism of this process remains unclear. The objective of this work is to find the mechanism responsible for dust and gas removal in simulated early-type galaxies (ETGs). A statistically significant sample of massive (M_*>$10^{10}$M$_\odot$), simulated ETG in a redshift range of 0.02--0.32 is studied in the context of its ISM properties. In particular, we investigate the cold dust and gas removal timescales, the cold gas inflows, and their relation with black hole (BH) mass. We also investigate the evolution of galaxies in the dust vs. star formation rate (SFR) plane and the influence of merger events. We find agreement with previous observational works considering the timescales of dust and HI removal from ETGs. When considering the dust-to-stellar mass ratio as a function of time in simulations, we recovered a similar decline as in the observational sample as a function of stellar age, validating its use for timing the ISM decline. Moreover, we recover the observed relation between dust mass and SFR for actively star-forming galaxies as well as for passive ETGs. We also show that starburst galaxies form their own sequence on the dust vs. SFR plot in a form $\log(M_{\rm dust, SB})= 0.913\times \log({\rm SFR}) + 6.533$ with $2\sigma$ scatter of 0.32. Finally, we find that type II supernova reverse shocks dominate the dust destruction at the early stages of ETG evolution, while at later times stellar feedback becomes more important. We show that merger events lead to morphological transformations by increasing the bulge-to-total stellar mass ratio followed by an increase in BH masses. The BH feedback resulting from radio mode accretion prevents the hot halo gas from cooling, indirectly leading to a decrease in the SFR.


title: Topological Phases for Extended Objects: Semiclassical Phase-Space Approach with Tensorial Coordinates

abstract: It has long been established that certain higher-dimensional topological phases of matter support extended objects like quasi-strings and quasi-membranes in their bulk states. In this study, we investigate the physics of these topological systems using a phase-space approach in the semiclassical regime, incorporating tensorial coordinates related to the extended objects. Specifically, we explore the semiclassical currents associated to open quasi-strings in topological phases in three spatial dimensions, considering the presence of both coordinate-space Kalb-Ramond fields and momentum-space tensor Berry connections. Our results show that the currents associated to the endpoints of open quasi-strings on the system's boundary exhibit a quantized Hall response. This formalism accurately reproduces the boundary response as predicted by an Abelian BF theory proving a novel way to study extended objects in topological matter.


title: Token-based Decision Criteria Are Suboptimal in In-context Learning

abstract: In-Context Learning (ICL) typically utilizes classification criteria from probabilities of manually selected label tokens. However, we argue that such token-based classification criteria lead to suboptimal decision boundaries, despite delicate calibrations through translation and constrained rotation. To address this problem, we propose Hidden Calibration, which renounces token probabilities and uses the nearest centroid classifier on the LM's last hidden states. In detail, we use the nearest centroid classification on the hidden states, assigning the category of the nearest centroid previously observed from a few-shot calibration set to the test sample as the predicted label. Our experiments on 3 models and 10 classification datasets indicate that Hidden Calibration consistently outperforms current token-based calibrations by about 20%. Our further analysis demonstrates that Hidden Calibration finds better classification criteria with less inter-categories overlap, and LMs provide linearly separable intra-category clusters with the help of demonstrations, which supports Hidden Calibration and gives new insights into the conventional ICL.


title: C-LLM: Learn to Check Chinese Spelling Errors Character by Character

abstract: Chinese Spell Checking (CSC) aims to detect and correct spelling errors in sentences. Despite Large Language Models (LLMs) exhibit robust capabilities and are widely applied in various tasks, their performance on CSC is often unsatisfactory. We find that LLMs fail to meet the Chinese character-level constraints of the CSC task, namely equal length and phonetic similarity, leading to a performance bottleneck. Further analysis reveal that this issue stems from the granularity of tokenization, as current mixed character-word tokenization struggles to satisfy these character-level constraints. To address this issue, we propose C-LLM, a Large Language Model-based Chinese Spell Checking method that learns to check errors Character by Character. Character-level tokenization enables the model to learn character-level alignment, effectively mitigating issues related to character-level constraints. Furthermore, CSC is simplified to replication-dominated and substitution-supplemented tasks. Experiments on two CSC benchmarks demonstrate that C-LLM achieves an average improvement of 10% over existing methods. Specifically, it shows a 2.1% improvement in general scenarios and a significant 12% improvement in vertical domain scenarios, establishing state-of-the-art performance. The source code can be accessed at https://github.com/ktlKTL/C-LLM.


title: Character-Adapter: Prompt-Guided Region Control for High-Fidelity Character Customization

abstract: Customized image generation, which seeks to synthesize images with consistent characters, holds significant relevance for applications such as storytelling, portrait generation, and character design. However, previous approaches have encountered challenges in preserving characters with high-fidelity consistency due to inadequate feature extraction and concept confusion of reference characters. Therefore, we propose Character-Adapter, a plug-and-play framework designed to generate images that preserve the details of reference characters, ensuring high-fidelity consistency. Character-Adapter employs prompt-guided segmentation to ensure fine-grained regional features of reference characters and dynamic region-level adapters to mitigate concept confusion. Extensive experiments are conducted to validate the effectiveness of Character-Adapter. Both quantitative and qualitative results demonstrate that Character-Adapter achieves the state-of-the-art performance of consistent character generation, with an improvement of 24.8% compared with other methods


title: Analyzing performance of $f$-deformed displaced Fock state in continuous-variable quantum teleportation

abstract: Performing non-Gaussian operations, namely photon addition, photon subtraction, photon-addition-then-subtraction, photon-subtraction-then-addition can successfully enhance the fidelity of the continuous-variable quantum teleportation. However, a shortcoming of these non-Gaussian resources is that they are probabilistic in nature. In this article, we investigate the success probability of the non-Gaussian resources for optimal performance of the ideal teleportation protocol. To this end, we first derive the analytical expression for the two-mode entangled channel having $f$-deformed displaced Fock state or photon-added displaced Fock state or photon-subtracted displaced Fock state at one port and vacuum at another port of a symmetric beam-splitter. The generalized displaced Fock states are obtained by replacing the conventional bosonic functions by the nonlinear $f$-deformed operators such as $A=af(a^\dag a)$ and $B=af(a^\dag a)^{-1}$. The Wigner characteristic functions describing these three aforementioned non-Gaussian states are determined and utilized to attain the teleportation fidelity for input coherent and squeezed vacuum states. It is found that the nonlinear substitution leads to an enhancement in teleportation fidelity beyond the threshold limit. Moreover, the entangled photon-subtracted displaced Fock state demonstrates maximum efficiency as a quantum channel for teleporting single-mode coherent and squeezed states. We provide the squeezing regime values corresponding to the optimal performance of the non-Gaussian states considered, which will be of significant interest to the experimental fraternity. Further, we show that the entangled photon-added displaced Fock states have larger amount of entanglement but the entangled photon-subtracted displaced Fock states have stronger Einstein-Podolsky-Rosen correlation.


title: Apparent phase transitions and critical-like behavior in multi-component mixtures

abstract: Liquid-liquid phase separation has recently emerged as an important topic in the context of cellular organization. Within this context, there are multiple poorly understood features; for instance hints of critical behavior in the plasma membrane, and how homeostasis maintains phase separation. In this paper, using statistical mechanics, we show that finite size effects in multicomponent mixtures can induce the system to behave as-if it were near a critical point, which we term apparent transitions. The apparent transition temperature is naturally driven towards the ambient temperature of the system.


title: Improving robustness to corruptions with multiplicative weight perturbations

abstract: Deep neural networks (DNNs) excel on clean images but struggle with corrupted ones. Incorporating specific corruptions into the data augmentation pipeline can improve robustness to those corruptions but may harm performance on clean images and other types of distortion. In this paper, we introduce an alternative approach that improves the robustness of DNNs to a wide range of corruptions without compromising accuracy on clean images. We first demonstrate that input perturbations can be mimicked by multiplicative perturbations in the weight space. Leveraging this, we propose Data Augmentation via Multiplicative Perturbation (DAMP), a training method that optimizes DNNs under random multiplicative weight perturbations. We also examine the recently proposed Adaptive Sharpness-Aware Minimization (ASAM) and show that it optimizes DNNs under adversarial multiplicative weight perturbations. Experiments on image classification datasets (CIFAR-10/100, TinyImageNet and ImageNet) and neural network architectures (ResNet50, ViT-S/16) show that DAMP enhances model generalization performance in the presence of corruptions across different settings. Notably, DAMP is able to train a ViT-S/16 on ImageNet from scratch, reaching the top-1 error of 23.7% which is comparable to ResNet50 without extensive data augmentations.


title: Dirichlet type spaces in the unit bidisc

abstract: In this article, we prove that an analytic $2$-isometric left-inverse commuting pair on a Hilbert space always possess wandering subspace property. Along with this, we define Dirichlet-type space $\mathcal{D}^{2}(\boldsymbol{\mu})$ over the bidisc $\mathbb D^2$ for any measure $\boldsymbol{\mu}\in\mathcal{P}\mathcal{M}_{+}(\mathbb T^2).$ We prove that the pair $(M_{z_1},M_{z_2})$ of multiplication by the coordinate functions on $\mathcal{D}^{2}(\boldsymbol{\mu})$ is an analytic $2$-isometric left-inverse commuting pair and satisfies $\langle z_1^m z_2^n, z_1^p z_2^q \rangle_{\boldsymbol{\mu}} = \langle z_1^m, z_1^p \rangle_{\mathcal{D}(\mu_1)} \langle z_2^n, z_2^q \rangle_{\mathcal{D}(\mu_2)},$ for any $m,n,p,q\in\mathbb Z_{\geqslant 0}.$ Furthermore, the unitary equivalent class of the commuting analytic $2$-isometric pair $(M_{z_1},M_{z_2})$ on $\mathcal{D}^{2}(\boldsymbol{\mu})$ is identified using left-inverse commutativity and the above property of inner product.


title: Thermal Evolution of the IGM due to Lyman-{\alpha} photons during the Cosmic Dawn

abstract: The first star-forming objects which formed at high redshifts during the cosmic dawn (CD) also emitted photons between Lyman-$\alpha$ and Lyman-limit frequencies. These photons are instrumental in coupling the spin temperature of the neutral hydrogen (HI) atoms with the kinetic temperature of the intergalactic medium (IGM). Along with this coupling effect, these photons also impact the kinetic temperature by exchanging energy with the HI atoms. The injected Lyman-$\alpha$ photons in general cool the medium, while the continuum photons heat the medium. While studying this effect in the literature, quasi-static profile around the Lyman-$\alpha$ frequency is assumed. In this paper, we solve the time-dependent coupled dynamics of the photon intensity profile along with the evolution of the thermal state of the IGM and HI spin temperature. It is expected that, during the CD era, the IGM has a mix of continuum photons with 10-20% of injected photons. For this case, we show that the system reaches thermal equilibrium in around 1 Myr, with final temperature in the range 50-100 K. This time scale is comparable to the source lifetime of PopIII stars at high redshifts. One impact of switching off short-lived sources is that it can keep the system heated above the temperature of the quasi-static state. We also show that the quasi-static equilibrium for the continuum photons is only achieved on time scales of 100 Myr at $z\simeq 20$, comparable to the age of the Universe. We also briefly discuss how the Lyman-$\alpha$ induced heating can impact the 21 cm signal from CD.


title: Atomic diffraction by nanoholes in hexagonal boron nitride

abstract: Fabricating patterned nanostructures with matter waves can help to realise new nanophotonic devices. However, due to dispersion effects, designing patterns with nanoscale features is challenging. Here, we consider the propagation of a helium matter wave through different holes in hexagonal boron nitride (h-BN) as a case study for the weakest dispersion interaction and the matter wave's diffraction as it passes through the holes. We use a quantum-mechanical model to calculate the polarisability of edge atoms around the holes, where we observe polarization ripples of enhanced and reduced polarisabilities around the holes. We use these values to calculate van der Waals dispersion coefficients for the scattered helium atoms. We find that the resulting diffraction patterns are affected by the shape and size of the holes, where the smallest holes have a radius of just $6$~\AA. These results can be used to predict the resolution limits of nano-hole patterns on nanophotonic materials.


title: Hierarchical B-frame Video Coding for Long Group of Pictures

abstract: Learned video compression methods already outperform VVC in the low-delay (LD) case, but the random-access (RA) scenario remains challenging. Most works on learned RA video compression either use HEVC as an anchor or compare it to VVC in specific test conditions, using RGB-PSNR metric instead of Y-PSNR and avoiding comprehensive evaluation. Here, we present an end-to-end learned video codec for random access that combines training on long sequences of frames, rate allocation designed for hierarchical coding and content adaptation on inference. We show that under common test conditions (JVET-CTC), it achieves results comparable to VTM (VVC reference software) in terms of YUV-PSNR BD-Rate on some classes of videos, and outperforms it on almost all test sets in terms of VMAF BD-Rate. On average it surpasses open LD and RA end-to-end solutions in terms of VMAF and YUV BD-Rates.


title: Canonical quantization of the dark Dirac field and time asymmetry

abstract: We perform canonical quantization of the single-component, spin-zero field that was introduced by Dirac in 1971 and recently suggested as a candidate for dark matter by Bogomolny. The massive and massless cases are treated separately. Since in the massive case only positive-frequency modes are normalizable and regarded as physical, the mode expansion for the field involves annihilation operators only, making the quantization procedure particularly simple. The corresponding Hamiltonian of the system turns out to be unambiguous, with no need for normal ordering. The positive-energy requirement imposed on the second-quantized system leads to bosonic commutation relations, in agreement with the spin-statistics theorem. The boson nature of the positive-energy Dirac particles, which, evidently, have no antiparticles, hints at the possibility of a dark, background Bose-Einstein condensate that drives different parts of the universe in the same temporal direction. In the massless case, on the other hand, we explore the possibility of allowing the mode expansion to involve both positive- and negative-frequency components, which leads to the anticommutation relations, resulting in the fermionic behavior of the field in ultrarelativistic limit.


title: A Scotogenic model with U(1) symmetry and a scalar dark matter

abstract: We study a scotogenic model augmented with an additional U(1) gauge and a discrete Z2 symmetry. The lightest Z2-odd particle in our model becomes the dark matter (DM) candidate while tiny neutrino masses are realized at one loop. We explore the parameter space of the model for which the DM relic density is satisfied, and the correct low-energy neutrino observables are reproduced. The extended gauge symmetry includes beyond Standard Model (SM) particle spectrum consisting of vector-like fermions and scalars. We also highlight possible collider signatures of these particles at the LHC.


title: Euler constants from primes in arithmetic progression

abstract: Many Dirichlet series of number theoretic interest can be written as a product of generating series $\zeta_{\,d,a}(s)=\prod\limits_{p\equiv a\pmod{d}}(1-p^{-s})^{-1}$, with $p$ ranging over all the primes in the primitive residue class modulo $a\pmod{d}$, and a function $H(s)$ well-behaved around $s=1$. In such a case the corresponding Euler constant can be expressed in terms of the Euler constants $\gamma(d,a)$ of the series $\zeta_{\,d,a}(s)$ involved and the (numerically more harmless) term $H'(1)/H(1)$. Here we systematically study $\gamma(d,a)$, their numerical evaluation and discuss some examples.


title: The Derivation of The Probability of Error for BPSK, 16-QAM and 64-QAM in Rayleigh Fading Channel: A Unified Approach

abstract: Understanding the probability of error is paramount in the design and analysis of digital communication systems, particularly in Rayleigh fading channels where signal impairments are prevalent. This article presents a unified approach for deriving the probability of error formulations applicable to Binary Phase Shift Keying (BPSK), 16-Quadrature Amplitude Modulation (16-QAM), and 64-QAM in Rayleigh fading channels. This article presents a general approach to derive the probability of error formulations applicable to Binary Phase Shift Keying (BPSK), 16-Quadruple Amplitude Modulation (16-QAM) and 64-QAM in Rayleigh fading channels. The derivation process encompasses the unique characteristics of each modulation scheme and the statistical properties of Rayleigh fading providing a comprehensive framework to analyze error performance. By establishing a unified formulation, this approach simplifies the analysis and facilitates a deeper understanding of error probability behavior across different modulation schemes. The derived formulations offer insights into the impact of fading-induced impairments on system performance, allowing for accurate prediction and optimization of communication systems in real-world fading environments. The insights and techniques presented herein serve as a valuable resource for researchers, engineers, and practitioners engaged in the design and optimization of communication systems operating in challenging fading environments.


title: Parity-violating primordial gravitational waves from null energy condition violation

abstract: We investigate the parity-violating effects in primordial gravitational waves (GWs) due to null energy condition (NEC) violation in two very early universe scenarios: bounce-inflation and intermediate NEC violation during inflation. In both scenarios, we numerically solve the power spectra of parity-violating primordial GWs generated by coupling the background field and the spectator field with the Nieh-Yan term, respectively. We find that the background field can significantly enhance parity-violating effects at scales corresponding to the maximum of the GW power spectra. In contrast, the parity-violating effects produced by the spectator show significantly weaker observability even if the coupling constant is large. Therefore, in NEC-violating scenarios, the significant observable parity-violating effects in primordial GWs primarily arise from the physics directly related to NEC violation. This result highlights the potential of primordial GWs as crucial tools for exploring NEC-violating and parity-violating physics.


title: Constrained recursive kernel density/regression estimation by stochastic quasi-gradient methods

abstract: The paper considers nonparametric kernel density/regression estimation from a stochastic optimization point of view. The estimation problem is represented through a family of stochastic optimization problems. Recursive constrained estimators are obtained by application of stochastic (quasi)gradient methods to these problems, classical kernel estimates are derived as particular cases. Accuracy and rate of convergence of the obtained estimates are established, and asymptotically optimal estimation procedure parameters are found. The case of moving density/regression is particularly studied.


title: Survey of extended Main Sequence Turn-offs in Galactic Open Clusters: Stellar rotations from Gaia RVS spectra

abstract: The origin of extended main-sequence turn-offs (eMSTO) in star clusters younger than 2 Gyr still challenges our current understanding of stellar evolution. Exploiting data from Gaia Data Release 3 (DR3), we investigate eMSTOs in a large sample of 32 Galactic open clusters younger than 2.4 Gyr. We first validate Gaia rotational velocities from Radial Velocity Spectrometer (RVS) spectra by comparing them with literature values and assessing their correlation with magnetic activity measurements from LAMOST spectra. We detect a general positive correlation between turn-off color and projected stellar rotation, with slow-rotating stars predominantly found on the bluer side of the turn-off. Comparing our observations with theoretical models, we find that the eMSTO morphology is well-reproduced by a single population formed with a high rotation rate, and observed with rotation axis inclination ranging between 0$^\circ$ (pole-on) and 90$^\circ$ (edge-on). This contrasts with observations of Magellanic Clouds clusters, where a population of non-rotating stars appears to be ubiquitous in clusters younger than 700 Myr. However, we note that our interpretation, while successfully explaining the overall eMSTO morphology, cannot fully explain the observed projected rotational velocities. Additionally, two young clusters, NGC 3532 and NGC 2287, exhibit moderate evidence of a split main sequence in color and rotation, suggesting a possible small spread in the initial rotation rate. Finally, we advise caution in determining the ages of young clusters from non-rotating isochrones, as neglecting the effects of stellar rotation can impact the isochrone dating by up to factors of 5-20%.


title: Inference of Sequential Patterns for Neural Message Passing in Temporal Graphs

abstract: The modelling of temporal patterns in dynamic graphs is an important current research issue in the development of time-aware GNNs. Whether or not a specific sequence of events in a temporal graph constitutes a temporal pattern not only depends on the frequency of its occurrence. We consider whether it deviates from what is expected in a temporal graph where timestamps are randomly shuffled. While accounting for such a random baseline is important to model temporal patterns, it has mostly been ignored by current temporal graph neural networks. To address this issue we propose HYPA-DBGNN, a novel two-step approach that combines (i) the inference of anomalous sequential patterns in time series data on graphs based on a statistically principled null model, with (ii) a neural message passing approach that utilizes a higher-order De Bruijn graph whose edges capture overrepresented sequential patterns. Our method leverages hypergeometric graph ensembles to identify anomalous edges within both first- and higher-order De Bruijn graphs, which encode the temporal ordering of events. The model introduces an inductive bias that enhances model interpretability. We evaluate our approach for static node classification using benchmark datasets and a synthetic dataset that showcases its ability to incorporate the observed inductive bias regarding over- and under-represented temporal edges. We demonstrate the framework's effectiveness in detecting similar patterns within empirical datasets, resulting in superior performance compared to baseline methods in node classification tasks. To the best of our knowledge, our work is the first to introduce statistically informed GNNs that leverage temporal and causal sequence anomalies. HYPA-DBGNN represents a path for bridging the gap between statistical graph inference and neural graph representation learning, with potential applications to static GNNs.


title: Mapping Multi-Phase Metals in Star-forming Galaxies: a spatially resolved UV + Optical Study of NGC 5253

abstract: We present a pioneering spatially-resolved, multi-phase gas abundance study on the blue compact dwarf galaxy NGC~5253, targeting 10 star-forming (SF) clusters inside six FUV HST/COS pointings with co-spatial optical VLT/MUSE observations throughout the galaxy. The SF regions span a wide range of ages (1--15 Myr) and are distributed at different radii (50 -- 230 pc). We performed robust absorption-line profile fitting on the COS spectra, covering 1065--1430 \AA\ in the FUV, allowing an accurate computation of neutral-gas abundances for 13 different ions sampling 8 elements. These values were then compared with the ionized-gas abundances, measured using the direct method on MUSE integrated spectra inside analog COS apertures. Our multi-phase, spatially resolved comparisons find abundances which are lower in the neutral gas than the ionized gas by 0.22 dex, 0.80 dex and 0.58 dex for log(O/H), log(N/H) and log(N/O), respectively. We modeled the chemical abundance distributions and evaluated correlations as a function of radius and age. It was found that while N, O and N/O abundances decrease as a function of age in the ionized gas, they increase with age in the neutral gas. No strong correlations for N, O or N/O were observed as a function of radius. The N/O and N/H offsets between the phases were found to decrease with age, providing evidence that chemical enrichment happens differentially, first in the ionized-gas phase around 2--5 Myrs (due to N-rich Wolf-Rayet stars) and then mixing out into the cold neutral gas on longer timescales of 10--15 Myr.


title: LLaMA-MoE: Building Mixture-of-Experts from LLaMA with Continual Pre-training

abstract: Mixture-of-Experts (MoE) has gained increasing popularity as a promising framework for scaling up large language models (LLMs). However, training MoE from scratch in a large-scale setting still suffers from data-hungry and instability problems. Motivated by this limit, we investigate building MoE models from existing dense large language models. Specifically, based on the well-known LLaMA-2 7B model, we obtain an MoE model by: (1) Expert Construction, which partitions the parameters of original Feed-Forward Networks (FFNs) into multiple experts; (2) Continual Pre-training, which further trains the transformed MoE model and additional gate networks. In this paper, we comprehensively explore different methods for expert construction and various data sampling strategies for continual pre-training. After these stages, our LLaMA-MoE models could maintain language abilities and route the input tokens to specific experts with part of the parameters activated. Empirically, by training 200B tokens, LLaMA-MoE-3.5B models significantly outperform dense models that contain similar activation parameters. The source codes and models are available at https://github.com/pjlab-sys4nlp/llama-moe .


title: Homomorphisms and Embeddings of STRIPS Planning Models

abstract: Determining whether two STRIPS planning instances are isomorphic is the simplest form of comparison between planning instances. It is also a particular case of the problem concerned with finding an isomorphism between a planning instance $P$ and a sub-instance of another instance $P_0$ . One application of such a mapping is to efficiently produce a compiled form containing all solutions to P from a compiled form containing all solutions to $P_0$. We also introduce the notion of embedding from an instance $P$ to another instance $P_0$, which allows us to deduce that $P_0$ has no solution-plan if $P$ is unsolvable. In this paper, we study the complexity of these problems. We show that the first is GI-complete, and can thus be solved, in theory, in quasi-polynomial time. While we prove the remaining problems to be NP-complete, we propose an algorithm to build an isomorphism, when possible. We report extensive experimental trials on benchmark problems which demonstrate conclusively that applying constraint propagation in preprocessing can greatly improve the efficiency of a SAT solver.


title: Multi-qubit state visualizations to support problem solving $-$ a pilot study

abstract: In the rapidly evolving interdisciplinary field of quantum information science and technology, a big obstacle is the necessity of understanding high-level mathematics to solve complex problems. Visualizations like the (dimensional) circle notation enable us to visualize not only single-qubit but also complex multi-qubit states, entanglement, and quantum algorithms. Current findings in educational research suggest that incorporating visualizations in settings of problem solving can have beneficial effects on students' performance and cognitive load compared to solely relying on symbolic problem solving content. In this pilot study, we aim to take a first step to identify in which contexts students benefit from the presentation of visualizations of multi-qubit systems in addition to mathematical formalism. We compare students' performance, time taken, and cognitive load when solving problems using the mathematical-symbolic Dirac notation alone with using it accompanied by the circle notation or the dimensional circle notation in single- and multi-qubit systems. Although little overall differences in students' performance can be detected depending on the presented representations, we observe that problem-solving performance is student- and context-dependent. In addition, the results indicate reduced cognitive load when participants are presented with visualization. The results are discussed with respect to relevant design aspects for future studies.


title: Efficient k-means with Individual Fairness via Exponential Tilting

abstract: In location-based resource allocation scenarios, the distances between each individual and the facility are desired to be approximately equal, thereby ensuring fairness. Individually fair clustering is often employed to achieve the principle of treating all points equally, which can be applied in these scenarios. This paper proposes a novel algorithm, tilted k-means (TKM), aiming to achieve individual fairness in clustering. We integrate the exponential tilting into the sum of squared errors (SSE) to formulate a novel objective function called tilted SSE. We demonstrate that the tilted SSE can generalize to SSE and employ the coordinate descent and first-order gradient method for optimization. We propose a novel fairness metric, the variance of the distances within each cluster, which can alleviate the Matthew Effect typically caused by existing fairness metrics. Our theoretical analysis demonstrates that the well-known k-means++ incurs a multiplicative error of O(k log k), and we establish the convergence of TKM under mild conditions. In terms of fairness, we prove that the variance generated by TKM decreases with a scaled hyperparameter. In terms of efficiency, we demonstrate the time complexity is linear with the dataset size. Our experiments demonstrate that TKM outperforms state-of-the-art methods in effectiveness, fairness, and efficiency.


title: Unisingular Specht Modules

abstract: Let $G$ be a finite group and $\rho:G \to \GL(V)$ a finite dimensional representation of $G$. We say that $\rho$ is unisingular if $\det(1-\rho(g)) = 0$ for all $g \in G$. Building on previous work in \cite{cullinan}, we consider the symmetric groups $S_n$ and prove that certain families of Specht modules are always unisingular as well as raise new questions for future study.


title: Non-Hermitian Floquet dynamics in absorption spectroscopy

abstract: A theory of the absorption of a laser field by an atomic or condensed matter medium is presented for the case where the medium is also interacting with a strong electromagnetic field. The rotating wave approximation is not assumed for the latter. It is shown that in the weak probe limit the Lindblad master equation reduces to a smaller system of linear equations for the relevant steady state coherences. In this limit, the complex susceptibility of the medium can be expressed in terms of individual contributions of decaying dressed states, the latter being eigenstates of a non-Hermitian Floquet Hamiltonian.

categories: quant-ph cond-mat.other physics.atom-ph physics.comp-ph


title: GNNTAL:A Novel Model for Identifying Critical Nodes in Complex Networks

abstract: Identification of critical nodes is a prominent topic in the study of complex networks. Numerous methods have been proposed, yet most exhibit inherent limitations. Traditional approaches primarily analyze specific structural features of the network; however, node influence is typically the result of a combination of multiple factors. Machine learning-based methods struggle to effectively represent the complex characteristics of network structures through suitable embedding techniques and require substantial data for training, rendering them prohibitively costly for large-scale networks. To address these challenges, this paper presents an active learning model based on GraphSAGE and Transformer, named GNNTAL. This model is initially pre-trained on random or synthetic networks and subsequently fine-tuned on real-world networks by selecting a few representative nodes using K-Means clustering and uncertainty sampling. This approach offers two main advantages: (1) it significantly reduces training costs; (2) it simultaneously incorporates both local and global features. A series of comparative experiments conducted on twelve real-world networks demonstrate that GNNTAL achieves superior performance. Additionally, this paper proposes an influence maximization method based on the predictions of the GNNTAL model, which achieves optimal performance without the need for complex computations. Finally, the paper analyses certain limitations of the GNNTAL model and suggests potential solutions.


title: Projection factor and radii of Type II Cepheids

abstract: Type II Cepheids are old pulsating stars that can be used to trace the distribution of an old stellar population and to measure distances to globular clusters and galaxies within several megaparsecs. One method that can be used to measure the distances of Type II Cepheids relies on period-luminosity relations, which are quite widely explored in the literature. The semi-geometrical Baade-Wesselink technique is another method that allows distances of radially pulsating stars, such as Type II Cepheids, to be measured if the so-called projection factor is known. Using the surface brightness-colour relation version of the Baade-Wesselink technique, we determined the projection factors and radii of eight nearby BL Her type stars. We adopted accurate distances of target stars from Gaia Data Release 3. Time series photometry in the V and K bands have been collected with two telescopes located at the Rolf Chini Cerro Murphy Observatory, while spectroscopic data have been obtained with instruments hosted by the European Southern Observatory. The measured projection factors for the stars with good quality data are in the range between 1.21 and 1.36. The typical uncertainty of projection factors is 0.1. The mean value is 1.330$\pm$0.058, which gives the uncertainty of $\sim$4%. The main sources of uncertainty on the p-factors are statistical errors of the Baade-Wesselink fit and parallax. In the case of radii, the biggest contribution to the error budget comes from the K band photometry systematic uncertainty and parallax. The determined radii allowed us to construct the period-radius relation for BL Her stars. Our period-radius relation is in good agreement with the previous empirical calibration, while two theoretical calibrations found in the literature agree with our relation within 2$\sigma$. We also confirm that BL Her and RR Lyr stars obey an apparent common period-radius relation.


title: EVALALIGN: Supervised Fine-Tuning Multimodal LLMs with Human-Aligned Data for Evaluating Text-to-Image Models

abstract: The recent advancements in text-to-image generative models have been remarkable. Yet, the field suffers from a lack of evaluation metrics that accurately reflect the performance of these models, particularly lacking fine-grained metrics that can guide the optimization of the models. In this paper, we propose EvalAlign, a metric characterized by its accuracy, stability, and fine granularity. Our approach leverages the capabilities of Multimodal Large Language Models (MLLMs) pre-trained on extensive datasets. We develop evaluation protocols that focus on two key dimensions: image faithfulness and text-image alignment. Each protocol comprises a set of detailed, fine-grained instructions linked to specific scoring options, enabling precise manual scoring of the generated images. We Supervised Fine-Tune (SFT) the MLLM to align closely with human evaluative judgments, resulting in a robust evaluation model. Our comprehensive tests across 24 text-to-image generation models demonstrate that EvalAlign not only provides superior metric stability but also aligns more closely with human preferences than existing metrics, confirming its effectiveness and utility in model assessment.


title: Are there identifiable structural parts in the sentence embedding whole?

abstract: Sentence embeddings from transformer models encode in a fixed length vector much linguistic information. We explore the hypothesis that these embeddings consist of overlapping layers of information that can be separated, and on which specific types of information -- such as information about chunks and their structural and semantic properties -- can be detected. We show that this is the case using a dataset consisting of sentences with known chunk structure, and two linguistic intelligence datasets, solving which relies on detecting chunks and their grammatical number, and respectively, their semantic roles, and through analyses of the performance on the tasks and of the internal representations built during learning.


title: FASTC: A Fast Attentional Framework for Semantic Traversability Classification Using Point Cloud

abstract: Producing traversability maps and understanding the surroundings are crucial prerequisites for autonomous navigation. In this paper, we address the problem of traversability assessment using point clouds. We propose a novel pillar feature extraction module that utilizes PointNet to capture features from point clouds organized in vertical volume and a 2D encoder-decoder structure to conduct traversability classification instead of the widely used 3D convolutions. This results in less computational cost while even better performance is achieved at the same time. We then propose a new spatio-temporal attention module to fuse multi-frame information, which can properly handle the varying density problem of LIDAR point clouds, and this makes our module able to assess distant areas more accurately. Comprehensive experimental results on augmented Semantic KITTI and RELLIS-3D datasets show that our method is able to achieve superior performance over existing approaches both quantitatively and quantitatively.


title: Noisy Neighbors: Efficient membership inference attacks against LLMs

abstract: The potential of transformer-based LLMs risks being hindered by privacy concerns due to their reliance on extensive datasets, possibly including sensitive information. Regulatory measures like GDPR and CCPA call for using robust auditing tools to address potential privacy issues, with Membership Inference Attacks (MIA) being the primary method for assessing LLMs' privacy risks. Differently from traditional MIA approaches, often requiring computationally intensive training of additional models, this paper introduces an efficient methodology that generates \textit{noisy neighbors} for a target sample by adding stochastic noise in the embedding space, requiring operating the target model in inference mode only. Our findings demonstrate that this approach closely matches the effectiveness of employing shadow models, showing its usability in practical privacy auditing scenarios.


title: Can a qudit carry more information than a dit?

abstract: Conventional wisdom suggests that within a fixed preparation-measurement setup, a qubit system offers no advantage over a bit. This indeed holds true when considering the standard communication and the famous Holevo bound then formalizes the statement that one qubit can encode at most one bit of information. However, there exist subtle differences between these two physical systems that, when properly exploited, can be converted into practical applications. We begin by discussing the similarities between qudits and dits as information carriers. Then we recall a general framework for communication tasks and review some differences that qudits and dits have. In the end, we present a simple communication application that utilizes the quantum character of the qubit.


title: Data Augmentation of Multi-turn Psychological Dialogue via Knowledge-driven Progressive Thought Prompting

abstract: Existing dialogue data augmentation (DA) techniques predominantly focus on augmenting utterance-level dialogues, which makes it difficult to take dialogue contextual information into account. The advent of large language models (LLMs) has simplified the implementation of multi-turn dialogues. Due to absence of professional understanding and knowledge, it remains challenging to deliver satisfactory performance in low-resource domain, like psychological dialogue dialogue. DA involves creating new training or prompting data based on the existing data, which help the model better understand and generate psychology-related responses. In this paper, we aim to address the issue of multi-turn dialogue data augmentation for boosted performance in the psychology domain. We propose a knowledge-driven progressive thought prompting method to guide LLM to generate multi-turn psychology-related dialogue. This method integrates a progressive thought generator, a psychology knowledge generator, and a multi-turn dialogue generator. The thought generated by the progressive thought generator serves as a prompt to prevent the generated dialogue from having significant semantic deviations, while the psychology knowledge generator produces psychological knowledge to serve as the dialogue history for the LLM, guiding the dialogue generator to create multi-turn psychological dialogue. To ensure the precision of multi-turn psychological dialogue generation by LLM, a meticulous professional evaluation is required. Extensive experiments conducted on three datasets related to psychological dialogue verify the effectiveness of the proposed method.


title: Star+: A New Multi-Domain Model for CTR Prediction

abstract: In this paper, we introduce Star+, a novel multi-domain model for click-through rate (CTR) prediction inspired by the Star model. Traditional single-domain approaches and existing multi-task learning techniques face challenges in multi-domain environments due to their inability to capture domain-specific data distributions and complex inter-domain relationships. Star+ addresses these limitations by enhancing the interaction between shared and domain-specific information through various fusion strategies, such as add, adaptive add, concatenation, and gating fusions, to find the optimal balance between domain-specific and shared information. We also investigate the impact of different normalization techniques, including layer normalization, batch normalization, and partition normalization, on the performance of our model. Our extensive experiments on both industrial and public datasets demonstrate that Star+ significantly improves prediction accuracy and efficiency. This work contributes to the advancement of recommendation systems by providing a robust, scalable, and adaptive solution for multi-domain environments.


title: Biologically relevant finite-size effects in a driven lattice gas with particle pausing and dynamical defects

abstract: In this article we present a comprehensive study of the totally asymmetric simple exclusion process with pausing particles (pTASEP), a model initially introduced to describe RNAP dynamics during transcription. We extend previous mean-field approaches and demonstrate that the pTASEP is equivalent to the exclusion process with dynamical defects (ddTASEP), thus broadening the scope of our investigation to a larger class of problems related to transcription and translation. We extend the mean-field theory to the open boundary case, revealing the system's phase diagram and critical values of entry and exit rates. However, we identify a significant discrepancy between theory and simulations in a region of the parameter space, indicating severe finite-size effects. To address this, we develop a single-cluster approximation that captures the relationship between current and lattice size, providing a more accurate representation of the system's dynamics. Finally, we extend our approach to open boundary conditions, demonstrating its applicability in different scenarios. Our findings underscore the importance of considering finite-size effects, often overlooked in the literature, when modelling biological processes such as transcription and translation.


title: A Discussion of Arnold's Limit Problem and its Geometric Argument

abstract: Upon re-examining Arnold's established lemma for explaining his famous limit problem, we have determined that while the lemma itself is correct, there is a defect in the original geometric proof. In this paper, we prove the correctness of the lemma using methods of power series, and construct a counterexample to illustrate the defect in Arnold's geometric proof.


title: Differentiable Distributionally Robust Optimization Layers

abstract: In recent years, there has been a growing research interest in decision-focused learning, which embeds optimization problems as a layer in learning pipelines and demonstrates a superior performance than the prediction-focused approach. However, for distributionally robust optimization (DRO), a popular paradigm for decision-making under uncertainty, it is still unknown how to embed it as a layer, i.e., how to differentiate decisions with respect to an ambiguity set. In this paper, we develop such differentiable DRO layers for generic mixed-integer DRO problems with parameterized second-order conic ambiguity sets and discuss its extension to Wasserstein ambiguity sets. To differentiate the mixed-integer decisions, we propose a novel dual-view methodology by handling continuous and discrete parts of decisions via different principles. Specifically, we construct a differentiable energy-based surrogate to implement the dual-view methodology and use importance sampling to estimate its gradient. We further prove that such a surrogate enjoys the asymptotic convergency under regularization. As an application of the proposed differentiable DRO layers, we develop a novel decision-focused learning pipeline for contextual distributionally robust decision-making tasks and compare it with the prediction-focused approach in experiments.


title: ChatGPT's financial discrimination between rich and poor -- misaligned with human behavior and expectations

abstract: ChatGPT disrupted the application of machine-learning methods and drastically reduced the usage barrier. Chatbots are now widely used in a lot of different situations. They provide advice, assist in writing source code, or assess and summarize information from various sources. However, their scope is not only limited to aiding humans; they can also be used to take on tasks like negotiating or bargaining. To understand the implications of Chatbot usage on bargaining situations, we conduct a laboratory experiment with the ultimatum game. In the ultimatum game, two human players interact: The receiver decides on accepting or rejecting a monetary offer from the proposer. To shed light on the new bargaining situation, we let ChatGPT provide an offer to a human player. In the novel design, we vary the wealth of the receivers. Our results indicate that humans have the same beliefs about other humans and chatbots. However, our results contradict these beliefs in an important point: Humans favor poor receivers as correctly anticipated by the humans, but ChatGPT favors rich receivers which the humans did not expect to happen. These results imply that ChatGPT's answers are not aligned with those of humans and that humans do not anticipate this difference.


title: An Improved Algorithm to Identify More Arbitrage Opportunities on Decentralized Exchanges

abstract: In decentralized exchanges (DEXs), the arbitrage paths exist abundantly in the form of both arbitrage loops (e.g. the arbitrage path starts from token A and back to token A again in the end, A, B,..., A) and non-loops (e.g. the arbitrage path starts from token A and stops at a different token N, A, B,..., N). The Moore-Bellman-Ford algorithm, often coupled with the ``walk to the root" technique, is commonly employed for detecting arbitrage loops in the token graph of decentralized exchanges (DEXs) such as Uniswap. However, a limitation of this algorithm is its ability to recognize only a limited number of arbitrage loops in each run. Additionally, it cannot specify the starting token of the detected arbitrage loops, further constraining its effectiveness in certain scenarios. Another limitation of this algorithm is its incapacity to detect non-loop arbitrage paths between any specified pairs of tokens. In this paper, we develop a new method to solve these problems by combining the line graph and a modified Moore-Bellman-Ford algorithm (MMBF). This method can help to find more arbitrage loops by detecting at least one arbitrage loop starting from any specified tokens in the DEXs and can detect the non-loop arbitrage paths between any pair of tokens. Then, we applied our algorithm to Uniswap V2 and found more arbitrage loops and non-loops indeed compared with applying the Moore-Bellman-Ford (MBF) combined algorithm. The found arbitrage profit by our method in some arbitrage paths can be even as high as one million dollars, far larger than that found by the MBF combined algorithm. Finally, we statistically compare the distribution of arbitrage path lengths and the arbitrage profit detected by both our method and the MBF combined algorithm, and depict how potential arbitrage opportunities change with time by our method.


title: Is it possible to overheat ice? The activated melting of TIP4P/Ice at solid-vapor coexistence

abstract: A widely accepted phenomenological rule states that solids with free surfaces cannot be overheated. In this work we discuss this statement critically under the light of the statistical thermodynamics of interfacial roughening transitions. Our results show that the basal face of ice as described by the TIP4P/Ice model can remain mechanically stable for more than one hundred nanoseconds when overheated by 1~K, and for several hundreds of nanoseconds at smaller overheating despite the presence of a significant quasi-liquid layer at the surface. Such time scales, which are often of little experimental significance, can become a concern for the determination of melting points by computer simulations using the direct coexistence method. In the light of this observation, we reinterpret computer simulations of ice premelting and show that current results for the TIP4P/Ice model all imply a scenario of incomplete surface melting. Using a thermodynamic integration path, we reassess our own estimates for the Laplace pressure difference between water and vapor. These calculations are used to measure the disjoining pressure of premelting liquid films and allow us to confirm a minimum of the interfacial free energy at finite premelting thickness of about one nanometer.


title: Coexistence of local magnetism and superconductivity in the heavy-fermion CeRh$_2$As$_2$ revealed by $\mu$SR studies

abstract: The superconducting (SC) state ($T_\mathrm{c}$ = 0.3 K) of the heavy-fermion compound CeRh$_2$As$_2$, which undergoes an unusual field-induced transition to another high-field SC state, emerges from an unknown ordered state below $T_\mathrm{o}$ = 0.55 K. While an electronic multipolar order of itinerant Ce-4$f$ states was proposed to account for the $T_\mathrm{o}$ phase, the exact order parameter has not been known to date. Here, we report on muon spin relaxation ($\mu$SR) studies of the magnetic and SC properties in CeRh$_2$As$_2$ single crystals at low temperatures. We reveal a magnetic origin of the $T_\mathrm{o}$ order by identifying a spontaneous internal field below $T_\mathrm{o}$ = 0.55 K. Furthermore, we find evidence of a microscopic coexistence of local magnetism with bulk superconductivity. Our findings open the possibility that the $T_\mathrm{o}$ phase involves both dipole and higher order Ce-4$f$ moment degrees of freedom and accounts for the unusual non-Fermi liquid behavior.


title: Phase driven exact and unconventional superradiance phase transition in non-Hermitian cascaded Rabi cavities

abstract: This work reports the phase driven symmetry breaking and exact and unconventional superradiance phase transition in the non-Hermitian cascaded Rabi cavities. The non-Hermiticity is introduced in the coupling phase (denoted by $\varphi$) between the atom and the optical field. The exactness refers to the fact that the superradiance phase boundary is obtained analytically and verified by the observables. The unconventionality is reflected in that when $|\varphi|=\frac{\pi}{4}$ or $|\varphi|=\frac{3\pi}{4}$, the phase boundary is uniquely determined by $\mathcal{J}=\frac{1}{2}$ (where $\mathcal{J}$ is the dimensionless cavity coupling strength) and is independent of the atom-optical field coupling strength $g$. For other $\varphi$, the phase boundary is determined by $\mathcal{J}$ and the dimensionless atom-optical field coupling strength $g$ together. Besides, we find that there are phase driven first-order and second-order superradiance phase transitions, and the quantum criticality for the second-order superradiance phase transition is studied. In addition, the experimental feasibility is discussed. This work will stimulate the studies of non-Hermitian superradiance quantum phase transitions and their experimental realizations, as well as the underlying universality class of phase transitions.


title: Modelling the connection between propagating disturbances and solar spicules

abstract: Propagating (intensity) disturbances (PDs) are well reported in observations of coronal loops and polar plumes in addition to recent links with co-temporal spicule activity in the solar atmosphere. However, despite being reported in observations, they are yet to be studied in depth and understood from a modelling point of view. In this work, we present results from a 3D MHD numerical model featuring a stratified solar atmosphere which is perturbed by a p-mode wave driver at the photosphere, subsequently forming spicules described by the rebound shock model. Features with striking characteristics to those of detected PDs appear consistent with the co-temporal transition region dynamics and spicular activity resulting from nonlinear wave steepening and shock formation. Furthermore, the PDs can be interpreted as slow magnetoacoustic pulses propagating along the magnetic field, rather than high speed plasma upflows, carrying sufficient energy flux to at least partially heat the lower coronal plasma. Using forward modelling, we demonstrate the similarities between the PDs in the simulations and those reported in observations from IRIS and SDO/AIA. Our results suggest that, in the presented model, the dynamical movement of the transition region is a result of wave dynamics and shock formation in the lower solar atmosphere, and that PDs are launched co-temporally with the rising of the transition region, regardless of the wave-generating physical mechanisms occurring in the underlying lower solar atmosphere. However, it is clear that signatures of PDs appear much clearer when a photospheric wave driver is included. Finally, we present the importance of PDs in the context of providing a source for powering the (fast) solar wind


title: QuadrupedGPT: Towards a Versatile Quadruped Agent in Open-ended Worlds

abstract: While pets offer companionship, their limited intelligence restricts advanced reasoning and autonomous interaction with humans. Considering this, we propose QuadrupedGPT, a versatile agent designed to master a broad range of complex tasks with agility comparable to that of a pet. To achieve this goal, the primary challenges include: i) effectively leveraging multimodal observations for decision-making; ii) mastering agile control of locomotion and path planning; iii) developing advanced cognition to execute long-term objectives. QuadrupedGPT processes human command and environmental contexts using a large multimodal model (LMM). Empowered by its extensive knowledge base, our agent autonomously assigns appropriate parameters for adaptive locomotion policies and guides the agent in planning a safe but efficient path towards the goal, utilizing semantic-aware terrain analysis. Moreover, QuadrupedGPT is equipped with problem-solving capabilities that enable it to decompose long-term goals into a sequence of executable subgoals through high-level reasoning. Extensive experiments across various benchmarks confirm that QuadrupedGPT can adeptly handle multiple tasks with intricate instructions, demonstrating a significant step towards the versatile quadruped agents in open-ended worlds. Our website and codes can be found at https://quadruped-hub.github.io/Quadruped-GPT/.


title: Note on the metric entropy for multivalued maps

abstract: The main aim of this note is to point out by means of counter-examples that some arguments of the proofs of two theorems about a "half variational principle" for multivalued maps, formulated recently by Vivas and Sirvent [Metric entropy for set-valued maps, Discrete Contin. Dyn. Syst. Ser. B, 27 (2022), pp. 6589-6604], are false and that our corrected versions require rather restrictive additional assumptions. Nevertheless, we will be able to establish the full variational principle for a special subclass of multivalued lower semicontinuous maps with convex compact values on a compact subset of a Banach space.


title: Parametric topological entropy of possibly discontinuous maps in compact Hausdorff spaces and hyperspaces

abstract: We will consider various definitions of topological entropy for multivalued nonautonomous dynamical systems in compact Hausdorff spaces. Some of them can deal with arbitrary multivalued maps, i.e. when no restrictions are imposed on them. For upper semicontinuous multivalued maps, we still investigate especially their relationship to the parametric topological entropy of the induced (possibly discontinuous) dynamical systems in hyperspaces. A comparison of various sorts of definitions can allow us, rather than direct calculations, to make easier the entropy estimates. Several illustrative examples are supplied.


title: Graph complexes and Deformation theories of the (wheeled) properads of quasi- and pseudo-Lie bialgebras

abstract: Quasi-Lie bialgebras are natural extensions of Lie-bialgebras, where the cobracket satisfies the co-Jacobi relation up to some natural obstruction controlled by a skew-symmetric 3-tensor $\phi$. This structure was introduced by Drinfeld while studying deformation theory of universal enveloping algebras and has since seen many other applications in algebra and geometry. In this paper we study the derivation complex of strongly homotopy quasi-Lie bialgebra, both in the unwheeled (i.e standard) and wheeled case, and compute its cohomology in terms of Kontsevich graph complexes.


title: Endpoint multilinear restricted weak type extrapolation theorem

abstract: In this paper we present a generalization in the context of multilinear Muckenhoupt classes of the endpoint extrapolation theorem on restricted weights due to Carro, Grafakos and Soria. Moreover, our main result is obtained on limited ranges of boundedness and to this aim we introduce a new limited range, off-diagonal extrapolation theorem in the context of restricted weights. In addition, as one of the applications, we prove endpoint estimates of certain bi-sublinear maximal functions associated with the study of return time theorems in ergodic theory.


title: Personalized federated learning based on feature fusion

abstract: Federated learning enables distributed clients to collaborate on training while storing their data locally to protect client privacy. However, due to the heterogeneity of data, models, and devices, the final global model may need to perform better for tasks on each client. Communication bottlenecks, data heterogeneity, and model heterogeneity have been common challenges in federated learning. In this work, we considered a label distribution skew problem, a type of data heterogeneity easily overlooked. In the context of classification, we propose a personalized federated learning approach called pFedPM. In our process, we replace traditional gradient uploading with feature uploading, which helps reduce communication costs and allows for heterogeneous client models. These feature representations play a role in preserving privacy to some extent. We use a hyperparameter $a$ to mix local and global features, which enables us to control the degree of personalization. We also introduced a relation network as an additional decision layer, which provides a non-linear learnable classifier to predict labels. Experimental results show that, with an appropriate setting of $a$, our scheme outperforms several recent FL methods on MNIST, FEMNIST, and CRIFAR10 datasets and achieves fewer communications.


title: Vortex lattices and critical fields in anisotropic superconductors

abstract: A method is developed to compute minimal energy vortex lattices in a general Ginzburg-Landau model of a superconductor subjected to an applied magnetic field. The model may have any number of components and may be spatially anisotropic. Both the period vectors of the vortex lattice, and the orientation of its vortex lines, are determined dynamically; no assumptions are made about them. Methods to compute the first and second critical magnetic fields, $H_{c_1}$ and $H_{c_2}$, in this class of models are also developed. These methods are applied to a simple anisotropic single-component model, and to an anisotropic two-component model of strong current theoretical interest (a so-called $s+id$ model). It is found, in both cases, that at low applied field the vortex lines can tilt very significantly away from the direction of the applied field (by as much as $40^o$ for the single-component and $30^o$ for the $s+id$ model). The optimal lattice in the $s+id$ model is qualitatively very different from the conventional triangular Abrikosov lattice, exhibiting a phase transition from a system of Skyrmion chains when the external field is orthogonal to the basal plane to a deformed Abrikosov lattice when applied in the basal plane.


title: Chaos and magic in the dissipative quantum kicked top

abstract: We consider an infinite-range interacting quantum spin-1/2 model, undergoing periodic kicking and dissipatively coupled with an environment. In the thermodynamic limit, it is described by classical mean-field equations that can show regular and chaotic regimes. At finite size, we describe the system dynamics using stochastic quantum trajectories. We find that the asymptotic nonstabilizerness (alias the magic, a measure of quantum complexity), averaged over trajectories, mirrors the classical chaotic behavior, while the entanglement entropy has no relation with chaos in the thermodynamic limit.


title: A Note on Stationarity

abstract: We show that types over real algebraically closed sets in the theory of separably closed fields of infinite degree of imperfection and in the theory of beautiful pairs of algebraically closed fields are stationary. This is proven in a general setup under suitable hypotheses on the interaction of the considered theory with another, better understood, stable theory.


title: Velocity, Holding Time and Lifespan of Cryptocurrency in Transactions

abstract: The measurement of the velocity of money is still a significant topic. In this paper, we proposed a method to calculate the velocity of money by combining the holding-time distribution and lifespan distribution. By derivation, the velocity of money equals the holding-time distribution's value at zero. When we have much holding-time data, this problem can be converted to a regression problem. After a numeric simulation, we find that the calculating accuracy is high even if we used only a small part of the holding time data, which implies a potential application in measuring the velocity of money in reality, such as digital money. We also tested the methods on Cardano and found that the method can also provide a reasonable estimation of velocity in some cases.


title: Switching Controller Synthesis for Hybrid Systems Against STL Formulas

abstract: Switching controllers play a pivotal role in directing hybrid systems (HSs) towards the desired objective, embodying a ``correct-by-construction'' approach to HS design. Identifying these objectives is thus crucial for the synthesis of effective switching controllers. While most of existing works focus on safety and liveness, few of them consider timing constraints. In this paper, we delves into the synthesis of switching controllers for HSs that meet system objectives given by a fragment of STL, which essentially corresponds to a reach-avoid problem with timing constraints. Our approach involves iteratively computing the state sets that can be driven to satisfy the reach-avoid specification with timing constraints. This technique supports to create switching controllers for both constant and non-constant HSs. We validate our method's soundness, and confirm its relative completeness for a certain subclass of HSs. Experiment results affirms the efficacy of our approach.


title: Predicted Brightness of Starlink Internet Satellites at 350 km

abstract: SpaceX recently proposed to orbit 19,440 Starlink internet satellites at a low altitude of 350 km instead of the current 550 km. The distribution in the sky and the apparent magnitudes of these spacecraft are simulated in this paper. During astronomical twilight the impact of spacecraft at 350 km on astronomical observations would be more severe than those at 550 km. However, during the hours of darkness those at 350 km would have a less severe impact. The qualitative statement made by SpaceX to the US Federal Communications Commision is consistent with the quantitative results reported here.