title: Stable Comodule Deformations and the Synthetic Adams-Novikov Spectral Sequence

abstract: We study the Adams-Novikov spectral sequence in $\mathbb{F}_p$-synthetic spectra, computing the synthetic analogs of $\mathrm{BP}$ and its cooperations to identify the synthetic Adams-Novikov $\mathrm{E}_2$-page, computed in a range with a synthetic algebraic Novikov spectral sequence. We then identify deformations associated to the Cartan-Eilenberg and algebraic Novikov spectral sequences in terms of stable comodule categories, categorifying an algebraic Novikov spectral sequence result of Gheorghe-Wang-Xu. We then apply Isaksen-Wang-Xu methods in $\mathbb{F}_p$-synthetic spectra to deduce differentials in the synthetic Adams-Novikov for the sphere, producing almost entirely algebraic computations through the 45-stem.


title: Unexpected versatile electrical transport behaviors of ferromagnetic nickel films

abstract: Perpendicular magnetic anisotropy (PMA) of magnets is paramount for electrically controlled spintronics due to their intrinsic potentials for higher memory density, scalability, thermal stability and endurance, surpassing an in-plane magnetic anisotropy (IMA). Nickel film is a long-lived fundamental element ferromagnet, yet its electrical transport behavior associated with magnetism has not been comprehensively studied, hindering corresponding spintronic applications exploiting nickel-based compounds. Here, we systematically investigate the highly versatile magnetism and corresponding transport behavior of nickel films. As the thickness reduces within the general thickness regime of a magnet layer for a memory device, the hardness of nickel films' ferromagnetic loop of anomalous Hall effect increases and then decreases, reflecting the magnetic transitions from IMA to PMA and back to IMA. Additionally, the square ferromagnetic loop changes from a hard to a soft one at rising temperatures, indicating a shift from PMA to IMA. Furthermore, we observe a butterfly magnetoresistance resulting from the anisotropic magnetoresistance effect, which evolves in conjunction with the thickness and temperature-dependent magnetic transformations as a complementary support. Our findings unveil the rich magnetic dynamics and most importantly settle down the most useful guiding information for current-driven spintronic applications based on nickel film: The hysteresis loop is squarest for the ~8 nm-thick nickel film, of highest hardness with Rxyr/Rxys~1 and minimum Hs-Hc, up to 125 K; otherwise, extra care should be taken for a different thickness or at a higher temperature.


title: Bispectrum Unbiasing for Dilation-Invariant Multi-reference Alignment

abstract: Motivated by modern data applications such as cryo-electron microscopy, the goal of classic multi-reference alignment (MRA) is to recover an unknown signal $f: \mathbb{R} \to \mathbb{R}$ from many observations that have been randomly translated and corrupted by additive noise. We consider a generalization of classic MRA where signals are also corrupted by a random scale change, i.e. dilation. We propose a novel data-driven unbiasing procedure which can recover an unbiased estimator of the bispectrum of the unknown signal, given knowledge of the dilation distribution. Lastly, we invert the recovered bispectrum to achieve full signal recovery, and validate our methodology on a set of synthetic signals.


title: GATE X-E : A Challenge Set for Gender-Fair Translations from Weakly-Gendered Languages

abstract: Neural Machine Translation (NMT) continues to improve in quality and adoption, yet the inadvertent perpetuation of gender bias remains a significant concern. Despite numerous studies on gender bias in translations into English from weakly gendered-languages, there are no benchmarks for evaluating this phenomenon or for assessing mitigation strategies. To address this gap, we introduce GATE X-E, an extension to the GATE (Rarrick et al., 2023) corpus, that consists of human translations from Turkish, Hungarian, Finnish, and Persian into English. Each translation is accompanied by feminine, masculine, and neutral variants. The dataset, which contains between 1250 and 1850 instances for each of the four language pairs, features natural sentences with a wide range of sentence lengths and domains, challenging translation rewriters on various linguistic phenomena. Additionally, we present a translation gender rewriting solution built with GPT-4 and use GATE X-E to evaluate it. We open source our contributions to encourage further research on gender debiasing.


title: Locality Bounds for Sampling Hamming Slices

abstract: Spurred by the influential work of Viola (Journal of Computing 2012), the past decade has witnessed an active line of research into the complexity of (approximately) sampling distributions, in contrast to the traditional focus on the complexity of computing functions. We build upon and make explicit earlier implicit results of Viola to provide superconstant lower bounds on the locality of Boolean functions approximately sampling the uniform distribution over binary strings of particular Hamming weights, both exactly and modulo an integer, answering questions of Viola (Journal of Computing 2012) and Filmus, Leigh, Riazanov, and Sokolov (RANDOM 2023). Applications to data structure lower bounds and quantum-classical separations are discussed.


title: Mitigating the Linguistic Gap with Phonemic Representations for Robust Multilingual Language Understanding

abstract: Approaches to improving multilingual language understanding often require multiple languages during the training phase, rely on complicated training techniques, and -- importantly -- struggle with significant performance gaps between high-resource and low-resource languages. We hypothesize that the performance gaps between languages are affected by linguistic gaps between those languages and provide a novel solution for robust multilingual language modeling by employing phonemic representations (specifically, using phonemes as input tokens to LMs rather than subwords). We present quantitative evidence from three cross-lingual tasks that demonstrate the effectiveness of phonemic representation, which is further justified by a theoretical analysis of the cross-lingual performance gap.


title: Secure Navigation using Landmark-based Localization in a GPS-denied Environment

abstract: In modern battlefield scenarios, the reliance on GPS for navigation can be a critical vulnerability. Adversaries often employ tactics to deny or deceive GPS signals, necessitating alternative methods for the localization and navigation of mobile troops. Range-free localization methods such as DV-HOP rely on radio-based anchors and their average hop distance which suffers from accuracy and stability in a dynamic and sparse network topology. Vision-based approaches like SLAM and Visual Odometry use sensor fusion techniques for map generation and pose estimation that are more sophisticated and computationally expensive. This paper proposes a novel framework that integrates landmark-based localization (LanBLoc) with an Extended Kalman Filter (EKF) to predict the future state of moving entities along the battlefield. Our framework utilizes safe trajectory information generated by the troop control center by considering identifiable landmarks and pre-defined hazard maps. It performs point inclusion tests on the convex hull of the trajectory segments to ensure the safety and survivability of a moving entity and determines the next point forward decisions. We present a simulated battlefield scenario for two different approaches (with EKF and without EKF) that guide a moving entity through an obstacle and hazard-free path. Using the proposed method, we observed a percent error of 6.51% lengthwise in safe trajectory estimation with an Average Displacement Error (ADE) of 2.97m and a Final Displacement Error (FDE) of 3.27m. The results demonstrate that our approach not only ensures the safety of the mobile units by keeping them within the secure trajectory but also enhances operational effectiveness by adapting to the evolving threat landscape.


title: A Landmark-Aware Visual Navigation Dataset

abstract: Map representation learned by expert demonstrations has shown promising research value. However, recent advancements in the visual navigation field face challenges due to the lack of human datasets in the real world for efficient supervised representation learning of the environments. We present a Landmark-Aware Visual Navigation (LAVN) dataset to allow for supervised learning of human-centric exploration policies and map building. We collect RGB observation and human point-click pairs as a human annotator explores virtual and real-world environments with the goal of full coverage exploration of the space. The human annotators also provide distinct landmark examples along each trajectory, which we intuit will simplify the task of map or graph building and localization. These human point-clicks serve as direct supervision for waypoint prediction when learning to explore in environments. Our dataset covers a wide spectrum of scenes, including rooms in indoor environments, as well as walkways outdoors. Dataset is available at DOI: 10.5281/zenodo.10608067.


title: Extention of Bagging MARS with Group LASSO for Heterogeneous Treatment Effect Estimation

abstract: Recent years, large scale clinical data like patient surveys and medical record data are playing an increasing role in medical data science. These large-scale clinical data, collectively referred to as "real-world data (RWD)". It is expected to be widely used in large-scale observational studies of specific diseases, personal medicine or precise medicine, finding the responder of drugs or treatments. Applying RWD for estimating heterogeneous treat ment effect (HTE) has already been a trending topic. HTE has the potential to considerably impact the development of precision medicine by helping doctors make more informed precise treatment decisions and provide more personalized medical care. The statistical models used to estimate HTE is called treatment effect models. Powers et al. proposed a some treatment effect models for observational study, where they pointed out that the bagging causal MARS (BCM) performs outstanding compared to other models. While BCM has excellent performance, it still has room for improvement. In this paper, we proposed a new treatment effect model called shrinkage causal bagging MARS method to improve their shared basis conditional mean regression framework based on the following points: first, we estimated basis functions using transformed outcome, then applied the group LASSO method to optimize the model and estimate parameters. Besides, we are focusing on pursing better interpretability of model to improve the ethical acceptance. We designed simulations to verify the performance of our proposed method and our proposed method superior in mean square error and bias in most simulation settings. Also we applied it to real data set ACTG 175 to verify its usability, where our results are supported by previous studies.


title: Classification of smooth Fano varieties with large pseudoindex

abstract: Let $X$ be a complex smooth Fano variety of dimension at least four. In this paper, we classify such $X$ when the pseudoindex is at least $n-2$ and the Picard number greater than one. We also discuss the relations between pseudoindex and other invariants of Fano varieties.


title: Almost rigidity results of Green functions with non-negative Ricci curvature

abstract: This short note provides a survey on rigidity and almost rigidity results of Green functions in a non-smooth setting. We also make some observation on the Cheeger-Yau inequality on RCD spaces of non-negative Ricci curvature with applications.


title: Symbolic Music Generation with Non-Differentiable Rule Guided Diffusion

abstract: We study the problem of symbolic music generation (e.g., generating piano rolls), with a technical focus on non-differentiable rule guidance. Musical rules are often expressed in symbolic form on note characteristics, such as note density or chord progression, many of which are non-differentiable which pose a challenge when using them for guided diffusion. We propose \oursfull (\ours), a novel guidance method that only requires forward evaluation of rule functions that can work with pre-trained diffusion models in a plug-and-play way, thus achieving training-free guidance for non-differentiable rules for the first time. Additionally, we introduce a latent diffusion architecture for symbolic music generation with high time resolution, which can be composed with SCG in a plug-and-play fashion. Compared to standard strong baselines in symbolic music generation, this framework demonstrates marked advancements in music quality and rule-based controllability, outperforming current state-of-the-art generators in a variety of settings. For detailed demonstrations, code and model checkpoints, please visit our project website: https://scg-rule-guided-music.github.io/.


title: Notes on Interpretability between Weak First-order Theories: Theories of Sequences

abstract: We introduce a first-order theory $\mathsf{Seq}$ which is mutually interpretable with Robinson's $\mathsf{Q}$. The universe of a standard model for $\mathsf{Seq}$ consists of sequences. We prove that $\mathsf{Seq}$ directly interprets the adjuctive set theory $\mathsf{AST}$, and we prove that $\mathsf{Seq}$ interprets the tree theory $\mathsf{T}$ and the set theory $\mathsf{AST + EXT}$.


title: Tropical Fermat-Weber Polytropes

abstract: We study the geometry of tropical Fermat-Weber points in terms of the symmetric tropical metric over the tropical projective torus. It is well known that a tropical Fermat-Weber point of a given sample is not unique and in this paper we show that the set of all possible Fermat-Weber points forms a polytrope. Then, we introduce the tropical Fermat-Weber gradient and using them, we show that the tropical Fermat-Weber polytrope is a bounded cell of a tropical hyperplane arrangement given by both min- and max-tropical hyperplanes with apices which are observations in the input data.


title: Properties of H particle-admixed compact star

abstract: We explore the potential manifestation of a hexaquark, the H particle, as a constituent within neutron stars. The H particle, characterized by a quark composition of $uuddss$, is constructed using the framework of Chromomagnetic Interaction (CMI). Specifically, we contemplate the flavor-singlet state H with $J^P=0^+$. Our computations indicate that the three-flavor hexaquark state, the H particle, possesses a lower mass of $2212.7~\rm{MeV}$ in comparison to the $d^*(2380)$, implying greater stability than the two-flavor $d^*(2380)$. The analysis involving the H particle is carried out using the relativistic mean-field (RMF) model. We investigate the influence of H particle couplings, a key factor in determining the system stability, and focus on the potential existence of H particle within neutron stars. We find that H particle could potentially endure as a stable constituent within neutron stars, and lead to a reduction of the maximum mass.


title: TinyLLaVA: A Framework of Small-scale Large Multimodal Models

abstract: We present the TinyLLaVA framework that provides a unified perspective in designing and analyzing the small-scale Large Multimodal Models (LMMs). We empirically study the effects of different vision encoders, connection modules, language models, training data and training recipes. Our extensive experiments showed that better quality of data combined with better training recipes, smaller LMMs can consistently achieve on-par performances compared to bigger LMMs. Under our framework, we train a family of small-scale LMMs. Our best model, TinyLLaVA-3.1B, achieves better overall performance against existing 7B models such as LLaVA-1.5 and Qwen-VL. We hope our findings can serve as baselines for future research in terms of data scaling, training setups and model selections. Our model weights and codes will be made public.


title: CEV-LM: Controlled Edit Vector Language Model for Shaping Natural Language Generations

abstract: As large-scale language models become the standard for text generation, there is a greater need to tailor the generations to be more or less concise, targeted, and informative, depending on the audience/application. Existing control approaches primarily adjust the semantic (e.g., emotion, topics), structural (e.g., syntax tree, parts-of-speech), and lexical (e.g., keyword/phrase inclusion) properties of text, but are insufficient to accomplish complex objectives such as pacing which control the complexity and readability of the text. In this paper, we introduce CEV-LM - a lightweight, semi-autoregressive language model that utilizes constrained edit vectors to control three complementary metrics (speed, volume, and circuitousness) that quantify the shape of text (e.g., pacing of content). We study an extensive set of state-of-the-art CTG models and find that CEV-LM provides significantly more targeted and precise control of these three metrics while preserving semantic content, using less training data, and containing fewer parameters.


title: Quiver Brascamp-Lieb inequalities

abstract: We formulate generalized Brascamp-Lieb inequalities for representations of bipartite quivers and establish necessary and sufficient conditions for such inequalities. Notably, we show contra Lieb that solely considering Gaussians is insufficient in the quiver setting.


title: Saharaline: A Collective Social Support Intervention for Teachers in Low-Income Indian Schools

abstract: This paper presents Saharaline, an intervention designed to provide collective social support for teachers in low-income schools. Implemented as a WhatsApp-based helpline, Saharaline enables teachers to reach out for personalized, long-term assistance with a wide range of problems and stressors, including pedagogical, emotional, and technological challenges. Depending on the support needed, teachers' requests are routed to appropriate domain experts -- staff employed by educational non-profit organizations who understand teachers' on-the-ground realities -- who offer localized and contextualized assistance. Via a three-month exploratory deployment with 28 teachers in India, we show how Saharaline's design enabled a collective of diverse education experts to craft and deliver localized solutions that teachers could incorporate into their practice. We conclude by reflecting on the efficacy of our intervention in low-resource work contexts and provide recommendations to enhance collective social support interventions similar to Saharaline.


title: Leveraging Large Language Models for Concept Graph Recovery and Question Answering in NLP Education

abstract: In the domain of Natural Language Processing (NLP), Large Language Models (LLMs) have demonstrated promise in text-generation tasks. However, their educational applications, particularly for domain-specific queries, remain underexplored. This study investigates LLMs' capabilities in educational scenarios, focusing on concept graph recovery and question-answering (QA). We assess LLMs' zero-shot performance in creating domain-specific concept graphs and introduce TutorQA, a new expert-verified NLP-focused benchmark for scientific graph reasoning and QA. TutorQA consists of five tasks with 500 QA pairs. To tackle TutorQA queries, we present CGLLM, a pipeline integrating concept graphs with LLMs for answering diverse questions. Our results indicate that LLMs' zero-shot concept graph recovery is competitive with supervised methods, showing an average 3% F1 score improvement. In TutorQA tasks, LLMs achieve up to 26% F1 score enhancement. Moreover, human evaluation and analysis show that CGLLM generates answers with more fine-grained concepts.


title: High-arity PAC learning via exchangeability

abstract: We develop a theory of high-arity PAC learning, which is statistical learning in the presence of "structured correlation". In this theory, hypotheses are either graphs, hypergraphs or, more generally, structures in finite relational languages, and i.i.d. sampling is replaced by sampling an induced substructure, producing an exchangeable distribution. We prove a high-arity version of the fundamental theorem of statistical learning by characterizing high-arity (agnostic) PAC learnability in terms of finiteness of a purely combinatorial dimension and in terms of an appropriate version of uniform convergence.


title: Fluctuations of the free energy of the spherical Sherrington-Kirkpatrick model with heavy-tailed interaction

abstract: We consider the 2-spin spherical Sherrington--Kirkpatrick model where the interactions between the spins are given as random variables with heavy-tailed distribution. We prove that the free energy exhibits sharp phase transition, depending on the location of the largest eigenvalue of the interaction matrix. We also prove the order of the limiting free energy and the limiting distribution of the fluctuation of the free energy for both regimes.


title: Mitigating Biases of Large Language Models in Stance Detection with Calibration

abstract: Large language models (LLMs) have achieved remarkable progress in many natural language processing tasks. However, our experiment reveals that, in stance detection tasks, LLMs may generate biased stances due to sentiment-stance spurious correlations and preference towards certain individuals and topics, thus harming their performance. Therefore, in this paper, we propose to Mitigate Biases of LLMs in stance detection with Calibration (MB-Cal). To be specific, a novel calibration network is devised to calibrate potential bias in the stance prediction of LLMs. Further, to address the challenge of effectively learning bias representations and the difficulty in the generalizability of debiasing, we construct counterfactual augmented data. This approach enhances the calibration network, facilitating the debiasing and out-of-domain generalization. Experimental results on in-target and zero-shot stance detection tasks show that the proposed MB-Cal can effectively mitigate biases of LLMs, achieving state-of-the-art results.


title: Semantics-Empowered Space-Air-Ground-Sea Integrated Network: New Paradigm, Frameworks, and Challenges

abstract: In the coming sixth generation (6G) communication era, to provide seamless and ubiquitous connections, the space-air-ground-sea integrated network (SAGSIN) is envisioned to address the challenges of communication coverage in areas with difficult conditions, such as the forest, desert, and sea. Considering the fundamental limitations of the SAGSIN including large-scale scenarios, highly dynamic channels, and limited device capabilities, traditional communications based on Shannon information theory cannot satisfy the communication demands. Moreover, bit-level reconstruction is usually redundant for many human-to-machine or machine-to-machine applications in the SAGSIN. Therefore, it is imperative to consider high-level communications towards semantics exchange, called semantic communications. In this survey, according to the interpretations of the term "semantics", including "significance", "meaning", and "effectiveness-related information", we review state-of-the-art works on semantic communications from three perspectives, which are 1) significance representation and protection, 2) meaning similarity measurement and meaning enhancement, and 3) ultimate effectiveness and effectiveness yielding. Sequentially, three types of semantic communication systems can be correspondingly introduced, namely the significance-oriented, meaning-oriented, and effectiveness/task-oriented semantic communication systems. Implementation of the above three types of systems in the SAGSIN necessitates a new perception-communication-computing-actuation-integrated paradigm (PCCAIP), where all the available perception, computing, and actuation techniques jointly facilitates significance-oriented sampling & transmission, semantic extraction & reconstruction, and task decision. Finally, we point out some future challenges on semantic communications in the SAGSIN. ...


title: Multi-modal Stance Detection: New Datasets and Model

abstract: Stance detection is a challenging task that aims to identify public opinion from social media platforms with respect to specific targets. Previous work on stance detection largely focused on pure texts. In this paper, we study multi-modal stance detection for tweets consisting of texts and images, which are prevalent in today's fast-growing social media platforms where people often post multi-modal messages. To this end, we create five new multi-modal stance detection datasets of different domains based on Twitter, in which each example consists of a text and an image. In addition, we propose a simple yet effective Targeted Multi-modal Prompt Tuning framework (TMPT), where target information is leveraged to learn multi-modal stance features from textual and visual modalities. Experimental results on our five benchmark datasets show that the proposed TMPT achieves state-of-the-art performance in multi-modal stance detection.


title: We Choose to Go to Space: Agent-driven Human and Multi-Robot Collaboration in Microgravity

abstract: We present SpaceAgents-1, a system for learning human and multi-robot collaboration (HMRC) strategies under microgravity conditions. Future space exploration requires humans to work together with robots. However, acquiring proficient robot skills and adept collaboration under microgravity conditions poses significant challenges within ground laboratories. To address this issue, we develop a microgravity simulation environment and present three typical configurations of intra-cabin robots. We propose a hierarchical heterogeneous multi-agent collaboration architecture: guided by foundation models, a Decision-Making Agent serves as a task planner for human-robot collaboration, while individual Skill-Expert Agents manage the embodied control of robots. This mechanism empowers the SpaceAgents-1 system to execute a range of intricate long-horizon HMRC tasks.


title: A Simple Framework Uniting Visual In-context Learning with Masked Image Modeling to Improve Ultrasound Segmentation

abstract: Conventional deep learning models deal with images one-by-one, requiring costly and time-consuming expert labeling in the field of medical imaging, and domain-specific restriction limits model generalizability. Visual in-context learning (ICL) is a new and exciting area of research in computer vision. Unlike conventional deep learning, ICL emphasizes the model's ability to adapt to new tasks based on given examples quickly. Inspired by MAE-VQGAN, we proposed a new simple visual ICL method called SimICL, combining visual ICL pairing images with masked image modeling (MIM) designed for self-supervised learning. We validated our method on bony structures segmentation in a wrist ultrasound (US) dataset with limited annotations, where the clinical objective was to segment bony structures to help with further fracture detection. We used a test set containing 3822 images from 18 patients for bony region segmentation. SimICL achieved an remarkably high Dice coeffient (DC) of 0.96 and Jaccard Index (IoU) of 0.92, surpassing state-of-the-art segmentation and visual ICL models (a maximum DC 0.86 and IoU 0.76), with SimICL DC and IoU increasing up to 0.10 and 0.16. This remarkably high agreement with limited manual annotations indicates SimICL could be used for training AI models even on small US datasets. This could dramatically decrease the human expert time required for image labeling compared to conventional approaches, and enhance the real-world use of AI assistance in US image analysis.


title: GenSERP: Large Language Models for Whole Page Presentation

abstract: The advent of large language models (LLMs) brings an opportunity to minimize the effort in search engine result page (SERP) organization. In this paper, we propose GenSERP, a framework that leverages LLMs with vision in a few-shot setting to dynamically organize intermediate search results, including generated chat answers, website snippets, multimedia data, knowledge panels into a coherent SERP layout based on a user's query. Our approach has three main stages: (1) An information gathering phase where the LLM continuously orchestrates API tools to retrieve different types of items, and proposes candidate layouts based on the retrieved items, until it's confident enough to generate the final result. (2) An answer generation phase where the LLM populates the layouts with the retrieved content. In this phase, the LLM adaptively optimize the ranking of items and UX configurations of the SERP. Consequently, it assigns a location on the page to each item, along with the UX display details. (3) A scoring phase where an LLM with vision scores all the generated SERPs based on how likely it can satisfy the user. It then send the one with highest score to rendering. GenSERP features two generation paradigms. First, coarse-to-fine, which allow it to approach optimal layout in a more manageable way, (2) beam search, which give it a better chance to hit the optimal solution compared to greedy decoding. Offline experimental results on real-world data demonstrate how LLMs can contextually organize heterogeneous search results on-the-fly and provide a promising user experience.


title: Quantum education in the frontier city of Kharkiv

abstract: This article provides the description of current training processes and structure of education in quantum physics at the Education and Research Institute "School of Physics and Technology" (SPT) of V.N. Karazin Kharkiv National University, Ukraine. Crucial feature of quantum education at the SPT is the involvement of scientists and experts from national and international research centers who are actively working in the field. By taking example of particular quantum courses, we outline the main challenges in the educational process during the large-scale military aggression and the ways the lecturers, scientific employees, and students manage to overcome them. We also overview the recently emerged initiatives oriented on sustaining and development of quantum education in Kharkiv, as well as the international events with a broader impact. History of the School and its main achievements are provided in brief.


title: Open Meshed Anatomy: Towards a comprehensive finite element hexahedral mesh derived from open atlases

abstract: Computational simulations using methods such as the finite element (FE) method rely on high-quality meshes for achieving accurate results. This study introduces a method for creating a high-quality hexahedral mesh using the Open Anatomy Project's brain atlas. Our atlas-based FE hexahedral mesh of the brain mitigates potential inaccuracies and uncertainties due to segmentation - a process that often requires input of an inexperienced analyst. It accomplishes this by leveraging existing segmentation from the atlas. We further extend the mesh's usability by forming a two-way correspondence between the atlas and mesh. This feature facilitates property assignment for computational simulations and enhances result analysis within an anatomical context. We demonstrate the application of the mesh by solving the electroencephalography (EEG) forward problem. Our method simplifies the mesh creation process, reducing time and effort, and provides a more comprehensive and contextually enriched visualisation of simulation outcomes.


title: Vision-Language Navigation with Embodied Intelligence: A Survey

abstract: As a long-term vision in the field of artificial intelligence, the core goal of embodied intelligence is to improve the perception, understanding, and interaction capabilities of agents and the environment. Vision-language navigation (VLN), as a critical research path to achieve embodied intelligence, focuses on exploring how agents use natural language to communicate effectively with humans, receive and understand instructions, and ultimately rely on visual information to achieve accurate navigation. VLN integrates artificial intelligence, natural language processing, computer vision, and robotics. This field faces technical challenges but shows potential for application such as human-computer interaction. However, due to the complex process involved from language understanding to action execution, VLN faces the problem of aligning visual information and language instructions, improving generalization ability, and many other challenges. This survey systematically reviews the research progress of VLN and details the research direction of VLN with embodied intelligence. After a detailed summary of its system architecture and research based on methods and commonly used benchmark datasets, we comprehensively analyze the problems and challenges faced by current research and explore the future development direction of this field, aiming to provide a practical reference for researchers.


title: Towards Efficient Pareto-optimal Utility-Fairness between Groups in Repeated Rankings

abstract: In this paper, we tackle the problem of computing a sequence of rankings with the guarantee of the Pareto-optimal balance between (1) maximizing the utility of the consumers and (2) minimizing unfairness between producers of the items. Such a multi-objective optimization problem is typically solved using a combination of a scalarization method and linear programming on bi-stochastic matrices, representing the distribution of possible rankings of items. However, the above-mentioned approach relies on Birkhoff-von Neumann (BvN) decomposition, of which the computational complexity is $\mathcal{O}(n^5)$ with $n$ being the number of items, making it impractical for large-scale systems. To address this drawback, we introduce a novel approach to the above problem by using the Expohedron - a permutahedron whose points represent all achievable exposures of items. On the Expohedron, we profile the Pareto curve which captures the trade-off between group fairness and user utility by identifying a finite number of Pareto optimal solutions. We further propose an efficient method by relaxing our optimization problem on the Expohedron's circumscribed $n$-sphere, which significantly improve the running time. Moreover, the approximate Pareto curve is asymptotically close to the real Pareto optimal curve as the number of substantial solutions increases. Our methods are applicable with different ranking merits that are non-decreasing functions of item relevance. The effectiveness of our methods are validated through experiments on both synthetic and real-world datasets.


title: Design and Validation of a Very Low-Power Phasor Measurement Unit

abstract: Phasor measurement units (PMUs) provide a high-resolution view of the power system at the locations where they are placed. As such, it is desirable to place them in bulk in low voltage distribution circuits. However, the power consumption of a PMU/micro-PMU is in the order of Watts (W) that results in them requiring an external power supply, which in turn increases the overall cost. This work details the hardware design of a PMU capable of measuring and reporting voltage and current phasors for a single-phase system at an average power consumption of only 30.8 mW -- one to two orders of magnitude lower than existing academic and commercial PMUs. This enables the proposed PMU to run for two weeks using an 11-Wh battery or indefinitely if paired with an inexpensive solar panel. A test-bench developed in accordance with the 2018 IEC/IEEE 60255-118-1 PMU Standard confirms the accuracy of this PMU. Given its low power consumption, the proposed design is expected to accelerate adoption of PMUs in modern distribution grids.


title: An FPGA-Based Accelerator Enabling Efficient Support for CNNs with Arbitrary Kernel Sizes

abstract: Convolutional neural networks (CNNs) with large kernels, drawing inspiration from the key operations of vision transformers (ViTs), have demonstrated impressive performance in various vision-based applications. To address the issue of computational efficiency degradation in existing designs for supporting large-kernel convolutions, an FPGA-based inference accelerator is proposed for the efficient deployment of CNNs with arbitrary kernel sizes. Firstly, a Z-flow method is presented to optimize the computing data flow by maximizing data reuse opportunity. Besides, the proposed design, incorporating the kernel-segmentation (Kseg) scheme, enables extended support for large-kernel convolutions, significantly reducing the storage requirements for overlapped data. Moreover, based on the analysis of typical block structures in emerging CNNs, vertical-fused (VF) and horizontal-fused (HF) methods are developed to optimize CNN deployments from both computation and transmission perspectives. The proposed hardware accelerator, evaluated on Intel Arria 10 FPGA, achieves up to 3.91 times better DSP efficiency than prior art on the same network. Particularly, it demonstrates efficient support for large-kernel CNNs, achieving throughputs of 169.68 GOPS and 244.55 GOPS for RepLKNet-31 and PyConvResNet-50, respectively, both of which are implemented on hardware for the first time.


title: Ground-Fusion: A Low-cost Ground SLAM System Robust to Corner Cases

abstract: We introduce Ground-Fusion, a low-cost sensor fusion simultaneous localization and mapping (SLAM) system for ground vehicles. Our system features efficient initialization, effective sensor anomaly detection and handling, real-time dense color mapping, and robust localization in diverse environments. We tightly integrate RGB-D images, inertial measurements, wheel odometer and GNSS signals within a factor graph to achieve accurate and reliable localization both indoors and outdoors. To ensure successful initialization, we propose an efficient strategy that comprises three different methods: stationary, visual, and dynamic, tailored to handle diverse cases. Furthermore, we develop mechanisms to detect sensor anomalies and degradation, handling them adeptly to maintain system accuracy. Our experimental results on both public and self-collected datasets demonstrate that Ground-Fusion outperforms existing low-cost SLAM systems in corner cases. We release the code and datasets at https://github.com/SJTU-ViSYS/Ground-Fusion.


title: YOLO-TLA: An Efficient and Lightweight Small Object Detection Model based on YOLOv5

abstract: Object detection, a crucial aspect of computer vision, has seen significant advancements in accuracy and robustness. Despite these advancements, practical applications still face notable challenges, primarily the inaccurate detection or missed detection of small objects. In this paper, we propose YOLO-TLA, an advanced object detection model building on YOLOv5. We first introduce an additional detection layer for small objects in the neck network pyramid architecture, thereby producing a feature map of a larger scale to discern finer features of small objects. Further, we integrate the C3CrossCovn module into the backbone network. This module uses sliding window feature extraction, which effectively minimizes both computational demand and the number of parameters, rendering the model more compact. Additionally, we have incorporated a global attention mechanism into the backbone network. This mechanism combines the channel information with global information to create a weighted feature map. This feature map is tailored to highlight the attributes of the object of interest, while effectively ignoring irrelevant details. In comparison to the baseline YOLOv5s model, our newly developed YOLO-TLA model has shown considerable improvements on the MS COCO validation dataset, with increases of 4.6% in mAP@0.5 and 4% in mAP@0.5:0.95, all while keeping the model size compact at 9.49M parameters. Further extending these improvements to the YOLOv5m model, the enhanced version exhibited a 1.7% and 1.9% increase in mAP@0.5 and mAP@0.5:0.95, respectively, with a total of 27.53M parameters. These results validate the YOLO-TLA model's efficient and effective performance in small object detection, achieving high accuracy with fewer parameters and computational demands.


title: Hint-before-Solving Prompting: Guiding LLMs to Effectively Utilize Encoded Knowledge

abstract: Large Language Models (LLMs) have recently showcased remarkable generalizability in various domains. Despite their extensive knowledge, LLMs still face challenges in efficiently utilizing encoded knowledge to develop accurate and logical reasoning processes. To mitigate this problem, we introduced Hint-before-Solving Prompting (HSP), which guides the model to generate hints (e.g., specific knowledge or key ideas) for solving the problem and then generate solutions containing intermediate reasoning steps. Since HSP is orthogonal to prompting methods (e.g., Chain-of-Thought (CoT)), we applied HSP to CoT, Least-to-Most, Plan-and-Solve, and Standard promptings. The results of extensive experiments on 6 reasoning benchmarks and 4 open-source LLMs demonstrate that HSP can effectively improve the accuracy of reasoning tasks: (1) By applying high-quality hint-enhanced HSP to CoT prompting, Llama2-70B-Chat shows an improvement of 9.7. (2) Beyond exploring training-free LLM capabilities, we built the HSPMATH dataset based on HSP and fine-tuned Llemma-7B, reaching 64.3 accuracy, surpassing GPT-3.5 and WizardMath-13B. We make our code and dataset publicly available at \url{https://github.com/jinlanfu/HSP}.


title: Font Style Interpolation with Diffusion Models

abstract: Fonts have huge variations in their styles and give readers different impressions. Therefore, generating new fonts is worthy of giving new impressions to readers. In this paper, we employ diffusion models to generate new font styles by interpolating a pair of reference fonts with different styles. More specifically, we propose three different interpolation approaches, image-blending, condition-blending, and noise-blending, with the diffusion models. We perform qualitative and quantitative experimental analyses to understand the style generation ability of the three approaches. According to experimental results, three proposed approaches can generate not only expected font styles but also somewhat serendipitous font styles. We also compare the approaches with a state-of-the-art style-conditional Latin-font generative network model to confirm the validity of using the diffusion models for the style interpolation task.


title: The Jiao Tong University Spectroscopic Telescope Project

abstract: The Jiao Tong University Spectroscopic Telescope (JUST) is a 4.4-meter f/6.0 segmentedmirror telescope dedicated to spectroscopic observations. The JUST primary mirror is composed of 18 hexagonal segments, each with a diameter of 1.1 m. JUST provides two Nasmyth platforms for placing science instruments. One Nasmyth focus fits a field of view of 10 arcmin and the other has an extended field of view of 1.2 deg with correction optics. A tertiary mirror is used to switch between the two Nasmyth foci. JUST will be installed at a site at Lenghu in Qinghai Province, China, and will conduct spectroscopic observations with three types of instruments to explore the dark universe, trace the dynamic universe, and search for exoplanets: (1) a multi-fiber (2000 fibers) medium-resolution spectrometer (R=4000-5000) to spectroscopically map galaxies and large-scale structure; (2) an integral field unit (IFU) array of 500 optical fibers and/or a long-slit spectrograph dedicated to fast follow-ups of transient sources for multimessenger astronomy; (3) a high-resolution spectrometer (R~100000) designed to identify Jupiter analogs and Earth-like planets, with the capability to characterize the atmospheres of hot exoplanets.

categories: astro-ph.IM astro-ph.CO astro-ph.EP astro-ph.GA


title: Learning to Kern: Set-wise Estimation of Optimal Letter Space

abstract: Kerning is the task of setting appropriate horizontal spaces for all possible letter pairs of a certain font. One of the difficulties of kerning is that the appropriate space differs for each letter pair. Therefore, for a total of 52 capital and small letters, we need to adjust $52 \times 52 = 2704$ different spaces. Another difficulty is that there is neither a general procedure nor criterion for automatic kerning; therefore, kerning is still done manually or with heuristics. In this paper, we tackle kerning by proposing two machine-learning models, called pairwise and set-wise models. The former is a simple deep neural network that estimates the letter space for two given letter images. In contrast, the latter is a transformer-based model that estimates the letter spaces for three or more given letter images. For example, the set-wise model simultaneously estimates 2704 spaces for 52 letter images for a certain font. Among the two models, the set-wise model is not only more efficient but also more accurate because its internal self-attention mechanism allows for more consistent kerning for all letters. Experimental results on about 2500 Google fonts and their quantitative and qualitative analyses show that the set-wise model has an average estimation error of only about 5.3 pixels when the average letter space of all fonts and letter pairs is about 115 pixels.


title: Typographic Text Generation with Off-the-Shelf Diffusion Model

abstract: Recent diffusion-based generative models show promise in their ability to generate text images, but limitations in specifying the styles of the generated texts render them insufficient in the realm of typographic design. This paper proposes a typographic text generation system to add and modify text on typographic designs while specifying font styles, colors, and text effects. The proposed system is a novel combination of two off-the-shelf methods for diffusion models, ControlNet and Blended Latent Diffusion. The former functions to generate text images under the guidance of edge conditions specifying stroke contours. The latter blends latent noise in Latent Diffusion Models (LDM) to add typographic text naturally onto an existing background. We first show that given appropriate text edges, ControlNet can generate texts in specified fonts while incorporating effects described by prompts. We further introduce text edge manipulation as an intuitive and customizable way to produce texts with complex effects such as ``shadows'' and ``reflections''. Finally, with the proposed system, we successfully add and modify texts on a predefined background while preserving its overall coherence.


title: Structure-Based Drug Design via 3D Molecular Generative Pre-training and Sampling

abstract: Structure-based drug design aims at generating high affinity ligands with prior knowledge of 3D target structures. Existing methods either use conditional generative model to learn the distribution of 3D ligands given target binding sites, or iteratively modify molecules to optimize a structure-based activity estimator. The former is highly constrained by data quantity and quality, which leaves optimization-based approaches more promising in practical scenario. However, existing optimization-based approaches choose to edit molecules in 2D space, and use molecular docking to estimate the activity using docking predicted 3D target-ligand complexes. The misalignment between the action space and the objective hinders the performance of these models, especially for those employ deep learning for acceleration. In this work, we propose MolEdit3D to combine 3D molecular generation with optimization frameworks. We develop a novel 3D graph editing model to generate molecules using fragments, and pre-train this model on abundant 3D ligands for learning target-independent properties. Then we employ a target-guided self-learning strategy to improve target-related properties using self-sampled molecules. MolEdit3D achieves state-of-the-art performance on majority of the evaluation metrics, and demonstrate strong capability of capturing both target-dependent and -independent properties.


title: Place Anything into Any Video

abstract: Controllable video editing has demonstrated remarkable potential across diverse applications, particularly in scenarios where capturing or re-capturing real-world videos is either impractical or costly. This paper introduces a novel and efficient system named Place-Anything, which facilitates the insertion of any object into any video solely based on a picture or text description of the target object or element. The system comprises three modules: 3D generation, video reconstruction, and 3D target insertion. This integrated approach offers an efficient and effective solution for producing and editing high-quality videos by seamlessly inserting realistic objects. Through a user study, we demonstrate that our system can effortlessly place any object into any video using just a photograph of the object. Our demo video can be found at https://youtu.be/afXqgLLRnTE. Please also visit our project page https://place-anything.github.io to get access.


title: Oscillations between Grid-Forming Converters in Weakly Connected Offshore WPPs

abstract: This paper studies control interactions between grid-forming (GFM) converters exhibited by power and frequency oscillations in a weakly connected offshore wind power plant (WPP). Two GFM controls are considered, namely virtual synchronous machine (VSM) and virtual admittance (VAdm) based GFM. The GFM control methods are implemented in wind turbine generators (WTGs) of a verified aggregated model of a WPP and the control interaction between these GFM WTGs is studied for several cases: cases with the same GFM control methods, and cases with different GFM control methods. A sensitivity analysis is performed for the observed oscillations to understand which system parameter affects the oscillations the most. Several solution methods are proposed and the inapplicability of some of the conventional solution methods are elaborated in this paper.


title: Assessing generalization capability of text ranking models in Polish

abstract: Retrieval-augmented generation (RAG) is becoming an increasingly popular technique for integrating internal knowledge bases with large language models. In a typical RAG pipeline, three models are used, responsible for the retrieval, reranking, and generation stages. In this article, we focus on the reranking problem for the Polish language, examining the performance of rerankers and comparing their results with available retrieval models. We conduct a comprehensive evaluation of existing models and those trained by us, utilizing a benchmark of 41 diverse information retrieval tasks for the Polish language. The results of our experiments show that most models struggle with out-of-domain generalization. However, a combination of effective optimization method and a large training dataset allows for building rerankers that are both compact in size and capable of generalization. The best of our models establishes a new state-of-the-art for reranking in the Polish language, outperforming existing models with up to 30 times more parameters.


title: Existence of solutions to a fractional semilinear heat equation in uniformly local weak Zygmund type spaces

abstract: In this paper we introduce uniformly local weak Zygmund type spaces, and obtain an optimal sufficient condition for the existence of solutions to the critical fractional semilinear heat equation.


title: Triad: A Framework Leveraging a Multi-Role LLM-based Agent to Solve Knowledge Base Question Answering

abstract: Recent progress with LLM-based agents has shown promising results across various tasks. However, their use in answering questions from knowledge bases remains largely unexplored. Implementing a KBQA system using traditional methods is challenging due to the shortage of task-specific training data and the complexity of creating task-focused model structures. In this paper, we present Triad, a unified framework that utilizes an LLM-based agent with three roles for KBQA tasks. The agent is assigned three roles to tackle different KBQA subtasks: agent as a generalist for mastering various subtasks, as a decision maker for the selection of candidates, and as an advisor for answering questions with knowledge. Our KBQA framework is executed in four phases, involving the collaboration of the agent's multiple roles. We evaluated the performance of our framework using three benchmark datasets, and the results show that our framework outperforms state-of-the-art systems on the LC-QuAD and YAGO-QA benchmarks, yielding F1 scores of 11.8% and 20.7%, respectively.


title: Non-relativistic spin splitting in compensated magnets that are not altermagnets

abstract: The non-relativistic spin-splitting (NRSS) of electronic bands in "altermagnets" has sparked renewed interest in antiferromagnets (AFMs) that have no net magnetization. However, altermagnets with collinear and compensated magnetism are not the only type of NRSS AFMs. In this study, we identify the symmetry conditions and characteristic signatures of a distinct group of NRSS AFMs that go beyond the description of altermagnets. These compounds exhibit a broken spin-degeneracy among the spin-polarized bands at the $\Gamma$ point in the absence of spin-orbit coupling (SOC). We use density functional theory calculations to validate these models in ternary magnetic nitrides, specifically MnXN$_2$ (X = Si, Ge, Sn), and their cation ordered variants. By removing the previous NRSS constraint on $\Gamma$, these compounds may facilitate the generation of spin currents without cancellation arising from the alternating spin polarizations. Our findings expand the scope of NRSS eligible materials.


title: Estimation of Spectral Risk Measure for Left Truncated and Right Censored Data

abstract: Left truncated and right censored data are encountered frequently in insurance loss data due to deductibles and policy limits. Risk estimation is an important task in insurance as it is a necessary step for determining premiums under various policy terms. Spectral risk measures are inherently coherent and have the benefit of connecting the risk measure to the user's risk aversion. In this paper we study the estimation of spectral risk measure based on left truncated and right censored data. We propose a non parametric estimator of spectral risk measure using the product limit estimator and establish the asymptotic normality for our proposed estimator. We also develop an Edgeworth expansion of our proposed estimator. The bootstrap is employed to approximate the distribution of our proposed estimator and shown to be second order ``accurate''. Monte Carlo studies are conducted to compare the proposed spectral risk measure estimator with the existing parametric and non parametric estimators for left truncated and right censored data. Based on our simulation study we estimate the exponential spectral risk measure for three data sets viz; Norwegian fire claims data set, Spain automobile insurance claims and French marine losses.


title: REPOFUSE: Repository-Level Code Completion with Fused Dual Context

abstract: The success of language models in code assistance has spurred the proposal of repository-level code completion as a means to enhance prediction accuracy, utilizing the context from the entire codebase. However, this amplified context can inadvertently increase inference latency, potentially undermining the developer experience and deterring tool adoption - a challenge we termed the Context-Latency Conundrum. This paper introduces REPOFUSE, a pioneering solution designed to enhance repository-level code completion without the latency trade-off. REPOFUSE uniquely fuses two types of context: the analogy context, rooted in code analogies, and the rationale context, which encompasses in-depth semantic relationships. We propose a novel rank truncated generation (RTG) technique that efficiently condenses these contexts into prompts with restricted size. This enables REPOFUSE to deliver precise code completions while maintaining inference efficiency. Through testing with the CrossCodeEval suite, REPOFUSE has demonstrated a significant leap over existing models, achieving a 40.90% to 59.75% increase in exact match (EM) accuracy for code completions and a 26.8% enhancement in inference speed. Beyond experimental validation, REPOFUSE has been integrated into the workflow of a large enterprise, where it actively supports various coding tasks.


title: Barium hexaferrite-based nanocomposites as Random Magnets for microwave absorption

abstract: The present work reports experimental evidence of random magnetic behavior observed in modified barium hexagonal ferrites. A significant transition in the magnetic properties of this system is observed when divalent cations (Ni2+, Cu2+, Mn2+) are introduced in the structure and give rise to a magnetic nanocomposite. Such introduction takes place in a random manner throughout each sample and creates the conditions for such materials to behave as random magnets. We verify the occurrence of such behavior in our samples by fitting the magnetization in approaching saturation to the corresponding theoretical model. We therefore analyze the microwave absorption capacities of random magnets in the GHz range and predict large and broad absorption signals under certain conditions. The findings presented here postulate, for the first time, ceramic materials as promising random magnets and underline their potential as microwave absorbers, in good agreement with recent theoretical models.


title: AuroraMag: Twin Explorer of Asymmetry in Aurora and Solar Wind-Magnetosphere Coupling

abstract: In the present-day context, small satellites and their constellations consisting of varying sizes (nano, micro, pico satellites) are being favored for remote sensing and in situ probing of the heliosphere and terrestrial magnetosphere-ionosphere system. We introduce a mission concept aimed at concurrently observing Earth's northern and southern auroral ovals while conducting in situ measurements of particles, fields, and temperature. The mission concept consists of two small satellites, each having an identical auroral X-ray imager, an in situ particle detector, a magnetometer pair, and an electron temperature analyzer onboard in an elliptical polar orbit (400X1000 km ). This mission would assist the space weather community in primarily answering important questions about the formation, morphology, and hemispherical asymmetries that we observe in the X-ray aurora, the fluxes of precipitating particles, Solar Energetic Particles, currents, and cusp dynamics. Once realized, this would be the first dedicated twin spacecraft mission of such kind to simultaneously study hemispheric asymmetries of solar-wind magnetosphere coupling. This study reveals the intricacies of the mission concept, encompassing orbital details, potential payloads, and its underlying scientific objectives. By leveraging the capabilities of small satellites, this mission concept is poised to make significant contributions to space weather monitoring and research.


title: Think before You Leap: Content-Aware Low-Cost Edge-Assisted Video Semantic Segmentation

abstract: Offloading computing to edge servers is a promising solution to support growing video understanding applications at resource-constrained IoT devices. Recent efforts have been made to enhance the scalability of such systems by reducing inference costs on edge servers. However, existing research is not directly applicable to pixel-level vision tasks such as video semantic segmentation (VSS), partly due to the fluctuating VSS accuracy and segment bitrate caused by the dynamic video content. In response, we present Penance, a new edge inference cost reduction framework. By exploiting softmax outputs of VSS models and the prediction mechanism of H.264/AVC codecs, Penance optimizes model selection and compression settings to minimize the inference cost while meeting the required accuracy within the available bandwidth constraints. We implement Penance in a commercial IoT device with only CPUs. Experimental results show that Penance consumes a negligible 6.8% more computation resources than the optimal strategy while satisfying accuracy and bandwidth constraints with a low failure rate.


title: Subobject-level Image Tokenization

abstract: Transformer-based vision models typically tokenize images into fixed-size square patches as input units, which lacks the adaptability to image content and overlooks the inherent pixel grouping structure. Inspired by the subword tokenization widely adopted in language models, we propose an image tokenizer at a subobject level, where the subobjects are represented by semantically meaningful image segments obtained by segmentation models (e.g., segment anything models). To implement a learning system based on subobject tokenization, we first introduced a Direct Segment Anything Model (DirectSAM) that efficiently produces comprehensive segmentation of subobjects, then embed subobjects into compact latent vectors and fed them into a large language model for vision language learning. Empirical results demonstrated that our subobject-level tokenization significantly facilitates efficient learning of translating images into object and attribute descriptions compared to the traditional patch-level tokenization. Codes and models are open-sourced at https://github.com/ChenDelong1999/subobjects.


title: Understanding and Patching Compositional Reasoning in LLMs

abstract: LLMs have marked a revolutonary shift, yet they falter when faced with compositional reasoning tasks. Our research embarks on a quest to uncover the root causes of compositional reasoning failures of LLMs, uncovering that most of them stem from the improperly generated or leveraged implicit reasoning results. Inspired by our empirical findings, we resort to Logit Lens and an intervention experiment to dissect the inner hidden states of LLMs. This deep dive reveals that implicit reasoning results indeed surface within middle layers and play a causative role in shaping the final explicit reasoning results. Our exploration further locates multi-head self-attention (MHSA) modules within these layers, which emerge as the linchpins in accurate generation and leveraing of implicit reasoning results. Grounded on the above findings, we develop CREME, a lightweight method to patch errors in compositional reasoning via editing the located MHSA modules. Our empirical evidence stands testament to CREME's effectiveness, paving the way for autonomously and continuously enhancing compositional reasoning capabilities in language models.


title: Local Wellposedness of dispersive equations with quasi-periodic initial data

abstract: We prove unconditional local well-posedness in a space of quasi-periodic functions for dispersive equations of the form $$\partial_tu + Lu + \partial_x(u^{p+1})=0,$$ where $L$ is a multiplier operator with purely imaginary symbol which grows at most exponentially. The class of equations to which our method applies includes the generalized Korteweg-de Vries equation, the generalized Benjamin-Ono equation, and the derivative nonlinear Schr\"odinger equation. We also discuss well-posedness of some dispersive models which do not have a problematic derivative in the nonlinearity, namely, the nonlinear Schr\"odinger equation and the generalized Benjamin-Bona-Mahony equation, with quasi-periodic initial data. In this way, we recover and improve upon results from arXiv:1212.2674v3 [math.AP], arXiv:2110.11263v1 [math.AP] and arXiv:2201.02920v1 [math.AP] by shorter arguments.


title: Collisions of Light Bullets with Different Circular Polarizations

abstract: Collisions of left- and right-polarized spatiotemporal optical solitons have been numerically simulated for a locally isotropic focusing Kerr medium with anomalous chromatic dispersion. The stable propagation of such ``light bullets'' in a moderate nonlinear regime is ensured by a transverse parabolic profile of the refraction index in a multimode waveguide. The transverse motion of centers of mass of wave packets in such systems occurs on classical trajectories of a harmonic oscillator, whereas the motion in the longitudinal direction is uniform. Therefore, collisions of two solitons can be not only head-on but also tangential. An inelastic collision of two solitons with opposite circular polarizations can result either in two binary light bullets combining the left and right polarization or in more complex bound systems. DOI: 10.1134/S0021364024600691


title: Convergence of cones of metric measure spaces and its application to Cauchy distribution

abstract: We prove that the sequence of cones of metric measure spaces converges if the sequence of base spaces converges in Gromov's box, concentration, and weak topologies. As an application, we show that the generalized Cauchy distribution with suitable scaling converges to a half line in the concentration topology as the dimension diverges to infinity. This is a new example distinguished from previously known examples such as Gaussian distributions and typical closed Riemannian manifolds with constant Ricci curvature.


title: From Large to Small Datasets: Size Generalization for Clustering Algorithm Selection

abstract: In clustering algorithm selection, we are given a massive dataset and must efficiently select which clustering algorithm to use. We study this problem in a semi-supervised setting, with an unknown ground-truth clustering that we can only access through expensive oracle queries. Ideally, the clustering algorithm's output will be structurally close to the ground truth. We approach this problem by introducing a notion of size generalization for clustering algorithm accuracy. We identify conditions under which we can (1) subsample the massive clustering instance, (2) evaluate a set of candidate algorithms on the smaller instance, and (3) guarantee that the algorithm with the best accuracy on the small instance will have the best accuracy on the original big instance. We provide theoretical size generalization guarantees for three classic clustering algorithms: single-linkage, k-means++, and (a smoothed variant of) Gonzalez's k-centers heuristic. We validate our theoretical analysis with empirical results, observing that on real-world clustering instances, we can use a subsample of as little as 5% of the data to identify which algorithm is best on the full dataset.


title: Two-dimensional models of core-collapse supernova explosions assisted by heavy sterile neutrinos

abstract: Core-collapse supernovae can be a copious source of sterile neutrinos, hypothetical particles that mix with active neutrinos. We develop two-dimensional stellar core-collapse models that incorporate the mixing between tau neutrinos and heavy sterile neutrinos -- those with the mass of 150--200 MeV -- to investigate signatures of sterile neutrinos in supernova observables. We find that the decay channel of a sterile neutrino into a pion and a tau neutrino can enhance the explosion energy and the synthesized nickel mass. Although the inclusion of sterile neutrinos considered in this study slightly reduce the neutrino and gravitational-wave signals, we find that they are still detectable for a Galactic event. Furthermore, we point out that if sterile neutrinos are as massive as ~200 MeV, they produce high-energy tau antineutrinos with energies of ~80 MeV, the detection of which can be a smoking signature of the sterile neutrinos and where Hyper-Kamiokande should play a pivotal role.


title: INSTRUCTIR: A Benchmark for Instruction Following of Information Retrieval Models

abstract: Despite the critical need to align search targets with users' intention, retrievers often only prioritize query information without delving into the users' intended search context. Enhancing the capability of retrievers to understand intentions and preferences of users, akin to language model instructions, has the potential to yield more aligned search targets. Prior studies restrict the application of instructions in information retrieval to a task description format, neglecting the broader context of diverse and evolving search scenarios. Furthermore, the prevailing benchmarks utilized for evaluation lack explicit tailoring to assess instruction-following ability, thereby hindering progress in this field. In response to these limitations, we propose a novel benchmark,INSTRUCTIR, specifically designed to evaluate instruction-following ability in information retrieval tasks. Our approach focuses on user-aligned instructions tailored to each query instance, reflecting the diverse characteristics inherent in real-world search scenarios. Through experimental analysis, we observe that retrievers fine-tuned to follow task-style instructions, such as INSTRUCTOR, can underperform compared to their non-instruction-tuned counterparts. This underscores potential overfitting issues inherent in constructing retrievers trained on existing instruction-aware retrieval datasets.


title: HyperFast: Instant Classification for Tabular Data

abstract: Training deep learning models and performing hyperparameter tuning can be computationally demanding and time-consuming. Meanwhile, traditional machine learning methods like gradient-boosting algorithms remain the preferred choice for most tabular data applications, while neural network alternatives require extensive hyperparameter tuning or work only in toy datasets under limited settings. In this paper, we introduce HyperFast, a meta-trained hypernetwork designed for instant classification of tabular data in a single forward pass. HyperFast generates a task-specific neural network tailored to an unseen dataset that can be directly used for classification inference, removing the need for training a model. We report extensive experiments with OpenML and genomic data, comparing HyperFast to competing tabular data neural networks, traditional ML methods, AutoML systems, and boosting machines. HyperFast shows highly competitive results, while being significantly faster. Additionally, our approach demonstrates robust adaptability across a variety of classification tasks with little to no fine-tuning, positioning HyperFast as a strong solution for numerous applications and rapid model deployment. HyperFast introduces a promising paradigm for fast classification, with the potential to substantially decrease the computational burden of deep learning. Our code, which offers a scikit-learn-like interface, along with the trained HyperFast model, can be found at https://github.com/AI-sandbox/HyperFast.


title: Vibrational lifetimes and viscoelastic properties of ultrastable glasses

abstract: Amorphous solids are viscoelastic. They dissipate energy when deformed at finite rate and finite temperature. We here use analytic theory and molecular simulations to demonstrate that linear viscoelastic dissipation can be directly related to the static and dynamic properties of the fundamental vibrational excitations of an amorphous system. We study ultrastable glasses that do not age, i.e. that remain in stable minima of the potential energy surface at finite temperature. Our simulations show four types of vibrational modes, which differ in spatial localization, similarity to plane waves and vibrational lifetimes. At frequencies below the Boson peak, the viscoelastic response can be split into contributions from plane-wave and quasilocalized modes. We derive a parameter-free expression for the viscoelastic storage and loss moduli for both of these modes. Our results show that the dynamics of microscopic dissipation, in particular the lifetimes of the modes, determine the viscoelastic response only at high frequency. Quasilocalized modes dominate the linear viscoelastic response at intermediate frequencies below the Boson peak.


title: AURA: Natural Language Reasoning for Aleatoric Uncertainty in Rationales

abstract: Rationales behind answers not only explain model decisions but boost language models to reason well on complex reasoning tasks. However, obtaining impeccable rationales is often impossible. Besides, it is non-trivial to estimate the degree to which the rationales are faithful enough to encourage model performance. Thus, such reasoning tasks often compel models to output correct answers under undesirable rationales and are sub-optimal compared to what the models are fully capable of. In this work, we propose how to deal with imperfect rationales causing aleatoric uncertainty. We first define the ambiguous rationales with entropy scores of given rationales, using model prior beliefs as informativeness. We then guide models to select one of two different reasoning models according to the ambiguity of rationales. We empirically argue that our proposed method produces robust performance superiority against the adversarial quality of rationales and low-resource settings.


title: Coherently excited superresolution using intensity product of phase-controlled quantum erasers via polarization-basis projection measurements

abstract: Recently, the delayed-choice quantum eraser has been applied for coherently excited superresolution using phase-controlled projection measurements of laser light to overcome the diffraction limit in classical physics as well as to solve the limited photon number of the N00N state in quantum physics. Unlike other methods of phase-controlled superresolution in a noninterferometric system, the proposed method is for the intensity products between phase-controlled quantum erasers, resulting in superresolution compatible with the most conventional sensing metrologies. Here, a general scheme of the phase-controlled quantum eraser-based superresolution is proposed and its general solution is derived for an arbitrary Nth-order intensity correlation, where the superresolution shows the photonic de Broglie wave-like quantum feature. Furthermore, phase quantization of the superresolution is discussed to better understand quantum mechanics.


title: Can Early Dark Energy be Probed by the High-Redshift Galaxy Abundance?

abstract: The Hubble tension and $\sigma_{8}$ tension are two of the major issues of the standard $\Lambda$ Cold Dark Matter ($\Lambda$CDM) model. The analysis of the Cosmic Microwave Background (CMB) data acquired by the Atacama Cosmology Telescope (ACT) and the large-scale ($\ell\lesssim1300$) Planck Telescope manifest their preference for the Early Dark Energy (EDE) theory, which was set to alleviate the Hubble tension by decreasing the sound horizon $r_{s}$, and gives $H_{0} \approx 72 \ km \ s^{-1} \ Mpc^{-1}$. However, the EDE model is commonly questioned for exacerbating the $\sigma_8$ tension on top of the $\Lambda$CDM model, and its lack of preference from the late-time matter power spectrum observations, e.g., Baryon Oscillation Spectroscopic Survey (BOSS). In light of the current obscurities, we inspect if the high redshift galaxy abundance, i.e., Stellar Mass Function/Density (SMF/SMD) and Luminosity Function (LF), can independently probe the EDE model and ameliorate the challenges it encounters. Our result shows that the EDE model produces more observable galaxies than $\Lambda$CDM at $z>8$. The LF and SMD, in particular, are consistent with the recent unexpectedly high results observed by the James Webb Space Telescope (JWST), which may posit another observational hint of EDE. This result also implies an efficient suppression mechanism of the galaxy formation rate that leads to the conversion between EDE- and $\Lambda$CDM-like Universe around $z\sim7-10$, and that $\sigma_{8}$ tension could be more of a tension of galaxy evolution than cosmology, hence diminishing its impact on EDE or $\Lambda$CDM theory.


title: TIE-KD: Teacher-Independent and Explainable Knowledge Distillation for Monocular Depth Estimation

abstract: Monocular depth estimation (MDE) is essential for numerous applications yet is impeded by the substantial computational demands of accurate deep learning models. To mitigate this, we introduce a novel Teacher-Independent Explainable Knowledge Distillation (TIE-KD) framework that streamlines the knowledge transfer from complex teacher models to compact student networks, eliminating the need for architectural similarity. The cornerstone of TIE-KD is the Depth Probability Map (DPM), an explainable feature map that interprets the teacher's output, enabling feature-based knowledge distillation solely from the teacher's response. This approach allows for efficient student learning, leveraging the strengths of feature-based distillation. Extensive evaluation of the KITTI dataset indicates that TIE-KD not only outperforms conventional response-based KD methods but also demonstrates consistent efficacy across diverse teacher and student architectures. The robustness and adaptability of TIE-KD underscore its potential for applications requiring efficient and interpretable models, affirming its practicality for real-world deployment.


title: Phenomenology of vector-meson electroproduction on spinless targets

abstract: Advantages of the amplitude method for the vector-meson-production description in respect of the spin-density-matrix-element (SDME) method are discussed. It is shown that for any nonzero amplitudes the angular distribution of final particles is non-negative. The exact formula for $R = \frac{d \sigma_L}{d t}/\frac{d \sigma_T}{d t}$ in terms of the SDMEs for spinless targets and the new approximate formula for nucleons are presented.


title: Light-Metal Functionalized Boron Monoxide Monolayers as Efficient Hydrogen Storage Material: Insights from DFT Simulations

abstract: Exceptionally high energy density by mass, natural abundance, widespread applications, and environmental friendliness make hydrogen (H2) a front-runner among clean energy options. However, the transition toward clean and renewable energy applications and the actualization of H2 economy require an efficient H2 storage medium. Material-based H2 storage is a viable option, as liquefaction and storage under pressure require ultra-low temperature (-253{\deg}C) and tremendously high pressure (700 atm), respectively. In this work, we highlight the exceptional H2 storage capabilities of recently synthesized boron monoxide (BO) monolayer functionalized with light metals (Li, Na, K, and Ca). Our computational approach, employing density functional theory (DFT), ab initio molecular dynamics (AIMD), and thermodynamic analysis, reveals promising results. We found that up to four metal dopants (Li, Na, K, and Ca) can be adsorbed onto BO monolayer with significantly strong binding energies. Importantly, these bindings surpass the cohesive counterparts of the parental metal bulks, consequently stabilizing the crystal integrities, as confirmed by AIMD simulations. Each metal dopant on BO efficiently adsorbs multiple H2 molecules through electrostatic and van der Waals interactions. Interestingly, the metal-functionalized BO monolayers exhibit exceptionally high H2 gravimetric capacities up to 11.75 wt%. These promising capacities exceed the 5.50 wt% target set by the US Department of Energy for 2025. Following the same guidelines, the average binding energy per H2 molecule is within the range of -0.17 to -0.32 eV. The adsorption and desorption of H2 under practical working conditions are investigated by Langmuir adsorption model based statistical thermodynamic analysis, further supporting the potential of metal-functionalized BO monolayers for material-based H2 storage applications.


title: The expansion of half-integral polytopes

abstract: The expansion of a polytope is an important parameter for the analysis of the random walks on its graph. A conjecture of Mihai and Vazirani states that all $0/1$-polytopes have expansion at least 1. We show that the generalization to half-integral polytopes does not hold by constructing $d$-dimensional half-integral polytopes whose expansion decreases exponentially fast with $d$. We also prove that the expansion of half-integral zonotopes is uniformly bounded away from $0$. As an intermediate result, we show that half-integral zonotopes are always graphical.


title: Cluster-then-Match: Efficient Management of Human-Centric, Cell-Less 6G Networks

abstract: In 5G and beyond (5GB) networks, the notion of cell tends to blur, as a set of points-of-access (PoAs) using different technologies often cover overlapping areas. In this context, high-quality decisions are needed about (i) which PoA to use when serving an end user and (ii) how to manage PoAs, e.g., how to set their power levels. To address this challenge, we present Cluster-then-Match (CtM), an efficient algorithm making joint decisions about user assignment and PoA management. Following the human-centric networking paradigm, such decisions account not only for the performance of the network, but also for the level of electromagnetic field exposure to which human bodies incur and energy consumption. Our performance evaluation shows how CtM can match the performance of state-of-the-art network management schemes, while reducing electromagnetic emissions and energy consumption by over 80%.


title: An Error-Matching Exclusion Method for Accelerating Visual SLAM

abstract: In Visual SLAM, achieving accurate feature matching consumes a significant amount of time, severely impacting the real-time performance of the system. This paper proposes an accelerated method for Visual SLAM by integrating GMS (Grid-based Motion Statistics) with RANSAC (Random Sample Consensus) for the removal of mismatched features. The approach first utilizes the GMS algorithm to estimate the quantity of matched pairs within the neighborhood and ranks the matches based on their confidence. Subsequently, the Random Sample Consensus (RANSAC) algorithm is employed to further eliminate mismatched features. To address the time-consuming issue of randomly selecting all matched pairs, this method transforms it into the problem of prioritizing sample selection from high-confidence matches. This enables the iterative solution of the optimal model. Experimental results demonstrate that the proposed method achieves a comparable accuracy to the original GMS-RANSAC while reducing the average runtime by 24.13% on the KITTI, TUM desk, and TUM doll datasets.


title: Dependable Distributed Training of Compressed Machine Learning Models

abstract: The existing work on the distributed training of machine learning (ML) models has consistently overlooked the distribution of the achieved learning quality, focusing instead on its average value. This leads to a poor dependability}of the resulting ML models, whose performance may be much worse than expected. We fill this gap by proposing DepL, a framework for dependable learning orchestration, able to make high-quality, efficient decisions on (i) the data to leverage for learning, (ii) the models to use and when to switch among them, and (iii) the clusters of nodes, and the resources thereof, to exploit. For concreteness, we consider as possible available models a full DNN and its compressed versions. Unlike previous studies, DepL guarantees that a target learning quality is reached with a target probability, while keeping the training cost at a minimum. We prove that DepL has constant competitive ratio and polynomial complexity, and show that it outperforms the state-of-the-art by over 27% and closely matches the optimum.


title: Quadratic Spinor Polynomials with Infinitely Many Factorizations

abstract: Spinor polynomials are polynomials with coefficients in the even sub-algebra of conformal geometric algebra whose norm polynomial is real. They describe rational conformal motions. Factorizations of spinor polynomial corresponds to the decomposition of the rational motion into elementary motions. Generic spinor polynomials allow for a finite number of factorizations. We present two examples of quadratic spinor polynomials that admit infinitely many factorizations. One of them, the circular translation, is well-known. The other one has only been introduced recently but in a different context. We not only compute all factorizations of these conformal motions but also interpret them geometrically.


title: Properties of the ground and excited states of triply heavy spin-1/2 baryons

abstract: We study the triply heavy spin-1/2 baryons with quark contents $ ccb $ and $ bbc $, and calculate their mass and residue using QCD sum rules. In the calculations, we consider the ground (1S), first orbitally excited (1P) and first radially excited (2S) states. Aiming to achieve higher accuracies in the results, we perform the computations by taking into account the non-perturbative operators up to eight mass dimensions. We compare our results with the predictions of other theoretical studies existing in the literature. The obtained results may help experimental groups in their search for these yet unseen, but previously predicted by the quark model, interesting particles.


title: Uncertainty-driven and Adversarial Calibration Learning for Epicardial Adipose Tissue Segmentation

abstract: Epicardial adipose tissue (EAT) is a type of visceral fat that can secrete large amounts of adipokines to affect the myocardium and coronary arteries. EAT volume and density can be used as independent risk markers measurement of volume by noninvasive magnetic resonance images is the best method of assessing EAT. However, segmenting EAT is challenging due to the low contrast between EAT and pericardial effusion and the presence of motion artifacts. we propose a novel feature latent space multilevel supervision network (SPDNet) with uncertainty-driven and adversarial calibration learning to enhance segmentation for more accurate EAT volume estimation. The network first addresses the blurring of EAT edges due to the medical images in the open medical environments with low quality or out-of-distribution by modeling the uncertainty as a Gaussian distribution in the feature latent space, which using its Bayesian estimation as a regularization constraint to optimize SwinUNETR. Second, an adversarial training strategy is introduced to calibrate the segmentation feature map and consider the multi-scale feature differences between the uncertainty-guided predictive segmentation and the ground truth segmentation, synthesizing the multi-scale adversarial loss directly improves the ability to discriminate the similarity between organizations. Experiments on both the cardiac public MRI dataset (ACDC) and the real-world clinical cohort EAT dataset show that the proposed network outperforms mainstream models, validating that uncertainty-driven and adversarial calibration learning can be used to provide additional information for modeling multi-scale ambiguities.


title: Efficient construction of the Feynman-Vernon influence functional as matrix product states

abstract: The time-evolving matrix product operator (TEMPO) method has become a very competitive numerical method for studying the real-time dynamics of quantum impurity problems. For small impurities, the most challenging calculation in TEMPO is to construct the matrix product state representation of the Feynman-Vernon influence functional. In this work we propose an efficient method for this task, which exploits the time-translationally invariant property of the influence functional. The required number of matrix product state multiplication in our method is almost independent of the total evolution time, as compared to the method originally used in TEMPO which requires a linearly scaling number of multiplications. The accuracy and efficiency of this method are demonstrated for the Toulouse model and the single impurity Anderson model.


title: Non-integrability of the rational Sasano system of type $A^{(2)}_4$

abstract: In this paper we study the integrability of the Sasano system of type $A^{(2)}_4$ from the point of view of the Hamiltonian dynamics. We prove rigorously that for these values of the parameters for which the Sasano system of type $A^{(2)}_4$ has a particular rational solution it is not integrable by rational first integrals. By an explicit computation we show that the connected component $G^0$ of the unit element of the differential Galois group of the normal variational equations along a simple particular rational solution is a direct product of two groups $SL_2(\mathbb{C})$. This the Morales-Ramis theory leads to a non-integrable result. Moreover using B\"{a}cklund transformations we extend the obtained particular non-integrable result to the entire orbit of the parameters.


title: Heavenly metrics, hyper-Lagrangians and Joyce structures

abstract: In \cite{B3}, Bridgeland defined a geometric structure, named a Joyce structure, conjectured to exist on the space $M$ of stability conditions of a $CY_3$ triangulated category. A feature of this structure is a complex hyper-K\"ahler metric with homothetic symmetry on the total space $X = TM$ of the holomorphic tangent bundle. \par Generalising the isomonodromy calculation which leads to the $A_2$ Joyce structure in \cite{BM}, we obtain an explicit expression for a hyper-K\"ahler metric with homothetic symmetry via construction of the isomonodromic flows of a Schr\"odinger equation with deformed polynomial oscillator potential of odd degree $2n+1$. The metric is defined on a total space $X$ of complex dimension $4n$ and fibres over a $2n$--dimensional manifold $M$ which can be identified with the unfolding of the $A_{2n}$-singularity. The hyper-K\"ahler structure is shown to be compatible with the natural symplectic structure on $M$ in the sense of admitting an \textit{affine symplectic fibration} as defined in \cite{BS}. \par Separately, using the additional conditions imposed by a Joyce structure, we consider reductions of Pleba\'nski's heavenly equations that govern the hyper-K\"ahler condition. We introduce the notion of a \textit{projectable hyper-Lagrangian} foliation and show that in dimension four such a foliation of $X$ leads to a linearisation of the heavenly equation.


title: Exploring Emerging Trends in 5G Malicious Traffic Analysis and Incremental Learning Intrusion Detection Strategies

abstract: The popularity of 5G networks poses a huge challenge for malicious traffic detection technology. The reason for this is that as the use of 5G technology increases, so does the risk of malicious traffic activity on 5G networks. Malicious traffic activity in 5G networks not only has the potential to disrupt communication services, but also to compromise sensitive data. This can have serious consequences for individuals and organizations. In this paper, we first provide an in-depth study of 5G technology and 5G security. Next we analyze and discuss the latest malicious traffic detection under AI and their applicability to 5G networks, and compare the various traffic detection aspects addressed by SOTA. The SOTA in 5G traffic detection is also analyzed. Next, we propose seven criteria for traffic monitoring datasets to confirm their suitability for future traffic detection studies. Finally, we present three major issues that need to be addressed for traffic detection in 5G environment. The concept of incremental learning techniques is proposed and applied in the experiments, and the experimental results prove to be able to solve the three problems to some extent.


title: GAM-Depth: Self-Supervised Indoor Depth Estimation Leveraging a Gradient-Aware Mask and Semantic Constraints

abstract: Self-supervised depth estimation has evolved into an image reconstruction task that minimizes a photometric loss. While recent methods have made strides in indoor depth estimation, they often produce inconsistent depth estimation in textureless areas and unsatisfactory depth discrepancies at object boundaries. To address these issues, in this work, we propose GAM-Depth, developed upon two novel components: gradient-aware mask and semantic constraints. The gradient-aware mask enables adaptive and robust supervision for both key areas and textureless regions by allocating weights based on gradient magnitudes.The incorporation of semantic constraints for indoor self-supervised depth estimation improves depth discrepancies at object boundaries, leveraging a co-optimization network and proxy semantic labels derived from a pretrained segmentation model. Experimental studies on three indoor datasets, including NYUv2, ScanNet, and InteriorNet, show that GAM-Depth outperforms existing methods and achieves state-of-the-art performance, signifying a meaningful step forward in indoor depth estimation. Our code will be available at https://github.com/AnqiCheng1234/GAM-Depth.


title: Rule or Story, Which is a Better Commonsense Expression for Talking with Large Language Models?

abstract: Building machines with commonsense has been a longstanding challenge in NLP due to the reporting bias of commonsense rules and the exposure bias of rule-based commonsense reasoning. In contrast, humans convey and pass down commonsense implicitly through stories. This paper investigates the inherent commonsense ability of large language models (LLMs) expressed through storytelling. We systematically investigate and compare stories and rules for retrieving and leveraging commonsense in LLMs. Experimental results on 28 commonsense QA datasets show that stories outperform rules as the expression for retrieving commonsense from LLMs, exhibiting higher generation confidence and commonsense accuracy. Moreover, stories are the more effective commonsense expression for answering questions regarding daily events, while rules are more effective for scientific questions. This aligns with the reporting bias of commonsense in text corpora. We further show that the correctness and relevance of commonsense stories can be further improved via iterative self-supervised fine-tuning. These findings emphasize the importance of using appropriate language to express, retrieve, and leverage commonsense for LLMs, highlighting a promising direction for better exploiting their commonsense abilities.


title: Cellular Load Dependent Sleep Control for Energy Efficient HetNets with Non-Uniform User Distributions

abstract: This study proposes a novel stochastic geometry framework analyzing power control strategies in spatially correlated network topologies. Heterogeneous networks are studied, with users modeled via the superposition of homogeneous and Poisson cluster processes. First, a new expression approaching the distribution of the number of users per base station is provided. This distribution defines the load associated with each Vorono\"i cell, capturing non-uniformities in user locations and correlation to BSs positions. The power allocation is adjusted based on this load, allowing BSs to enter sleep mode when their activity falls below a defined threshold. Furthermore, the propagation model features millimeter wave transmission characteristics and directional beamforming. Considering these aspects, revisited definitions of coverage probability, spectral efficiency, and energy efficiency are proposed. Tractable expressions for these metrics are derived and validated using Monte-Carlo simulations. Asymptotic expressions are also proposed, providing further understanding on the influence of the system parameters. Our numerical results finally analyze the impact of the sleep control on the performance and display the optimal strategies in terms of energy efficiency.


title: Development of a gyrokinetic-MHD energetic particle simulation code Part II: Linear simulations of Alfv\'en eigenmodes driven by energetic particles

abstract: We have developed a hybrid code GMEC: Gyro-kinetic Magnetohydrodynamics (MHD) Energetic-particle Code that can numerically simulate energetic particle-driven Alfv\'en eigenmodes and energetic particle transport in tokamak plasmas. In order to resolve the Alfv\'en eigenmodes with high toroidal numbers effectively, the field-aligned coordinates and meshes are adopted. The extended MHD equations are solved with five-points finite difference method and fourth order Runge-Kutta method. The gyrokinetic equations are solved by particle-in-cell (PIC) method for the perturbed energetic particle pressures that are coupled into the MHD equations. Up to now, a simplified version of the hybrid code has been completed with several successful verifications including linear simulations of toroidal Alfv\'en eigenmodes and reversed shear Alfv\'en eigenmodes.


title: Jackson integral representation for Kajihara's $q$-hypergeometric series and an extension of the $q$-Riemann-Papperitz system

abstract: We give an integral representation for the Kajihara's $q$-hypergeometric series $W^{M,2}$. And we construct a $q$-difference system that corresponds to this integral. This system is an extension of the variant of $q$-hypergeometric equation of degree three, defined by Hatano-Matsunawa-Sato-Takemura. We show that this system includes the $q$-Appell-Lauricella system as a degeneration.


title: Rethinking Scientific Summarization Evaluation: Grounding Explainable Metrics on Facet-aware Benchmark

abstract: The summarization capabilities of pretrained and large language models (LLMs) have been widely validated in general areas, but their use in scientific corpus, which involves complex sentences and specialized knowledge, has been less assessed. This paper presents conceptual and experimental analyses of scientific summarization, highlighting the inadequacies of traditional evaluation methods, such as $n$-gram, embedding comparison, and QA, particularly in providing explanations, grasping scientific concepts, or identifying key content. Subsequently, we introduce the Facet-aware Metric (FM), employing LLMs for advanced semantic matching to evaluate summaries based on different aspects. This facet-aware approach offers a thorough evaluation of abstracts by decomposing the evaluation task into simpler subtasks.Recognizing the absence of an evaluation benchmark in this domain, we curate a Facet-based scientific summarization Dataset (FD) with facet-level annotations. Our findings confirm that FM offers a more logical approach to evaluating scientific summaries. In addition, fine-tuned smaller models can compete with LLMs in scientific contexts, while LLMs have limitations in learning from in-context information in scientific domains. This suggests an area for future enhancement of LLMs.


title: Orbifold Kodaira-Spencer maps and closed-string mirror symmetry for punctured Riemann surfaces

abstract: When a Weinstein manifold admits an action of a finite abelian group, we propose its mirror construction following the equivariant TQFT-type construction, and obtain as a mirror the orbifolding of the mirror of the quotient with respect to the induced dual group action. As an application, we construct an orbifold Landau-Ginzburg mirror of a punctured Riemann surface given as an abelian cover of the pair-of-pants, and prove its closed-string mirror symmetry using the (part of) closed-open map twisted by the dual group action.