title: Improving User Mental Models of XAI Systems with Inclusive Design Approaches

abstract: Explainable Artificial Intelligence (XAI) systems aim to improve users' understanding of AI but rarely consider the inclusivity aspects of XAI. Without inclusive approaches, improving explanations might not work well for everyone. This study investigates leveraging users' diverse problem-solving styles as an inclusive strategy to fix an XAI prototype, with the ultimate goal of improving users' mental models of AI. We ran a between-subject study with 69 participants. Our results show that the inclusivity fixes increased participants' engagement with explanations and produced significantly improved mental models. Analyzing differences in mental model scores further highlighted specific inclusivity fixes that contributed to the significant improvement in the mental model.


title: On the Temperature of Machine Learning Systems

abstract: We develop a thermodynamic theory for machine learning (ML) systems. Similar to physical thermodynamic systems which are characterized by energy and entropy, ML systems possess these characteristics as well. This comparison inspire us to integrate the concept of temperature into ML systems grounded in the fundamental principles of thermodynamics, and establish a basic thermodynamic framework for machine learning systems with non-Boltzmann distributions. We introduce the concept of states within a ML system, identify two typical types of state, and interpret model training and refresh as a process of state phase transition. We consider that the initial potential energy of a ML system is described by the model's loss functions, and the energy adheres to the principle of minimum potential energy. For a variety of energy forms and parameter initialization methods, we derive the temperature of systems during the phase transition both analytically and asymptotically, highlighting temperature as a vital indicator of system data distribution and ML training complexity. Moreover, we perceive deep neural networks as complex heat engines with both global temperature and local temperatures in each layer. The concept of work efficiency is introduced within neural networks, which mainly depends on the neural activation functions. We then classify neural networks based on their work efficiency, and describe neural networks as two types of heat engines.


title: Bubble reachers and uncivil discourse in polarized online public sphere

abstract: Early optimism saw possibilities for social media to renew democratic discourse, marked by hopes for individuals from diverse backgrounds to find opportunities to learn from and interact with others different from themselves. This optimism quickly waned as social media seemed to breed ideological homophily marked by "filter bubble" or "echo chambers." A typical response to the sense of fragmentation has been to encourage exposure to more cross-partisan sources of information. But do outlets that reach across partisan lines in fact generate more civil discourse? And does the civility of discourse hosted by such outlets vary depending on the political context in which they operate? To answer these questions, we identified bubble reachers, users who distribute content that reaches other users with diverse political opinions in recent presidential elections in Brazil, where populism has deep roots in the political culture, and Canada, where the political culture is comparatively moderate. Given that background, this research studies unexplored properties of content shared by bubble reachers, specifically the quality of conversations and comments it generates. We examine how ideologically neutral bubble reachers differ from ideologically partisan accounts in the level of uncivil discourse they provoke, and explore how this varies in the context of the two countries considered. Our results suggest that while ideologically neutral bubble reachers support less uncivil discourse in Canada, the opposite relationship holds in Brazil. Even non-political content by ideologically neutral bubble reachers elicits a considerable amount of uncivil discourse in Brazil. This indicates that bubble reaching and incivility are moderated by the national political context. Our results complicate the simple hypothesis of a universal impact of neutral bubble reachers across contexts.


title: Security and Privacy Product Inclusion

abstract: In this paper, we explore the challenges of ensuring security and privacy for users from diverse demographic backgrounds. We propose a threat modeling approach to identify potential risks and countermeasures for product inclusion in security and privacy. We discuss various factors that can affect a user's ability to achieve a high level of security and privacy, including low-income demographics, poor connectivity, shared device usage, ML fairness, etc. We present results from a global security and privacy user experience survey and discuss the implications for product developers. Our work highlights the need for a more inclusive approach to security and privacy and provides a framework for researchers and practitioners to consider when designing products and services for a diverse range of users.


title: Integrability and combinatorics

abstract: We discuss the use of methods coming from integrable systems to study problems of enumerative and algebraic combinatorics, and develop two examples: the enumeration of Alternating Sign Matrices and related combinatorial objects, and the theory of symmetric polynomials.


title: Vim4Path: Self-Supervised Vision Mamba for Histopathology Images

abstract: Representation learning from Gigapixel Whole Slide Images (WSI) poses a significant challenge in computational pathology due to the complicated nature of tissue structures and the scarcity of labeled data. Multi-instance learning methods have addressed this challenge, leveraging image patches to classify slides utilizing pretrained models using Self-Supervised Learning (SSL) approaches. The performance of both SSL and MIL methods relies on the architecture of the feature encoder. This paper proposes leveraging the Vision Mamba (Vim) architecture, inspired by state space models, within the DINO framework for representation learning in computational pathology. We evaluate the performance of Vim against Vision Transformers (ViT) on the Camelyon16 dataset for both patch-level and slide-level classification. Our findings highlight Vim's enhanced performance compared to ViT, particularly at smaller scales, where Vim achieves an 8.21 increase in ROC AUC for models of similar size. An explainability analysis further highlights Vim's capabilities, which reveals that Vim uniquely emulates the pathologist workflow-unlike ViT. This alignment with human expert analysis highlights Vim's potential in practical diagnostic settings and contributes significantly to developing effective representation-learning algorithms in computational pathology. We release the codes and pretrained weights at \url{https://github.com/AtlasAnalyticsLab/Vim4Path}.


title: A superfast direct inversion method for the nonuniform discrete Fourier transform

abstract: A direct solver is introduced for solving overdetermined linear systems involving nonuniform discrete Fourier transform matrices. Such a matrices can be transformed into a Cauchy-like form that has hierarchical low rank structure. The rank structure of this matrix is explained, and it is shown that the ranks of the relevant submatrices grow only logarithmically with the number of columns of the matrix. A fast rank-structured hierarchical approximation method based on this analysis is developed, along with a hierarchical least-squares solver for these and related systems. This result is a direct method for inverting nonuniform discrete transforms with a complexity that is nearly linear with respect to the degrees of freedom in the problem. This solver is benchmarked against various iterative and direct solvers in the setting of inverting the one-dimensional type-II (or forward) transform,for a range of condition numbers and problem sizes (up to $4\times 10^6$ by $2\times 10^6$). These experiments demonstrate that this method is especially useful for large ill-conditioned problems with multiple right-hand sides.


title: Model-Based Counterfactual Explanations Incorporating Feature Space Attributes for Tabular Data

abstract: Machine-learning models, which are known to accurately predict patterns from large datasets, are crucial in decision making. Consequently, counterfactual explanations-methods explaining predictions by introducing input perturbations-have become prominent. These perturbations often suggest ways to alter the predictions, leading to actionable recommendations. However, the current techniques require resolving the optimization problems for each input change, rendering them computationally expensive. In addition, traditional encoding methods inadequately address the perturbations of categorical variables in tabular data. Thus, this study propose FastDCFlow, an efficient counterfactual explanation method using normalizing flows. The proposed method captures complex data distributions, learns meaningful latent spaces that retain proximity, and improves predictions. For categorical variables, we employed TargetEncoding, which respects ordinal relationships and includes perturbation costs. The proposed method outperformed existing methods in multiple metrics, striking a balance between trade offs for counterfactual explanations. The source code is available in the following repository: https://github.com/sumugit/FastDCFlow.


title: On the Effect of Liquid Crystal Orientation in the Lipid Layer on Tear Film Thinning and Breakup

abstract: The human tear film (TF) is thin multilayer fluid film that is critical for clear vision and ocular surface health. Its dynamics are strongly affected by a floating lipid layer and, in health, that layer slows evaporation and helps create a more uniform tear film over the ocular surface. The tear film lipid layer (LL) may have liquid crystalline characteristics and plays important roles in the health of the tear film. Previous models have treated the lipid layer as a Newtonian fluid in extensional flow. We extend previous models to include extensional flow of a thin nematic liquid crystal atop a Newtonian aqueous layer with insoluble surfactant between them. We derive the resulting system of nonlinear partial differential equations for thickness of the LL and aqueous layers, surfactant transport and velocity in the LL. Evaporation is taken into account, and is affected by the LL thickness, internal arrangement of its rod-like molecules, and external conditions. Despite the complexity, this system still represents a significant reduction of the full system. We solve the system numerically via collocation with finite difference discretization in space together with implicit time stepping. We analyze solutions for different internal LL structures and show significant effect of the orientation. Orienting the molecules close to the normal direction to the TF surface results in slower evaporation, and other orientations have an effect on flow, showing that this type of model has promise for predicting TF dynamics.


title: Prospects for detecting the couplings of axion-like particle with neutrinos at the CEPC

abstract: We explore the possibility of detecting the couplings of axion-like particle (ALP) with leptons from their loop-level impact on the ALP couplings to electroweak (EW) gauge bosons via the signal process $e^+ e^- \to \gamma \gamma /E$ at the Circular Electron Positron Collider (CEPC) and obtain prospective sensitivities to the ALP-lepton couplings. Our numerical results show that the CEPC with the center of mass energy $\sqrt{s}=240$ GeV and the integrated luminosity $\mathcal{L}=$ $5.6$ ab$^{-1}$ might be sensitive for probing the ALP-lepton couplings in the ALP mass range from $10$ GeV to $130$ GeV, where the prospective sensitivities to the ALP-neutrino coupling $Tr(g_{a\nu\nu})/f_a$ can be as low as $0.016$ GeV$^{-1}$ and $0.0031$ GeV$^{-1}$ for $c_{R}=0$ and $c_{R}=c_{L}$, and to the ALP-charged lepton coupling $Tr(g_{a\ell\ell})/f_a$ can be as low as $0.035$ GeV$^{-1}$ for $c_{L}=0$. We find that the prospective sensitivities given by the CEPC are not covered by the current exclusion regions in some ALP mass intervals. The CEPC has the potential for exploring the ALP-neutrino couplings via some promising processes induced by the ALP-EW gauge boson couplings in the future.


title: Machine learning for climate physics and simulations

abstract: We discuss the emerging advances and opportunities at the intersection of machine learning (ML) and climate physics, highlighting the use of ML techniques, including supervised, unsupervised, and equation discovery, to accelerate climate knowledge discoveries and simulations. We delineate two distinct yet complementary aspects: (1) ML for climate physics and (2) ML for climate simulations. While physics-free ML-based models, such as ML-based weather forecasting, have demonstrated success when data is abundant and stationary, the physics knowledge and interpretability of ML models become crucial in the small-data/non-stationary regime to ensure generalizability. Given the absence of observations, the long-term future climate falls into the small-data regime. Therefore, ML for climate physics holds a critical role in addressing the challenges of ML for climate simulations. We emphasize the need for collaboration among climate physics, ML theory, and numerical analysis to achieve reliable ML-based models for climate applications.

categories: physics.ao-ph nlin.CD physics.comp-ph physics.flu-dyn physics.geo-ph


title: Optimal Acceleration for Minimax and Fixed-Point Problems is Not Unique

abstract: Recently, accelerated algorithms using the anchoring mechanism for minimax optimization and fixed-point problems have been proposed, and matching complexity lower bounds establish their optimality. In this work, we present the surprising observation that the optimal acceleration mechanism in minimax optimization and fixed-point problems is not unique. Our new algorithms achieve exactly the same worst-case convergence rates as existing anchor-based methods while using materially different acceleration mechanisms. Specifically, these new algorithms are dual to the prior anchor-based accelerated methods in the sense of H-duality. This finding opens a new avenue of research on accelerated algorithms since we now have a family of methods that empirically exhibit varied characteristics while having the same optimal worst-case guarantee.


title: Preserving History through Augmented Reality

abstract: Extended reality can weave together the fabric of the past, present, and future. A two-day design hackathon was held to bring the community together through a love for history and a common goal to use technology for good. Through interviewing an influential community elder, Emile Pitre, and referencing his book Revolution to Evolution, my team developed an augmented reality artifact to tell his story and preserve on revolutionary's legacy that impacted the University of Washington's history forever.


title: Random Gabidulin Codes Achieve List Decoding Capacity in the Rank Metric

abstract: Gabidulin codes, serving as the rank-metric counterpart of Reed-Solomon codes, constitute an important class of maximum rank distance (MRD) codes. However, unlike the fruitful positive results about the list decoding of Reed-Solomon codes, results concerning the list decodability of Gabidulin codes in the rank metric are all negative so far. For example, in contrast to Reed-Solomon codes, which are always list decodable up to the Johnson bound in the Hamming metric, Raviv and Wachter-Zeh (IEEE TIT, 2016 and 2017) constructed a class of Gabidulin codes that are not even combinatorially list decodable beyond the unique decoding radius in the rank metric. Proving the existence of Gabidulin codes with good combinatorial list decodability in the rank metric has remained a long-standing open problem. In this paper, we resolve the aforementioned open problem by showing that, with high probability, random Gabidulin codes over sufficiently large alphabets attain the optimal generalized Singleton bound for list decoding in the rank metric. In particular, they achieve list decoding capacity in the rank metric. Our work is significantly influenced by the recent breakthroughs in the combinatorial list decodability of Reed-Solomon codes, especially the work by Brakensiek, Gopi, and Makam (STOC 2023). Our major technical contributions, which may hold independent interest, consist of the following: (1) We initiate the study of ``higher order MRD codes'' and provide a novel unified theory, which runs parallel to the theory of ``higher order MDS codes'' developed by BGM. (2) We prove a natural analog of the GM-MDS theorem, proven by Lovett (FOCS 2018) and Yildiz and Hassibi (IEEE TIT, 2019), which we call the GM-MRD theorem. In particular, our GM-MRD theorem for Gabidulin codes are strictly stronger than the GM-MDS theorem for Gabidulin codes, proven by Yildiz and Hassibi (IEEE TIT, 2019).


title: Relativistic coupled cluster with completely renormalized and perturbative triples corrections

abstract: We have implemented noniterative triples corrections to the energy from coupled-cluster with single and double excitations (CCSD) within the 1-electron exact two-component (1eX2C) relativistic framework. The effectiveness of both the CCSD(T) and the completely renormalized (CR) CC(2,3) approaches are demonstrated by performing all-electron computations of the potential energy curves and spectroscopic constants of copper, silver, and gold dimers in their ground electronic states. Spin-orbit coupling effects captured via the 1eX2C framework are shown to be crucial for recovering the correct shape of the potential energy curves, and the correlation effects due to triples in these systems changes the dissociation energies by about 0.1--0.2 eV or about 4--7\%. We also demonstrate that relativistic effects and basis set size and contraction scheme are significantly more important in Au$_2$ than in Ag$_2$ or Cu$_2$.


title: $M$-TF equivalences in the real Grothendieck groups

abstract: For an abelian length category $\mathcal{A}$ with only finitely many isoclasses of simple objects, we have the wall-chamber structure and the TF equivalence in the dual real Grothendeick group $K_0(\mathcal{A})_\mathbb{R}^*=\operatorname{Hom}_\mathbb{R}(K_0(\mathcal{A})_\mathbb{R},\mathbb{R})$, which are defined by semistable subcategories and semistable torsion pairs in $\mathcal{A}$ associated to elements $\theta \in K_0(\mathcal{A})_\mathbb{R}^*$. In this paper, we introduce the $M$-TF equivalence for each object $M \in \mathcal{A}$ as a systematic way to coarsen the TF equivalence. We show that the set $\Sigma(M)$ of the closures of $M$-TF equivalence classes is a finite complete fan in $K_0(\mathcal{A})_\mathbb{R}^*$, and that $\Sigma(M)$ is the normal fan of the Newton polytope $\mathrm{N}(M)$ in $K_0(\mathcal{A})_\mathbb{R}$.


title: On a Notion of Graph Centrality Based on L1 Data Depth

abstract: A new measure to assess the centrality of vertices in an undirected and connected graph is proposed. The proposed measure, L1 centrality, can adequately handle graphs with weights assigned to vertices and edges. The study provides tools for graphical and multiscale analysis based on the L1 centrality. Specifically, the suggested analysis tools include the target plot, L1 centrality-based neighborhood, local L1 centrality, multiscale edge representation, and heterogeneity plot and index. Most importantly, our work is closely associated with the concept of data depth for multivariate data, which allows for a wide range of practical applications of the proposed measure. Throughout the paper, we demonstrate our tools with two interesting examples: the Marvel Cinematic Universe movie network and the bill cosponsorship network of the 21st National Assembly of South Korea.


title: Nanomechanical ancilla qubits generator for error correction algorithms in quantum computation

abstract: We suggest a nanoelectromechanical setup that generates properly entangled ancillary ("ancilla") qubits for error correction algorithms in quantum computing, demonstrated as an encoder for the three-qubit bit flip code. The setup is based on mesoscopic terminal utilizing the AC Josephson effect between voltage biased superconducting electrodes and mechanically vibrating mesoscopic superconducting grain in the regime of the Cooper pair box, controlled by the gate voltage. Required functionality is achieved by specifically tailored time-protocol of operating two external parameters: bias voltage and gate voltage. The superconducting grain is fixed on the free end of a cantilever, performing controlled in-plane mechanical vibrations, generating the nanomechanical coherent states organised in a pair of entangled cat-states in two perpendicular spatial directions. Cooper pair box and nanomechanical coherent states become three entangled qubits in a particular way: quantum information, initially encoded in superposition of the Cooper pair box states, is transduced into quantum superposition of two special 3-qubit entangled states, $\vert \uparrow + \, + \rangle$ and $\vert \downarrow - \, - \rangle$. It constitutes the basic input state for the three-qubit bit flip code, used in quantum computation mainly for error correction, "installed" on a single physical object in which the last two ancilla qubits are generated by the nanoelectromechanical setup.


title: TrialDura: Hierarchical Attention Transformer for Interpretable Clinical Trial Duration Prediction

abstract: The clinical trial process, also known as drug development, is an indispensable step toward the development of new treatments. The major objective of interventional clinical trials is to assess the safety and effectiveness of drug-based treatment in treating certain diseases in the human body. However, clinical trials are lengthy, labor-intensive, and costly. The duration of a clinical trial is a crucial factor that influences overall expenses. Therefore, effective management of the timeline of a clinical trial is essential for controlling the budget and maximizing the economic viability of the research. To address this issue, We propose TrialDura, a machine learning-based method that estimates the duration of clinical trials using multimodal data, including disease names, drug molecules, trial phases, and eligibility criteria. Then, we encode them into Bio-BERT embeddings specifically tuned for biomedical contexts to provide a deeper and more relevant semantic understanding of clinical trial data. Finally, the model's hierarchical attention mechanism connects all of the embeddings to capture their interactions and predict clinical trial duration. Our proposed model demonstrated superior performance with a mean absolute error (MAE) of 1.04 years and a root mean square error (RMSE) of 1.39 years compared to the other models, indicating more accurate clinical trial duration prediction. Publicly available code can be found at https://anonymous.4open.science/r/TrialDura-F196


title: LLMChain: Blockchain-based Reputation System for Sharing and Evaluating Large Language Models

abstract: Large Language Models (LLMs) have witnessed rapid growth in emerging challenges and capabilities of language understanding, generation, and reasoning. Despite their remarkable performance in natural language processing-based applications, LLMs are susceptible to undesirable and erratic behaviors, including hallucinations, unreliable reasoning, and the generation of harmful content. These flawed behaviors undermine trust in LLMs and pose significant hurdles to their adoption in real-world applications, such as legal assistance and medical diagnosis, where precision, reliability, and ethical considerations are paramount. These could also lead to user dissatisfaction, which is currently inadequately assessed and captured. Therefore, to effectively and transparently assess users' satisfaction and trust in their interactions with LLMs, we design and develop LLMChain, a decentralized blockchain-based reputation system that combines automatic evaluation with human feedback to assign contextual reputation scores that accurately reflect LLM's behavior. LLMChain not only helps users and entities identify the most trustworthy LLM for their specific needs, but also provides LLM developers with valuable information to refine and improve their models. To our knowledge, this is the first time that a blockchain-based distributed framework for sharing and evaluating LLMs has been introduced. Implemented using emerging tools, LLMChain is evaluated across two benchmark datasets, showcasing its effectiveness and scalability in assessing seven different LLMs.


title: PAFedFV: Personalized and Asynchronous Federated Learning for Finger Vein Recognition

abstract: With the increasing emphasis on user privacy protection, biometric recognition based on federated learning have become the latest research hotspot. However, traditional federated learning methods cannot be directly applied to finger vein recognition, due to heterogeneity of data and open-set verification. Therefore, only a few application cases have been proposed. And these methods still have two drawbacks. (1) Uniform model results in poor performance in some clients, as the finger vein data is highly heterogeneous and non-Independently Identically Distributed (non-IID). (2) On individual client, a large amount of time is underutilized, such as the time to wait for returning model from server. To address those problems, this paper proposes a Personalized and Asynchronous Federated Learning for Finger Vein Recognition (PAFedFV) framework. PAFedFV designs personalized model aggregation method to solve the heterogeneity among non-IID data. Meanwhile, it employs an asynchronized training module for clients to utilize their waiting time. Finally, extensive experiments on six finger vein datasets are conducted. Base on these experiment results, the impact of non-IID finger vein data on performance of federated learning are analyzed, and the superiority of PAFedFV in accuracy and robustness are demonstrated.


title: Personalized Wireless Federated Learning for Large Language Models

abstract: Large Language Models (LLMs) have revolutionized natural language processing tasks. However, their deployment in wireless networks still face challenges, i.e., a lack of privacy and security protection mechanisms. Federated Learning (FL) has emerged as a promising approach to address these challenges. Yet, it suffers from issues including inefficient handling with big and heterogeneous data, resource-intensive training, and high communication overhead. To tackle these issues, we first compare different learning stages and their features of LLMs in wireless networks. Next, we introduce two personalized wireless federated fine-tuning methods with low communication overhead, i.e., (1) Personalized Federated Instruction Tuning (PFIT), which employs reinforcement learning to fine-tune local LLMs with diverse reward models to achieve personalization; (2) Personalized Federated Task Tuning (PFTT), which can leverage global adapters and local Low-Rank Adaptations (LoRA) to collaboratively fine-tune local LLMs, where the local LoRAs can be applied to achieve personalization without aggregation. Finally, we perform simulations to demonstrate the effectiveness of the proposed two methods and comprehensively discuss open issues.


title: Beyond Pixel-Wise Supervision for Medical Image Segmentation: From Traditional Models to Foundation Models

abstract: Medical image segmentation plays an important role in many image-guided clinical approaches. However, existing segmentation algorithms mostly rely on the availability of fully annotated images with pixel-wise annotations for training, which can be both labor-intensive and expertise-demanding, especially in the medical imaging domain where only experts can provide reliable and accurate annotations. To alleviate this challenge, there has been a growing focus on developing segmentation methods that can train deep models with weak annotations, such as image-level, bounding boxes, scribbles, and points. The emergence of vision foundation models, notably the Segment Anything Model (SAM), has introduced innovative capabilities for segmentation tasks using weak annotations for promptable segmentation enabled by large-scale pre-training. Adopting foundation models together with traditional learning methods has increasingly gained recent interest research community and shown potential for real-world applications. In this paper, we present a comprehensive survey of recent progress on annotation-efficient learning for medical image segmentation utilizing weak annotations before and in the era of foundation models. Furthermore, we analyze and discuss several challenges of existing approaches, which we believe will provide valuable guidance for shaping the trajectory of foundational models to further advance the field of medical image segmentation.


title: Learning In Reverse Causal Strategic Environments With Ramifications on Two Sided Markets

abstract: Motivated by equilibrium models of labor markets, we develop a formulation of causal strategic classification in which strategic agents can directly manipulate their outcomes. As an application, we compare employers that anticipate the strategic response of a labor force with employers that do not. We show through a combination of theory and experiment that employers with performatively optimal hiring policies improve employer reward, labor force skill level, and in some cases labor force equity. On the other hand, we demonstrate that performative employers harm labor force utility and fail to prevent discrimination in other cases.


title: Optical spectroscopy of excitons in ReS2 monolayers grown by chemical vapor deposition

abstract: Monolayers of ReS2 were grown by a chemical vapor deposition technique on SiO2/Si substrates and investigated at room temperature by using micro-Raman, micro-photoluminescence (PL) and absorbance spectroscopies. The Raman scattering spectrum exhibits several phonon modes that were confirmed by the computation analysis based on the density functional theory. The ReS2 structural integrity was confirmed by using the XRD and the energy dispersion spectroscopy that was obtained by the scanning electron microscopy. Photoluminescence spectra show excitons related to interband transition in thin monolayer flakes and bulk-like structures. Additionally, a sharp PL line located at 1.2620 eV with a second harmonic peak at 2.5420 eV were observed and explained in terms of interband excitonic transitions originated within the rhenium 5d orbit. An optical absorbance spectrum with an exciton peak around 1.4660 eV was obtained for an assembly of ReS2 flakes grown on silica substrate.


title: 5G-WAVE: A Core Network Framework with Decentralized Authorization for Network Slices

abstract: 5G mobile networks leverage Network Function Virtualization (NFV) to offer services in the form of network slices. Each network slice is a logically isolated fragment constructed by service chaining a set of Virtual Network Functions (VNFs). The Network Repository Function (NRF) acts as a central OpenAuthorization (OAuth) 2.0 server to secure inter-VNF communications resulting in a single point of failure. Thus, we propose 5G-WAVE, a decentralized authorization framework for the 5G core by leveraging the WAVE framework and integrating it into the OpenAirInterface (OAI) 5G core. Our design relies on Side-Car Proxies (SCPs) deployed alongside individual VNFs, allowing point-to-point authorization. Each SCP acts as a WAVE engine to create entities and attestations and verify incoming service requests. We measure the authorization latency overhead for VNF registration, 5G Authentication and Key Agreement (AKA), and data session setup and observe that WAVE verification introduces 155ms overhead to HTTP transactions for decentralizing authorization. Additionally, we evaluate the scalability of 5G-WAVE by instantiating more network slices to observe 1.4x increase in latency with 10x growth in network size. We also discuss how 5G-WAVE can significantly reduce the 5G attack surface without using OAuth 2.0 while addressing several key issues of 5G standardization.


title: Mild solutions to the 3D-Boussinesq system with weakened initial temperature

abstract: In this research, the Cauchy problem of the 3D viscous Boussinesq system is studied considering an initial temperature with negative Sobolev regularity. Precisely, we construct local in time mild solutions to this system where the temperature term belongs to Sobolev spaces of negative order. Our main contribution is to show how the coupled structure of the Boussinesq system allows us to considerably weaken the regularity in the temperature term.


title: Intelligent Agents for Auction-based Federated Learning: A Survey

abstract: Auction-based federated learning (AFL) is an important emerging category of FL incentive mechanism design, due to its ability to fairly and efficiently motivate high-quality data owners to join data consumers' (i.e., servers') FL training tasks. To enhance the efficiency in AFL decision support for stakeholders (i.e., data consumers, data owners, and the auctioneer), intelligent agent-based techniques have emerged. However, due to the highly interdisciplinary nature of this field and the lack of a comprehensive survey providing an accessible perspective, it is a challenge for researchers to enter and contribute to this field. This paper bridges this important gap by providing a first-of-its-kind survey on the Intelligent Agents for AFL (IA-AFL) literature. We propose a unique multi-tiered taxonomy that organises existing IA-AFL works according to 1) the stakeholders served, 2) the auction mechanism adopted, and 3) the goals of the agents, to provide readers with a multi-perspective view into this field. In addition, we analyse the limitations of existing approaches, summarise the commonly adopted performance evaluation metrics, and discuss promising future directions leading towards effective and efficient stakeholder-oriented decision support in IA-AFL ecosystems.


title: String-based parametrization of nucleon GPDs at any skewness: a comparison to lattice QCD

abstract: We introduce a string-based parametrization for nucleon quark and gluon generalized parton distributions (GPDs) effective across all skewness values. The conformal moments of the GPDs are expressed as sums of the spin-j nucleon A-form factor, and the skewness-dependent spin-j nucleon D-form factor. This representation, which fulfills the polynomiality condition and does not rely on model-specific assumptions, is derived from t-channel string exchanges in AdS spaces. The spin-j nucleon D-form factor is closely related to the the spin-j nucleon A-form factor. We use the Mellin moments from empirical parton distributions to model the spin-j nucleon A-form factors. Using only five Regge slope parameters, fixed from the electromagnetic and gravitational form factors, our string-based parametrization generates accurate singlet, non-singlet, isovector, and flavor-separated nucleon quark GPDs, along with symmetric nucleon gluon GPDs from their Mellin-Barnes integral representations. Our isovector nucleon quark GPD is in agreement with existing lattice data. Our string-based parametrization should enhance the empirical extraction and global analysis of nucleon GPDs in exclusive processes, bypassing the de-convolution problem.


title: ISQA: Informative Factuality Feedback for Scientific Summarization

abstract: We propose Iterative Facuality Refining on Informative Scientific Question-Answering (ISQA) feedback\footnote{Code is available at \url{https://github.com/lizekai-richard/isqa}}, a method following human learning theories that employs model-generated feedback consisting of both positive and negative information. Through iterative refining of summaries, it probes for the underlying rationale of statements to enhance the factuality of scientific summarization. ISQA does this in a fine-grained manner by asking a summarization agent to reinforce validated statements in positive feedback and fix incorrect ones in negative feedback. Our findings demonstrate that the ISQA feedback mechanism significantly improves the factuality of various open-source LLMs on the summarization task, as evaluated across multiple scientific datasets.


title: The Spacetime Penrose Inequality for Cohomogeneity One Initial Data

abstract: We prove the spacetime Penrose inequality for asymptotically flat $2(n+1)$-dimensional initial data sets for the Einstein equations, which are invariant under a cohomogeneity one action of $\mathrm{SU}(n+1)$. Analogous results are obtained for asymptotically hyperbolic initial data that arise as spatial hypersurfaces in asymptotically Anti de-Sitter spacetimes. More precisely, it is shown that with the dominant energy condition, the total mass is bounded below by an explicit function of the outermost apparent horizon area. Furthermore, the inequality is saturated if and only if the initial data isometrically embed into a Schwarzschild(-AdS) spacetime. This generalizes the only previously known case of the conjectured spacetime Penrose inequality, established under the assumption of spherical symmetry. Additionally, in the time symmetric case, we observe that the inequality holds for $4(n+1)$-dimensional and 16-dimensional initial data invariant under cohomogeneity one actions of $\mathrm{Sp}(n+1)$ and $\mathrm{Spin}(9)$, respectively, thus treating the inequality for all cohomogeneity one actions in this regime.


title: Pure Significance Tests for Multinomial and Binomial Distributions: the Uniform Alternative

abstract: A {\it pure significance test} (PST) tests a simple null hypothesis $H_f:Y\sim f$ {\it without specifying an alternative hypothesis} by rejecting $H_f$ for {\it small} values of $f(Y)$. When the sample space supports a proper uniform pmf $f_\mathrm{unif}$, the PST can be viewed as a classical likelihood ratio test for testing $H_f$ against this uniform alternative. Under this interpretation, standard test features such as power, Kullback-Leibler divergence, and expected $p$-value can be considered. This report focuses on PSTs for multinomial and binomial distributions, and for the related goodness-of-fit testing problems with the uniform alternative. The case of repeated observations cannot be reduced to the single observation case via sufficiency. The {\it ordered binomial distribution}, apparently new, arises in the course of this study.


title: Additive Complementary Pairs of Codes

abstract: An additive code is an $\mathbb{F}_q$-linear subspace of $\mathbb{F}_{q^m}^n$ over $\mathbb{F}_{q^m}$, which is not a linear subspace over $\mathbb{F}_{q^m}$. Linear complementary pairs(LCP) of codes have important roles in cryptography, such as increasing the speed and capacity of digital communication and strengthening security by improving the encryption necessities to resist cryptanalytic attacks. This paper studies an algebraic structure of additive complementary pairs (ACP) of codes over $\mathbb{F}_{q^m}$. Further, we characterize an ACP of codes in analogous generator matrices and parity check matrices. Additionally, we identify a necessary condition for an ACP of codes. Besides, we present some constructions of an ACP of codes over $\mathbb{F}_{q^m}$ from LCP codes over $\mathbb{F}_{q^m}$ and also from an LCP of codes over $\mathbb{F}_q$. Finally, we study the constacyclic ACP of codes over $\mathbb{F}_{q^m}$ and the counting of the constacyclic ACP of codes. As an application of our study, we consider a class of quantum codes called Entanglement Assisted Quantum Error Correcting Code (EAQEC codes). As a consequence, we derive some EAQEC codes.


title: Shock waves in Interstellar Cloud-Cloud and Wind-Cloud Collisions

abstract: The interstellar medium (ISM) is a key ingredient of galaxies and their evolution, consisting of multiphase, turbulent dust and gas. Some of the star-forming regions in our Galaxy originate from cloud-cloud and wind-cloud collisions, which generate shock waves that change the physical and chemical properties of the gas. We utilise our own python-based shock-finding algorithm to study the properties and distribution of shocks in interstellar collisions. Such interactions are studied via 3D numerical simulations with different initial conditions: Cloud-cloud collisions (CCc): We identify four stages of evolution: pre-collision, compression, pass-through, and dissipation. We also vary the size of one of the colliding clouds. Larger clouds facilitate cloud erosion and the formation of more and stronger shocks at early stages. Shock distributions are also time-dependent, as strong shocks are only produced during the early stages. As the collisions evolve, turbulent kinetic energy is rapidly dissipated, so most perturbations become subsonic waves at late times. Wind-cloud collisions (WCc): we identify four stages: compression, stripping, expansion, and break-up. We study the evolution of several diagnostics in these clouds: energies (thermal and kinetic), temperature, displacement of the centre of mass, and mass-weighted averages of the cloud density and acceleration. We show, that the geometry of the cloud impact the diagnostic parameters, for example, smoothing the edges of the cloud leads to enhanced mass losses and dispersion, but has little impact on the shock distribution.


title: Ring Elements of Stable Range One

abstract: A ring element $\,a\in R\,$ is said to be of {\it right stable range one\/} if, for any $\,t\in R$, $\,aR+tR=R\,$ implies that $\,a+t\,b\,$ is a unit in $\,R\,$ for some $\,b\in R$. Similarly, $\,a\in R\,$ is said to be of {\it left stable range one\/} if $\,R\,a+R\,t=R\,$ implies that $\,a+b't\,$ is a unit in $\,R\,$ for some $\,b'\in R$. In the last two decades, it has often been speculated that these two notions are actually the same for any $\,a\in R$. In \S3 of this paper, we will prove that this is indeed the case. The key to the proof of this new symmetry result is a certain ``Super Jacobson's Lemma'', which generalizes Jacobson's classical lemma stating that, for any $\,a,b\in R$, $\,1-ab\,$ is a unit in $\,R\,$ iff so is $\,1-ba$. Our proof for the symmetry result above has led to a new generalization of a classical determinantal identity of Sylvester, which will be published separately in [KL$_3$]. In \S\S4-5, a detailed study is offered for stable range one ring elements that are unit-regular or nilpotent, while \S6 examines the behavior of stable range one elements via their classical Peirce decompositions. The paper ends with a more concrete \S7 on integral matrices of stable range one, followed by a final \S8 with a few open questions.


title: 3D-Convolution Guided Spectral-Spatial Transformer for Hyperspectral Image Classification

abstract: In recent years, Vision Transformers (ViTs) have shown promising classification performance over Convolutional Neural Networks (CNNs) due to their self-attention mechanism. Many researchers have incorporated ViTs for Hyperspectral Image (HSI) classification. HSIs are characterised by narrow contiguous spectral bands, providing rich spectral data. Although ViTs excel with sequential data, they cannot extract spectral-spatial information like CNNs. Furthermore, to have high classification performance, there should be a strong interaction between the HSI token and the class (CLS) token. To solve these issues, we propose a 3D-Convolution guided Spectral-Spatial Transformer (3D-ConvSST) for HSI classification that utilizes a 3D-Convolution Guided Residual Module (CGRM) in-between encoders to "fuse" the local spatial and spectral information and to enhance the feature propagation. Furthermore, we forego the class token and instead apply Global Average Pooling, which effectively encodes more discriminative and pertinent high-level features for classification. Extensive experiments have been conducted on three public HSI datasets to show the superiority of the proposed model over state-of-the-art traditional, convolutional, and Transformer models. The code is available at https://github.com/ShyamVarahagiri/3D-ConvSST.


title: Reduction of coK\"{a}hler and 3-cosymplectic manifolds

abstract: The notion of coK\"{a}hler manifolds (resp. 3-cosymplectic manifolds) is an odd-dimensional analogue of the one of K\"{a}hler manifolds (resp. hyperK\"{a}hler manifolds). In this paper, we obtain reduction theorems of coK\"{a}hler manifolds and 3-cosymplectic manifolds. We prove that K\"{a}hler and coK\"{a}hler reductions have a natural compatibility with respect to cone constructions, that is, the coK\"{a}hler quotient of the cone of a K\"{a}hler manifold (resp. the K\"{a}hler quotient of the cone of a coK\"{a}hler manifold) coincides with the cone of the K\"{a}hler quotient (resp. the cone of the coK\"{a}hler quotient). We also show that hyperK\"{a}hler and 3-cosymplectic reductions admit the compatibility with respect to cone constructions. We further prove that the compatibility of K\"{a}hler and coK\"{a}hler reductions with respect to mapping torus constructions also does hold.


title: Unambiguous and Co-Nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple Counters

abstract: Nonuniform families of polynomial-size finite automata and pushdown automata respectively have strong connections to nonuniform-NL and nonuniform-LOGCFL. We examine the behaviors of unambiguous and co-nondeterministic computations produced by such families of automata operating multiple counters. As its consequences, we obtain various collapses of the complexity classes of families of promise problems solvable by finite and pushdown automata families when all valid instances are limited to either polynomially long strings or unary strings. A key technical ingredient of our proofs is an inductive counting of reachable vertices of each computation graph of finite and pushdown automata that operate multiple counters simultaneously.


title: Nonexistence of Time-periodic Solutions of the Dirac Equation in Kerr-Newman-(A)dS Spacetime

abstract: In this paper, we study the nonexistence of nontrivial time-periodic solutions of the Dirac equation in Kerr-Newman-(A)dS spacetime. In the non-extreme Kerr-Newman-dS spacetime, we prove that there is no nontrivial $L^p$ integrable Dirac particle for arbitrary $(\lambda,p)\in \mathbb{R}\times[2,+\infty)$. In the extreme Kerr-Newman-dS and extreme Kerr-Newman-AdS spacetime, we show the equation relations between the energy eigenvalue $\omega$, the horizon radius, the angular momentum, the electric charge and the cosmological constant if there exists nontrivial $L^p$ integrable time-periodic solution of the Dirac equation, and further give the necessary conditions for the existence of nontrivial solutions.


title: Electrically generated exciton polaritons with spin on-demand

abstract: Generation and manipulation of exciton polaritons with controllable spin could deeply impact spintronic applications, quantum simulations, and quantum information processing, but is inherently challenging due to the charge neutrality of the polariton and the device complexity it requires. In this work, we demonstrate electrical generation of spin-polarized exciton polaritons in a monolithic dielectric perovskite metasurface embedded in a light-emitting transistor. A finely tailored interplay of in- and out-of-plane symmetry breaking of the metasurface allows to lift the spin degeneracy through the polaritonic Rashba effect, yielding high spin purity with normalized Stokes parameter of S3~0.8. Leveraging on spin-momentum locking, the unique metatransistor device architecture enables electrical control of spin and directionality of the polaritonic emission. This work advances the development of compact and tunable spintronic devices, and represents an important step toward the realization of electrically pumped inversionless spin-lasers.


title: ST-Mamba: Spatial-Temporal Selective State Space Model for Traffic Flow Prediction

abstract: Traffic flow prediction, a critical aspect of intelligent transportation systems, has been increasingly popular in the field of artificial intelligence, driven by the availability of extensive traffic data. The current challenges of traffic flow prediction lie in integrating diverse factors while balancing the trade-off between computational complexity and the precision necessary for effective long-range and large-scale predictions. To address these challenges, we introduce a Spatial-Temporal Selective State Space (ST-Mamba) model, which is the first to leverage the power of spatial-temporal learning in traffic flow prediction without using graph modeling. The ST-Mamba model can effectively capture the long-range dependency for traffic flow data, thereby avoiding the issue of over-smoothing. The proposed ST-Mamba model incorporates an effective Spatial-Temporal Mixer (ST-Mixer) to seamlessly integrate spatial and temporal data processing into a unified framework and employs a Spatial-Temporal Selective State Space (ST-SSM) block to improve computational efficiency. The proposed ST-Mamba model, specifically designed for spatial-temporal data, simplifies processing procedure and enhances generalization capabilities, thereby significantly improving the accuracy of long-range traffic flow prediction. Compared to the previous state-of-the-art (SOTA) model, the proposed ST-Mamba model achieves a 61.11\% improvement in computational speed and increases prediction accuracy by 0.67\%. Extensive experiments with real-world traffic datasets demonstrate that the \textsf{ST-Mamba} model sets a new benchmark in traffic flow prediction, achieving SOTA performance in computational efficiency for both long- and short-range predictions and significantly improving the overall efficiency and effectiveness of traffic management.


title: Human Motor Learning Dynamics in High-dimensional Tasks

abstract: Conventional approaches to enhancing movement coordination, such as providing instructions and visual feedback, are often inadequate in complex motor tasks with multiple degrees of freedom (DoFs). To effectively address coordination deficits in such complex motor systems, it becomes imperative to develop interventions grounded in a model of human motor learning; however, modeling such learning processes is challenging due to the large DoFs. In this paper, we present a computational motor learning model that leverages the concept of motor synergies to extract low-dimensional learning representations in the high-dimensional motor space and the internal model theory of motor control to capture both fast and slow motor learning processes. We establish the model's convergence properties and validate it using data from a target capture game played by human participants. We study the influence of model parameters on several motor learning trade-offs such as speed-accuracy, exploration-exploitation, satisficing, and flexibility-performance, and show that the human motor learning system tunes these parameters to optimize learning and various output performance metrics.


title: Structure-preserving weighted BDF2 methods for Anisotropic Cahn-Hilliard model: uniform/variable-time-steps

abstract: In this paper, we innovatively develop uniform/variable-time-step weighted and shifted BDF2 (WSBDF2) methods for the anisotropic Cahn-Hilliard (CH) model, combining the scalar auxiliary variable (SAV) approach with two types of stabilized techniques. Using the concept of $G$-stability, the uniform-time-step WSBDF2 method is theoretically proved to be energy-stable. Due to the inapplicability of the relevant G-stability properties, another technique is adopted in this work to demonstrate the energy stability of the variable-time-step WSBDF2 method. In addition, the two numerical schemes are all mass-conservative.Finally, numerous numerical simulations are presented to demonstrate the stability and accuracy of these schemes.


title: Predicting Diabetes with Machine Learning Analysis of Income and Health Factors

abstract: In this study, we delve into the intricate relationships between diabetes and a range of health indicators, with a particular focus on the newly added variable of income. Utilizing data from the 2015 Behavioral Risk Factor Surveillance System (BRFSS), we analyze the impact of various factors such as blood pressure, cholesterol, BMI, smoking habits, and more on the prevalence of diabetes. Our comprehensive analysis not only investigates each factor in isolation but also explores their interdependencies and collective influence on diabetes. A novel aspect of our research is the examination of income as a determinant of diabetes risk, which to the best of our knowledge has been relatively underexplored in previous studies. We employ statistical and machine learning techniques to unravel the complex interplay between socio-economic status and diabetes, providing new insights into how financial well-being influences health outcomes. Our research reveals a discernible trend where lower income brackets are associated with a higher incidence of diabetes. In analyzing a blend of 33 variables, including health factors and lifestyle choices, we identified that features such as high blood pressure, high cholesterol, cholesterol checks, income, and Body Mass Index (BMI) are of considerable significance. These elements stand out among the myriad of factors examined, suggesting that they play a pivotal role in the prevalence and management of diabetes.


title: On the local solvability and stability of the partial inverse problems for the non-self-adjoint Sturm-Liouville operators with a discontinuity

abstract: In this work, we study the inverse spectral problems for the Sturm-Liouville operators on [0,1] with complex coefficients and a discontinuity at $x=a\in(0,1)$. Assume that the potential on (a,1) and some parameters in the discontinuity and boundary conditions are given. We recover the potential on (0,a) and the other parameters from the eigenvalues. This is the so-called partial inverse problem. The local solvability and stability of the partial inverse problems are obtained for $a\in(0,1)$, in which the error caused by the given partial potential is considered. As a by-product, we also obtain two new uniqueness theorems for the partial inverse problem.


title: An Accurate Beam-Tracking Algorithm with Adaptive Beam Reconstruction via UAV-BSs for Mobile Users

abstract: Unmanned aerial vehicles (UAVs) with flexible deployment contribute to enlarging the distance of information transmission to mobile users (MUs) in constrained environment. However, due to the high mobility of both UAVs and MUs, it is challenging to establish an accurate beam towards the target MU with high beam gain in real-time. In this study, UAV base stations (UAV-BSs) consisting of position-known assisted UAVs (A-UAVs) and position-unknown assisted UAVs (U-UAVs) are employed to transmit data to MUs. Specifically, a bi-directional angle-aware beam tracking with adaptive beam reconstruction (BAB-AR) algorithm is proposed to construct an optimal beam that can quickly adapt the movement of the target MU. First, the angle-aware beam tracking is realized within the UAVBSs using a proposed global dynamic crow search algorithm without historical trajectory. Furthermore, the Gaussian process regression model is trained by A-UAVs to predict the azimuth and elevation angles of MUs. Meanwhile, we focus on the beam width and design a time interval adjustment mechanism for adaptive beam reconstruction to track high-speed MUs. Finally, the performance of the BAB-AR algorithm is compared with that of benchmark algorithms, and simulate results verifies that the BAB-AR algorithm can construct an accurate beam capable of covering high-speed MUs with the half power beam width in a timely manner.


title: FilterPrompt: Guiding Image Transfer in Diffusion Models

abstract: In controllable generation tasks, flexibly manipulating the generated images to attain a desired appearance or structure based on a single input image cue remains a critical and longstanding challenge. Achieving this requires the effective decoupling of key attributes within the input image data, aiming to get representations accurately. Previous research has predominantly concentrated on disentangling image attributes within feature space. However, the complex distribution present in real-world data often makes the application of such decoupling algorithms to other datasets challenging. Moreover, the granularity of control over feature encoding frequently fails to meet specific task requirements. Upon scrutinizing the characteristics of various generative models, we have observed that the input sensitivity and dynamic evolution properties of the diffusion model can be effectively fused with the explicit decomposition operation in pixel space. This integration enables the image processing operations performed in pixel space for a specific feature distribution of the input image, and can achieve the desired control effect in the generated results. Therefore, we propose FilterPrompt, an approach to enhance the model control effect. It can be universally applied to any diffusion model, allowing users to adjust the representation of specific image features in accordance with task requirements, thereby facilitating more precise and controllable generation outcomes. In particular, our designed experiments demonstrate that the FilterPrompt optimizes feature correlation, mitigates content conflicts during the generation process, and enhances the model's control capability.


title: MESSENGER observations of Mercury's planetary ion escape rates and their dependence on true anomaly angle

abstract: This study investigates the escape of Mercury's sodium-group ions (Na+-group, including ions with m/q from 21 to 30 amu/e) and their dependence on true anomaly angle (TAA), i.e., Mercury's orbital phase around the Sun, using measurements from MESSENGER. The measurements are categorized into solar wind, magnetosheath, and magnetosphere, and further divided into four TAA intervals. Na+-group ions form escape plumes in the solar wind and magnetosheath, with higher fluxes along the solar wind's motional electric field. The total escape rates vary from 0.2 to 1 times 10^{25} atoms/s with the magnetosheath being the main escaping region. These rates exhibit a TAA dependence, peaking near the perihelion and similar during Mercury's remaining orbit. Despite Mercury's tenuous exosphere, Na+-group ions escape rate is comparable to other inner planets. This can be attributed to several processes, including that Na+-group ions may include several ion species, efficient photoionization frequency for elements within Na+-group, etc.


title: F5C-finder: An Explainable and Ensemble Biological Language Model for Predicting 5-Formylcytidine Modifications on mRNA

abstract: As a prevalent and dynamically regulated epigenetic modification, 5-formylcytidine (f5C) is crucial in various biological processes. However, traditional experimental methods for f5C detection are often laborious and time-consuming, limiting their ability to map f5C sites across the transcriptome comprehensively. While computational approaches offer a cost-effective and high-throughput alternative, no recognition model for f5C has been developed to date. Drawing inspiration from language models in natural language processing, this study presents f5C-finder, an ensemble neural network-based model utilizing multi-head attention for the identification of f5C. Five distinct feature extraction methods were employed to construct five individual artificial neural networks, and these networks were subsequently integrated through ensemble learning to create f5C-finder. 10-fold cross-validation and independent tests demonstrate that f5C-finder achieves state-of-the-art (SOTA) performance with AUC of 0.807 and 0.827, respectively. The result highlights the effectiveness of biological language model in capturing both the order (sequential) and functional meaning (semantics) within genomes. Furthermore, the built-in interpretability allows us to understand what the model is learning, creating a bridge between identifying key sequential elements and a deeper exploration of their biological functions.


title: The axially-deformed relativistic quasiparticle random phase approximation based on point-coupling interactions

abstract: Collective nuclear excitations, like giant resonances, are sensitive to nuclear deformation, as evidenced by alterations in their excitation energies and transition strength distributions. A common theoretical framework to study these collective modes, the random-phase approximation (RPA), has to deal with large dimensions spanned by all possible particle-hole configurations satisfying certain symmetries. This work aims to establish a new theoretical framework to study the impact of deformation on spin-isospin excitations, that can provide fast and reliable solutions of the RPA equations. The nuclear ground state is determined with the axially-deformed relativistic Hartree-Bogoliubov (RHB) model based on relativistic point-coupling energy density functionals (EDFs). To study the excitations in the charge-exchange channel, an axially-deformed proton-neutron relativistic quasiparticle RPA (pnRQRPA) is developed in the linear response approach. After benchmarking the axially-deformed pnRQRPA in the spherical limit, a study of spin-isospin excitations including Fermi, Gamow-Teller (GT), and Spin-Dipole (SD) is performed for selected $pf$-shell nuclei. For GT transitions, it is demonstrated that deformation leads to considerable fragmentation of the strength function. A mechanism inducing the fragmentation is studied by decomposing the total strength to different projections of total angular momentum $K$ and constraining the nuclear shape to either spherical, prolate or oblate. A similar fragmentation is also observed for SD transitions, although somewhat moderated by the complex structure of these transitions, while the Fermi strength is almost shape-independent. The axially-deformed pnRQRPA introduced in this work opens perspectives for future studies of deformation effects on astrophysically relevant weak interaction processes, in particular beta decay and electron capture.


title: Demystify Adult Learning: A Social Network and Large Language Model Assisted Approach

abstract: Adult learning is increasingly recognized as a crucial way for personal development and societal progress. It however is challenging, and adult learners face unique challenges such as balancing education with other life responsibilities. Collecting feedback from adult learners is effective in understanding their concerns and improving learning experiences, and social networks provide a rich source of real-time sentiment data from adult learners. Machine learning technologies especially large language models (LLMs) perform well in automating sentiment analysis. However, none of such models is specialized for adult learning with accurate sentiment understanding. In this paper, we present A-Learn, which enhances adult learning sentiment analysis by customizing existing general-purpose LLMs with domain-specific datasets for adult learning. We collect adult learners' comments from social networks and label the sentiment of each comment with an existing LLM to form labelled datasets tailored for adult learning. The datasets are used to customize A-Learn from several base LLMs. We conducted experimental studies and the results reveal A-Learn's competitive sentiment analysis performance, achieving up to 91.3% accuracy with 20% improvement over the base LLM. A-Learn is also employed for word cloud analysis to identify key concerns of adult learners. The research outcome of this study highlights the importance of applying machine learning with educational expertise for teaching improvement and educational innovations that benefit adult learning and adult learners.


title: Multi-Cell Decoder and Mutual Learning for Table Structure and Character Recognition

abstract: Extracting table contents from documents such as scientific papers and financial reports and converting them into a format that can be processed by large language models is an important task in knowledge information processing. End-to-end approaches, which recognize not only table structure but also cell contents, achieved performance comparable to state-of-the-art models using external character recognition systems, and have potential for further improvements. In addition, these models can now recognize long tables with hundreds of cells by introducing local attention. However, the models recognize table structure in one direction from the header to the footer, and cell content recognition is performed independently for each cell, so there is no opportunity to retrieve useful information from the neighbor cells. In this paper, we propose a multi-cell content decoder and bidirectional mutual learning mechanism to improve the end-to-end approach. The effectiveness is demonstrated on two large datasets, and the experimental results show comparable performance to state-of-the-art models, even for long tables with large numbers of cells.


title: Improving probabilistic error cancellation in the presence of non-stationary noise

abstract: We investigate the stability of probabilistic error cancellation (PEC) outcomes in the presence of non-stationary noise, which is an obstacle to achieving accurate observable estimates. Leveraging Bayesian methods, we design a strategy to enhance PEC stability and accuracy. Our experiments using a 5-qubit implementation of the Bernstein-Vazirani algorithm and conducted on the ibm_kolkata device reveal a 42% improvement in accuracy and a 60% enhancement in stability compared to non-adaptive PEC. These results underscore the importance of adaptive estimation processes to effectively address non-stationary noise, vital for advancing PEC utility.


title: StrideNET: Swin Transformer for Terrain Recognition with Dynamic Roughness Extraction

abstract: Advancements in deep learning are revolutionizing the classification of remote-sensing images. Transformer-based architectures, utilizing self-attention mechanisms, have emerged as alternatives to conventional convolution methods, enabling the capture of long-range dependencies along with global relationships in the image. Motivated by these advancements, this paper presents StrideNET, a novel dual-branch architecture designed for terrain recognition and implicit properties estimation. The terrain recognition branch utilizes the Swin Transformer, leveraging its hierarchical representation and low computational cost to efficiently capture both local and global features. The terrain properties branch focuses on the extraction of surface properties such as roughness and slipperiness using a statistical texture analysis method. By computing surface terrain properties, an enhanced environmental perception can be obtained. The StrideNET model is trained on a dataset comprising four target terrain classes: Grassy, Marshy, Sandy, and Rocky. StrideNET attains competitive performance compared to contemporary methods. The implications of this work extend to various applications, including environmental monitoring, land use and land cover (LULC) classification, disaster response, precision agriculture, and much more.


title: Constraining Viscous Dark Matter in light of CMB Spectral Distortion

abstract: We calculate the $\mu$- and \textit{y}-type spectral distortions of Cosmic Microwave Background (CMB), taking a non-standard interaction between baryons and viscous dark matter. Using the CMB spectral distortion observations, we can constrain any exotic mechanism that may change the energy of the CMB photon, leading to a CMB spectrum distortion. Depending on the viscosity of dark matter, the energy transfer between dark matter and baryons may modify, leading to a modification in CMB distortion. The existing Cosmic Background Explorer (COBE)/FIRAS and the Primordial Inflation Explorer (PIXIE) set limits on \textit{y} and $\mu$ types of distortions to $y = 1.5\times10^{-5}$, $\mu = 9.0\times10^{-5}$ and $y = 10^{-8}$, $\mu = 5.0\times10^{-8}$, respectively. In this paper, we discuss the pre-recombination contributions to $\mu$ and \textit{y}-type distortions by viscous dark matter and constrain the parameter space using PIXIE bounds on spectral distortion.


title: DinAR: Augmenting Reality for Sustainable Dining

abstract: Sustainable food is among the many challenges associated with climate change. The resources required to grow or gather the food and the distance it travels to reach the consumer are two key factors of an ingredient's sustainability. Food that is grown locally and is currently "in-season" will have a lower carbon footprint, but when dining out these details unfortunately may not affect one's ordering preferences. We introduce DinAR as an immersive experience to make this information more accessible and to encourage better dining choices through friendly competition with a leaderboard of sustainability scores. Our study measures the effectiveness of immersive AR experiences on impacting consumer preferences towards sustainability.


title: Multi-feature Reconstruction Network using Crossed-mask Restoration for Unsupervised Anomaly Detection

abstract: Unsupervised anomaly detection using only normal samples is of great significance for quality inspection in industrial manufacturing. Although existing reconstruction-based methods have achieved promising results, they still face two problems: poor distinguishable information in image reconstruction and well abnormal regeneration caused by model over-generalization ability. To overcome the above issues, we convert the image reconstruction into a combination of parallel feature restorations and propose a multi-feature reconstruction network, MFRNet, using crossed-mask restoration in this paper. Specifically, a multi-scale feature aggregator is first developed to generate more discriminative hierarchical representations of the input images from a pre-trained model. Subsequently, a crossed-mask generator is adopted to randomly cover the extracted feature map, followed by a restoration network based on the transformer structure for high-quality repair of the missing regions. Finally, a hybrid loss is equipped to guide model training and anomaly estimation, which gives consideration to both the pixel and structural similarity. Extensive experiments show that our method is highly competitive with or significantly outperforms other state-of-the-arts on four public available datasets and one self-made dataset.


title: Augmented Object Intelligence: Making the Analog World Interactable with XR-Objects

abstract: Seamless integration of physical objects as interactive digital entities remains a challenge for spatial computing. This paper introduces Augmented Object Intelligence (AOI), a novel XR interaction paradigm designed to blur the lines between digital and physical by equipping real-world objects with the ability to interact as if they were digital, where every object has the potential to serve as a portal to vast digital functionalities. Our approach utilizes object segmentation and classification, combined with the power of Multimodal Large Language Models (MLLMs), to facilitate these interactions. We implement the AOI concept in the form of XR-Objects, an open-source prototype system that provides a platform for users to engage with their physical environment in rich and contextually relevant ways. This system enables analog objects to not only convey information but also to initiate digital actions, such as querying for details or executing tasks. Our contributions are threefold: (1) we define the AOI concept and detail its advantages over traditional AI assistants, (2) detail the XR-Objects system's open-source design and implementation, and (3) show its versatility through a variety of use cases and a user study.


title: Effect of disorder on Berry curvature and quantum metric in two-band gapped graphene

abstract: The geometric properties of parameter space are mostly described by Berry curvature and quantum metric, which is the imaginary and real part of quantum geometric tensor, respectively. In this work, we calculate the dressed Berry curvature and quantum metric containing eight Feynman diagrams, which is proportional to the leading-order of the concentration of impurities. For a two-band gapped graphene model, we find the disorder does not break the original symmetry of Berry curvature and quantum metric but decrease (increase) the absolute value of conductor (valence) band. We show how impurities affect the Berry curvature and quantum metric, laying the foundation for the study of the influence of impurities on the electron transport properties.


title: Giant Rashba-Splitting of One-Dimensional Metallic States in Bi Dimer Lines on InAs(100)

abstract: Bismuth produces different types of ordered superstructures on the InAs(100) surface, depending on the growth procedure and coverage. The (2x1) phase forms at completion of a Bi monolayer and consists of a uniformly oriented array of parallel lines of Bi dimers. Scanning tunneling and core level spectroscopies demonstrate its metallic character, in contrast with the semiconducting properties expected on the basis of the electron counting principle. The weak electronic coupling among neighboring lines gives rise to quasi one-dimensional Bi-derived bands with open contours at the Fermi level. Spin- and angle-resolved photoelectron spectroscopy reveals a giant Rashba splitting of these bands, in good agreement with ab-initio electronic structure calculations. The very high density of the dimer lines, the metallic and quasi one-dimensional band dispersion and the Rashba-like spin texture make the Bi/InAs(100)-(2x1) phase an intriguing system, where novel transport regimes can be studied.


title: Beyond Score Changes: Adversarial Attack on No-Reference Image Quality Assessment from Two Perspectives

abstract: Deep neural networks have demonstrated impressive success in No-Reference Image Quality Assessment (NR-IQA). However, recent researches highlight the vulnerability of NR-IQA models to subtle adversarial perturbations, leading to inconsistencies between model predictions and subjective ratings. Current adversarial attacks, however, focus on perturbing predicted scores of individual images, neglecting the crucial aspect of inter-score correlation relationships within an entire image set. Meanwhile, it is important to note that the correlation, like ranking correlation, plays a significant role in NR-IQA tasks. To comprehensively explore the robustness of NR-IQA models, we introduce a new framework of correlation-error-based attacks that perturb both the correlation within an image set and score changes on individual images. Our research primarily focuses on ranking-related correlation metrics like Spearman's Rank-Order Correlation Coefficient (SROCC) and prediction error-related metrics like Mean Squared Error (MSE). As an instantiation, we propose a practical two-stage SROCC-MSE-Attack (SMA) that initially optimizes target attack scores for the entire image set and then generates adversarial examples guided by these scores. Experimental results demonstrate that our SMA method not only significantly disrupts the SROCC to negative values but also maintains a considerable change in the scores of individual images. Meanwhile, it exhibits state-of-the-art performance across metrics with different categories. Our method provides a new perspective on the robustness of NR-IQA models.


title: Federated Transfer Learning with Task Personalization for Condition Monitoring in Ultrasonic Metal Welding

abstract: Ultrasonic metal welding (UMW) is a key joining technology with widespread industrial applications. Condition monitoring (CM) capabilities are critically needed in UMW applications because process anomalies significantly deteriorate the joining quality. Recently, machine learning models emerged as a promising tool for CM in many manufacturing applications due to their ability to learn complex patterns. Yet, the successful deployment of these models requires substantial training data that may be expensive and time-consuming to collect. Additionally, many existing machine learning models lack generalizability and cannot be directly applied to new process configurations (i.e., domains). Such issues may be potentially alleviated by pooling data across manufacturers, but data sharing raises critical data privacy concerns. To address these challenges, this paper presents a Federated Transfer Learning with Task Personalization (FTL-TP) framework that provides domain generalization capabilities in distributed learning while ensuring data privacy. By effectively learning a unified representation from feature space, FTL-TP can adapt CM models for clients working on similar tasks, thereby enhancing their overall adaptability and performance jointly. To demonstrate the effectiveness of FTL-TP, we investigate two distinct UMW CM tasks, tool condition monitoring and workpiece surface condition classification. Compared with state-of-the-art FL algorithms, FTL-TP achieves a 5.35%--8.08% improvement of accuracy in CM in new target domains. FTL-TP is also shown to perform excellently in challenging scenarios involving unbalanced data distributions and limited client fractions. Furthermore, by implementing the FTL-TP method on an edge-cloud architecture, we show that this method is both viable and efficient in practice. The FTL-TP framework is readily extensible to various other manufacturing applications.


title: Backdoor Attacks and Defenses on Semantic-Symbol Reconstruction in Semantic Communications

abstract: Semantic communication is of crucial importance for the next-generation wireless communication networks. The existing works have developed semantic communication frameworks based on deep learning. However, systems powered by deep learning are vulnerable to threats such as backdoor attacks and adversarial attacks. This paper delves into backdoor attacks targeting deep learning-enabled semantic communication systems. Since current works on backdoor attacks are not tailored for semantic communication scenarios, a new backdoor attack paradigm on semantic symbols (BASS) is introduced, based on which the corresponding defense measures are designed. Specifically, a training framework is proposed to prevent BASS. Additionally, reverse engineering-based and pruning-based defense strategies are designed to protect against backdoor attacks in semantic communication. Simulation results demonstrate the effectiveness of both the proposed attack paradigm and the defense strategies.


title: On monoids of metric preserving functions

abstract: Let $\mathbf{X}$ be a class of metric spaces and let $\mathbf{P}_{\mathbf{X}}$ be the set of all $f:[0, \infty)\to [0, \infty)$ preserving $\mathbf{X},$ $(Y, f\circ\rho)\in\mathbf{X}$ whenever $(Y, \rho)\in\mathbf{X}.$ For arbitrary subset $\mathbf{A}$ of the set of all metric preserving functions we show that the equality $\mathbf{P}_{\mathbf{X}}=\mathbf{A}$ has a solution iff $\mathbf{A}$ is a monoid with respect to the operation of function composition. In particular, for the set $\mathbf{SI}$ of all amenable subadditive increasing functions there is a class $\mathbf{X}$ of metric spaces such that $\mathbf{P}_{\mathbf{X}}=\mathbf{SI}$ holds, which gives a positive answer to the question of paper [1].


title: A Massive MIMO Sampling Detection Strategy Based on Denoising Diffusion Model

abstract: The Langevin sampling method relies on an accurate score matching while the existing massive multiple-input multiple output (MIMO) Langevin detection involves an inevitable singular value decomposition (SVD) to calculate the posterior score. In this work, a massive MIMO sampling detection strategy that leverages the denoising diffusion model is proposed to narrow the gap between the given iterative detector and the maximum likelihood (ML) detection in an SVD-free manner. Specifically, the proposed score-based sampling detection strategy, denoted as approximate diffusion detection (ADD), is applicable to a wide range of iterative detection methods, and therefore entails a considerable potential in their performance improvement by multiple sampling attempts. On the other hand, the ADD scheme manages to bypass the channel SVD by introducing a reliable iterative detector to produce a sample from the approximate posterior, so that further Langevin sampling is tractable. Customized by the conjugated gradient descent algorithm as an instance, the proposed sampling scheme outperforms the existing score-based detector in terms of a better complexity-performance trade-off.


title: Wills Aligner: A Robust Multi-Subject Brain Representation Learner

abstract: Decoding visual information from human brain activity has seen remarkable advancements in recent research. However, due to the significant variability in cortical parcellation and cognition patterns across subjects, current approaches personalized deep models for each subject, constraining the practicality of this technology in real-world contexts. To tackle the challenges, we introduce Wills Aligner, a robust multi-subject brain representation learner. Our Wills Aligner initially aligns different subjects' brains at the anatomical level. Subsequently, it incorporates a mixture of brain experts to learn individual cognition patterns. Additionally, it decouples the multi-subject learning task into a two-stage training, propelling the deep model and its plugin network to learn inter-subject commonality knowledge and various cognition patterns, respectively. Wills Aligner enables us to overcome anatomical differences and to efficiently leverage a single model for multi-subject brain representation learning. We meticulously evaluate the performance of our approach across coarse-grained and fine-grained visual decoding tasks. The experimental results demonstrate that our Wills Aligner achieves state-of-the-art performance.


title: Optimal Control of a Sub-diffusion Model using Dirichlet-Neumann and Neumann-Neumann Waveform Relaxation Algorithms

abstract: This paper explores the convergence behavior of two waveform relaxation algorithms, namely the Dirichlet-Neumann and Neumann-Neumann Waveform Relaxation algorithms, for an optimal control problem with a sub-diffusion partial differential equation (PDE) constraint. The algorithms are tested on regular 1D domains with multiple subdomains, and the analysis focuses on how different constant values of the generalized diffusion coefficient affect the convergence of these algorithms.


title: Impact of methodological assumptions and covariates on the cutoff estimation in ROC analysis

abstract: The Receiver Operating Characteristic (ROC) curve stands as a cornerstone in assessing the efficacy of biomarkers for disease diagnosis. Beyond merely evaluating performance, it provides with an optimal cutoff for biomarker values, crucial for disease categorization. While diverse methodologies exist for threshold estimation, less attention has been paid to integrating covariate impact into this process. Covariates can strongly impact diagnostic summaries, leading to variations across different covariate levels. Therefore, a tailored covariate-based framework is imperative for outlining covariate-specific optimal cutoffs. Moreover, recent investigations into cutoff estimators have overlooked the influence of ROC curve estimation methodologies. This study endeavors to bridge this gap by addressing the research void. Extensive simulation studies are conducted to scrutinize the performance of ROC curve estimation models in estimating different cutoffs in varying scenarios, encompassing diverse data-generating mechanisms and covariate effects. Additionally, leveraging the Alzheimer's Disease Neuroimaging Initiative (ADNI) dataset, the research assesses the performance of different biomarkers in diagnosing Alzheimer's disease and determines the suitable optimal cutoffs.


title: ARtivism: AR-Enabled Accessible Public Art and Advocacy

abstract: Activism can take a multitude of forms, including protests, social media campaigns, and even public art. The uniqueness of public art lies in that both the act of creation and the artifacts created can serve as activism. Furthermore, public art is often site-specific and can be created with (e.g., commissioned murals) or without permission (e.g., graffiti art) of the site's owner. However, the majority of public art is inaccessible to blind and low vision people, excluding them from political and social action. In this position paper, we build on a prior crowdsourced mural description project and describe the design of one potential process artifact, ARtivism, for making public art more accessible via augmented reality. We then discuss tensions that may occur at the intersection of public art, activism, and technology.


title: Track Role Prediction of Single-Instrumental Sequences

abstract: In the composition process, selecting appropriate single-instrumental music sequences and assigning their track-role is an indispensable task. However, manually determining the track-role for a myriad of music samples can be time-consuming and labor-intensive. This study introduces a deep learning model designed to automatically predict the track-role of single-instrumental music sequences. Our evaluations show a prediction accuracy of 87% in the symbolic domain and 84% in the audio domain. The proposed track-role prediction methods hold promise for future applications in AI music generation and analysis.


title: Spontaneous emission decay and excitation in photonic temporal crystals

abstract: Over the last few decades, the prominent strategies for controlling spontaneous emission has been the use of resonant or space-periodic photonic structures. This approach, initially articulated by Purcell and later expanded upon by Yablonovitch in the context of photonic crystals, leverages the spatial surroundings to modify the spontaneous emission decay rate of atoms or quantum emitters. However, the rise of time-varying photonics has compelled a reevaluation of the spontaneous emission process within dynamically changing environments, especially concerning photonic temporal crystals where optical properties undergo time-periodic modulation. Here, we apply classical light-matter interaction theory along with Floquet analysis to reveal a substantial enhancement in the spontaneous emission decay rate at the momentum gap frequency in photonic temporal crystals. This enhancement is attributed to time-periodicity-induced loss and gain mechanisms, as well as the non-orthogonality of Floquet eigenstates that are inherent to photonic temporal crystals. Intriguingly, our findings also suggest that photonic temporal crystals enable the spontaneous excitation of an atom from its ground state to an excited state, accompanied by the concurrent emission of a photon.


title: PoseINN: Realtime Visual-based Pose Regression and Localization with Invertible Neural Networks

abstract: Estimating ego-pose from cameras is an important problem in robotics with applications ranging from mobile robotics to augmented reality. While SOTA models are becoming increasingly accurate, they can still be unwieldy due to high computational costs. In this paper, we propose to solve the problem by using invertible neural networks (INN) to find the mapping between the latent space of images and poses for a given scene. Our model achieves similar performance to the SOTA while being faster to train and only requiring offline rendering of low-resolution synthetic data. By using normalizing flows, the proposed method also provides uncertainty estimation for the output. We also demonstrated the efficiency of this method by deploying the model on a mobile robot.


title: Double Mixture: Towards Continual Event Detection from Speech

abstract: Speech event detection is crucial for multimedia retrieval, involving the tagging of both semantic and acoustic events. Traditional ASR systems often overlook the interplay between these events, focusing solely on content, even though the interpretation of dialogue can vary with environmental context. This paper tackles two primary challenges in speech event detection: the continual integration of new events without forgetting previous ones, and the disentanglement of semantic from acoustic events. We introduce a new task, continual event detection from speech, for which we also provide two benchmark datasets. To address the challenges of catastrophic forgetting and effective disentanglement, we propose a novel method, 'Double Mixture.' This method merges speech expertise with robust memory mechanisms to enhance adaptability and prevent forgetting. Our comprehensive experiments show that this task presents significant challenges that are not effectively addressed by current state-of-the-art methods in either computer vision or natural language processing. Our approach achieves the lowest rates of forgetting and the highest levels of generalization, proving robust across various continual learning sequences. Our code and data are available at https://anonymous.4open.science/status/Continual-SpeechED-6461.


title: Stacking X-ray Observations of "Little Red Dots": Implications for their AGN Properties

abstract: Recent {\em James Webb Space Telescope (JWST)} observations have revealed a population of compact extragalactic objects at $z\gtrsim4$ with red near-infrared colors, which have been dubbed as ``Little Red Dots" (LRDs). The spectroscopically-selected LRDs exhibit broad H$\alpha$ emission lines, which has led to the conclusion that type-I active galactic nuclei (AGN) are harbored in the galaxies' dust-reddened cores. However, other mechanisms, like strong outflowing winds, could also produce broad H$\alpha$ emission lines, and thus, the nature of LRDs is still under debate. In this work, we test the AGN hypothesis for LRDs by stacking the archival {\em Chandra} observations of 19 spectroscopically-selected LRDs. We obtain non-detections in both the soft $(0.5-2\text{ keV})$ and the hard $(2-8\text{ keV})$ X-ray band after stacking, and put upper limits on the X-ray luminosities of these LRDs. We find that the soft band upper limit is $\sim1$ dex lower than the expected level from the $L_\text{X}-L_{\text{H}\alpha}$ relation, while the hard band upper limit is consistent with this relation. This result suggests that LRDs and typical type-I AGNs have significantly different properties. We consider it unlikely that absorption is the main reason for the observed low $L_\text{X}/L_{\text{H}\alpha}$ ratios of LRDs. Alternatively, we discuss two plausible hypotheses: (1) LRDs have intrinsically weak X-ray emissions, (2) fast, galactic-scale outflows have a major contribution to the observed broad H$\alpha$ lines. Our findings indicate that empirical relations (e.g., for black hole mass measurements) established for typical type-I AGNs should be used with caution when analyzing the properties of LRDs.


title: Liquidity Pool Design on Automated Market Makers

abstract: Automated market makers are a popular type of decentralized exchange in which users trade assets with each other directly and automatically through a liquidity pool and a fixed pricing function. The liquidity provider contributes to the liquidity pool by supplying assets to the pool and in return they earn transaction fees from traders who trade through the pool. We propose a model of optimal liquidity provision in which the risk-averse liquidity provider decides the investment proportion of wealth she would like to supply to the pool, trade in a centralized market, and consume in multiple periods. We derive the liquidity provider's optimal strategy by dynamic programming and numerically find the optimal liquidity pool that maximizes the liquidity provider's utility. Our findings indicate that the exchange rate volatility on the centralized market exerts a positive effect on the optimal transaction fee. Moreover, the optimal constant mean pricing formula is found to be related to the relative performance of the underlying assets on the centralized market.


title: Evaluating Subword Tokenization: Alien Subword Composition and OOV Generalization Challenge

abstract: The popular subword tokenizers of current language models, such as Byte-Pair Encoding (BPE), are known not to respect morpheme boundaries, which affects the downstream performance of the models. While many improved tokenization algorithms have been proposed, their evaluation and cross-comparison is still an open problem. As a solution, we propose a combined intrinsic-extrinsic evaluation framework for subword tokenization. Intrinsic evaluation is based on our new UniMorph Labeller tool that classifies subword tokenization as either morphological or alien. Extrinsic evaluation, in turn, is performed via the Out-of-Vocabulary Generalization Challenge 1.0 benchmark, which consists of three newly specified downstream text classification tasks. Our empirical findings show that the accuracy of UniMorph Labeller is 98%, and that, in all language models studied (including ALBERT, BERT, RoBERTa, and DeBERTa), alien tokenization leads to poorer generalizations compared to morphological tokenization for semantic compositionality of word meanings.


title: Domain wall migration-mediated ferroelectric switching and Rashba effect tuning in GeTe thin films

abstract: Germanium Telluride (GeTe), identified as a ferroelectric Rashba semiconductor, is a promising candidate for future electronic devices in computing and memory applications. However, its ferroelectric switching on a microscopic scale remains to be understood. Here, we propose that the migration of a domain wall can be the mechanism that mediates the ferroelectric switching. By employing $ab~initio$ methods, such a mechanism is characterized by an energy barrier of $66.8$ meV/nm$^2$, in a suitable range for retention and switchability. In accompanying the domain wall migration, the net Rashba effect is tunable, as it is a result of competition between layers with opposite electric polarization. These results shed light on the ferroelectric switching mechanism in GeTe, paving stones for the design of potential GeTe-based devices.


title: Quantumness of gravitational cat states in correlated dephasing channels

abstract: We study the quantumness of gravitational cat states in correlated dephasing channels. Our focus is on exploring how classical correlations between successive actions of a dephasing channel influence the decoherence of two gravitational cats (two qubits) at a thermal regime. The results show that the quantum coherence, local quantum Fisher information, and Bell non-locality can be significantly enhanced by augmenting classical correlations throughout the entire duration when the two qubits pass the channel. However, the gravitational interaction and energy gap between states exhibit intricate impacts on the quantum characteristics of gravitational cats. New features are reported that can be significant for both gravitational physics and quantum information processing.


title: Detecting Build Dependency Errors in Incremental Builds

abstract: Incremental and parallel builds performed by build tools such as Make are the heart of modern C/C++ software projects. Their correct and efficient execution depends on build scripts. However, build scripts are prone to errors. The most prevalent errors are missing dependencies (MDs) and redundant dependencies (RDs). The state-of-the-art methods for detecting these errors rely on clean builds (i.e., full builds of a subset of software configurations in a clean environment), which is costly and takes up to multiple hours for large-scale projects. To address these challenges, we propose a novel approach called EChecker to detect build dependency errors in the context of incremental builds. The core idea of EChecker is to automatically update actual build dependencies by inferring them from C/C++ pre-processor directives and Makefile changes from new commits, which avoids clean builds when possible. EChecker achieves higher efficiency than the methods that rely on clean builds while maintaining effectiveness. We selected 12 representative projects, with their sizes ranging from small to large, with 240 commits (20 commits for each project), based on which we evaluated the effectiveness and efficiency of EChecker. We compared the evaluation results with a state-of-the-art build dependency error detection tool. The evaluation shows that the F-1 score of EChecker improved by 0.18 over the state-of-the-art method. EChecker increases the build dependency error detection efficiency by an average of 85.14 times (with the median at 16.30 times). The results demonstrate that EChecker can support practitioners in detecting build dependency errors efficiently.


title: Almost everywhere convergence of a wavelet-type Malmquist-Takenaka series

abstract: The Malmquist-Takenaka (MT) system is a complete orthonormal system in $H^2(\mathbf{T})$ generated by an arbitrary sequence of points $a_n$ in the unit disk with $\sum_n (1-|a_n|) = \infty$. The point $a_n$ is responsible for multiplying the $n$th and subsequent terms of the system by a M\"obius transform taking $a_n$ to $0$. One can recover the classical trigonometric system, its perturbations or conformal transformations, as particular examples of the MT system. However, many interesting choices of the sequence $a_n$, the MT system is less understood. In this paper, we consider a wavelet-type MT system and prove its almost everywhere convergence in $H^2(\mathbf{T})$.