title: Spin polarization and spin alignment from quantum kinetic theory with self-energy corrections

abstract: We derive the quantum kinetic theory for massive fermions with collision terms and self-energy corrections based on quantum field theory. We adopt an effective power counting scheme with $\hbar$ expansion to obtain the leading-order perturbative solutions of the vector and axial Wigner functions and the corresponding kinetic equations. We observe that both the onshell relation and the structure of Wigner functions, along with the kinetic equations, are modified due to the presence of self-energies and their space-time gradients. We further apply our formalism to investigate the spin polarization phenomena in relativistic heavy ion collisions and derive the modification to the spin polarization spectrum of massive quarks. We find that the gradient of vector self-energy plays a similar role to the background electromagnetic fields, which induces a more dominant contribution than the collisional effects by a naive power counting in the gradient expansion and weak coupling. Our findings could further modify the spin polarization of strange quarks and spin alignment of $\phi$ mesons beyond local thermal equilibrium.


title: ChatGPT and Beyond: The Generative AI Revolution in Education

abstract: The wide adoption and usage of generative artificial intelligence (AI) models, particularly ChatGPT, has sparked a surge in research exploring their potential applications in the educational landscape. This survey examines academic literature published between November, 2022, and July, 2023, specifically targeting high-impact research from Scopus-indexed Q1 and Q2 journals. This survey delves into the practical applications and implications of generative AI models across a diverse range of educational contexts. Through a comprehensive and rigorous evaluation of recent academic literature, this survey seeks to illuminate the evolving role of generative AI models, particularly ChatGPT, in education. By shedding light on the potential benefits, challenges, and emerging trends in this dynamic field, the survey endeavors to contribute to the understanding of the nexus between artificial intelligence and education. The findings of this review will empower educators, researchers, and policymakers to make informed decisions about the integration of AI technologies into learning environments.


title: On Young diagrams of maximum dimension

abstract: We study the problem of finding Young diagrams of maximum dimension, i. e. those with the largest number of Young tableaux of their shapes. Consider a class of Young diagrams that differ from a symmetric diagram by no more than one box $(i,j)$ in each row and column. It is proven that when moving boxes $(i,j), i>j$ to symmetric positions $(j,i)$, the original diagram is transformed into another diagram of the same size, but with a greater or equal dimension. A conjecture is formulated that generalizes the above fact to the case of arbitrary Young diagrams. Based on this conjecture, we developed an algorithm applied to obtain new Young diagrams of sizes up to 42 thousand boxes with large and maximum dimensions.


title: SpliceMix: A Cross-scale and Semantic Blending Augmentation Strategy for Multi-label Image Classification

abstract: Recently, Mix-style data augmentation methods (e.g., Mixup and CutMix) have shown promising performance in various visual tasks. However, these methods are primarily designed for single-label images, ignoring the considerable discrepancies between single- and multi-label images, i.e., a multi-label image involves multiple co-occurred categories and fickle object scales. On the other hand, previous multi-label image classification (MLIC) methods tend to design elaborate models, bringing expensive computation. In this paper, we introduce a simple but effective augmentation strategy for multi-label image classification, namely SpliceMix. The "splice" in our method is two-fold: 1) Each mixed image is a splice of several downsampled images in the form of a grid, where the semantics of images attending to mixing are blended without object deficiencies for alleviating co-occurred bias; 2) We splice mixed images and the original mini-batch to form a new SpliceMixed mini-batch, which allows an image with different scales to contribute to training together. Furthermore, such splice in our SpliceMixed mini-batch enables interactions between mixed images and original regular images. We also offer a simple and non-parametric extension based on consistency learning (SpliceMix-CL) to show the flexible extensibility of our SpliceMix. Extensive experiments on various tasks demonstrate that only using SpliceMix with a baseline model (e.g., ResNet) achieves better performance than state-of-the-art methods. Moreover, the generalizability of our SpliceMix is further validated by the improvements in current MLIC methods when married with our SpliceMix. The code is available at https://github.com/zuiran/SpliceMix.


title: DiffBindFR: An SE(3) Equivariant Network for Flexible Protein-Ligand Docking

abstract: Molecular docking, a key technique in structure-based drug design, plays pivotal roles in protein-ligand interaction modeling, hit identification and optimization, in which accurate prediction of protein-ligand binding mode is essential. Conventional docking approaches perform well in redocking tasks with known protein binding pocket conformation in the complex state. However, in real-world docking scenario without knowing the protein binding conformation for a new ligand, accurately modeling the binding complex structure remains challenging as flexible docking is computationally expensive and inaccurate. Typical deep learning-based docking methods do not explicitly consider protein side chain conformations and fail to ensure the physical plausibility and detailed atomic interactions. In this study, we present DiffBindFR, a full-atom diffusion-based flexible docking model that operates over the product space of ligand overall movements and flexibility and pocket side chain torsion changes. We show that DiffBindFR has higher accuracy in producing native-like binding structures with physically plausible and detailed interactions than available docking methods. Furthermore, in the Apo and AlphaFold2 modeled structures, DiffBindFR demonstrates superior advantages in accurate ligand binding pose and protein binding conformation prediction, making it suitable for Apo and AlphaFold2 structure-based drug design. DiffBindFR provides a powerful flexible docking tool for modeling accurate protein-ligand binding structures.


title: Dual-stream contrastive predictive network with joint handcrafted feature view for SAR ship classification

abstract: Most existing synthetic aperture radar (SAR) ship classification technologies heavily rely on correctly labeled data, ignoring the discriminative features of unlabeled SAR ship images. Even though researchers try to enrich CNN-based features by introducing traditional handcrafted features, existing methods easily cause information redundancy and fail to capture the interaction between them. To address these issues, we propose a novel dual-stream contrastive predictive network (DCPNet), which consists of two asymmetric task designs and the false negative sample elimination module. The first task is to construct positive sample pairs, guiding the core encoder to learn more general representations. The second task is to encourage adaptive capture of the correspondence between deep features and handcrated features, achieving knowledge transfer within the model, and effectively improving the redundancy caused by the feature fusion. To increase the separability between clusters, we also design a cluster-level tasks. The experimental results on OpenSARShip and FUSAR-Ship datasets demonstrate the improvement in classification accuracy of supervised models and confirm the capability of learning effective representations of DCPNet.


title: Learning against Non-credible Auctions

abstract: The standard framework of online bidding algorithm design assumes that the seller commits himself to faithfully implementing the rules of the adopted auction. However, the seller may attempt to cheat in execution to increase his revenue if the auction belongs to the class of non-credible auctions. For example, in a second-price auction, the seller could create a fake bid between the highest bid and the second highest bid. This paper focuses on one such case of online bidding in repeated second-price auctions. At each time $t$, the winner with bid $b_t$ is charged not the highest competing bid $d_t$ but a manipulated price $p_t = \alpha_0 d_t + (1-\alpha_0) b_t$, where the parameter $\alpha_0 \in [0, 1]$ in essence measures the seller's credibility. Unlike classic repeated-auction settings where the bidder has access to samples $(d_s)_{s=1}^{t-1}$, she can only receive mixed signals of $(b_s)_{s=1}^{t-1}$, $(d_s)_{s=1}^{t-1}$ and $\alpha_0$ in this problem. The task for the bidder is to learn not only the bid distributions of her competitors but also the seller's credibility. We establish regret lower bounds in various information models and provide corresponding online bidding algorithms that can achieve near-optimal performance. Specifically, we consider three cases of prior information based on whether the credibility $\alpha_0$ and the distribution of the highest competing bids are known. Our goal is to characterize the landscape of online bidding in non-credible auctions and understand the impact of the seller's credibility on online bidding algorithm design under different information structures.


title: OpenDigger: Data Mining and Information Service System for Open Collaboration Digital Ecosystem

abstract: The widespread development and adoption of open-source software have built an ecosystem for open development and collaboration. In this ecosystem, individuals and organizations collaborate to create high-quality software that can be used by everyone. Social collaboration platforms like GitHub have further facilitated large-scale, distributed, and fine-grained code collaboration and technical interactions. Countless developers contribute code, review code, report bugs, and propose new features on these platforms every day, generating a massive amount of valuable behavioral data from the open collaboration process. This paper presents the design and implementation of OpenDigger, a comprehensive data mining and information service system for open collaboration in the digital ecosystem. The goal is to build a data infrastructure for the open-source domain and promote the continuous development of the open-source ecosystem. The metrics and analysis models in the OpenDigger system can mine various knowledge from the macro to micro levels in the open-source digital ecosystem. Through a unified information service interface, OpenDigger provides various open-source information services to different user groups, including governments, enterprises, foundations, and individuals. As a novel information service system in the open-source ecosystem, this paper demonstrates the effectiveness of the metrics and models in OpenDigger through several real-world scenarios, including products, tools, applications, and courses. It showcases the significant and diverse practical applications of the metrics and models in both algorithmic and business aspects.


title: Discrete stopping times in the lattice of continuous functions

abstract: A functional calculus for an order complete vector lattice $\mathcal{E}$ was developed by Grobler in 2014 using the Daniell integral. We show that if one represents the universal completion of $\mathcal{E}$ as $C^\infty(K)$, then the Daniell functional calculus for continuous functions is exactly the pointwise composition of functions in $C^\infty(K)$. This representation allows an easy deduction of the various properties of the functional calculus. Afterwards, we study discrete stopping times and stopped processes in $C^\infty(K)$. We obtain a representation that is analogous to what is expected in probability theory.


title: Insect-Foundation: A Foundation Model and Large-scale 1M Dataset for Visual Insect Understanding

abstract: In precision agriculture, the detection and recognition of insects play an essential role in the ability of crops to grow healthy and produce a high-quality yield. The current machine vision model requires a large volume of data to achieve high performance. However, there are approximately 5.5 million different insect species in the world. None of the existing insect datasets can cover even a fraction of them due to varying geographic locations and acquisition costs. In this paper, we introduce a novel "Insect-1M" dataset, a game-changing resource poised to revolutionize insect-related foundation model training. Covering a vast spectrum of insect species, our dataset, including 1 million images with dense identification labels of taxonomy hierarchy and insect descriptions, offers a panoramic view of entomology, enabling foundation models to comprehend visual and semantic information about insects like never before. Then, to efficiently establish an Insect Foundation Model, we develop a micro-feature self-supervised learning method with a Patch-wise Relevant Attention mechanism capable of discerning the subtle differences among insect images. In addition, we introduce Description Consistency loss to improve micro-feature modeling via insect descriptions. Through our experiments, we illustrate the effectiveness of our proposed approach in insect modeling and achieve State-of-the-Art performance on standard benchmarks of insect-related tasks. Our Insect Foundation Model and Dataset promise to empower the next generation of insect-related vision models, bringing them closer to the ultimate goal of precision agriculture.


title: Efficient interpolation of molecular properties across chemical compound space with low-dimensional descriptors

abstract: We demonstrate accurate data-starved models of molecular properties for interpolation in chemical compound spaces with low-dimensional descriptors. Our starting point is based on three-dimensional, universal, physical descriptors derived from the properties of the distributions of the eigenvalues of Coulomb matrices. To account for the shape and composition of molecules, we combine these descriptors with six-dimensional features informed by the Gershgorin circle theorem. We use the nine-dimensional descriptors thus obtained for Gaussian process regression based on kernels with variable functional form, leading to extremely efficient, low-dimensional interpolation models. The resulting models trained with 100 molecules are able to predict the product of entropy and temperature ($S \times T$) and zero point vibrational energy (ZPVE) with the absolute error under 1 kcal mol$^{-1}$ for $> 78$ \% and under 1.3 kcal mol$^{-1}$ for $> 92$ \% of molecules in the test data. The test data comprises 20,000 molecules with complexity varying from three atoms to 29 atoms and the ranges of $S \times T$ and ZPVE covering 36 kcal mol$^{-1}$ and 161 kcal mol$^{-1}$, respectively. We also illustrate that the descriptors based on the Gershgorin circle theorem yield more accurate models of molecular entropy than those based on graph neural networks that explicitly account for the atomic connectivity of molecules.


title: LongStory: Coherent, Complete and Length Controlled Long story Generation

abstract: A human author can write any length of story without losing coherence. Also, they always bring the story to a proper ending, an ability that current language models lack. In this work, we present the LongStory for coherent, complete, and length-controlled long story generation. LongStory introduces two novel methodologies: (1) the long and short-term contexts weight calibrator (CWC) and (2) long story structural positions (LSP). The CWC adjusts weights for long-term context Memory and short-term context Cheating, acknowledging their distinct roles. The LSP employs discourse tokens to convey the structural positions of a long story. Trained on three datasets with varied average story lengths, LongStory outperforms other baselines, including the strong story generator Plotmachine, in coherence, completeness, relevance, and repetitiveness. We also perform zero-shot tests on each dataset to assess the model's ability to predict outcomes beyond its training data and validate our methodology by comparing its performance with variants of our model.


title: See and Think: Embodied Agent in Virtual Environment

abstract: Large language models (LLMs) have achieved impressive progress on several open-world tasks. Recently, using LLMs to build embodied agents has been a hotspot. In this paper, we propose STEVE, a comprehensive and visionary embodied agent in the Minecraft virtual environment. STEVE consists of three key components: vision perception, language instruction, and code action. Vision perception involves the interpretation of visual information in the environment, which is then integrated into the LLMs component with agent state and task instruction. Language instruction is responsible for iterative reasoning and decomposing complex tasks into manageable guidelines. Code action generates executable skill actions based on retrieval in skill database, enabling the agent to interact effectively within the Minecraft environment. We also collect STEVE-21K dataset, which includes 600$+$ vision-environment pairs, 20K knowledge question-answering pairs, and 200$+$ skill-code pairs. We conduct continuous block search, knowledge question and answering, and tech tree mastery to evaluate the performance. Extensive experiments show that STEVE achieves at most $1.5 \times$ faster unlocking key tech trees and $2.5 \times$ quicker in block search tasks compared to previous state-of-the-art methods.


title: Topology combined machine learning for consonant recognition

abstract: In artificial-intelligence-aided signal processing, existing deep learning models often exhibit a black-box structure, and their validity and comprehensibility remain elusive. The integration of topological methods, despite its relatively nascent application, serves a dual purpose of making models more interpretable as well as extracting structural information from time-dependent data for smarter learning. Here, we provide a transparent and broadly applicable methodology, TopCap, to capture the most salient topological features inherent in time series for machine learning. Rooted in high-dimensional ambient spaces, TopCap is capable of capturing features rarely detected in datasets with low intrinsic dimensionality. Applying time-delay embedding and persistent homology, we obtain descriptors which encapsulate information such as the vibration of a time series, in terms of its variability of frequency, amplitude, and average line, demonstrated with simulated data. This information is then vectorised and fed into multiple machine learning algorithms such as k-nearest neighbours and support vector machine. Notably, in classifying voiced and voiceless consonants, TopCap achieves an accuracy exceeding 96% and is geared towards designing topological convolutional layers for deep learning of speech and audio signals.


title: Probabilistic Transformer: A Probabilistic Dependency Model for Contextual Word Representation

abstract: Syntactic structures used to play a vital role in natural language processing (NLP), but since the deep learning revolution, NLP has been gradually dominated by neural models that do not consider syntactic structures in their design. One vastly successful class of neural models is transformers. When used as an encoder, a transformer produces contextual representation of words in the input sentence. In this work, we propose a new model of contextual word representation, not from a neural perspective, but from a purely syntactic and probabilistic perspective. Specifically, we design a conditional random field that models discrete latent representations of all words in a sentence as well as dependency arcs between them; and we use mean field variational inference for approximate inference. Strikingly, we find that the computation graph of our model resembles transformers, with correspondences between dependencies and self-attention and between distributions over latent representations and contextual embeddings of words. Experiments show that our model performs competitively to transformers on small to medium sized datasets. We hope that our work could help bridge the gap between traditional syntactic and probabilistic approaches and cutting-edge neural approaches to NLP, and inspire more linguistically-principled neural approaches in the future.


title: OpenPerf: A Benchmarking Framework for the Sustainable Development of the Open-Source Ecosystem

abstract: Benchmarking involves designing scientific test methods, tools, and frameworks to quantitatively and comparably assess specific performance indicators of certain test subjects. With the development of artificial intelligence, AI benchmarking datasets such as ImageNet and DataPerf have gradually become consensus standards in both academic and industrial fields. However, constructing a benchmarking framework remains a significant challenge in the open-source domain due to the diverse range of data types, the wide array of research issues, and the intricate nature of collaboration networks. This paper introduces OpenPerf, a benchmarking framework designed for the sustainable development of the open-source ecosystem. This framework defines 9 task benchmarking tasks in the open-source research, encompassing 3 data types: time series, text, and graphics, and addresses 6 research problems including regression, classification, recommendation, ranking, network building, and anomaly detection. Based on the above tasks, we implemented 3 data science task benchmarks, 2 index-based benchmarks, and 1 standard benchmark. Notably, the index-based benchmarks have been adopted by the China Electronics Standardization Institute as evaluation criteria for open-source community governance. Additionally, we have developed a comprehensive toolkit for OpenPerf, which not only offers robust data management, tool integration, and user interface capabilities but also adopts a Benchmarking-as-a-Service (BaaS) model to serve academic institutions, industries, and foundations. Through its application in renowned companies and institutions such as Alibaba, Ant Group, and East China Normal University, we have validated OpenPerf's pivotal role in the healthy evolution of the open-source ecosystem.


title: Leveraging Anatomical Constraints with Uncertainty for Pneumothorax Segmentation

abstract: Pneumothorax is a medical emergency caused by abnormal accumulation of air in the pleural space - the potential space between the lungs and chest wall. On 2D chest radiographs, pneumothorax occurs within the thoracic cavity and outside of the mediastinum and we refer to this area as "lung+ space". While deep learning (DL) has increasingly been utilized to segment pneumothorax lesions in chest radiographs, many existing DL models employ an end-to-end approach. These models directly map chest radiographs to clinician-annotated lesion areas, often neglecting the vital domain knowledge that pneumothorax is inherently location-sensitive. We propose a novel approach that incorporates the lung+ space as a constraint during DL model training for pneumothorax segmentation on 2D chest radiographs. To circumvent the need for additional annotations and to prevent potential label leakage on the target task, our method utilizes external datasets and an auxiliary task of lung segmentation. This approach generates a specific constraint of lung+ space for each chest radiograph. Furthermore, we have incorporated a discriminator to eliminate unreliable constraints caused by the domain shift between the auxiliary and target datasets. Our results demonstrated significant improvements, with average performance gains of 4.6%, 3.6%, and 3.3% regarding Intersection over Union (IoU), Dice Similarity Coefficient (DSC), and Hausdorff Distance (HD). Our research underscores the significance of incorporating medical domain knowledge about the location-specific nature of pneumothorax to enhance DL-based lesion segmentation.


title: A Novel Normalized-Cut Solver with Nearest Neighbor Hierarchical Initialization

abstract: Normalized-Cut (N-Cut) is a famous model of spectral clustering. The traditional N-Cut solvers are two-stage: 1) calculating the continuous spectral embedding of normalized Laplacian matrix; 2) discretization via $K$-means or spectral rotation. However, this paradigm brings two vital problems: 1) two-stage methods solve a relaxed version of the original problem, so they cannot obtain good solutions for the original N-Cut problem; 2) solving the relaxed problem requires eigenvalue decomposition, which has $\mathcal{O}(n^3)$ time complexity ($n$ is the number of nodes). To address the problems, we propose a novel N-Cut solver designed based on the famous coordinate descent method. Since the vanilla coordinate descent method also has $\mathcal{O}(n^3)$ time complexity, we design various accelerating strategies to reduce the time complexity to $\mathcal{O}(|E|)$ ($|E|$ is the number of edges). To avoid reliance on random initialization which brings uncertainties to clustering, we propose an efficient initialization method that gives deterministic outputs. Extensive experiments on several benchmark datasets demonstrate that the proposed solver can obtain larger objective values of N-Cut, meanwhile achieving better clustering performance compared to traditional solvers.


title: From OTFS to DD-ISAC: Integrating Sensing and Communications in the Delay Doppler Domain

abstract: Next-generation vehicular networks are expected to provide the capability of robust environmental sensing in addition to reliable communications to meet intelligence requirements. A promising solution is the integrated sensing and communication (ISAC) technology, which performs both functionalities using the same spectrum and hardware resources. Most existing works on ISAC consider the Orthogonal Frequency Division Multiplexing (OFDM) waveform. Nevertheless, vehicle motion introduces Doppler shift, which breaks the subcarrier orthogonality and leads to performance degradation. The recently proposed Orthogonal Time Frequency Space (OTFS) modulation, which exploits various advantages of Delay Doppler (DD) channels, has been shown to support reliable communication in high-mobility scenarios. Moreover, the DD waveform can directly interact with radar sensing parameters, which are actually delay and Doppler shifts. This paper investigates the advantages of applying the DD communication waveform to ISAC. Specifically, we first provide a comprehensive overview of implementing DD communications, based on which several advantages of DD-ISAC over OFDM-based ISAC are revealed, including transceiver designs and the ambiguity function. Furthermore, a detailed performance comparison are presented, where the target detection probability and the mean squared error (MSE) performance are also studied. Finally, some challenges and opportunities of DD-ISAC are also provided.


title: Solve Large-scale Unit Commitment Problems by Physics-informed Graph Learning

abstract: Unit commitment (UC) problems are typically formulated as mixed-integer programs (MIP) and solved by the branch-and-bound (B&B) scheme. The recent advances in graph neural networks (GNN) enable it to enhance the B&B algorithm in modern MIP solvers by learning to dive and branch. Existing GNN models that tackle MIP problems are mostly constructed from mathematical formulation, which is computationally expensive when dealing with large-scale UC problems. In this paper, we propose a physics-informed hierarchical graph convolutional network (PI-GCN) for neural diving that leverages the underlying features of various components of power systems to find high-quality variable assignments. Furthermore, we adopt the MIP model-based graph convolutional network (MB-GCN) for neural branching to select the optimal variables for branching at each node of the B&B tree. Finally, we integrate neural diving and neural branching into a modern MIP solver to establish a novel neural MIP solver designed for large-scale UC problems. Numeral studies show that PI-GCN has better performance and scalability than the baseline MB-GCN on neural diving. Moreover, the neural MIP solver yields the lowest operational cost and outperforms a modern MIP solver for all testing days after combining it with our proposed neural diving model and the baseline neural branching model.


title: Quantifying equilibrium pressure-gradient turbulent boundary layers via a symmetry approach

abstract: We propose a theory for predicting the mean velocity and Reynolds shear and normal stresses profiles in the wake region of equilibrium adverse pressure-gradient (PG, APG) turbulent boundary layers (TBLs). Firstly, we explore the PG-induced dilation-symmetry-breaking of the total stress $\tau^+$ to construct a modified defect power law for $\tau^+$. Crucially, a PG stress $P_0^+$ is identified, which quantifies the APG-induced total-stress overshoot and is proportional to the Clauser PG parameter $\beta$. The wall-normal location with peak stress is predicted. The total stress profiles with arbitrary $\beta$ are transformed into an invariant profile, which is the ultimate state of the total stress at infinite $\beta$. This transformation is equivalent to the outer scaling of the Reynolds shear stress recently-proposed by Wei & Knopp (JFM, 2023). The Reynolds normal stresses are predicted accordingly based on the similarity of the Reynolds shear and normal stresses in the wake region. Secondly, a defect power law is proposed for the stress and kinetic energy lengths in the wake region. Two critical parameters in the defect power law are identified to depend on $\beta$ and determine the length profiles. With the total stress and stress length models, the streamwise mean-velocity profile is predicted. Especially, an invariant mean velocity profile is derived, which describes the ultimate state of the mean velocity in the wake region at infinite $\beta$. This invariant profile is also equivalent to the outer scaling of Wei & Knopp. The theory also predicts the variation of the Coles' wake parameter $\Pi$ with $\beta$, in close agreement with the empirical relation that correlates hundreds of experimental data. The predictions are validated with five published DNS, LES, and experimental databases on the equilibrium APG TBLs.


title: Real-Time Online Stock Forecasting Utilizing Integrated Quantitative and Qualitative Analysis

abstract: The application of Machine learning to finance has become a familiar approach, even more so in stock market forecasting. The stock market is highly volatile, and huge amounts of data are generated every minute globally. The extraction of effective intelligence from this data is of critical importance. However, a collaboration of numerical stock data with qualitative text data can be a challenging task. In this work, we accomplish this by providing an unprecedented, publicly available dataset with technical and fundamental data and sentiment that we gathered from news archives, TV news captions, radio transcripts, tweets, daily financial newspapers, etc. The text data entries used for sentiment extraction total more than 1.4 Million. The dataset consists of daily entries from January 2018 to December 2022 for eight companies representing diverse industrial sectors and the Dow Jones Industrial Average (DJIA) as a whole. Holistic Fundamental and Technical data is provided training ready for Model learning and deployment. Most importantly, the data generated could be used for incremental online learning with real-time data points retrieved daily since no stagnant data was utilized. All the data was retired from APIs or self-designed robust information retrieval technologies with extremely low latency and zero monetary cost. These adaptable technologies facilitate data extraction for any stock. Moreover, the utilization of Spearman's rank correlation over real-time data, linking stock returns with sentiment analysis has produced noteworthy results for the DJIA and the eight other stocks, achieving accuracy levels surpassing 60%. The dataset is made available at https://github.com/batking24/Huge-Stock-Dataset.


title: $L_1$ approach to the compressible viscous fluid flows in the half-space

abstract: In this paper, we proved the local well-posedness for the Navier-Stokes equtions describing the motion of isotropic barotoropic compressible viscous fluid flow with non-slip boundary conditions, wehre the fluid domain is the half-space in the $N$-dimensional Euclidean space. The density part of solutions and their time derivative belong to $L_1$ in time with some Besov spaces in space and also the velosity parts and their time derivative belong to $L_1$ in time with some Besov spaces in space. We use Lagrange transformation to eliminate the covection term and we use an analytic semgroup approach. Our Stokes semigroup is not only a continuous analytic semigroup but also has an $L_1$ in times maximal regularity with some Besov spaces in space.


title: Optimum Self Random Number Generation Rate and Its Application to Rate Distortion Perception Function

abstract: The self-random number generation (SRNG) problem is considered for general setting. In the literature, the optimum SRNG rate with respect to the variational distance has been discussed. In this paper, we first try to characterize the optimum SRNG rate with respect to a subclass of $f$-divergences. The subclass of $f$-divergences considered in this paper includes typical distance measures such as the variational distance, the KL divergence, the Hellinger distance and so on. Hence our result can be considered as a generalization of the previous result with respect to the variational distance. Next, we consider the obtained optimum SRNG rate from several viewpoints. The $\varepsilon$-source coding problem is one of related problems with the SRNG problem. Our results reveal how the SRNG problem with the $f$-divergence relate to the $\varepsilon$-fixed-length source coding problem. We also apply our results to the rate distortion perception (RDP) function. As a result, we can establish a lower bound for the RDP function with respect to $f$-divergences using our findings. Finally, we discuss the representation of the optimum SRNG rate using the smooth R\'enyi entropy.


title: The Local Landscape of Phase Retrieval Under Limited Samples

abstract: In this paper, we provide a fine-grained analysis of the local landscape of phase retrieval under the regime with limited samples. Our aim is to ascertain the minimal sample size necessary to guarantee a benign local landscape surrounding global minima in high dimensions. Let $n$ and $d$ denote the sample size and input dimension, respectively. We first explore the local convexity and establish that when $n=o(d\log d)$, for almost every fixed point in the local ball, the Hessian matrix must have negative eigenvalues as long as $d$ is sufficiently large. Consequently, the local landscape is highly non-convex. We next consider the one-point strong convexity and show that as long as $n=\omega(d)$, with high probability, the landscape is one-point strongly convex in the local annulus: $\{w\in\mathbb{R}^d: o_d(1)\leqslant \|w-w^*\|\leqslant c\}$, where $w^*$ is the ground truth and $c$ is an absolute constant. This implies that gradient descent initialized from any point in this domain can converge to an $o_d(1)$-loss solution exponentially fast. Furthermore, we show that when $n=o(d\log d)$, there is a radius of $\widetilde\Theta\left(\sqrt{1/d}\right)$ such that one-point convexity breaks in the corresponding smaller local ball. This indicates an impossibility to establish a convergence to exact $w^*$ for gradient descent under limited samples by relying solely on one-point convexity.

categories: cs.IT cs.LG eess.SP math.IT math.OC math.ST stat.ML stat.TH


title: Decision Tree Psychological Risk Assessment in Currency Trading

abstract: This research paper focuses on the integration of Artificial Intelligence (AI) into the currency trading landscape, positing the development of personalized AI models, essentially functioning as intelligent personal assistants tailored to the idiosyncrasies of individual traders. The paper posits that AI models are capable of identifying nuanced patterns within the trader's historical data, facilitating a more accurate and insightful assessment of psychological risk dynamics in currency trading. The PRI is a dynamic metric that experiences fluctuations in response to market conditions that foster psychological fragility among traders. By employing sophisticated techniques, a classifying decision tree is crafted, enabling clearer decision-making boundaries within the tree structure. By incorporating the user's chronological trade entries, the model becomes adept at identifying critical junctures when psychological risks are heightened. The real-time nature of the calculations enhances the model's utility as a proactive tool, offering timely alerts to traders about impending moments of psychological risks. The implications of this research extend beyond the confines of currency trading, reaching into the realms of other industries where the judicious application of personalized modeling emerges as an efficient and strategic approach. This paper positions itself at the intersection of cutting-edge technology and the intricate nuances of human psychology, offering a transformative paradigm for decision making support in dynamic and high-pressure environments.


title: Sufficient conditions for matching extendability in terms of the Zeroth-order General Randi\'c Index

abstract: Topological indices are important bridge between graph theory and chemical applications. In this paper, we will provide some sufficient conditions for a graph to be $k$-extendable graphs, $n$-factor-critical graphs and $(n,k,d)$-graphs in terms of a significant type of Topological index: the Zeroth-order General Randi\'c Index ($\alpha\ge-1$ and $\alpha\neq 0$).


title: Poincar\'e--Sobolev Inequalities Based on Choquet--Lorentz Integrals with Respect to Hausdorff Contents on Bounded John Domains

abstract: Let $\Omega$ be a bounded John domain in $\mathbb R^n$ with $n\ge 2$, and let $\mathcal{H}_{\infty }^{\delta}$ denote the Hausdorff content of dimension $\delta\in (0,n]$. In this article, the authors prove the Poincar\'e and the Poincar\'e--Sobolev inequalities on Choquet--Lorentz integrals with respect to $\mathcal{H}_{\infty }^{\delta}$ for all continuously differentiable functions on $\Omega$. These results not only extend the recent Poincar\'e and Poincar\'e--Sobolev inequalities, obtained by Harjulehto and Hurri-Syrj\"{a}nen in [J. Funct. Anal. 284 (2023), Paper No. 109862], to the Choquet--Lorentz integrals, but also provide some endpoint estimates (weak type) of their results in the critical case. One of the main novelties exists in that, to achieve the goals, the authors develop some new tools associated with Choquet--Lorentz integrals on $\mathcal{H}_{\infty }^{\delta}$, such as the fractional Hardy--Littlewood maximal inequality and the Hedberg-type pointwise estimate on the Riesz potential. As an application, the sharp boundedness of the Riesz potential on Choquet--Lorentz integrals is obtained. Moreover, even for classical Lorentz integrals, these Poincar\'e and Poincar\'e--Sobolev inequalities are also new.


title: One-bit Supervision for Image Classification: Problem, Solution, and Beyond

abstract: This paper presents one-bit supervision, a novel setting of learning with fewer labels, for image classification. Instead of training model using the accurate label of each sample, our setting requires the model to interact with the system by predicting the class label of each sample and learn from the answer whether the guess is correct, which provides one bit (yes or no) of information. An intriguing property of the setting is that the burden of annotation largely alleviates in comparison to offering the accurate label. There are two keys to one-bit supervision, which are (i) improving the guess accuracy and (ii) making good use of the incorrect guesses. To achieve these goals, we propose a multi-stage training paradigm and incorporate negative label suppression into an off-the-shelf semi-supervised learning algorithm. Theoretical analysis shows that one-bit annotation is more efficient than full-bit annotation in most cases and gives the conditions of combining our approach with active learning. Inspired by this, we further integrate the one-bit supervision framework into the self-supervised learning algorithm which yields an even more efficient training schedule. Different from training from scratch, when self-supervised learning is used for initialization, both hard example mining and class balance are verified effective in boosting the learning performance. However, these two frameworks still need full-bit labels in the initial stage. To cast off this burden, we utilize unsupervised domain adaptation to train the initial model and conduct pure one-bit annotations on the target dataset. In multiple benchmarks, the learning efficiency of the proposed approach surpasses that using full-bit, semi-supervised supervision.


title: Ring Bose-Einstein condensate in a cavity: Chirality Detection and Rotation Sensing

abstract: Recently, a method has been proposed to detect the rotation of a ring Bose-Einstein condensate, in situ, in real-time and with minimal destruction, using a cavity driven with optical fields carrying orbital angular momentum. This method is sensitive to the magnitude of the condensate winding number but not its sign. In the present work, we consider simulations of the rotation of the angular lattice formed by the optical fields and show that the resulting cavity transmission spectra are sensitive to the sign of the condensate winding number. We demonstrate the minimally destructive technique on persistent current rotational eigenstates, counter-rotating superpositions, and a soliton singly or in collision with a second soliton. Conversely, we also investigate the sensitivity of the ring condensate, given knowledge of its winding number, to the rotation of the optical lattice. This characterizes the effectiveness of the optomechanical configuration as a laboratory rotation sensor. Our results are important to studies of rotating ring condensates used in atomtronics, superfluid hydrodynamics, simulation of topological defects and cosmological theories, interferometry using matter-wave solitons, and optomechanical sensing.


title: Epidemic modeling and flattening the infection curve in social networks

abstract: The main goal of this paper is to model the epidemic and flattening the infection curve of the social networks. Flattening the infection curve implies slowing down the spread of the disease and reducing the infection rate via social-distancing, isolation (quarantine) and vaccination. The nan-pharmaceutical methods are a much simpler and efficient way to control the spread of epidemic and infection rate. By specifying a target group with high centrality for isolation and quarantine one can reach a much flatter infection curve (related to Corona for example) without adding extra costs to health services. The aim of this research is, first, modeling the epidemic and, then, giving strategies and structural algorithms for targeted vaccination or targeted non-pharmaceutical methods for reducing the peak of the viral disease and flattening the infection curve. These methods are more efficient for nan-pharmaceutical interventions as finding the target quarantine group flattens the infection curve much easier. For this purpose, a few number of particular nodes with high centrality are isolated and the infection curve is analyzed. Our research shows meaningful results for flattening the infection curve only by isolating a few number of targeted nodes in the social network. The proposed methods are independent of the type of the disease and are effective for any viral disease, e.g., Covid-19.


title: Calibrating Coupling for Collaboration with Kuramoto

abstract: We calibrate a Kuramoto model inspired representation of peer-to-peer collaboration using data on the maximum team-size where coordination breaks down. The Kuramoto model is modified, normalising the coupling by the degree of input and output nodes, reflecting dispersion of cognitive resources in both absorbing incoming-and tracking outgoing-information. We find a critical point, with loss of synchronisation as the number of nodes grows and analytically determine this point and calibrate the coupling with the known maximum team size. We test that against the known `span of control' for a leader/supervisor organisation. Our results suggest larger maximum team sizes than early management science proposes, but are consistent with recent studies.


title: Categorical action for finite classical groups and its applications: characteristic 0

abstract: In this paper, we construct a categorical double quantum Heisenberg action on the representation category of finite classical groups $\mathrm{O}_{2n+1}(q)$, $\mathrm{Sp}_{2n}(q)$ and $\mathrm{O}^{\pm}_{2n}(q)$ with $q$ odd. Over a field of characteristic zero or characteristic $\ell$ with $\ell\nmid q(q-1)$, we deduce a categorical action of a Kac-Moody algebra $\mathfrak{s}\mathfrak{l}'_{I_+}\oplus\mathfrak{s}\mathfrak{l}'_{I_-}$ on the representation category of finite classical groups. We show that the colored weight functions $\mathbb{O}^+(u)(\bullet)$, $\mathbb{O}^-(v)(\bullet)$ and uniform projection can distinguish all irreducible characters of finite classical groups. In particular, the colored weight functions are complete invariants of quadratic unipotent characters. We also show that using the theta correspondence and extra symmetries of categorical double quantum Heisenberg action, the Kac-Moody action on the Grothendieck group of the whole category can be determined explicitly.


title: GAIA: Zero-shot Talking Avatar Generation

abstract: Zero-shot talking avatar generation aims at synthesizing natural talking videos from speech and a single portrait image. Previous methods have relied on domain-specific heuristics such as warping-based motion representation and 3D Morphable Models, which limit the naturalness and diversity of the generated avatars. In this work, we introduce GAIA (Generative AI for Avatar), which eliminates the domain priors in talking avatar generation. In light of the observation that the speech only drives the motion of the avatar while the appearance of the avatar and the background typically remain the same throughout the entire video, we divide our approach into two stages: 1) disentangling each frame into motion and appearance representations; 2) generating motion sequences conditioned on the speech and reference portrait image. We collect a large-scale high-quality talking avatar dataset and train the model on it with different scales (up to 2B parameters). Experimental results verify the superiority, scalability, and flexibility of GAIA as 1) the resulting model beats previous baseline models in terms of naturalness, diversity, lip-sync quality, and visual quality; 2) the framework is scalable since larger models yield better results; 3) it is general and enables different applications like controllable talking avatar generation and text-instructed avatar generation.


title: Double Reverse Regularization Network Based on Self-Knowledge Distillation for SAR Object Classification

abstract: In current synthetic aperture radar (SAR) object classification, one of the major challenges is the severe overfitting issue due to the limited dataset (few-shot) and noisy data. Considering the advantages of knowledge distillation as a learned label smoothing regularization, this paper proposes a novel Double Reverse Regularization Network based on Self-Knowledge Distillation (DRRNet-SKD). Specifically, through exploring the effect of distillation weight on the process of distillation, we are inspired to adopt the double reverse thought to implement an effective regularization network by combining offline and online distillation in a complementary way. Then, the Adaptive Weight Assignment (AWA) module is designed to adaptively assign two reverse-changing weights based on the network performance, allowing the student network to better benefit from both teachers. The experimental results on OpenSARShip and FUSAR-Ship demonstrate that DRRNet-SKD exhibits remarkable performance improvement on classical CNNs, outperforming state-of-the-art self-knowledge distillation methods.


title: Self-supervised learning based on Transformer for flow reconstruction and prediction

abstract: Machine learning has great potential for efficient reconstruction and prediction of flow fields. However, existing datasets may have highly diversified labels for different flow scenarios, which are not applicable for training a model. To this end, we make a first attempt to apply the self-supervised learning (SSL) technique to fluid dynamics, which disregards data labels for pre-training the model. The SSL technique embraces a large amount of data ($8000$ snapshots) at Reynolds numbers of $Re=200$, $300$, $400$, $500$ without discriminating between them, which improves the generalization of the model. The Transformer model is pre-trained via a specially designed pretext task, where it reconstructs the complete flow fields after randomly masking $20\%$ data points in each snapshot. For the downstream task of flow reconstruction, the pre-trained model is fine-tuned separately with $256$ snapshots for each Reynolds number. The fine-tuned models accurately reconstruct the complete flow fields based on less than $5\%$ random data points within a limited window even for $Re=250$ and $600$, whose data were not seen in the pre-trained phase. For the other downstream task of flow prediction, the pre-training model is fine-tuned separately with $128$ consecutive snapshot pairs for each corresponding Reynolds number. The fine-tuned models then correctly predict the evolution of the flow fields over many periods of cycles. We compare all results generated by models trained via SSL and models trained via supervised learning, where the former has unequivocally superior performance. We expect that the methodology presented here will have wider applications in fluid mechanics


title: Sparse modeling approach to extract spectral functions with covariance of Euclidean-time correlators of lattice QCD

abstract: We present our sparse modeling study to extract spectral functions from Euclidean-time correlation functions. In this study covariance between different Euclidean times of the correlation function is taken into account, which was not done in previous studies. In order to check applicability of the method, we firstly test it with mock data which imitate possible charmonium spectral functions. Then, we extract spectral functions from correlation functions obtained from lattice QCD at finite temperature.


title: On the algorithmic descriptive complexity of attractors in topological dynamics

abstract: We study the computational problem of rigorously describing the asymptotic behaviour of topological dynamical systems up to a finite but arbitrarily small pre-specified error. More precisely, we consider the limit set of a typical orbit, both as a spatial object (attractor set) and as a statistical distribution (physical measure), and prove upper bounds on the computational resources of computing descriptions of these objects with arbitrary accuracy. We also study how these bounds are affected by different dynamical constrains and provide several examples showing that our bounds are sharp in general. In particular, we exhibit a computable interval map having a unique transitive attractor with Cantor set structure supporting a unique physical measure such that both the attractor and the measure are non computable.


title: Limited bisimulations for nondeterministic fuzzy transition systems

abstract: The limited version of bisimulation, called limited approximate bisimulation, has recently been introduced to fuzzy transition systems (NFTSs). This article extends limited approximate bisimulation to NFTSs, which are more general structures than FTSs, to introduce a notion of $k$-limited $\alpha$-bisimulation by using an approach of relational lifting, where $k$ is a natural number and $\alpha\in[0,1]$. To give the algorithmic characterization, a fixed point characterization of $k$-limited $\alpha$-bisimilarity is first provided. Then $k$-limited $\alpha$-bisimulation vector with $i$-th element being a $(k-i+1)$-limited $\alpha$-bisimulation is introduced to investigate conditions for two states to be $k$-limited $\alpha$-bisimilar, where $1\leq i\leq k+1$. Using these results, an $O(2k^2|V|^6\cdot\left|\lra\right|^2)$ algorithm is designed for computing the degree of similarity between two states, where $|V|$ is the number of states of the NFTS and $\left|\lra\right|$ is the greatest number of transitions from states. Finally, the relationship between $k$-limited $\alpha$-bisimilar and $\alpha$-bisimulation under $\widetilde{S}$ is showed, and by which, a logical characterization of $k$-limited $\alpha$-bisimilarity is provided.


title: Semilinear equations in bounded cylinders: Morse index and bifurcation from one-dimensional solutions

abstract: In this paper, we study positive one-dimensional solutions (i.e., solutions that depend only on one variable) for a class of semilinear elliptic problems in bounded cylinders in $\mathbb R^N$, $N \geq 2$. We compute the Morse index of such solutions and deduce from it the existence of least-energy solutions which are not one-dimensional, under suitable hypotheses on the nonlinearity and on the base of the cylinder. Furthermore, we analyze the appearance of more positive solutions, bifurcating from the one-dimensional ones, when we scale the base.


title: Exploring the sensing power of mixed vehicle fleets

abstract: Vehicle-based mobile sensing, also known as drive-by sensing, efficiently surveys urban environments at low costs by leveraging the mobility of urban vehicles. While recent studies have focused on drive-by sensing for fleets of a single type, our work explores the sensing power and cost-effectiveness of a mixed fleet that consists of vehicles with distinct and complementary mobility patterns. We formulate the drive-by sensing coverage (DSC) problem, proposing a method to quantify sensing utility and an optimization procedure that determines fleet composition, sensor allocation, and vehicle routing for a given budget. Our air quality sensing case study in Longquanyi District (Chengdu, China) demonstrates that using a mixed fleet enhances sensing utilities and achieves close approximations to the target sensing distribution at a lower cost. Generalizing these insights to two additional real-world networks, our regression analysis uncovers key factors influencing the sensing power of mixed fleets. This research provides quantitative and managerial insights into drive-by sensing, showcasing a positive externality of urban transport activities.


title: A Nearly Optimal and Low-Switching Algorithm for Reinforcement Learning with General Function Approximation

abstract: The exploration-exploitation dilemma has been a central challenge in reinforcement learning (RL) with complex model classes. In this paper, we propose a new algorithm, Monotonic Q-Learning with Upper Confidence Bound (MQL-UCB) for RL with general function approximation. Our key algorithmic design includes (1) a general deterministic policy-switching strategy that achieves low switching cost, (2) a monotonic value function structure with carefully controlled function class complexity, and (3) a variance-weighted regression scheme that exploits historical trajectories with high data efficiency. MQL-UCB achieves minimax optimal regret of $\tilde{O}(d\sqrt{HK})$ when $K$ is sufficiently large and near-optimal policy switching cost of $\tilde{O}(dH)$, with $d$ being the eluder dimension of the function class, $H$ being the planning horizon, and $K$ being the number of episodes. Our work sheds light on designing provably sample-efficient and deployment-efficient Q-learning with nonlinear function approximation.


title: Quantum oscillations in kagome metals (Ti, Zr, Hf)V6Sn6 at Van Hove filling

abstract: Kagome materials have recently drawn great attention due to the interplay between nontrivial band topology, electron correlations, and Van Hove singularities related many-body orders. Here we report three new vanadium-based kagome metals, TiV6Sn6, ZrV6Sn6, and HfV6Sn6, and conduct a comprehensive investigation of their structural, magnetic, and electrical transport properties. All three compounds exhibit large unsaturated magnetoresistances and multiband Hall effects at low temperatures, indicating the existence of multiple highly mobile carriers. Both the diagonal and off-diagonal resistivity show quantum oscillations with nontrivial Berry phases and high quantum mobilities. First-principles calculations together with quantum oscillation analyses suggest the Van Hove singularities at the M point for the three compounds all located in close vicinity of the Fermi level, and there also exist multiple topological nontrivial band crossings, including a nodal ring and a massive Dirac cone. Our work extends the kagome AM6X6 family and paves the way for searching possible Van Hove physics in the V kagome lattice.


title: Modeling the unphysical pseudomode model with physical ensembles: simulation, mitigation, and restructuring of non-Markovian quantum noise

abstract: The influence of a Gaussian environment on a quantum system can be described by effectively replacing the continuum with a discrete set of ancillary quantum and classical degrees of freedom. This defines a pseudomode model which can be used to classically simulate the reduced system dynamics. Here, we consider an alternative point of view and analyze the potential benefits of an analog or digital quantum simulation of the pseudomode model itself. Superficially, such a direct experimental implementation is, in general, impossible due to the unphysical properties of the effective degrees of freedom involved. However, we show that the effects of the unphysical pseudomode model can still be reproduced using measurement results over an ensemble of physical systems involving ancillary harmonic modes and an optional stochastic driving field. This is done by introducing an extrapolation technique whose efficiency is limited by stability against imprecision in the measurement data. We examine how such a simulation would allow us to (i) perform accurate quantum simulation of the effects of complex non-perturbative and non-Markovian environments in regimes that are challenging for classical simulation, (ii) conversely, mitigate potential unwanted non-Markovian noise present in quantum devices, and (iii) restructure some of some of the properties of a given physical bath, such as its temperature.


title: CalibFormer: A Transformer-based Automatic LiDAR-Camera Calibration Network

abstract: The fusion of LiDARs and cameras has been increasingly adopted in autonomous driving for perception tasks. The performance of such fusion-based algorithms largely depends on the accuracy of sensor calibration, which is challenging due to the difficulty of identifying common features across different data modalities. Previously, many calibration methods involved specific targets and/or manual intervention, which has proven to be cumbersome and costly. Learning-based online calibration methods have been proposed, but their performance is barely satisfactory in most cases. These methods usually suffer from issues such as sparse feature maps, unreliable cross-modality association, inaccurate calibration parameter regression, etc. In this paper, to address these issues, we propose CalibFormer, an end-to-end network for automatic LiDAR-camera calibration. We aggregate multiple layers of camera and LiDAR image features to achieve high-resolution representations. A multi-head correlation module is utilized to identify correlations between features more accurately. Lastly, we employ transformer architectures to estimate accurate calibration parameters from the correlation information. Our method achieved a mean translation error of $0.8751 \mathrm{cm}$ and a mean rotation error of $0.0562 ^{\circ}$ on the KITTI dataset, surpassing existing state-of-the-art methods and demonstrating strong robustness, accuracy, and generalization capabilities.


title: A hybrid lattice Boltzmann and finite difference method for two-phase flows with soluble surfactants

abstract: A hybrid method is developed to simulate two-phase flows with soluble surfactants. In this method, the interface and bulk surfactant concentration equations of diffuse-interface form, which include source terms to consider surfactant adsorption and desorption dynamics, are solved in the entire fluid domain by the finite difference method, while two-phase flows are solved by a lattice Boltzmann color-gradient model, which can accurately simulate binary fluids with unequal densities. The flow and interface surfactant concentration fields are coupled by a modified Langmuir equation of state, which allows for surfactant concentration beyond critical micelle concentration. The capability and accuracy of the hybrid method are first validated by simulating three numerical examples, including the adsorption of bulk surfactants onto the interface of a stationary droplet, the droplet migration in a constant surfactant gradient, and the deformation of a surfactant-laden droplet in a simple shear flow, in which the numerical results are compared with theoretical solutions and available literature data. Then, the hybrid method is applied to simulate the buoyancy-driven bubble rise in a surfactant solution, in which the influence of surfactants is identified for varying wall confinement, Eotvos number and Biot number. It is found that surfactants exhibit a retardation effect on the bubble rise due to the Marangoni stress that resists interface motion, and the retardation effect weakens as the Eotvos or Biot number increases. We further show that the weakened retardation effect at higher Biot numbers is attributed to a decreased non-uniform effect of surfactants at the interface.


title: ID-like Prompt Learning for Few-Shot Out-of-Distribution Detection

abstract: Out-of-distribution (OOD) detection methods often exploit auxiliary outliers to train model identifying OOD samples, especially discovering challenging outliers from auxiliary outliers dataset to improve OOD detection. However, they may still face limitations in effectively distinguishing between the most challenging OOD samples that are much like in-distribution (ID) data, i.e., \idlike samples. To this end, we propose a novel OOD detection framework that discovers \idlike outliers using CLIP \cite{DBLP:conf/icml/RadfordKHRGASAM21} from the vicinity space of the ID samples, thus helping to identify these most challenging OOD samples. Then a prompt learning framework is proposed that utilizes the identified \idlike outliers to further leverage the capabilities of CLIP for OOD detection. Benefiting from the powerful CLIP, we only need a small number of ID samples to learn the prompts of the model without exposing other auxiliary outlier datasets. By focusing on the most challenging \idlike OOD samples and elegantly exploiting the capabilities of CLIP, our method achieves superior few-shot learning performance on various real-world image datasets (e.g., in 4-shot OOD detection on the ImageNet-1k dataset, our method reduces the average FPR95 by 12.16\% and improves the average AUROC by 2.76\%, compared to state-of-the-art methods). Code is available at https://github.com/ycfate/ID-like.


title: Local structure of the Teichm\"uller and the Riemann moduli stacks

abstract: The goal of this note is to introduce an interesting question proposed by D. Rydh on an analytic version of the local structure of Artin stacks saying that near points with linearly reductive stabilizers, Artin stacks are \'etale-locally quotient stacks. We give some supporting evidence by verifying it on two fundamental classes of classical analytic moduli spaces: the Teichm\"uller moduli space and the Riemann moduli space of integrable complex structures whose analytic stack versions have been constructed by a recent work of L. Meersseman.


title: The Cesaro Operator in $\ell^{2}$ is Essentially Normal

abstract: In this paper we prove that the Cesaro operator $\mathcal{C}$ in $\ell^{2}$, the Hilbert space of square summable sequences, is essentially normal, i.e. the commutator $[\mathcal{C}^{\ast},\mathcal{C}]:=\mathcal{C}^{\ast}\mathcal{C}-\mathcal{C}\mathcal{C}^{\ast}$ is a compact operator on $\ell^{2}$.


title: Thermodynamic Response and Neutral Excitations in Integer and Fractional Quantum Anomalous Hall States Emerging from Correlated Flat Bands

abstract: Integer and fractional Chern insulators have been extensively explored in correlated flat band models. Recently, the prediction and experimental observation of fractional quantum anomalous Hall (FQAH) states with spontaneous time-reversal-symmetry breaking have garnered attention. While the thermodynamics of integer quantum anomalous Hall (IQAH) states have been systematically studied, our theoretical knowledge on thermodynamic properties of FQAH states has been severely limited. Here, we delve into the general thermodynamic response and collective excitations of both IQAH and FQAH states within the paradigmatic flat Chern-band model with remote band considered. Our key findings include: i) In both $\nu$ = 1 IQAH and $\nu$ = 1/3 FQAH states, even without spin fluctuations, the charge-neutral collective excitations would lower the onset temperature of these topological states, to a value significantly smaller than the charge gap, due to band-mixing and multi-particle scattering; ii) By employing large-scale thermodynamic simulations in FQAH states in the presence of strong inter-band mixing between C = $\pm1$ bands, we find that the lowest collective excitations manifest as the zero-momentum excitons in the IQAH state, whereas in the FQAH state, they take the form of magneto-rotons with finite momentum; iii) The unique charge oscillations in FQAH states are exhibited with distinct experimental signatures, which we propose to detect in future experiments.


title: Information Content of Financial Youtube Channel: Case Study of 3PROTV and Korean Stock Market

abstract: We investigate the information content of 3PROTV, a south Korean financial youtube channel. In our sample we found evidence for the hypothesis that the channel have information content on stock selection, but only on negative sentiment. Positively mentioned stock had pre-announcement spike followed by steep fall in stock price around announcement period. Negatively mentioned stock started underperforming around the announcement period, with underreaction dynamics in post-announcement period. In the area of market timing, we found that change of sentimental tone of 3PROTV than its historical average predicts the lead value of Korean market portfolio return. Its predictive power cannot be explained by future change in news sentiment, future short term interest rate, and future liquidity risk.


title: Radiative decays \$D^*_{(s)}\to D_{(s)}\gamma$ in covariant confined quark model

abstract: Radiative decays $D^*_{(s)}\to D_{(s)}\gamma$ are revisited in light of new experimental data from the \textit{BABAR} and BESIII collaborations. The radiative couplings $g_{D^*D\gamma}$ encoding nonperturbative QCD effects are calculated in the framework of the covariant confined quark model developed by us. We compare our results with other theoretical studies and experimental data. The couplings (in $\textrm{GeV}^{-1}$) $|g_{D^{*+}D^+\gamma}| = 0.45(9)$ and $|g_{D^{*0}D^0\gamma}| = 1.72(34)$ calculated in our model agree with the corresponding experimental data $|g_{D^{*+}D^+\gamma}|=0.47(7)$ and $|g_{D^{*0}D^0\gamma}|=1.77(16)$. The most interesting case is the decay $D^*_s\to D_s\gamma$, for which a recent prediction based on light-cone sum rules at next-to-leading order $|g_{D^*_s D_s\gamma}|=0.60(19)$ deviates from the first (and only to date) lattice QCD result $|g_{D^*_s D_s\gamma}|=0.11(2)$ at nearly $3\sigma$. Our calculation yields $|g_{D^*_s D_s\gamma}|=0.29(6)$, which falls somehow between the two mentioned results, although it is larger than those predicted in other studies using quark models or QCD sum rules.


title: Algorithm Evolution Using Large Language Model

abstract: Optimization can be found in many real-life applications. Designing an effective algorithm for a specific optimization problem typically requires a tedious amount of effort from human experts with domain knowledge and algorithm design skills. In this paper, we propose a novel approach called Algorithm Evolution using Large Language Model (AEL). It utilizes a large language model (LLM) to automatically generate optimization algorithms via an evolutionary framework. AEL does algorithm-level evolution without model training. Human effort and requirements for domain knowledge can be significantly reduced. We take constructive methods for the salesman traveling problem as a test example, we show that the constructive algorithm obtained by AEL outperforms simple hand-crafted and LLM-generated heuristics. Compared with other domain deep learning model-based algorithms, these methods exhibit excellent scalability across different problem sizes. AEL is also very different from previous attempts that utilize LLMs as search operators in algorithms.


title: Rely/Guarantee, Refinement and the ABA Problem: Part 1

abstract: Rely/guarantee reasoning provides a compositional way of reasoning about concurrency. The ABA problem occurs in many non-blocking concurrent data structures, where a change made by a concurrent process may be undetected by other processes. Guarantee conditions provide a useful mechanism for reasoning about such changes, as is demonstrated by two non-blocking examples, the Treiber stack and the Herlihy-Wing queue. The ABA problem can be identified by the program making a step where the before and after states do not correspond to a valid step at the sequential level. Therefore, such invalid behaviour relates to a failure of the guarantee condition. As such behaviour is non-linearisable, this suggests a strong relationship between refinement with rely/guarantee and linearisability.


title: Should I use metaverse or not? An investigation of university students behavioral intention to use MetaEducation technology

abstract: Metaverse, a burgeoning technological trend that combines virtual and augmented reality, provides users with a fully digital environment where they can assume a virtual identity through a digital avatar and interact with others as they were in the real world. Its applications span diverse domains such as economy (with its entry into the cryptocurrency field), finance, social life, working environment, healthcare, real estate, and education. During the COVID-19 and post-COVID-19 era, universities have rapidly adopted e-learning technologies to provide students with online access to learning content and platforms, rendering previous considerations on integrating such technologies or preparing institutional infrastructures virtually obsolete. In light of this context, the present study proposes a framework for analyzing university students' acceptance and intention to use metaverse technologies in education, drawing upon the Technology Acceptance Model (TAM). The study aims to investigate the relationship between students' intention to use metaverse technologies in education, hereafter referred to as MetaEducation, and selected TAM constructs, including Attitude, Perceived Usefulness, Perceived Ease of Use, Self-efficacy of metaverse technologies in education, and Subjective Norm. Notably, Self-efficacy and Subjective Norm have a positive influence on Attitude and Perceived Usefulness, whereas Perceived Ease of Use does not exhibit a strong correlation with Attitude or Perceived Usefulness. The authors postulate that the weak associations between the study's constructs may be attributed to limited knowledge regarding MetaEducation and its potential benefits. Further investigation and analysis of the study's proposed model are warranted to comprehensively understand the complex dynamics involved in the acceptance and utilization of MetaEducation technologies in the realm of higher education


title: Tilted spacetime positive mass theorem with arbitrary ends

abstract: In this paper, we prove the spacetime positive mass theorem for asymptotically flat spin initial data sets with arbitrary ends and a non-compact boundary. Moreover, we demonstrate a quantitative shielding theorem, subject to the tilted boundary dominant energy condition. Our results are established by solving a mixed boundary value problem for the Dirac-Witten operator with a Callias potential.


title: A note on the degree structure of primitive recursive m-reducibility

abstract: Let $C^{pr}_m$ be the upper semilattice of degrees of computable sets with respect to primitive recursive $m$-reducibility. We prove that the first-order theory of $C^{pr}_m$ is hereditarily undecidable.


title: Magnetothermal transport in the spin-1/2 easy-axis antiferromagnetic chain

abstract: By an exact analytical approach we study the magnetothermal transport in the spin-1/2 easy-axis Heisenberg model, in particular the thermal conductivity and spin Seebeck effect as a function of anisotropy, magnetic field and temperature. We stress a distinction between the commnon spin Seebeck effect with fixed boundary conditions and the one (intrinsic) with open boundary conditions. In the open boundary spin Seebeck effect we find exceptional features at the critical fields between the low field antiferromagnetic phase, the gapless one and the ferromagnetic at high fields. We further study the development of these features as a function of easy-axis anisotropy and temperature. We point out the potential of these results to experimental studies in spin chain compounds, candidates for spin current generation in the field of spintronics.


title: Well-covered Unitary Cayley Graphs of Matrix Rings over Finite Fields and Applications

abstract: Suppose that $F$ is a finite field and $R=M_n(F)$ is the ring of $n$-square matrices over $F$. Here we characterize when the Cayley graph of the additive group of $R$ with respect to the set of invertible elements of $R$, called the unitary Cayley graph of $R$, is well-covered. Then we apply this to characterize all finite rings with identity whose unitary Cayley graph is well-covered or Cohen-Macaulay.


title: On the $L_{\infty}$-bialgebra structure of the rational homotopy groups $\pi_{*}(\Omega \Sigma Y)\otimes \mathbb{Q}$

abstract: We introduce the notion of an $L_{\infty}$-bialgebra structure on a vector space. We show that the rational homotopy groups $\pi_{*}(\Omega \Sigma Y)\otimes \mathbb{Q}$ admit such a structure for the loop space $\Omega \Sigma Y$ of a suspension $\Sigma Y$ that characterizes $Y$ up to rational homotopy equivalence.


title: Bayesian Imputation of Revolving Doors

abstract: Political scientists and sociologists study how individuals switch back and forth between public and private organizations, for example between regulator and lobbyist positions, a phenomenon called "revolving doors". However, they face an important issue of data missingness, as not all data relevant to this question is freely available. For example, the nomination of an individual in a given public-sector position of power might be publically disclosed, but not their subsequent positions in the private sector. In this article, we adopt a Bayesian data augmentation strategy for discrete time series and propose measures of public-private mobility across the French state at large, mobilizing administrative and digital data. We relax homogeneity hypotheses of traditional hidden Markov models and implement a version of a Markov switching model, which allows for varying parameters across individuals and time and auto-correlated behaviors. We describe how the revolving doors phenomenon varies across the French state and how it has evolved between 1990 and 2022.


title: Non-perturbative quantum Yang-Mills at finite temperature beyond lattice: Dyson-Schwinger approach

abstract: We perform an analysis of thermal SU(N) Yang-Mills theory in non-perturbative regimes in the framework of Dyson-Swinger approach with a non-trivial ground state involving Jacobi Elliptic functions. Basic thermodynamic observables such as energy density and pressure have been derived analytically and compared with well-known available lattice results. A good agreement has been found at low temperatures providing a viable scenario of a gas of massive glue states populating higher levels of the spectrum of the theory. At high-temperatures, we observe that a scenario without glue states but consistent with a massive scalar field shows an interesting agreement with lattice data. We discuss the possibility of the results derived in this analysis to open up a novel pathway for precision studies of phase transitions with false vacuum and cosmological relics which depend upon QCD equation of state in strongly-coupled gauge theories beyond lattice.


title: Speed of sound exceeding the conformal bound in dense 2-color QCD

abstract: We review recent works on the Monte Carlo simulations of dense two-color QCD (QC$_2$D) by focusing on the phase diagram, the equation of state, and the sound velocity at nonzero quark chemical potential. A possible upper bound of the sound velocity is known as the conformal bound, namely, $c_s^2/c^2 \leq 1/3$. The sound velocity is below the bound at least in the case of finite-temperature QCD. However, our recent work~\cite{Iida:2022hyy} shows the breaking of this bound in dense QC$_2$D. This phenomenon was previously unknown from any lattice calculations. We also discuss recent related works including lattice studies on QCD at nonzero isospin chemical potential, some effective model analyses, and an analysis based on recent neutron star observations. These works also suggest the breaking of the conformal bound.


title: NeuRAD: Neural Rendering for Autonomous Driving

abstract: Neural radiance fields (NeRFs) have gained popularity in the autonomous driving (AD) community. Recent methods show NeRFs' potential for closed-loop simulation, enabling testing of AD systems, and as an advanced training data augmentation technique. However, existing methods often require long training times, dense semantic supervision, or lack generalizability. This, in turn, hinders the application of NeRFs for AD at scale. In this paper, we propose NeuRAD, a robust novel view synthesis method tailored to dynamic AD data. Our method features simple network design, extensive sensor modeling for both camera and lidar -- including rolling shutter, beam divergence and ray dropping -- and is applicable to multiple datasets out of the box. We verify its performance on five popular AD datasets, achieving state-of-the-art performance across the board. To encourage further development, we will openly release the NeuRAD source code. See https://github.com/georghess/NeuRAD .


title: Tomographic cross correlations between galaxy surveys and the CMB gravitational lensing potential. Effect of the redshift bin mismatch

abstract: Upcoming surveys of the large-scale structure of our Universe will employ a large coverage area of about half of the sky and will significantly increase the observational depth. With these surveys, we will be able to cross-correlate CMB gravitational lensing and galaxy surveys divided into narrow redshift bins to map the evolution of the cosmological parameters with redshift. In this paper, we study the effect of the redshift bin mismatch of objects that is due to photometric redshift errors in tomographic cross-correlation measurements. We used the code FLASK to create Monte Carlo simulations of the Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST) and Planck CMB lensing convergence. We simulated log-normal fields and divided galaxies into nine redshift bins with the Gaussian and modified Lorentzian photometric redshift errors. To estimate the parameters, we used angular power spectra of CMB lensing and galaxy density contrast fields and the maximum likelihood estimation method. We show that even with simple Gaussian errors with a standard deviation of $\sigma(z)=0.02(1+z)$, the galaxy auto-power spectra in tomographic bins are offset by $2-15\%$. The estimated cross-power spectra between galaxy clustering and CMB lensing are also biased, with smaller deviations $<5\%$. As a result, the $\sigma_{8}$ parameter deviates between $0.2-1.2\,\sigma$ due to the redshift bin mismatch of the objects. We propose a computationally fast and robust method based on the scattering matrix approach of Zhang et al. (2010), to correct for the redshift bin mismatch of the objects. The estimates of the parameters in tomographic studies such as the linear galaxy bias, the cross-correlation amplitude, and $\sigma_{8}$ are biased due to the redshift bin mismatch of the objects. The biases in these parameters are alleviated with our scattering matrix approach.


title: Revealing Cortical Layers In Histological Brain Images With Self-Supervised Graph Convolutional Networks Applied To Cell-Graphs

abstract: Identifying cerebral cortex layers is crucial for comparative studies of the cytoarchitecture aiming at providing insights into the relations between brain structure and function across species. The absence of extensive annotated datasets typically limits the adoption of machine learning approaches, leading to the manual delineation of cortical layers by neuroanatomists. We introduce a self-supervised approach to detect layers in 2D Nissl-stained histological slices of the cerebral cortex. It starts with the segmentation of individual cells and the creation of an attributed cell-graph. A self-supervised graph convolutional network generates cell embeddings that encode morphological and structural traits of the cellular environment and are exploited by a community detection algorithm for the final layering. Our method, the first self-supervised of its kind with no spatial transcriptomics data involved, holds the potential to accelerate cytoarchitecture analyses, sidestepping annotation needs and advancing cross-species investigation.


title: Strong limit theorems for step-reinforced random walks

abstract: A step-reinforced random walk is a discrete-time non-Markovian process with long range memory. At each step, with a fixed probability p, the positively step-reinforced random walk repeats one of its preceding steps chosen uniformly at random, and with complementary probability 1-p, it has an independent increment. The negatively step-reinforced random walk follows the same reinforcement algorithm but when a step is repeated its sign is also changed. Strong laws of large numbers and strong invariance principles are established for positively and negatively step-reinforced random walks in this work. Our approach relies on two general theorems on invariance principle for martingale difference sequences and a truncation argument. As by-products of our main results, the law of iterated logarithm and the functional central limit theorem are also obtained for step-reinforced random walks.


title: ChAda-ViT : Channel Adaptive Attention for Joint Representation Learning of Heterogeneous Microscopy Images

abstract: Unlike color photography images, which are consistently encoded into RGB channels, biological images encompass various modalities, where the type of microscopy and the meaning of each channel varies with each experiment. Importantly, the number of channels can range from one to a dozen and their correlation is often comparatively much lower than RGB, as each of them brings specific information content. This aspect is largely overlooked by methods designed out of the bioimage field, and current solutions mostly focus on intra-channel spatial attention, often ignoring the relationship between channels, yet crucial in most biological applications. Importantly, the variable channel type and count prevent the projection of several experiments to a unified representation for large scale pre-training. In this study, we propose ChAda-ViT, a novel Channel Adaptive Vision Transformer architecture employing an Inter-Channel Attention mechanism on images with an arbitrary number, order and type of channels. We also introduce IDRCell100k, a bioimage dataset with a rich set of 79 experiments covering 7 microscope modalities, with a multitude of channel types, and counts varying from 1 to 10 per experiment. Our architecture, trained in a self-supervised manner, outperforms existing approaches in several biologically relevant downstream tasks. Additionally, it can be used to bridge the gap for the first time between assays with different microscopes, channel numbers or types by embedding various image and experimental modalities into a unified biological image representation. The latter should facilitate interdisciplinary studies and pave the way for better adoption of deep learning in biological image-based analyses. Code and Data available at https://github.com/nicoboou/chadavit.


title: The isomorphism problem for ideal class monoids of numerical semigroups

abstract: From any poset isomorphic to the poset of gaps of a numerical semigroup $S$ with the order induced by $S$, one can recover $S$. As an application, we prove that two different numerical semigroups cannot have isomorphic posets (with respect to set inclusion) of ideals whose minimum is zero. We also show that given two numerical semigroups $S$ and $T$, if their ideal class monoids are isomorphic, then $S$ must be equal to $T$.


title: Unified construction of relativistic Hamiltonians

abstract: It is shown that four-component (4C), quasi-four-component (Q4C), and exact two-component (X2C) relativistic Hartree-Fock (HF) equations can be implemented in an unified manner, by making use of the atomic nature of the small components of molecular 4-spinors. A model density matrix approximation can first be invoked for the small-component charge/current density functions, which gives rise to a static, pre-molecular mean field (pmf) to be combined with the one-electron term. As a result, only the nonrelativistic-like two-electron term of the 4C/Q4C/X2C Fock matrix needs to be updated during the iterations. A `one-center small-component' approximation can then be invoked in the evaluation of relativistic integrals. That is, all atom-centered small-component basis functions are regarded as extremely localized nearby the position of the atom to which they belong, such that they have vanishing overlaps with all small- or large-component functions centered at other nuclei. Under these approximations, the 4C, Q4C, and X2C mean-field and many-electron Hamiltonians share precisely the same structure and accuracy. Beyond these is the effective quantum electrodynamics Hamiltonian that can be constructed in the same way. Such approximations lead to errors that are orders of magnitude smaller than other sources of errors (e.g., truncation errors in the one- and many-particle bases as well as uncertainties of experimental measurements) and are hence safe to use for whatever purposes. The quaternion forms of the 4C, Q4C, and X2C equations are also presented in the most general way, based on which the corresponding Kramers-restricted open-shell (RKOHF) variants are formulated for `high-spin' open-shell systems.


title: Spectrum of coherent VUV radiation generated by 5.7 MeV electrons in a multilayer X-ray mirror

abstract: The spectral and angular properties of diffracted transition radiation (DTR) and parametric radiation (PXR) in the ultrasoft X-ray region generated by the periodic structure upon interaction with a relativistic electron beam with energy of 5.7 MeV are numerically studied using a sample of the periodic structure [Mo/Si]50, known as a multilayer X-ray mirror. Based on calculations, an experimental approach is proposed to separate and identify the contributions of PXR and DTR. The ultrasoft X-ray radiation can be used to eliminate coherent effects occurring in the optical range when diagnosing the submicron electron beam size.


title: Unlearning via Sparse Representations

abstract: Machine \emph{unlearning}, which involves erasing knowledge about a \emph{forget set} from a trained model, can prove to be costly and infeasible by existing techniques. We propose a nearly compute-free zero-shot unlearning technique based on a discrete representational bottleneck. We show that the proposed technique efficiently unlearns the forget set and incurs negligible damage to the model's performance on the rest of the data set. We evaluate the proposed technique on the problem of \textit{class unlearning} using three datasets: CIFAR-10, CIFAR-100, and LACUNA-100. We compare the proposed technique to SCRUB, a state-of-the-art approach which uses knowledge distillation for unlearning. Across all three datasets, the proposed technique performs as well as, if not better than SCRUB while incurring almost no computational cost.


title: Tessel: Boosting Distributed Execution of Large DNN Models via Flexible Schedule Search

abstract: Increasingly complex and diverse deep neural network (DNN) models necessitate distributing the execution across multiple devices for training and inference tasks, and also require carefully planned schedules for performance. However, existing practices often rely on predefined schedules that may not fully exploit the benefits of emerging diverse model-aware operator placement strategies. Handcrafting high-efficiency schedules can be challenging due to the large and varying schedule space. This paper presents Tessel, an automated system that searches for efficient schedules for distributed DNN training and inference for diverse operator placement strategies. To reduce search costs, Tessel leverages the insight that the most efficient schedules often exhibit repetitive pattern (repetend) across different data inputs. This leads to a two-phase approach: repetend construction and schedule completion. By exploring schedules for various operator placement strategies, Tessel significantly improves both training and inference performance. Experiments with representative DNN models demonstrate that Tessel achieves up to 5.5x training performance speedup and up to 38% inference latency reduction.


title: Exploring the impact of a rapidly decelerating bar on transforming bulge orbits into disc-like orbits

abstract: The most metal-poor tail of the Milky Way ([Fe/H] $\leq$ $-$2.5) contains a population of stars with very prograde planar orbits, which is puzzling in both their origin and evolution. A possible scenario is that they are shepherded by the bar from the inner Galaxy, where many of the old and low-metallicity stars in the Galaxy are located. To investigate this scenario, we use test-particle simulations with an axisymmetric background potential plus a central bar model. The test particles are generated by an extended distribution function (EDF) model based on the observational constraints of bulge stars. According to the simulation results, a bar with constant pattern speed cannot help bring stars from the bulge to the solar vicinity. In contrast, when the model includes a rapidly decelerating bar, some bulge stars can gain rotation and move outwards as they are trapped in the co-rotation regions of the bar. The resulting distribution of shepherded stars heavily depends on the present-day azimuthal angle between the bar and the Sun. The majority of the low-metallicity bulge stars driven outwards are distributed in the fourth quadrant of the Galaxy with respect to the Sun, and about 10$\%$ of them are within 6 kpc from us. Our experiments indicate that the decelerating bar perturbation can be a contributing process to explain part of the most metal-poor stars with prograde planar orbits seen in the Solar neighborhood but is unlikely to be the dominant one.


title: Synthesizing mixed-integer linear programming models from natural language descriptions

abstract: Numerous real-world decision-making problems can be formulated and solved using Mixed-Integer Linear Programming (MILP) models. However, the transformation of these problems into MILP models heavily relies on expertise in operations research and mathematical optimization, which restricts non-experts' accessibility to MILP. To address this challenge, we propose a framework for automatically formulating MILP models from unstructured natural language descriptions of decision problems, which integrates Large Language Models (LLMs) and mathematical modeling techniques. This framework consists of three phases: i) identification of decision variables, ii) classification of objective and constraints, and iii) finally, generation of MILP models. In this study, we present a constraint classification scheme and a set of constraint templates that can guide the LLMs in synthesizing a complete MILP model. After fine-tuning LLMs, our approach can identify and synthesize logic constraints in addition to classic demand and resource constraints. The logic constraints have not been studied in existing work. To evaluate the performance of the proposed framework, we extend the NL4Opt dataset with more problem descriptions and constraint types, and with the new dataset, we compare our framework with one-step model generation methods offered by LLMs. The experimental results reveal that with respect to the accuracies of generating the correct model, objective, and constraints, our method which integrates constraint classification and templates with LLMs significantly outperforms the others. The prototype system that we developed has a great potential to capture more constraints for more complex MILPs. It opens up opportunities for developing training tools for operations research practitioners and has the potential to be a powerful tool for automatic decision problem modeling and solving in practice.


title: Cosmological Time Crystals from Gauss-Bonnet Gravity in Four Dimensions

abstract: We investigate various cosmological aspects of a 4-Dimensional Gauss-Bonnet Lagrangian, which is integrated into the Einstein Lagrangian with an arbitrary sign, using the Friedman-Lema\^itre-Robertson-Walker (FLRW) metric. We consider a general potential term, $V(a)$, that depends on the scale factor $a$, and we analyze several scenarios by investigating the critical points of the dynamical equations and stability conditions to understand how the universe's behavior is affected by the Gauss-Bonnet term. Our research suggests that choosing the negative sign, this integration allows for the spontaneous breaking of time reflection symmetry. This can lead to the generation of a bounce universe even with a normal matter sector, marking a significant departure from traditional theories. Furthermore, we examine the possibility of a time-crystal universe, showing that under certain circumstances, the theory might give rise to cyclic universes.


title: An Intelligent-Detection Network for Handwritten Mathematical Expression Recognition

abstract: The use of artificial intelligence technology in education is growing rapidly, with increasing attention being paid to handwritten mathematical expression recognition (HMER) by researchers. However, many existing methods for HMER may fail to accurately read formulas with complex structures, as the attention results can be inaccurate due to illegible handwriting or large variations in writing styles. Our proposed Intelligent-Detection Network (IDN) for HMER differs from traditional encoder-decoder methods by utilizing object detection techniques. Specifically, we have developed an enhanced YOLOv7 network that can accurately detect both digital and symbolic objects. The detection results are then integrated into the bidirectional gated recurrent unit (BiGRU) and the baseline symbol relationship tree (BSRT) to determine the relationships between symbols and numbers. The experiments demonstrate that the proposed method outperforms those encoder-decoder networks in recognizing complex handwritten mathematical expressions. This is due to the precise detection of symbols and numbers. Our research has the potential to make valuable contributions to the field of HMER. This could be applied in various practical scenarios, such as assignment grading in schools and information entry of paper documents.


title: Transient vortex dynamics and evolution of Bose metal from a 2D superconductor on MoS$_2$

abstract: The true character of physical phenomena is thought to be reinforced as the system becomes disorder-free. In contrast, the two-dimensional (2D) superconductor is predicted to turn fragile and resistive away from the limit I -> 0, B -> 0, in the pinning-free regime. It is intriguing to note that the very vortices responsible for achieving superconductivity by pairing, condensation, and, thereby reducing the classical dissipation, render the state resistive driven by quantum fluctuations in the T -> 0. While cleaner systems are being explored for technological improvements, the 2D superconductor turning resistive when influenced by weak electric and magnetic fields has profound consequences for quantum technologies. A metallic ground state in 2D is beyond the consensus of both Bosonic and Fermionic systems, and its origin and nature warrant a comprehensive theoretical understanding supplemented by in-depth experiments. A real-time observation of the influence of vortex dynamics on transport properties so far has been elusive. We explore the nature and fate of a low-viscous, clean, 2D superconducting state formed on an ionic-liquid gated few-layered MoS$_2$ sample. The vortex-core being dissipative, the elastic depinning, intervortex interaction, and the subsequent dynamics of the vortex-lattice cause the system to behave like an overdamped harmonic oscillator, leaving transient signatures in the transport characteristics. The temperature and magnetic field dependence of the transient nature and the noise characteristics of the magnetoresistance confirm that quantum fluctuations are solely responsible for the Bose metal state and the fragility of the superconducting state.