title: On permutation-invariant neural networks

abstract: Conventional machine learning algorithms have traditionally been designed under the assumption that input data follows a vector-based format, with an emphasis on vector-centric paradigms. However, as the demand for tasks involving set-based inputs has grown, there has been a paradigm shift in the research community towards addressing these challenges. In recent years, the emergence of neural network architectures such as Deep Sets and Transformers has presented a significant advancement in the treatment of set-based data. These architectures are specifically engineered to naturally accommodate sets as input, enabling more effective representation and processing of set structures. Consequently, there has been a surge of research endeavors dedicated to exploring and harnessing the capabilities of these architectures for various tasks involving the approximation of set functions. This comprehensive survey aims to provide an overview of the diverse problem settings and ongoing research efforts pertaining to neural networks that approximate set functions. By delving into the intricacies of these approaches and elucidating the associated challenges, the survey aims to equip readers with a comprehensive understanding of the field. Through this comprehensive perspective, we hope that researchers can gain valuable insights into the potential applications, inherent limitations, and future directions of set-based neural networks. Indeed, from this survey we gain two insights: i) Deep Sets and its variants can be generalized by differences in the aggregation function, and ii) the behavior of Deep Sets is sensitive to the choice of the aggregation function. From these observations, we show that Deep Sets, one of the well-known permutation-invariant neural networks, can be generalized in the sense of a quasi-arithmetic mean.


title: PCToolkit: A Unified Plug-and-Play Prompt Compression Toolkit of Large Language Models

abstract: Prompt compression is an innovative method for efficiently condensing input prompts while preserving essential information. To facilitate quick-start services, user-friendly interfaces, and compatibility with common datasets and metrics, we present the Prompt Compression Toolkit (PCToolkit). This toolkit is a unified plug-and-play solution for compressing prompts in Large Language Models (LLMs), featuring cutting-edge prompt compressors, diverse datasets, and metrics for comprehensive performance evaluation. PCToolkit boasts a modular design, allowing for easy integration of new datasets and metrics through portable and user-friendly interfaces. In this paper, we outline the key components and functionalities of PCToolkit. We conducted evaluations of the compressors within PCToolkit across various natural language tasks, including reconstruction, summarization, mathematical problem-solving, question answering, few-shot learning, synthetic tasks, code completion, boolean expressions, multiple choice questions, and lies recognition.


title: Multi-Triplon Excitations of Hubbard Ladders with Site-Dependent Potentials

abstract: We study low-lying spin-singlet excitations of two-leg Hubbard ladders with site-dependent potentials. Using general formulas of the charge disproportionation induced by the site-dependent potentials, we derive the contributions of spin degrees of freedom to the spectral functions such as the dynamical charge structure factor $N(\boldsymbol{k},\omega)$ and the optical conductivity $\sigma_{\gamma}(\omega)$ along the $\gamma(=x,y)$-direction of the two-leg ladders. Numerical results obtained by the Lanczos diagonalization method have clarified that the multi-triplon singlet states, including two- and three-triplon excitations, can be detected by observing these quantities. Furthermore, we have found that ladders with random potentials also have non-negligible contributions of these excitations to $\sigma_x(\omega)$.


title: LM-Combiner: A Contextual Rewriting Model for Chinese Grammatical Error Correction

abstract: Over-correction is a critical problem in Chinese grammatical error correction (CGEC) task. Recent work using model ensemble methods based on voting can effectively mitigate over-correction and improve the precision of the GEC system. However, these methods still require the output of several GEC systems and inevitably lead to reduced error recall. In this light, we propose the LM-Combiner, a rewriting model that can directly modify the over-correction of GEC system outputs without a model ensemble. Specifically, we train the model on an over-correction dataset constructed through the proposed K-fold cross inference method, which allows it to directly generate filtered sentences by combining the original and the over-corrected text. In the inference stage, we directly take the original sentences and the output results of other systems as input and then obtain the filtered sentences through LM-Combiner. Experiments on the FCGEC dataset show that our proposed method effectively alleviates the over-correction of the original system (+18.2 Precision) while ensuring the error recall remains unchanged. Besides, we find that LM-Combiner still has a good rewriting performance even with small parameters and few training data, and thus can cost-effectively mitigate the over-correction of black-box GEC systems (e.g., ChatGPT).


title: The Privacy Policy Permission Model: A Unified View of Privacy Policies

abstract: Organizations use privacy policies to communicate their data collection practices to their clients. A privacy policy is a set of statements that specifies how an organization gathers, uses, discloses, and maintains a client's data. However, most privacy policies lack a clear, complete explanation of how data providers' information is used. We propose a modeling methodology, called the Privacy Policy Permission Model (PPPM), that provides a uniform, easy-to-understand representation of privacy policies, which can accurately and clearly show how data is used within an organization's practice. Using this methodology, a privacy policy is captured as a diagram. The diagram is capable of highlighting inconsistencies and inaccuracies in the privacy policy. The methodology supports privacy officers in properly and clearly articulating an organization's privacy policy.


title: Allard-Type Regularity for Varifolds with Prescribed Contact Angle

abstract: Given a bounded $C^2$ domain in $\mathbb{R}^{n+1}$ and an integral $n$-rectifiable varifold $V$ with bounded first variation and bounded generalized mean curvature. Given a $C^1$ function $\theta$ defined on the boundary of the domain with range $(0,\pi)$, we assume $V$ has prescribed contact angle $\theta$ with $\partial \Omega$ and the tangent cone of $V$ at a point $X \in \partial \Omega$ is a half-hyperplane of density one. Then we can show that the support of $V$ is a $C^{1,\gamma}$ hypersurface with boundary near $X$ for some $\gamma \in (0,1)$.


title: AFDGCF: Adaptive Feature De-correlation Graph Collaborative Filtering for Recommendations

abstract: Collaborative filtering methods based on graph neural networks (GNNs) have witnessed significant success in recommender systems (RS), capitalizing on their ability to capture collaborative signals within intricate user-item relationships via message-passing mechanisms. However, these GNN-based RS inadvertently introduce excess linear correlation between user and item embeddings, contradicting the goal of providing personalized recommendations. While existing research predominantly ascribes this flaw to the over-smoothing problem, this paper underscores the critical, often overlooked role of the over-correlation issue in diminishing the effectiveness of GNN representations and subsequent recommendation performance. Up to now, the over-correlation issue remains unexplored in RS. Meanwhile, how to mitigate the impact of over-correlation while preserving collaborative filtering signals is a significant challenge. To this end, this paper aims to address the aforementioned gap by undertaking a comprehensive study of the over-correlation issue in graph collaborative filtering models. Firstly, we present empirical evidence to demonstrate the widespread prevalence of over-correlation in these models. Subsequently, we dive into a theoretical analysis which establishes a pivotal connection between the over-correlation and over-smoothing issues. Leveraging these insights, we introduce the Adaptive Feature De-correlation Graph Collaborative Filtering (AFDGCF) framework, which dynamically applies correlation penalties to the feature dimensions of the representation matrix, effectively alleviating both over-correlation and over-smoothing issues. The efficacy of the proposed framework is corroborated through extensive experiments conducted with four representative graph collaborative filtering models across four publicly available datasets.


title: Cyclic pursuit formation control for arbitrary desired shapes

abstract: A multi-agent system comprises numerous agents that autonomously make decisions to collectively accomplish tasks, drawing significant attention for their wide-ranging applications. Within this context, formation control emerges as a prominent task, wherein agents collaboratively shape and maneuver while preserving formation integrity. Our focus centers on cyclic pursuit, a method facilitating the formation of circles, ellipses, and figure-eights under the assumption that agents can only perceive the relative positions of those preceding them. However, this method's scope has been restricted to these specific shapes, leaving the feasibility of forming other shapes uncertain. In response, our study proposes a novel method based on cyclic pursuit capable of forming a broader array of shapes, enabling agents to individually shape while pursuing preceding agents, thereby extending the repertoire of achievable formations. We present two scenarios concerning the information available to agents and devise formation control methods tailored to each scenario. Through extensive simulations, we demonstrate the efficacy of our proposed method in forming multiple shapes, including those represented as Fourier series, thereby underscoring the versatility and effectiveness of our approach.


title: Short-term Classification of Strong Solar Energetic Particle Events using Multivariate Time Series Classifiers

abstract: Solar energetic particle (SEP) events are one of the most crucial aspects of space weather that require continuous monitoring and forecasting. Their prediction depends on various factors including source eruptions. In the present work, we use the Geostationary Solar Energetic Particle (GSEP) data set covering solar cycles 22, 23, and 24. We develop a framework using time series-based machine learning (ML) models with the aim of developing robust short-term forecasts by classifying SEP events. For this purpose, we introduce an ensemble learning approach that merges the results from univariate time series of three proton channels (10 MeV, 50 MeV, and 100 MeV) and the long band X-ray flux channel from the Geostationary Operational Environmental Satellite (GOES) missions and analyze their performance. We consider three models, namely, time series forest (TSF), supervised time series forest (STSF) and bag of SFA symbols (BOSS). Our study also focuses on understanding and developing confidence in the predictive capabilities of our models. Therefore, we utilize multiple evaluation techniques and metrics. Based on that, we find STSF to perform well in all scenarios. The summary of metrics for the STSF model is as follows: AUC = 0.981; F1-score = 0.960; TSS = 0.919; HSS = 0.920; GSS = 0.852; and MCC = 0.920. The Brier score loss of the STSF model is 0.077. This work lays the foundation for building near-real-time (NRT) short-term SEP event predictions using robust ML methods.


title: AI Safety: Necessary, but insufficient and possibly problematic

abstract: This article critically examines the recent hype around AI safety. We first start with noting the nature of the AI safety hype as being dominated by governments and corporations, and contrast it with other avenues within AI research on advancing social good. We consider what 'AI safety' actually means, and outline the dominant concepts that the digital footprint of AI safety aligns with. We posit that AI safety has a nuanced and uneasy relationship with transparency and other allied notions associated with societal good, indicating that it is an insufficient notion if the goal is that of societal good in a broad sense. We note that the AI safety debate has already influenced some regulatory efforts in AI, perhaps in not so desirable directions. We also share our concerns on how AI safety may normalize AI that advances structural harm through providing exploitative and harmful AI with a veneer of safety.


title: Learning to Visually Localize Sound Sources from Mixtures without Prior Source Knowledge

abstract: The goal of the multi-sound source localization task is to localize sound sources from the mixture individually. While recent multi-sound source localization methods have shown improved performance, they face challenges due to their reliance on prior information about the number of objects to be separated. In this paper, to overcome this limitation, we present a novel multi-sound source localization method that can perform localization without prior knowledge of the number of sound sources. To achieve this goal, we propose an iterative object identification (IOI) module, which can recognize sound-making objects in an iterative manner. After finding the regions of sound-making objects, we devise object similarity-aware clustering (OSC) loss to guide the IOI module to effectively combine regions of the same object but also distinguish between different objects and backgrounds. It enables our method to perform accurate localization of sound-making objects without any prior knowledge. Extensive experimental results on the MUSIC and VGGSound benchmarks show the significant performance improvements of the proposed method over the existing methods for both single and multi-source. Our code is available at: https://github.com/VisualAIKHU/NoPrior_MultiSSL


title: MA4DIV: Multi-Agent Reinforcement Learning for Search Result Diversification

abstract: The objective of search result diversification (SRD) is to ensure that selected documents cover as many different subtopics as possible. Existing methods primarily utilize a paradigm of "greedy selection", i.e., selecting one document with the highest diversity score at a time. These approaches tend to be inefficient and are easily trapped in a suboptimal state. In addition, some other methods aim to approximately optimize the diversity metric, such as $\alpha$-NDCG, but the results still remain suboptimal. To address these challenges, we introduce Multi-Agent reinforcement learning (MARL) for search result DIVersity, which called MA4DIV. In this approach, each document is an agent and the search result diversification is modeled as a cooperative task among multiple agents. This approach allows for directly optimizing the diversity metrics, such as $\alpha$-NDCG, while achieving high training efficiency. We conducted preliminary experiments on public TREC datasets to demonstrate the effectiveness and potential of MA4DIV. Considering the limited number of queries in public TREC datasets, we construct a large-scale dataset from industry sources and show that MA4DIV achieves substantial improvements in both effectiveness and efficiency than existing baselines on a industrial scale dataset.


title: InterHandGen: Two-Hand Interaction Generation via Cascaded Reverse Diffusion

abstract: We present InterHandGen, a novel framework that learns the generative prior of two-hand interaction. Sampling from our model yields plausible and diverse two-hand shapes in close interaction with or without an object. Our prior can be incorporated into any optimization or learning methods to reduce ambiguity in an ill-posed setup. Our key observation is that directly modeling the joint distribution of multiple instances imposes high learning complexity due to its combinatorial nature. Thus, we propose to decompose the modeling of joint distribution into the modeling of factored unconditional and conditional single instance distribution. In particular, we introduce a diffusion model that learns the single-hand distribution unconditional and conditional to another hand via conditioning dropout. For sampling, we combine anti-penetration and classifier-free guidance to enable plausible generation. Furthermore, we establish the rigorous evaluation protocol of two-hand synthesis, where our method significantly outperforms baseline generative models in terms of plausibility and diversity. We also demonstrate that our diffusion prior can boost the performance of two-hand reconstruction from monocular in-the-wild images, achieving new state-of-the-art accuracy.


title: Test-time Adaptation Meets Image Enhancement: Improving Accuracy via Uncertainty-aware Logit Switching

abstract: Deep neural networks have achieved remarkable success in a variety of computer vision applications. However, there is a problem of degrading accuracy when the data distribution shifts between training and testing. As a solution of this problem, Test-time Adaptation~(TTA) has been well studied because of its practicality. Although TTA methods increase accuracy under distribution shift by updating the model at test time, using high-uncertainty predictions is known to degrade accuracy. Since the input image is the root of the distribution shift, we incorporate a new perspective on enhancing the input image into TTA methods to reduce the prediction's uncertainty. We hypothesize that enhancing the input image reduces prediction's uncertainty and increase the accuracy of TTA methods. On the basis of our hypothesis, we propose a novel method: Test-time Enhancer and Classifier Adaptation~(TECA). In TECA, the classification model is combined with the image enhancement model that transforms input images into recognition-friendly ones, and these models are updated by existing TTA methods. Furthermore, we found that the prediction from the enhanced image does not always have lower uncertainty than the prediction from the original image. Thus, we propose logit switching, which compares the uncertainty measure of these predictions and outputs the lower one. In our experiments, we evaluate TECA with various TTA methods and show that TECA reduces prediction's uncertainty and increases accuracy of TTA methods despite having no hyperparameters and little parameter overhead.


title: Coupling-Constant Averaged Exchange-Correlation Hole for He, Li, Be, N, Ne Atoms from CCSD

abstract: Accurate approximation of the exchange-correlation (XC) energy in density functional theory (DFT) calculations is essential for reliably modelling electronic systems. Many such approximations are developed from models of the XC hole; accurate reference XC holes for real electronic systems are crucial for evaluating the accuracy of these models however the availability of reliable reference data is limited to a few systems. In this study, we employ the Lieb optimization with a coupled cluster singles and doubles (CCSD) reference to construct accurate coupling-constant averaged XC holes, resolved into individual exchange and correlation components, for five spherically symmetric atoms: He, Li, Be, N, and Ne. Alongside providing a new set of reference data for the construction and evaluation of model XC holes, we compare our data against the exchange and correlation hole models of the established LDA and PBE density functional approximations. Our analysis confirms the established rationalization for the limitations of LDA and the improvement observed with PBE in terms of the hole depth and its long-range decay, demonstrated in real-space for the series of spherically-symmetric atoms.


title: Masked Multi-Domain Network: Multi-Type and Multi-Scenario Conversion Rate Prediction with a Single Model

abstract: In real-world advertising systems, conversions have different types in nature and ads can be shown in different display scenarios, both of which highly impact the actual conversion rate (CVR). This results in the multi-type and multi-scenario CVR prediction problem. A desired model for this problem should satisfy the following requirements: 1) Accuracy: the model should achieve fine-grained accuracy with respect to any conversion type in any display scenario. 2) Scalability: the model parameter size should be affordable. 3) Convenience: the model should not require a large amount of effort in data partitioning, subset processing and separate storage. Existing approaches cannot simultaneously satisfy these requirements. For example, building a separate model for each (conversion type, display scenario) pair is neither scalable nor convenient. Building a unified model trained on all the data with conversion type and display scenario included as two features is not accurate enough. In this paper, we propose the Masked Multi-domain Network (MMN) to solve this problem. To achieve the accuracy requirement, we model domain-specific parameters and propose a dynamically weighted loss to account for the loss scale imbalance issue within each mini-batch. To achieve the scalability requirement, we propose a parameter sharing and composition strategy to reduce model parameters from a product space to a sum space. To achieve the convenience requirement, we propose an auto-masking strategy which can take mixed data from all the domains as input. It avoids the overhead caused by data partitioning, individual processing and separate storage. Both offline and online experimental results validate the superiority of MMN for multi-type and multi-scenario CVR prediction. MMN is now the serving model for real-time CVR prediction in UC Toutiao.


title: Knowledge-Powered Recommendation for an Improved Diet Water Footprint

abstract: According to WWF, 1.1 billion people lack access to water, and 2.7 billion experience water scarcity at least one month a year. By 2025, two-thirds of the world's population may be facing water shortages. This highlights the urgency of managing water usage efficiently, especially in water-intensive sectors like food. This paper proposes a recommendation engine, powered by knowledge graphs, aiming to facilitate sustainable and healthy food consumption. The engine recommends ingredient substitutes in user recipes that improve nutritional value and reduce environmental impact, particularly water footprint. The system architecture includes source identification, information extraction, schema alignment, knowledge graph construction, and user interface development. The research offers a promising tool for promoting healthier eating habits and contributing to water conservation efforts.


title: Atomic observation on diamond (001) surfaces with non-contact atomic force microscopy

abstract: To achieve atomic-level characterization of the diamond (001) surface, persistent efforts have been made over the past few decades. The motivation behind the pursuit extends beyond investigating surface defects and adsorbates; it also involves unraveling the mystery of the smooth growth of diamond. However, the inherently low conductivity and the short C-C bonds render atomic resolution imaging exceptionally challenging. Here, we successfully overcame these challenges by employing non-contact atomic force microscopy with reactive Si tips. Atomic resolution imaging was achieved even at room temperature. With density-functional-theory calculations, we clarified that the critical factors for atomic resolution are in the formation of tilted C-Si bonds between scanning probes and surfaces, along with reordering of the surface C-C dimers. Implications of the findings extend beyond the realm of surface characterization. The present atomic-resolution microscopies drive future advancements in diamond technologies by providing avenues for identifying dopants and constructing artificial nanostructures.


title: Aligning Large Language Models for Enhancing Psychiatric Interviews through Symptom Delineation and Summarization

abstract: Recent advancements in Large Language Models (LLMs) have accelerated their usage in various domains. Given the fact that psychiatric interviews are goal-oriented and structured dialogues between the professional interviewer and the interviewee, it is one of the most underexplored areas where LLMs can contribute substantial value. Here, we explore the use of LLMs for enhancing psychiatric interviews, by analyzing counseling data from North Korean defectors with traumatic events and mental health issues. Specifically, we investigate whether LLMs can (1) delineate the part of the conversation that suggests psychiatric symptoms and name the symptoms, and (2) summarize stressors and symptoms, based on the interview dialogue transcript. Here, the transcript data was labeled by mental health experts for training and evaluation of LLMs. Our experimental results show that appropriately prompted LLMs can achieve high performance on both the symptom delineation task and the summarization task. This research contributes to the nascent field of applying LLMs to psychiatric interview and demonstrates their potential effectiveness in aiding mental health practitioners.


title: Propagation of initial uncertainties to Arthurs-Kelly inequality

abstract: When the interaction Hamiltonian is $\widehat{H}_I = \kappa \left(\hat{x}_3 \hat{p}_1 + \hat{p}_3 \hat{p_2} \right)$ for large $\kappa$ and the initial quantum state is $\Psi_{in} (x_1, x_2, x_3) = \prod_{j=1}^3 \phi_j (x_j)$, the joint measurement of complementary variables $x_3$ and $p_3$ at $t = 1 / \kappa$ induces the uncertainty $\Delta_{\hat{x}_1} (t = 1 / \kappa) \Delta_{ \hat{x}_2} (t = 1 / \kappa) \geq \frac{1}{2} (\Delta_{\hat{x}_1} \Delta_{\hat{p}_1} + \Delta_{\hat{x}_2} \Delta_{\hat{p}_2} ) + \Delta_{\hat{x}_3} \Delta_{\hat{p}_3}$ , where the standard deviations in the right hand are the deviations at $t=0$. This is a generalized version of the well-known Arthurs-Keller inequality $\Delta_{\hat{x}_1} (t = 1 / \kappa) \Delta_{ \hat{x}_2} (t = 1 / \kappa) \geq 1$ arising when all $\phi_j (x_j)$ are the minimal uncertainty Gaussian states. If the initial probe state is entangled, it is shown that the generalized Arthurs-Kelly inequality can be violated. We show the violation explicitly by introducing a special example.


title: Java Classes with "-Er" and "-Utils" Suffixes Have Higher Complexity

abstract: In object-oriented programming languages, a belief exists that classes with -Er/-Or and -Utils suffixes are "code smells" because they take over a lot of functional responsibility, turning out to be bulky and complicated, and therefore making it more difficult to maintain the code. In order to validate this intuition, we analyzed complexity and cohesion of 13,861 Java classes from 212 unique open-source GitHub repositories. We found out that average values of Cyclomatic Complexity and Cognitive Complexity metrics are at least 2.5 times higher when suffixes are present.


title: Robust and Scalable Model Editing for Large Language Models

abstract: Large language models (LLMs) can make predictions using parametric knowledge--knowledge encoded in the model weights--or contextual knowledge--knowledge presented in the context. In many scenarios, a desirable behavior is that LLMs give precedence to contextual knowledge when it conflicts with the parametric knowledge, and fall back to using their parametric knowledge when the context is irrelevant. This enables updating and correcting the model's knowledge by in-context editing instead of retraining. Previous works have shown that LLMs are inclined to ignore contextual knowledge and fail to reliably fall back to parametric knowledge when presented with irrelevant context. In this work, we discover that, with proper prompting methods, instruction-finetuned LLMs can be highly controllable by contextual knowledge and robust to irrelevant context. Utilizing this feature, we propose EREN (Edit models by REading Notes) to improve the scalability and robustness of LLM editing. To better evaluate the robustness of model editors, we collect a new dataset, that contains irrelevant questions that are more challenging than the ones in existing datasets. Empirical results show that our method outperforms current state-of-the-art methods by a large margin. Unlike existing techniques, it can integrate knowledge from multiple edits, and correctly respond to syntactically similar but semantically unrelated inputs (and vice versa). The source code can be found at https://github.com/thunlp/EREN.


title: Integrating Mamba Sequence Model and Hierarchical Upsampling Network for Accurate Semantic Segmentation of Multiple Sclerosis Legion

abstract: Integrating components from convolutional neural networks and state space models in medical image segmentation presents a compelling approach to enhance accuracy and efficiency. We introduce Mamba HUNet, a novel architecture tailored for robust and efficient segmentation tasks. Leveraging strengths from Mamba UNet and the lighter version of Hierarchical Upsampling Network (HUNet), Mamba HUNet combines convolutional neural networks local feature extraction power with state space models long range dependency modeling capabilities. We first converted HUNet into a lighter version, maintaining performance parity and then integrated this lighter HUNet into Mamba HUNet, further enhancing its efficiency. The architecture partitions input grayscale images into patches, transforming them into 1D sequences for processing efficiency akin to Vision Transformers and Mamba models. Through Visual State Space blocks and patch merging layers, hierarchical features are extracted while preserving spatial information. Experimental results on publicly available Magnetic Resonance Imaging scans, notably in Multiple Sclerosis lesion segmentation, demonstrate Mamba HUNet's effectiveness across diverse segmentation tasks. The model's robustness and flexibility underscore its potential in handling complex anatomical structures. These findings establish Mamba HUNet as a promising solution in advancing medical image segmentation, with implications for improving clinical decision making processes.


title: Higher spin representations of the Yangian of $\mathfrak{sl}_2$ and R-matrices

abstract: We study higher spin (pure and mixed spin) representations of the Yangian of $\mathfrak{sl}_2$. We provide a geometric realization in terms of the critical cohomology of representations of the quiver with potential of Bykov and Zinn-Justin [BZJ20]. When the framing dimension is 1, it recovers the evaluation pullback of the $\ell+1$-dimensional irreducible representation of $\mathfrak{sl}_2$. We introduce the lattice model and prove that its partition function coincides with the weight function constructed using the framed shuffle formula. The latter follows the approach of Rim\'anyi, Tarasov and Varchenko [RTV15].


title: Numerical analysis of a FE/SAV scheme for a Caginalp phase field model with mechanical effects in stereolithography

abstract: In this work we propose a phase field model based on a Caginalp system with mechanical effects to study the underlying physical and chemical processes behind stereolithography, which is an additive manufacturing (3D printing) technique that builds objects in a layer-by-layer fashion by using an ultraviolet laser to solidify liquid polymer resins. Existence of weak solutions is established by demonstrating the convergence of a numerical scheme based on a first order scalar auxiliary variable temporal discretization and a finite element spatial discretization. We further establish uniqueness and regularity of solutions, as well as optimal error estimates for the Caginalp system that are supported by numerical simulations. We also present some qualitative two-dimensional simulations of the stereolithography processes captured by the model.


title: Restrictions of holomorphic sections to products

abstract: We associate quantum states with subsets of a product of two compact connected K\"ahler manifolds $M_1$ and $M_2$. To associate the quantum state with the subset, we use the map that restricts holomorphic sections of the quantum line bundle over the product of the two K\"ahler manifolds to the subset. We present a description of the kernel of this restriction map when the subset is a finite union of products. This in turn shows that the quantum states associated with the finite union of products are separable. Finally, for every pure state and certain mixed state, we construct subsets of $M_1\times M_2$ such that the states associated with these subsets are the original states, to begin with.


title: Particle identification with machine learning from incomplete data in the ALICE experiment

abstract: The ALICE experiment at the LHC measures properties of the strongly interacting matter formed in ultrarelativistic heavy-ion collisions. Such studies require accurate particle identification (PID). ALICE provides PID information via several detectors for particles with momentum from about 100 MeV/c up to 20 GeV/c. Traditionally, particles are selected with rectangular cuts. A much better performance can be achieved with machine learning (ML) methods. Our solution uses multiple neural networks (NN) serving as binary classifiers. Moreover, we extended our particle classifier with Feature Set Embedding and attention in order to train on data with incomplete samples. We also present the integration of the ML project with the ALICE analysis software, and we discuss domain adaptation, the ML technique needed to transfer the knowledge between simulated and real experimental data.


title: An Empirical Study of ChatGPT-related projects on GitHub

abstract: As ChatGPT possesses powerful capabilities in natural language processing and code analysis, it has received widespread attention since its launch. Developers have applied its powerful capabilities to various domains through software projects which are hosted on the largest open-source platform (GitHub) worldwide. Simultaneously, these projects have triggered extensive discussions. In order to comprehend the research content of these projects and understand the potential requirements discussed, we collected ChatGPT-related projects from the GitHub platform and utilized the LDA topic model to identify the discussion topics. Specifically, we selected 200 projects, categorizing them into three primary categories through analyzing their descriptions: ChatGPT implementation & training, ChatGPT application, ChatGPT improvement & extension. Subsequently, we employed the LDA topic model to identify 10 topics from issue texts, and compared the distribution and evolution trend of the discovered topics within the three primary project categories. Our observations include (1) The number of projects growing in a single month for the three primary project categories are closely associated with the development of ChatGPT. (2) There exist significant variations in the popularity of each topic for the three primary project categories. (3) The monthly changes in the absolute impact of each topic for the three primary project categories are diverse, which is often closely associated with the variation in the number of projects owned by that category. (4) With the passage of time, the relative impact of each topic exhibits different development trends in the three primary project categories. Based on these findings, we discuss implications for developers and users.


title: Parking functions and {\L}ukasiewicz paths

abstract: We present a bijection between two well-known objects in the ubiquitous Catalan family: non-decreasing parking functions and {\L}ukasiewicz paths. This bijection maps the maximal displacement of a parking function to the height of the corresponding {\L}ukasiewicz path, and the total displacement to the area of the path. We also study this bijection restricted to two specific families of parking-functions: unit-interval parking functions, and prime parking functions.


title: On a classification of axiom A diffeomorphisms with codimension one basic sets and isolated saddles

abstract: Let $M^n$, $n\geq 3$, be a closed orientable $n$-manifold and $\mathbb{D}_k(M^n;a,b,c)$ the set of axiom A diffeomorp\-hisms $f: M^n\to M^n$ satisfying the following conditions: (1) $f$ has $k\geq 1$ nontrivial basic sets each is either an orientable codimension one expanding attractor or an orientable codimension one contracting repeller, and other trivial basic sets which are $a$ sinks, $b$ sources, $c$ saddles; (2) the invariant manifolds of isolated saddles are intersected transversally. We classify the diffeomorphisms from $\mathbb{D}_k(M^n;a,b,c)$ up to the global conjugacy on non-wandering sets for the following subsets $\mathbb{S}_k(M^n;a,b,c), \mathbb{P}_k(M^n;0,0,1), \mathbb{M}_k(M^n;0,0,1)$ of $\mathbb{D}_k(M^n;a,b,c)$ where $\mathbb{S}_k(M^n;a,b,c)$ satisfies to the following conditions: ($1_{\mathbb{S}}$) every nontrivial basic set of any $f\in\mathbb{S}_k(M^n;a,b,c)$ is uniquely bunched, and there is at least one nontrivial attractor and at least one nontrivial repeller, i.e. $k\geq 2$; ($2_{\mathbb{S}}$) $c\geq 1$ and all isolated saddles have the same Morse index belonging to $\{1,n-1\}$. The subset $\mathbb{P}_k(M^n;0,0,1)\subset\mathbb{D}_k(M^n;0,0,1)$ satisfies to the following conditions: ($1_{\mathbb{P}}$) any boundary point of $f\in\mathbb{P}_k(M^n;0,0,1)$ is fixed; ($2_{\mathbb{P}}$) a unique isolated saddle has Morse index different from $\{1,n-1\}$. The subset $\mathbb{M}_k(M^n;0,0,1)\subset\mathbb{D}_k(M^n;0,0,1)$ satisfies to the following conditions: ($1_{\mathbb{M}}$) any boundary point of $f\in\mathbb{M}_k(M^n;0,0,1)$ is fixed; ($2_{\mathbb{M}}$) a unique isolated saddle has Morse index belonging to $\{1,n-1\}$. The classification is based on a description of topological structure of supporting manifolds $M^n$.


title: $(\omega_1, \omega_2)$-Temporal random hyperbolic graphs

abstract: We extend a recent model of temporal random hyperbolic graphs by allowing connections and disconnections to persist across network snapshots with different probabilities, $\omega_1$ and $\omega_2$. This extension, while conceptually simple, poses analytical challenges involving the Appell $F_1$ series. Despite these challenges, we are able to analyze key properties of the model, which include the distributions of contact and intercontact durations, as well as the expected time-aggregated degree. The incorporation of $\omega_1$ and $\omega_2$ enables more flexible tuning of the average contact and intercontact durations, and of the average time-aggregated degree, providing a finer control for exploring the effect of temporal network dynamics on epidemic processes. Overall, our results provide new insights into the analysis of temporal networks and contribute to a more general representation of real-world scenarios.


title: Adaptive LiDAR-Radar Fusion for Outdoor Odometry Across Dense Smoke Conditions

abstract: Robust odometry estimation in perceptually degraded environments represents a key challenge in the field of robotics. In this paper, we propose a LiDAR-radar fusion method for robust odometry for adverse environment with LiDAR degeneracy. By comparing the LiDAR point cloud with the radar static point cloud obtained through preprocessing module, it is possible to identify instances of LiDAR degeneracy to overcome perceptual limits. We demonstrate the effectiveness of our method in challenging conditions such as dense smoke, showcasing its ability to reliably estimate odometry and identify/remove dynamic points prone to LiDAR degeneracy.


title: Touch the Core: Exploring Task Dependence Among Hybrid Targets for Recommendation

abstract: As user behaviors become complicated on business platforms, online recommendations focus more on how to touch the core conversions, which are highly related to the interests of platforms. These core conversions are usually continuous targets, such as \textit{watch time}, \textit{revenue}, and so on, whose predictions can be enhanced by previous discrete conversion actions. Therefore, multi-task learning (MTL) can be adopted as the paradigm to learn these hybrid targets. However, existing works mainly emphasize investigating the sequential dependence among discrete conversion actions, which neglects the complexity of dependence between discrete conversions and the final continuous conversion. Moreover, simultaneously optimizing hybrid tasks with stronger task dependence will suffer from volatile issues where the core regression task might have a larger influence on other tasks. In this paper, we study the MTL problem with hybrid targets for the first time and propose the model named Hybrid Targets Learning Network (HTLNet) to explore task dependence and enhance optimization. Specifically, we introduce label embedding for each task to explicitly transfer the label information among these tasks, which can effectively explore logical task dependence. We also further design the gradient adjustment regime between the final regression task and other classification tasks to enhance the optimization. Extensive experiments on two offline public datasets and one real-world industrial dataset are conducted to validate the effectiveness of HTLNet. Moreover, online A/B tests on the financial recommender system also show our model has superior improvement.


title: Uniclass automorphisms of spherical buildings

abstract: An automorphism of a building is called uniclass if the Weyl distance between any chamber and its image lies in a single (twisted) conjugacy class of the Coxeter group. In this paper we characterise uniclass automorphisms of spherical buildings in terms of their fixed structure. For this purpose we introduce the notion of a Weyl substructure in a spherical building. We also link uniclass automorphisms to the Freudenthal--Tits magic square.


title: Quantum accelerated cross regression algorithm for multiview feature extraction

abstract: Multi-view Feature Extraction (MvFE) has wide applications in machine learning, image processing and other fields. When dealing with massive high-dimensional data, the performance of classical computer faces severe challenges due to MvFE involves expensive matrix calculation. To address this challenge, a quantum-accelerated cross-regression algorithm for MvFE is proposed. The main contributions are as follows:(1) a quantum version algorithm for MvFE is proposed for the first time, filling the gap of quantum computing in the field of MvFE;(2) a quantum algorithm is designed to construct the block-encoding of the target data matrix, so that the optimal Hamiltonian simulation technology based on the block-encoding framework can be used to efficiently realize the quantum simulation of the target data matrix. This approach reduces the dependence of the algorithm's on simulation errors to enhance algorithm performance;(3) compared with the classical counterpart algorithm, the proposed quantum algorithm has a polynomial acceleration in the number of data points, the dimension of data points and the number of view data.


title: Incorporating Exponential Smoothing into MLP: A Simple but Effective Sequence Model

abstract: Modeling long-range dependencies in sequential data is a crucial step in sequence learning. A recently developed model, the Structured State Space (S4), demonstrated significant effectiveness in modeling long-range sequences. However, It is unclear whether the success of S4 can be attributed to its intricate parameterization and HiPPO initialization or simply due to State Space Models (SSMs). To further investigate the potential of the deep SSMs, we start with exponential smoothing (ETS), a simple SSM, and propose a stacked architecture by directly incorporating it into an element-wise MLP. We augment simple ETS with additional parameters and complex field to reduce the inductive bias. Despite increasing less than 1\% of parameters of element-wise MLP, our models achieve comparable results to S4 on the LRA benchmark.


title: Cost-benefit analysis of ecosystem modelling to support fisheries management

abstract: Mathematical and statistical models underlie many of the world's most important fisheries management decisions. Since the 19th century, difficulty calibrating and fitting such models has been used to justify the selection of simple, stationary, single-species models to aid tactical fisheries management decisions. Whereas these justifications are reasonable, it is imperative that we quantify the value of different levels of model complexity for supporting fisheries management, especially given a changing climate, where old methodologies may no longer perform as well as in the past. Here we argue that cost-benefit analysis is an ideal lens to assess the value of model complexity in fisheries management. While some studies have reported the benefits of model complexity in fisheries, modeling costs are rarely considered. In the absence of cost data in the literature, we report, as a starting point, relative costs of single-species stock assessment and marine ecosystem models from two Australian organizations. We found that costs varied by two orders of magnitude, and that ecosystem model costs increased with model complexity. Using these costs, we walk through a hypothetical example of cost-benefit analysis. The demonstration is intended to catalyze the reporting of modeling costs and benefits.


title: Chain of Compression: A Systematic Approach to Combinationally Compress Convolutional Neural Networks

abstract: Convolutional neural networks (CNNs) have achieved significant popularity, but their computational and memory intensity poses challenges for resource-constrained computing systems, particularly with the prerequisite of real-time performance. To release this burden, model compression has become an important research focus. Many approaches like quantization, pruning, early exit, and knowledge distillation have demonstrated the effect of reducing redundancy in neural networks. Upon closer examination, it becomes apparent that each approach capitalizes on its unique features to compress the neural network, and they can also exhibit complementary behavior when combined. To explore the interactions and reap the benefits from the complementary features, we propose the Chain of Compression, which works on the combinational sequence to apply these common techniques to compress the neural network. Validated on the image-based regression and classification networks across different data sets, our proposed Chain of Compression can significantly compress the computation cost by 100-1000 times with ignorable accuracy loss compared with the baseline model.


title: Adaptive Line-Of-Sight guidance law based on vector fields path following for underactuated unmanned surface vehicle

abstract: The focus of this paper is to develop a methodology that enables an unmanned surface vehicle (USV) to efficiently track a planned path. The introduction of a vector field-based adaptive line of-sight guidance law (VFALOS) for accurate trajectory tracking and minimizing the overshoot response time during USV tracking of curved paths improves the overall line-of-sight (LOS) guidance method. These improvements contribute to faster convergence to the desired path, reduce oscillations, and can mitigate the effects of persistent external disturbances. It is shown that the proposed guidance law exhibits k-exponential stability when converging to the desired path consisting of straight and curved lines. The results in the paper show that the proposed method effectively improves the accuracy of the USV tracking the desired path while ensuring the safety of the USV work.


title: Inclusive and diffractive dijet photoproduction in ultraperipheral Pb-Pb collisions at the LHC

abstract: In this contribution, we summarize NLO pQCD predictions for inclusive and diffractive dijet photoproduction in Pb-Pb UPCs at the LHC. We demonstrate that the theory describes well the preliminary ATLAS data on the inclusive cross section, which probes nuclear parton distributions (PDFs) down to $x_A \approx 0.005$ and which can reduce current uncertainties of the small-$x$ nuclear gluon distribution by approximately a factor of 2. Employing predictions of the leading twist approach to nuclear shadowing for nuclear diffractive PDFs, we calculate the cross section of diffractive dijet photoproduction and show that its $x_{\gamma}$ dependence is sensitive to the effect of nuclear shadowing and the mechanism of QCD factorization breaking in hard diffraction. We also find that due to large leading twist nuclear shadowing and restricted kinematics, the diffractive contribution to the inclusive cross section of dijet photoproduction does not exceed $5-10$%, which helps with an ambiguous interpretation of the ATLAS data.


title: An inexact proximal MM method for a class of nonconvex composite image reconstruction models

abstract: This paper concerns a class of composite image reconstruction models for impluse noise removal, which is rather general and covers existing convex and nonconvex models proposed for reconstructing images with impluse noise. For this nonconvex and nonsmooth optimization problem, we propose a proximal majorization-minimization (MM) algorithm with an implementable inexactness criterion by seeking in each step an inexact minimizer of a strongly convex majorization of the objective function, and establish the convergence of the iterate sequence under the KL assumption on the constructed potential function. This inexact proximal MM method is applied to handle gray image deblurring and color image inpainting problems, for which the associated potential function satisfy the required KL assumption. Numerical comparisons with two state-of-art solvers for image deblurring and inpainting tasks validate the efficiency of the proposed algorithm and models.


title: Global regularity for a physically nonlinear version of the relaxed micromorphic model on Lipschitz domains

abstract: In this paper, we investigate the global higher regularity properties of weak solutions for a linear elliptic system coupled with a nonlinear Maxwell-type system defined on Lipschitz domains. The regularity result is established using a modified finite difference approach. These adjusted finite differences involve inner variations in conjunction with a Piola-type transformation to preserve the curl-structure within the matrix Maxwell system. The proposed method is further applied to the linear relaxed micromorphic model. As a result, for a physically nonlinear version of the relaxed micromorphic model, we demonstrate that for arbitrary $\epsilon > 0$, the displacement vector $u$ belongs to $H^{\frac{3}{2}-\epsilon}(\Omega)$, and the microdistortion tensor $P$ belongs to $H^{\frac{1}{2}-\epsilon}(\Omega)$ while $\Curl P$ belongs to $H^{\frac{1}{2}-\epsilon}(\Omega)$.


title: Five-fingered Hand with Wide Range of Thumb Using Combination of Machined Springs and Variable Stiffness Joints

abstract: Human hands can not only grasp objects of various shape and size and manipulate them in hands but also exert such a large gripping force that they can support the body in the situations such as dangling a bar and climbing a ladder. On the other hand, it is difficult for most robot hands to manage both. Therefore in this paper we developed the hand which can grasp various objects and exert large gripping force. To develop such hand, we focused on the thumb CM joint with wide range of motion and the MP joints of four fingers with the DOF of abduction and adduction. Based on the hand with large gripping force and flexibility using machined spring, we applied above mentioned joint mechanism to the hand. The thumb CM joint has wide range of motion because of the combination of three machined springs and MP joints of four fingers have variable rigidity mechanism instead of driving each joint independently in order to move joint in limited space and by limited actuators. Using the developed hand, we achieved the grasping of various objects, supporting a large load and several motions with an arm.


title: Quadratic speed-ups in quantum kernelized binary classification

abstract: Classification is at the core of data-driven prediction and decision-making, representing a fundamental task in supervised machine learning. Recently, several quantum machine learning algorithms that use quantum kernels as a measure of similarities between data have emerged to perform binary classification on datasets encoded as quantum states. The potential advantages of quantum kernels arise from the ability of quantum computers to construct kernels that are more effective than their classical counterparts in capturing patterns in data or computing kernels more efficiently. However, existing quantum kernel-based classification algorithms do not harness the capability of having data samples in quantum superposition for additional enhancements. In this work, we demonstrate how such capability can be leveraged in quantum kernelized binary classifiers (QKCs) through Quantum Amplitude Estimation (QAE) for quadratic speed-up. Additionally, we propose new quantum circuits for the QKCs in which the number of qubits is reduced by one, and the circuit depth is reduced linearly with respect to the number of sample data. We verify the quadratic speed-up over previous methods through numerical simulations on the Iris dataset.


title: Study on high-frequency quasi-periodic oscillations in rotating black bounce spacetime

abstract: We investigate dynamical effects of particles moving around rotating SV regular BH and traversable wormholes, and the deviation from Kerr BH. We found that the rotating SV traversable wormhole spacetime has a closer innermost stable circular orbit to the central object than Kerr and rotating regular BHs. Furthermore, the paper provides the general form of the epicycle frequency in this spacetime, presenting the radial profile of the angular frequency of particles undergoing oscillatory motion. Unlike the commonly used $\chi$-square analysis method, with considering a generalized data analysis approach in this paper we hypothesize that the observational data of three microguasars can be explained through an axisymmetric SV spacetime, fitting the data to find the range of spin values for three types of SV objects, and analyzing the possible mechanisms of HFQPOs (high-frequency quasi-periodic oscillations) generation for different types of axisymmetric SV objects. We found that for a Kerr BH with $l^*=0$, the observational data of three microquasars can be explained by the HFQPOs model used in this paper (excluding ER4 model); for a regular BH with $l^*=1$, the HFQPO phenomenon observed through the three microquasars can be explained by the ER0, ER1, ER2, ER3, RP0, RP1, RP2, TD and WD models. For a traversable wormhole with $l^*=3$, the mechanism of HFQPO can be interpreted by the ER1, ER3, RP0, RP1, RP2, TD and WD models. Moreover, we observed that for the same HFQPOs model, the limiting range of the spin parameter $\alpha^*$ increases with the increase of the parameter $l^*$.


title: TeV scale Signatures of Lepton Flavour Violation

abstract: The juxtaposition of the precision of lepton flavour measurements and the limited energy range of the Large Hadron Collider (LHC) to discover dynamical degrees of freedom linked to the generation of the observed lepton mass patterns naively suggests only a limited relevance of the LHC's high luminosity phase. This, potentially, extends to future colliders. We show that minimal non-standard modifications of widely considered scenarios such as the type-II seesaw model can, however, lead to a rich phenomenological interplay of muon precision measurements and electroweak resonance searches at present and future colliders, with testable implications for the HL-LHC phase.


title: Imitating Cost-Constrained Behaviors in Reinforcement Learning

abstract: Complex planning and scheduling problems have long been solved using various optimization or heuristic approaches. In recent years, imitation learning that aims to learn from expert demonstrations has been proposed as a viable alternative to solving these problems. Generally speaking, imitation learning is designed to learn either the reward (or preference) model or directly the behavioral policy by observing the behavior of an expert. Existing work in imitation learning and inverse reinforcement learning has focused on imitation primarily in unconstrained settings (e.g., no limit on fuel consumed by the vehicle). However, in many real-world domains, the behavior of an expert is governed not only by reward (or preference) but also by constraints. For instance, decisions on self-driving delivery vehicles are dependent not only on the route preferences/rewards (depending on past demand data) but also on the fuel in the vehicle and the time available. In such problems, imitation learning is challenging as decisions are not only dictated by the reward model but are also dependent on a cost-constrained model. In this paper, we provide multiple methods that match expert distributions in the presence of trajectory cost constraints through (a) Lagrangian-based method; (b) Meta-gradients to find a good trade-off between expected return and minimizing constraint violation; and (c) Cost-violation-based alternating gradient. We empirically show that leading imitation learning approaches imitate cost-constrained behaviors poorly and our meta-gradient-based approach achieves the best performance.


title: Energy-momentum Tensor: Noether vs Hilbert

abstract: We revisit the old problem of the energy-momentum tensor in general relativistic field theories. On the basis of the general covariance we derive a simple equation for the Hilbert and Noether energy-momentum tensors for the scalar and electromagnetic field theories. We see that the two definitions of energy-momentum tensors coincide and identify the Noether current if the space-time has the Killing vector. Relation to the Wald entropy is also briefly discussed.


title: Expectations Versus Reality: Evaluating Intrusion Detection Systems in Practice

abstract: Our paper provides empirical comparisons between recent IDSs to provide an objective comparison between them to help users choose the most appropriate solution based on their requirements. Our results show that no one solution is the best, but is dependent on external variables such as the types of attacks, complexity, and network environment in the dataset. For example, BoT_IoT and Stratosphere IoT datasets both capture IoT-related attacks, but the deep neural network performed the best when tested using the BoT_IoT dataset while HELAD performed the best when tested using the Stratosphere IoT dataset. So although we found that a deep neural network solution had the highest average F1 scores on tested datasets, it is not always the best-performing one. We further discuss difficulties in using IDS from literature and project repositories, which complicated drawing definitive conclusions regarding IDS selection.


title: High-Power, Flexible, Robust Hand: Development of Musculoskeletal Hand Using Machined Springs and Realization of Self-Weight Supporting Motion with Humanoid

abstract: Human can not only support their body during standing or walking, but also support them by hand, so that they can dangle a bar and others. But most humanoid robots support their body only in the foot and they use their hand just to manipulate objects because their hands are too weak to support their body. Strong hands are supposed to enable humanoid robots to act in much broader scene. Therefore, we developed new life-size five-fingered hand that can support the body of life-size humanoid robot. It is tendon-driven and underactuated hand and actuators in forearms produce large gripping force. This hand has flexible joints using machined springs, which can be designed integrally with the attachment. Thus, it has both structural strength and impact resistance in spite of small size. As other characteristics, this hand has force sensors to measure external force and the fingers can be flexed along objects though the number of actuators to flex fingers is less than that of fingers. We installed the developed hand on musculoskeletal humanoid "Kengoro" and achieved two self-weight supporting motions: push-up motion and dangling motion.


title: Building Bridges across Spatial and Temporal Resolutions: Reference-Based Super-Resolution via Change Priors and Conditional Diffusion Model

abstract: Reference-based super-resolution (RefSR) has the potential to build bridges across spatial and temporal resolutions of remote sensing images. However, existing RefSR methods are limited by the faithfulness of content reconstruction and the effectiveness of texture transfer in large scaling factors. Conditional diffusion models have opened up new opportunities for generating realistic high-resolution images, but effectively utilizing reference images within these models remains an area for further exploration. Furthermore, content fidelity is difficult to guarantee in areas without relevant reference information. To solve these issues, we propose a change-aware diffusion model named Ref-Diff for RefSR, using the land cover change priors to guide the denoising process explicitly. Specifically, we inject the priors into the denoising model to improve the utilization of reference information in unchanged areas and regulate the reconstruction of semantically relevant content in changed areas. With this powerful guidance, we decouple the semantics-guided denoising and reference texture-guided denoising processes to improve the model performance. Extensive experiments demonstrate the superior effectiveness and robustness of the proposed method compared with state-of-the-art RefSR methods in both quantitative and qualitative evaluations. The code and data are available at https://github.com/dongrunmin/RefDiff.


title: Sub-Dirac operators, spectral Einstein functionals and the noncommutative residue

abstract: In this paper, we define the spectral Einstein functional associated with the sub-Dirac operator for manifolds with boundary. A proof of the Dabrowski-Sitarz-Zalecki type theorem for spectral Einstein functions associated with the sub-Dirac operator on four-dimensional manifolds with boundary is also given.


title: Rapid neutron star equation of state inference with Normalising Flows

abstract: The first direct detection of gravitational waves from binary neutron stars on the 17th of August, 2017, (GW170817) heralded the arrival of a new messenger for probing neutron star astrophysics and provided the first constraints on neutron star equation of state from gravitational wave observations. Significant computational effort was expended to obtain these first results and therefore, as observations of binary neutron star coalescence become more routine in the coming observing runs, there is a need to improve the analysis speed and flexibility. Here, we present a rapid approach for inferring the neutron star equation of state based on Normalising Flows. As a demonstration, using the same input data, our approach, ASTREOS, produces results consistent with those presented by the LIGO-Virgo collaboration but requires < 1 sec to generate neutron star equation of state confidence intervals. Furthermore, ASTREOS allows for non-parametric equation of state inference. This rapid analysis will not only facilitate neutron star equation of state studies but can potentially enhance future alerts for electromagnetic follow-up observations of binary neutron star mergers.


title: Localized Inverse Design in Conservation Laws and Hamilton-Jacobi Equations

abstract: Consider the inverse design problem for a scalar conservation law, i.e., the problem of finding initial data evolving into a given profile at a given time. The solution we present below takes into account localizations both in the final interval where the profile is assigned and in the initial interval where the datum is sought, as well as additional a priori constraints on the datum's range provided by the model. These results are motivated and can be applied to data assimilation procedures in traffic modeling and accidents localization.


title: Weak solutions to Kolmogorov-Fokker-Planck equations: regularity, existence and uniqueness

abstract: In this article, we establish embeddings {\`a} la Lions and transfer of regularity {\`a} la Bouchut for a large scale of kinetic spaces. We use them to identify a notion of weak solutions to Kolmogorov-Fokker-Planck equations with (local or integral) diffusion and rough (measurable) coefficients under minimal requirements. We prove their existence and uniqueness for a large class of source terms, first in full space for the time, position and velocity variables and then for the kinetic Cauchy problem on infinite and finite time intervals.


title: LaRE^2: Latent Reconstruction Error Based Method for Diffusion-Generated Image Detection

abstract: The evolution of Diffusion Models has dramatically improved image generation quality, making it increasingly difficult to differentiate between real and generated images. This development, while impressive, also raises significant privacy and security concerns. In response to this, we propose a novel Latent REconstruction error guided feature REfinement method (LaRE^2) for detecting the diffusion-generated images. We come up with the Latent Reconstruction Error (LaRE), the first reconstruction-error based feature in the latent space for generated image detection. LaRE surpasses existing methods in terms of feature extraction efficiency while preserving crucial cues required to differentiate between the real and the fake. To exploit LaRE, we propose an Error-Guided feature REfinement module (EGRE), which can refine the image feature guided by LaRE to enhance the discriminativeness of the feature. Our EGRE utilizes an align-then-refine mechanism, which effectively refines the image feature for generated-image detection from both spatial and channel perspectives. Extensive experiments on the large-scale GenImage benchmark demonstrate the superiority of our LaRE^2, which surpasses the best SoTA method by up to 11.9%/12.1% average ACC/AP across 8 different image generators. LaRE also surpasses existing methods in terms of feature extraction cost, delivering an impressive speed enhancement of 8 times.


title: Green HPC: An analysis of the domain based on Top500

abstract: The demand in computing power has never stopped growing over the years. Today, the performance of the most powerful systems exceeds the exascale and the number of petascale systems continues to grow. Unfortunately, this growth also goes hand in hand with ever-increasing energy costs, which in turn means a significant carbon footprint. In view of the environmental crisis, this paper intents to look at the often hidden issue of energy consumption of HPC systems. As it is not easy to access the data of the constructors, we then consider the Top500 as the tip of the iceberg to identify the trends of the whole domain.The objective of this work is to analyze Top500 and Green500 data from several perspectives in order to identify the dynamic of the domain regarding its environmental impact. The contributions are to take stock of the empirical laws governing the evolution of HPC computing systems both from the performance and energy perspectives, to analyze the most relevant data for developing the performance and energy efficiency of large-scale computing systems, to put these analyses into perspective with effects and impacts (lifespan of the HPC systems) and finally to derive a predictive model for the weight of HPC sector within the horizon 2030.


title: A Unified Kernel for Neural Network Learning

abstract: Past decades have witnessed a great interest in the distinction and connection between neural network learning and kernel learning. Recent advancements have made theoretical progress in connecting infinite-wide neural networks and Gaussian processes. Two predominant approaches have emerged: the Neural Network Gaussian Process (NNGP) and the Neural Tangent Kernel (NTK). The former, rooted in Bayesian inference, represents a zero-order kernel, while the latter, grounded in the tangent space of gradient descents, is a first-order kernel. In this paper, we present the Unified Neural Kernel (UNK), which characterizes the learning dynamics of neural networks with gradient descents and parameter initialization. The proposed UNK kernel maintains the limiting properties of both NNGP and NTK, exhibiting behaviors akin to NTK with a finite learning step and converging to NNGP as the learning step approaches infinity. Besides, we also theoretically characterize the uniform tightness and learning convergence of the UNK kernel, providing comprehensive insights into this unified kernel. Experimental results underscore the effectiveness of our proposed method.


title: Fundamental solutions to Kolmogorov-Fokker-Planck equations with rough coefficients: existence, uniqueness, upper estimates

abstract: We show the existence and uniqueness of fundamental solution operators to Kolmo\-gorov-Fokker-Planck equations with rough (measurable) coefficients and local or integral diffusion on finite and infinite time strips. In the local case, that is to say when the diffusion operator is of differential type, we prove $\L^2$ decay using Davies' method and the conservation property. We also prove that the existence of a generalized fundamental solution with the expected pointwise Gaussian upper bound is equivalent to Moser's $\L^2-\L^\infty$ estimates for local weak solutions to the equation and its adjoint. When coefficients are real, this gives the existence and uniqueness of such a generalized fundamental solution and a new and natural way to obtain pointwise decay.


title: Geometric planted matchings beyond the Gaussian model

abstract: We consider the problem of recovering an unknown matching between a set of $n$ randomly placed points in $\mathbb{R}^d$ and random perturbations of these points. This can be seen as a model for particle tracking and more generally, entity resolution. We use matchings in random geometric graphs to derive minimax lower bounds for this problem that hold under great generality. Using these results we show that for a broad class of distributions, the order of the number of mistakes made by an estimator that minimizes the sum of squared Euclidean distances is minimax optimal when $d$ is fixed and is optimal up to $n^{o(1)}$ factors when $d = o(\log n)$. In the high-dimensional regime we consider a setup where both initial positions and perturbations have independent sub-Gaussian coordinates. In this setup we give sufficient conditions under which the same estimator makes no mistakes with high probability. We prove an analogous result for an adapted version of this estimator that incorporates information on the covariance matrix of the perturbations.


title: Investigations on Physics-Informed Neural Networks for Aerodynamics

abstract: Physics-Informed Neural Networks (PINNs) have recently emerged as a novel approach to simulate complex physical systems on the basis of both data observations and physical models. In this work, we investigate the use of PINNs for various applications in aerodynamics and we explain how to leverage their specific formulation to perform some tasks effectively. In particular, we demonstrate the ability of PINNs to construct parametric surrogate models, to achieve multiphysic couplings and to infer turbulence characteristics via data assimilation. The robustness and accuracy of the PINNs approach are analysed, then current issues and challenges are discussed.


title: Generalized Langevin and Nos{\'e}-Hoover processes absorbed at the boundary of a metastable domain

abstract: In this paper, we prove in a very weak regularity setting existence and uniqueness of quasi-stationary distributions as well as exponential convergence towards the quasi-stationary distribution for the generalized Langevin and the Nos{\'e}-Hoover processes, two processes which are widely used in molecular dynamics. The case of singular potentials is considered. With the techniques used in this work, we are also able to greatly improve existing results on quasi-stationary distributions for the kinetic Langevin process to a weak regularity setting.


title: Long run convergence of discrete-time interacting particle systems of the McKean-Vlasov type

abstract: We consider a discrete-time system of n coupled random vectors, a.k.a. interacting particles. The dynamics involve a vanishing step size, some random centered perturbations, and a mean vector field which induces the coupling between the particles. We study the doubly asymptotic regime where both the number of iterations and the number n of particles tend to infinity, without any constraint on the relative rates of convergence of these two parameters. We establish that the empirical measure of the interpolated trajectories of the particles converges in probability, in an ergodic sense, to the set of recurrent Mc-Kean-Vlasov distributions. A first application example is the granular media equation, where the particles are shown to converge to a critical point of the Helmholtz energy. A second example is the convergence of stochastic gradient descent to the global minimizer of the risk, in a wide two-layer neural networks using random features.


title: Document Set Expansion with Positive-Unlabelled Learning Using Intractable Density Estimation

abstract: The Document Set Expansion (DSE) task involves identifying relevant documents from large collections based on a limited set of example documents. Previous research has highlighted Positive and Unlabeled (PU) learning as a promising approach for this task. However, most PU methods rely on the unrealistic assumption of knowing the class prior for positive samples in the collection. To address this limitation, this paper introduces a novel PU learning framework that utilizes intractable density estimation models. Experiments conducted on PubMed and Covid datasets in a transductive setting showcase the effectiveness of the proposed method for DSE. Code is available from https://github.com/Beautifuldog01/Document-set-expansion-puDE.


title: Asymptotic computations of tropical refined invariants in genus 0 and 1

abstract: Block and G\"ottsche introduced a Laurent polynomial multiplicity to count tropical curves. Itenberg and Mikhalkin then showed that this multiplicity leads to invariant counts called tropical refined invariants. Recently, Brugall\'e and Jaramillo-Puentes studied the polynomiality properties of the coefficients of these invariants and showed that for fixed genus g, the coefficients ultimately coincide with polynomials in the homology class of the curves we look at. We call the generating series of these polynomials asymptotic refined invariant. In genus 0, the asymptotic refined invariant has been computed by the second author in the h-transverse case. In this paper, we give a new proof of the formula for the asymptotic refined invariant for g = 0 using variations on the floor diagram algorithm. This technique allows also to compute the asymptotic refined invariant for g = 1. The result exhibits surprising regularity properties related to the generating series of partition numbers and quasi-modular forms.


title: Complexity Equals (Almost) Anything

abstract: Recent investigations [arXiv:2111.02429][arXiv:2210.09647][arXiv:2304.05453] have introduced an infinite class of novel gravitational observables in Asymptotically anti-de Sitter (AdS) space that reside on codimension-one or -zero regions of the bulk spacetime. These observables encompass well-established holographic complexity measures such as the maximum volume of the extremal hypersurfaces and the action or spacetime volume of the Wheeler-DeWitt (WDW) patch. Furthermore, this family of observables exhibits two universal properties when applied to the thermofield double (TFD) state: they exhibit linear growth at late times and faithfully reproduce the switchback effect. This implies that any observable from this class has the potential to serve as a gravitational dual for the circuit complexity of boundary states.


title: A TDD Distributed MIMO Testbed Using a 1-Bit Radio-Over-Fiber Fronthaul Architecture

abstract: We present the uplink and downlink of a time-division duplex distributed multiple-input multiple-output (D-MIMO) testbed, based on a 1-bit radio-over-fiber architecture, which is low-cost and scalable. The proposed architecture involves a central unit (CU) that is equipped with 1-bit digital-to-analog and analog-to-digital converters, operating at 10 GS/s. The CU is connected to multiple single-antenna remote radio heads (RRHs) via optical fibers, over which a binary RF waveform is transmitted. In the uplink, a binary RF waveform is generated at the RRHs by a comparator, whose inputs are the received RF signal and a suitably designed dither signal. In the downlink, a binary RF waveform is generated at the CU via bandpass sigma-delta modulation. Our measurement results show that low error-vector magnitude (EVM) can be achieved in both the uplink and the downlink, despite 1-bit sampling at the CU. Specifically, for point-to-point over-cable transmission between a single user equipment (UE) and a CU equipped with a single RRH, we report, for a 10 MBd signal using single-carrier 16QAM modulation, an EVM of 3.3% in the downlink, and of 4.5% in the uplink. We then consider a CU connected to 3 RRHs serving over the air 2 UEs, and show that, after over-the-air reciprocity calibration, a downlink zero-forcing precoder designed on the basis of uplink channel estimates at the CU, achieves an EVM of 6.4% and 10.9% at UE 1 and UE 2, respectively. Finally, we investigate the ability of the proposed architecture to support orthogonal frequency-division multiplexing (OFDM) waveforms, and its robustness against both in-band and out-of-band interference.


title: DiffGaze: A Diffusion Model for Continuous Gaze Sequence Generation on 360{\deg} Images

abstract: We present DiffGaze, a novel method for generating realistic and diverse continuous human gaze sequences on 360{\deg} images based on a conditional score-based denoising diffusion model. Generating human gaze on 360{\deg} images is important for various human-computer interaction and computer graphics applications, e.g. for creating large-scale eye tracking datasets or for realistic animation of virtual humans. However, existing methods are limited to predicting discrete fixation sequences or aggregated saliency maps, thereby neglecting crucial parts of natural gaze behaviour. Our method uses features extracted from 360{\deg} images as condition and uses two transformers to model the temporal and spatial dependencies of continuous human gaze. We evaluate DiffGaze on two 360{\deg} image benchmarks for gaze sequence generation as well as scanpath prediction and saliency prediction. Our evaluations show that DiffGaze outperforms state-of-the-art methods on all tasks on both benchmarks. We also report a 21-participant user study showing that our method generates gaze sequences that are indistinguishable from real human sequences.


title: C-minimal fields have the exchange property

abstract: We show that C-minimal fields (i.e., C-minimal expansions of ACVF) have the exchange property, answering a question of Haskell and Macpherson. Additionally, we strengthen some theorems of Cubides Kovacsics and Delon on C-minimal fields. First, we show that definably complete C-minimal fields of characteristic 0 have generic differentiability. Second, we show that if the induced structure on the residue field is a pure ACF, then polynomial boundedness holds. In fact, polynomial boundedness can only fail if there are unexpected definable automorphisms of the multiplicative group of the residue field.


title: Natural Language Requirements Testability Measurement Based on Requirement Smells

abstract: Requirements form the basis for defining software systems' obligations and tasks. Testable requirements help prevent failures, reduce maintenance costs, and make it easier to perform acceptance tests. However, despite the importance of measuring and quantifying requirements testability, no automatic approach for measuring requirements testability has been proposed based on the requirements smells, which are at odds with the requirements testability. This paper presents a mathematical model to evaluate and rank the natural language requirements testability based on an extensive set of nine requirements smells, detected automatically, and acceptance test efforts determined by requirement length and its application domain. Most of the smells stem from uncountable adjectives, context-sensitive, and ambiguous words. A comprehensive dictionary is required to detect such words. We offer a neural word-embedding technique to generate such a dictionary automatically. Using the dictionary, we could automatically detect Polysemy smell (domain-specific ambiguity) for the first time in 10 application domains. Our empirical study on nearly 1000 software requirements from six well-known industrial and academic projects demonstrates that the proposed smell detection approach outperforms Smella, a state-of-the-art tool, in detecting requirements smells. The precision and recall of smell detection are improved with an average of 0.03 and 0.33, respectively, compared to the state-of-the-art. The proposed requirement testability model measures the testability of 985 requirements with a mean absolute error of 0.12 and a mean squared error of 0.03, demonstrating the model's potential for practical use.


title: Capacity Provisioning Motivated Online Non-Convex Optimization Problem with Memory and Switching Cost

abstract: An online non-convex optimization problem is considered where the goal is to minimize the flow time (total delay) of a set of jobs by modulating the number of active servers, but with a switching cost associated with changing the number of active servers over time. Each job can be processed by at most one fixed speed server at any time. Compared to the usual online convex optimization (OCO) problem with switching cost, the objective function considered is non-convex and more importantly, at each time, it depends on all past decisions and not just the present one. Both worst-case and stochastic inputs are considered; for both cases, competitive algorithms are derived.


title: A Type of Nonlinear Fr\'echet Regressions

abstract: The existing Fr\'echet regression is actually defined within a linear framework, since the weight function in the Fr\'echet objective function is linearly defined, and the resulting Fr\'echet regression function is identified to be a linear model when the random object belongs to a Hilbert space. Even for nonparametric and semiparametric Fr\'echet regressions, which are usually nonlinear, the existing methods handle them by local linear (or local polynomial) technique, and the resulting Fr\'echet regressions are (locally) linear as well. We in this paper introduce a type of nonlinear Fr\'echet regressions. Such a framework can be utilized to fit the essentially nonlinear models in a general metric space and uniquely identify the nonlinear structure in a Hilbert space. Particularly, its generalized linear form can return to the standard linear Fr\'echet regression through a special choice of the weight function. Moreover, the generalized linear form possesses methodological and computational simplicity because the Euclidean variable and the metric space element are completely separable. The favorable theoretical properties (e.g. the estimation consistency and presentation theorem) of the nonlinear Fr\'echet regressions are established systemically. The comprehensive simulation studies and a human mortality data analysis demonstrate that the new strategy is significantly better than the competitors.


title: Theory of tunneling spectroscopy in $p$-wave altermagnet-superconductor hybrid structures

abstract: We theoretically study the tunneling conductance of a junction consisting of a two-dimensional $p$-wave altermagnet (AM) and a superconductor (SC) for various pairing states. The zero bias conductance peaks arising from the dispersionless surface Andreev bound states (SABSs) in $d_{xy}$-wave and $p_{x}$-wave superconductor junctions are robust against varying the altermagnetic spin-splitting strength $\alpha _{y}$. Moreover, for chiral $p$- or chiral $d$-wave SCs, zero bias conductance shows a non-monotonic behavior as a function of $\alpha_{y}$ indicating the existence of the dispersive SABSs. Our obtained results of tunneling spectroscopy based on a $p$-wave AM serve as an effective way for the identification of the pairing states of unconventional superconductors. It is noted that our used Hamiltonian of AM is also available for persistent spin helix systems.


title: Double Holography of Entangled Universes

abstract: We employ double holography to examine a system of two entangled gravitating universes that live on two codimension-one branes in an asymptotically AdS$_3$ spacetime with two disjoint conformal boundaries. There are distinct brane configurations depending on the temperature of the thermofield double (TFD) state between the left and right systems. The topology transition between two branes is naturally identified with the emergence of an Einstein-Rosen bridge connecting the two entangled universes. This doubly holographic construction offers a holographic perspective on gravitational collapse and black hole formation in brane universes. Through this holographic framework, we analyze the quantum information structure of the two gravitating universes. Specifically, we calculate the mutual information between defects present in the boundary theories on the left and right sides. Furthermore, we investigate the decoupling process in the Hayden-Preskill protocol applied to the two copies of the defect field theory and discuss the interpretation of the Yoshida-Kitaev decoding protocol.


title: Hairy black holes in extended Einstein-Maxwell-scalar theories with magnetic charge and kinetic couplings

abstract: We study black hole (BH) solutions in extended Einstein-Maxwell-scalar theories which is classified in a subclass of the $U(1)$ gauge-invariant scalar-vector-tensor theories. The scalar field is coupled to the vector field, which has electric and magnetic charges. For the static and spherically symmetric spacetime, we investigate modifications to the Reissner-Nordstr\"{o}m solutions focusing on the three types of scalar-vector interactions, including derivative couplings. We solve the field equations analytically in two asymptotic regions which are the vicinity of the BH horizon and the spatial infinity, and clarify the condition for the existence of scalar hair. To understand the behaviors of solutions in intermediate scales, the field equations are integrated numerically for concrete models with different types of couplings. We find new hairy BH solutions with scalar hair in the presence of magnetic charge and kinetic coupling. The magnetic charge plays an important role in distinguishing hairy BH solutions originated from three types of different interactions at a large coupling limit.


title: From Computing to Quantum Mechanics: Accessible and Hands-On Quantum Computing Education for High School Students

abstract: This paper outlines an alternative approach to teaching quantum computing at the high school level, tailored for students with limited prior knowledge in advanced mathematics and physics. This approach diverges from traditional methods by building upon foundational concepts in classical computing before gradually introducing quantum mechanics, thereby simplifying the entry into this complex field. The course was initially implemented in a program for gifted high school students under the Hong Kong Education Bureau and received encouraging feedback, indicating its potential effectiveness for a broader student audience. A key element of this approach is the practical application through portable NMR quantum computers, which provides students with hands-on experience. The paper describes the structure of the course, including the organization of the lectures, the integration of the hardware of the portable nuclear magnetic resonance (NMR) quantum computers, the Gemini/Triangulum series, and detailed lecture notes in an appendix. The initial success in the specialized program and ongoing discussions to expand the course to regular high schools in Hong Kong and Shenzhen suggest the viability of this approach for wider educational application. By focusing on accessibility and student engagement, this approach presents a valuable perspective on introducing quantum computing concepts at the high school level, aiming to enhance student understanding and interest in the field.


title: KDMCSE: Knowledge Distillation Multimodal Sentence Embeddings with Adaptive Angular margin Contrastive Learning

abstract: Previous work on multimodal sentence embedding has proposed multimodal contrastive learning and achieved promising results. However, by taking the rest of the batch as negative samples without reviewing when forming contrastive pairs, those studies encountered many suspicious and noisy negative examples, significantly affecting the methods' overall performance. In this work, we propose KDMCSE (Knowledge Distillation Multimodal contrastive learning of Sentence Embeddings), a novel approach that enhances the discrimination and generalizability of multimodal representation and inherits the knowledge from the teacher model to learn the difference between positive and negative instances and via that, can detect noisy and wrong negative samples effectively before they are calculated in the contrastive objective. Furthermore, to overcome the limitation of modeling the variation within negative pairs, we introduce a new contrastive objective, AdapACSE (Adaptive Angular Margin Supervised Contrastive Learning for Multimodal sentence embeddings), that enhances the discriminative representation by strengthening the margin within the angular space while capturing varying semantics within the negative. Experimental results on widely used Semantic Textual Similarity (STS) benchmarks demonstrate the effectiveness of our approach.


title: Greybody Factors Imprinted on Black Hole Ringdowns. II. Merging Binary Black Holes

abstract: The spectral amplitude of the merger-ringdown gravitational wave (GW) emitted by a comparable mass-ratio black hole merger is modeled by the greybody factor of the remnant black hole. Our model does not include fitting parameters except for a single overall spectral amplitude. We perform the mass-spin inference from the SXS data without introducing fitting parameters and without tuning the data range of each SXS template. Also, we find that the exponential damping in the ringdown spectral amplitude can be modeled well with the exponential damping in the greybody factor at high frequencies. Based on the findings, we propose a conjecture that the light ring of the remnant black hole, which sources the ringdown, forms as early as during the merger stage. We discuss the formation of the light ring in the static binary solution as a first step towards the understanding of how the separation of merging black holes may affect the formation of the light ring.


title: Dynamical origin of neutrino masses and dark matter from a new confining sector

abstract: A dynamical mechanism, based on a confining non-abelian dark symmetry, which generates Majorana masses for hypercharge-less fermions, is proposed. We apply it to the inverse seesaw scenario, which allows to generate light neutrino masses from the interplay of TeV-scale Pseudo-Dirac mass terms and a small explicit breaking of lepton number. A single generation of vector-like dark quarks, transforming under a $\text{SU}(3)_\text{D}$ gauge symmetry, is coupled to a real singlet scalar, which serves as a portal between the dark quark condensate and three generations of heavy sterile neutrinos. Such a dark sector and the Standard Model (SM) are kept in thermal equilibrium with each other via sizeable Yukawa couplings to the heavy neutrinos. In this framework the lightest dark baryon, which has spin $3/2$ and is stabilized at the renormalizable level by an accidental dark baryon number symmetry, can account for the observed relic density via thermal freeze-out from annihilations into the lightest dark mesons. These mesons in turn decay to heavy neutrinos, which produce SM final states upon decay. This model may be probed by next generation neutrino telescopes via neutrino lines produced from dark matter annihilations.


title: Adaptive Bayesian Structure Learning of DAGs With Non-conjugate Prior

abstract: Directed Acyclic Graphs (DAGs) are solid structures used to describe and infer the dependencies among variables in multivariate scenarios. Having a thorough comprehension of the accurate DAG-generating model is crucial for causal discovery and estimation. Our work suggests utilizing a non-conjugate prior for Gaussian DAG structure learning to enhance the posterior probability. We employ the idea of using the Bessel function to address the computational burden, providing faster MCMC computation compared to the use of conjugate priors. In addition, our proposal exhibits a greater rate of adaptation when compared to the conjugate prior, specifically for the inclusion of nodes in the DAG-generating model. Simulation studies demonstrate the superior accuracy of DAG learning, and we obtain the same maximum a posteriori and median probability model estimate for the AML data, using the non-conjugate prior.


title: Covariant reconstruction of forms from their invariants

abstract: Let $K$ be an algebraically closed field of characteristic $0$ and $f$ be a homogeneous polynomial. We provide an explicit algorithm, which, given the invariants of a generic $f$ under the action of $\mathrm{GL}_n(K)$ returns a polynomial in the orbit of $f$. We derive a specific algorithm for the reconstruction of generic non-hyperelliptic curve of genus 4 from their invariants, as well as a direct reconstruction algorithm for generic non-hyperelliptic curves of genus 3 from their Dixmier-Ohno invariants.


title: DGoT: Dynamic Graph of Thoughts for Scientific Abstract Generation

abstract: The method of training language models based on domain datasets has obtained significant achievements in the task of generating scientific paper abstracts. However, such models face problems of generalization and expensive training costs. The use of large language models (LLMs) to solve the task of generating paper abstracts saves the cost of model training. However, due to the hallucination problem of LLM, it is often necessary to improve the reliability of the results through multi-round query prompt approach such as Graph of Thoughts (GoT), which also brings additional reasoning costs. In this paper, we propose a Dynamic Graph of Thought (DGoT). It not only inherits the advantages of the existing GoT prompt approach, but also dynamically adjust the graph structure according to data characteristics while reducing model reasoning cost. Experimental results show that our method's cost-effectiveness in abstract generation tasks is only 43.7% to 56.4% of other multi-round query prompt approaches. Our code is available at https://github.com/JayceNing/DGoT.


title: A new method to access heavy meson lightcone distribution amplitudes from first-principle

abstract: We present a method to compute lightcone distribution amplitudes (LCDAs) of heavy meson within heavy quark effective theory (HQET). Our method utilizes quasi distribution amplitudes (quasi-DAs) with a large momentum component $P^z$. We point out that by sequentially integrating out $P^z$ and $m_H$, one can disentangle different dynamical scales. Integrating out $P^z$ allows to connect quasi-DAs to QCD LCDAs, and then integrating out $m_H$ enables to relate QCD LCDAs to HQET LCDAs. To verify this proposal, we make use of lattice QCD simulation on a lattice ensemble with spacing $a = 0.05187$\,fm. The preliminary findings for HQET LCDAs qualitatively align with phenomenological models. Using a recent model for HQET LCDAs, we also fit the first inverse moment $\lambda_B^{-1}$ and the result is consistent with the experimentally constrain from $B \to \gamma \ell\nu_\ell$. This agreement demonstrates the promise of our method in providing first-principle predictions for heavy meson LCDAs.


title: Learning Equivalence Relations on Polish Spaces

abstract: We investigate natural variations of behaviourally correct learning and explanatory learning -- two learning paradigms studied in algorithmic learning theory -- that allow us to ``learn'' equivalence relations on Polish spaces. We give a characterization of the learnable equivalence relations in terms of their Borel complexity and show that the behaviorally correct and explanatory learnable equivalence relations coincide both in uniform and non-uniform versions of learnability and provide a characterization of the learnable equivalence relations in terms of their Borel complexity. We also show that the set of uniformly learnable equivalence relations is $\pmb\Pi^1_1$-complete in the codes and study the learnability of several equivalence relations arising naturally in logic as a case study.