title: Switching Classes: Characterization and Computation

abstract: In a graph, the switching operation reverses adjacencies between a subset of vertices and the others. For a hereditary graph class $\mathcal{G}$, we are concerned with the maximum subclass and the minimum superclass of $\mathcal{G}$ that are closed under switching. We characterize the maximum subclass for many important classes $\mathcal{G}$, and prove that it is finite when $\mathcal{G}$ is minor-closed and omits at least one graph. For several graph classes, we develop polynomial-time algorithms to recognize the minimum superclass. We also show that the recognition of the superclass is NP-complete for $H$-free graphs when $H$ is a sufficiently long path or cycle, and it cannot be solved in subexponential time assuming the Exponential Time Hypothesis.


title: Competitive Facility Location under Random Utilities and Routing Constraints

abstract: In this paper, we study a facility location problem within a competitive market context, where customer demand is predicted by a random utility choice model. Unlike prior research, which primarily focuses on simple constraints such as a cardinality constraint on the number of selected locations, we introduce routing constraints that necessitate the selection of locations in a manner that guarantees the existence of a tour visiting all chosen locations while adhering to a specified tour length upper bound. Such routing constraints find crucial applications in various real-world scenarios. The problem at hand features a non-linear objective function, resulting from the utilization of random utilities, together with complex routing constraints, making it computationally challenging. To tackle this problem, we explore three types of valid cuts, namely, outer-approximation and submodular cuts to handle the nonlinear objective function, as well as sub-tour elimination cuts to address the complex routing constraints. These lead to the development of two exact solution methods: a nested cutting plane and nested branch-and-cut algorithms, where these valid cuts are iteratively added to a master problem through two nested loops. We also prove that our nested cutting plane method always converges to optimality after a finite number of iterations. Furthermore, we develop a local search-based metaheuristic tailored for solving large-scale instances and show its pros and cons compared to exact methods. Extensive experiments are conducted on problem instances of varying sizes, demonstrating that our approach excels in terms of solution quality and computation time when compared to other baseline approaches.


title: Conflict and Fairness in Resource Allocation

abstract: In the standard model of fair allocation of resources to agents, every agent has some utility for every resource, and the goal is to assign resources to agents so that the agents' welfare is maximized. Motivated by job scheduling, interest in this problem dates back to the work of Deuermeyer et al. [SIAM J. on Algebraic Discrete Methods'82]. Recent works consider the compatibility between resources and assign only mutually compatible resources to an agent. We study a fair allocation problem in which we are given a set of agents, a set of resources, a utility function for every agent over a set of resources, and a {\it conflict graph} on the set of resources (where an edge denotes incompatibility). The goal is to assign resources to the agents such that $(i)$ the set of resources allocated to an agent are compatible with each other, and $(ii)$ the minimum satisfaction of an agent is maximized, where the satisfaction of an agent is the sum of the utility of the assigned resources. Chiarelli et al. [Algorithmica'22] explore this problem from the classical complexity perspective to draw the boundary between the cases that are polynomial-time solvable and those that are \NP-hard. In this article, we study the parameterized complexity of the problem (and its variants) by considering several natural and structural parameters.


title: Upper ideal relation graphs associated to rings

abstract: Let $R$ be a ring with unity. The upper ideal relation graph $\Gamma_U(R)$ of the ring $R$ is a simple undirected graph whose vertex set is the set of all non-unit elements of $R$ and two distinct vertices $x, y$ are adjacent if and only if there exists a non-unit element $z \in R$ such that the ideals $(x)$ and $(y)$ contained in the ideal $(z)$. In this article, we classify all the non-local finite commutative rings whose upper ideal relation graphs are split graphs, threshold graphs and cographs, respectively. In order to study topological properties of $\Gamma_U(R)$, we determine all the non-local finite commutative rings $R$ whose upper ideal relation graph has genus at most $2$. Further, we precisely characterize all the non-local finite commutative rings for which the crosscap of $\Gamma_U(R)$ is either $1$ or $2$.


title: Parallel numerical simulation of impact crater with perfect matched layers

abstract: Impact craters are the primary geomorphic features on the surfaces of celestial bodies such as the Moon, and their formation has significant implications for the evolutionary history of the celestial body. The study of the impact crater formation process relies mainly on numerical simulation methods, with two-dimensional simulations capable of reproducing general patterns of impact processes while conserving computational resources. However, to mitigate the artificial reflections of shock waves at numerical boundaries, a common approach involves expanding the computational domain, greatly reducing the efficiency of numerical simulations. In this study, we developed a novel two-dimensional code SALEc-2D that employs the perfect matched layer (PML) method to suppress artificial reflections at numerical boundaries. This method enhances computational efficiency while ensuring reliable results. Additionally, we implemented MPI parallel algorithms in the new code to further improve computational efficiency. Simulations that would take over ten hours using the conventional iSALE-2D code can now be completed in less than half an hour using our code, SALEc-2D, on a standard computer. We anticipate that our code will find widespread application in numerical simulations of impact craters in the future.


title: Qubit-Wise Architecture Search Method for Variational Quantum Circuits

abstract: Considering the noise level limit, one crucial aspect for quantum machine learning is to design a high-performing variational quantum circuit architecture with small number of quantum gates. As the classical neural architecture search (NAS), quantum architecture search methods (QAS) employ methods like reinforcement learning, evolutionary algorithms and supernet optimiza-tion to improve the search efficiency. In this paper, we propose a novel qubit-wise architec-ture search (QWAS) method, which progres-sively search one-qubit configuration per stage, and combine with Monte Carlo Tree Search al-gorithm to find good quantum architectures by partitioning the search space into several good and bad subregions. The numerical experimental results indicate that our proposed method can balance the exploration and exploitation of cir-cuit performance and size in some real-world tasks, such as MNIST, Fashion and MOSI. As far as we know, QWAS achieves the state-of-art re-sults of all tasks in the terms of accuracy and circuit size.


title: Secure MIMO Communication Relying on Movable Antennas

abstract: This paper considers a movable antenna (MA)-aided secure multiple-input multiple-output (MIMO) communication system consisting of a base station (BS), a legitimate information receiver (IR) and an eavesdropper (Eve), where the BS is equipped with MAs to enhance the system's physical layer security (PLS). Specifically, we aim to maximize the secrecy rate (SR) by jointly optimizing the transmit precoding (TPC) matrix, the artificial noise (AN) covariance matrix and the MAs' positions under the constraints of the maximum transmit power and the minimum distance between MAs. To solve this non-convex problem with highly coupled optimization variables, the block coordinate descent (BCD) method is applied to alternately update the variables. Specifically, we first reformulate the SR into a tractable form by utilizing the minimum mean square error (MMSE) method, and derive the optimal TPC matrix and the AN covariance matrix with fixed MAs' positions by applying the Lagrangian multiplier method in semi-closed forms. Then, the majorization-minimization (MM) algorithm is employed to iteratively optimize each MA's position while keeping others fixed. Finally, simulation results are provided to demonstrate the effectiveness of the proposed algorithms and the significant advantages of the MA-aided system over conventional fixed position antenna (FPA)-based system in enhancing system's security.


title: Cooper pairing, flat-band superconductivity and quantum geometry in the pyrochlore-Hubbard model

abstract: We investigate the impacts of the quantum geometry of Bloch states, specifically through the band-resolved quantum-metric tensor, on Cooper pairing and flat-band superconductivity in a three-dimensional pyrochlore-Hubbard model. First we analyze the low-lying two-body spectrum exactly, and show that the pairing order parameter is uniform in this four-band lattice. This allowed us to establish direct relations between the superfluid weight of a multiband superconductor and ($i$) the effective mass of the lowest-lying two-body branch at zero temperature, ($ii$) the kinetic coefficient of the Ginzburg-Landau theory in proximity to the critical temperature, and ($iii$) the velocity of the low-energy Goldstone modes at zero temperature. Furthermore, we perform a comprehensive numerical analysis of the superfluid weight and Goldstone modes, exploring both their conventional and geometric components at zero temperature.


title: Ranks of 1-motives as dimensions of Ext$^1$ vector spaces

abstract: We reformulate the ranks that appear in the dimension formula for the linear space of periods of a 1-motive established by Huber and W\"ustholz in a more conceptual and categorical way, as dimensions of Ext$^1$ vector spaces. This constitutes the first step towards rewriting the dimension formula purely in general categorical terms, rather than through definitions and computations introduced ad hoc for 1-motives.


title: Active Generalized Category Discovery

abstract: Generalized Category Discovery (GCD) is a pragmatic and challenging open-world task, which endeavors to cluster unlabeled samples from both novel and old classes, leveraging some labeled data of old classes. Given that knowledge learned from old classes is not fully transferable to new classes, and that novel categories are fully unlabeled, GCD inherently faces intractable problems, including imbalanced classification performance and inconsistent confidence between old and new classes, especially in the low-labeling regime. Hence, some annotations of new classes are deemed necessary. However, labeling new classes is extremely costly. To address this issue, we take the spirit of active learning and propose a new setting called Active Generalized Category Discovery (AGCD). The goal is to improve the performance of GCD by actively selecting a limited amount of valuable samples for labeling from the oracle. To solve this problem, we devise an adaptive sampling strategy, which jointly considers novelty, informativeness and diversity to adaptively select novel samples with proper uncertainty. However, owing to the varied orderings of label indices caused by the clustering of novel classes, the queried labels are not directly applicable to subsequent training. To overcome this issue, we further propose a stable label mapping algorithm that transforms ground truth labels to the label space of the classifier, thereby ensuring consistent training across different active selection stages. Our method achieves state-of-the-art performance on both generic and fine-grained datasets. Our code is available at https://github.com/mashijie1028/ActiveGCD


title: GenML: A Python Library to Generate the Mittag-Leffler Correlated Noise

abstract: Mittag-Leffler correlated noise (M-L noise) plays a crucial role in the dynamics of complex systems, yet the scientific community has lacked tools for its direct generation. Addressing this gap, our work introduces GenML, a Python library specifically designed for generating M-L noise. We detail the architecture and functionalities of GenML and its underlying algorithmic approach, which enables the precise simulation of M-L noise. The effectiveness of GenML is validated through quantitative analyses of autocorrelation functions and diffusion behaviors, showcasing its capability to accurately replicate theoretical noise properties. Our contribution with GenML enables the effective application of M-L noise data in numerical simulation and data-driven methods for describing complex systems, moving beyond mere theoretical modeling.


title: Relative alignment between gas structures and magnetic field in Orion A at different scales using different molecular gas tracers

abstract: Context: Magnetic fields can play crucial roles in high-mass star formation. Nonetheless, the significance of magnetic fields at various scales and their relationship with gas structures is largely overlooked. Aims: Our goal is to examine the relationship between the magnetic field and molecular gas structures within the Orion A giant molecular cloud at different scales and density regimes. Methods: We assess the gas intensity structures and column densities in Orion A by utilizing $^{12}$CO, $^{13}$CO, and C$^{18}$O from Nobeyama observations. Through comparing Nobeyama observations with {\it{Planck}} polarization observations on large scales ($\sim0.6$ pc) and JCMT polarization observations on small scales ($\sim0.04$ pc), we investigate how the role of magnetic fields change with scale and density. Results: We find a similar trend from parallel to perpendicular alignment with increasing column densities in Orion A at both large and small spatial scales. Besides, when changing from low-density to high-density tracers, the relative orientation preference changes from random to perpendicular. The self-similar results at different scales indicate that magnetic fields are dynamically important in both cloud formation and filament formation. However, magnetic fields properties at small scales are relative complicated, and the interplay between magnetic field and star-forming activities needs to be discussed case-by-case.


title: The small mass limit for a McKean-Vlasov equation with state-dependent friction

abstract: The small mass limit is derived for a McKean-Vlasov equation with state-dependent friction in $d$-dimensional space. By applying the averaging approach to a non-autonomous slow-fast system with the microscopic and macroscopic scales, the convergence in distribution is obtained.


title: Certain observations on selection principles related to bornological covers using ideals

abstract: We study selection principles related to bornological covers using the notion of ideals. We consider ideals $\mathcal I$ and $\mathcal J$ on $\omega$ and standard ideal orderings $KB, K$. Relations between cardinality of a base of a bornology with certain selection principles related to bornological covers are established using cardinal invariants such as modified pseudointersection number, the unbounding number and slaloms numbers. When $\mathcal I \leq_\square \mathcal J$ for ideals $\mathcal I, \mathcal J$ and $\square\in \{1\text{-}1,KB,K\}$, implications among various selection principles related to bornological covers are established. Under the assumption that ideal $\mathcal I$ has a pseudounion we show equivalences among certain selection principles related to bornological covers. Finally, the $\mathcal I\text{-}\mathfrak B^s$-Hurewicz property of $X$ is investigated. We prove that $\mathcal I\text{-}\mathfrak B^s$-Hurewicz property of $X$ coincides with the $\mathfrak B^s$-Hurewicz property of $X$ if $\mathcal I$ has a pseudounion. Implications or equivalences among selection principles, games and $\mathcal I\text{-}\mathfrak B^s$-Hurewicz property which are obtained from our investigations are described in diagrams.


title: Multimodal Analysis of Traction Forces and Temperature Dynamics of Living Cells with Diamond-Embedded Substrate

abstract: Cells and tissues are constantly exposed to various chemical and physical signals that intricately regulate various physiological and pathological processes. This study explores the integration of two biophysical methods, Traction Force Microscopy (TFM) and Optically-Detected Magnetic Resonance (ODMR), to concurrently assess cellular traction forces and local relative temperature. We present a novel elastic substrate with embedded nitrogen-vacancy microdiamonds, that facilitate ODMR-TFM measurements. Optimization efforts have focused on minimizing the sample illumination and experiment duration to mitigate biological perturbations. Our hybrid ODMR-TFM technique yields precise TFM maps and achieves approximately 1K accuracy in relative temperature measurements. Notably, our setup, employing a simple wide-field fluorescence microscope with standard components, demonstrates the broader feasibility of these techniques in life-science laboratories. By elucidating the physical aspects of cellular behavior beyond the existing methods, this approach opens avenues for a deeper understanding and may inspire diverse biomedical applications.


title: SSDRec: Self-Augmented Sequence Denoising for Sequential Recommendation

abstract: Traditional sequential recommendation methods assume that users' sequence data is clean enough to learn accurate sequence representations to reflect user preferences. In practice, users' sequences inevitably contain noise (e.g., accidental interactions), leading to incorrect reflections of user preferences. Consequently, some pioneer studies have explored modeling sequentiality and correlations in sequences to implicitly or explicitly reduce noise's influence. However, relying on only available intra-sequence information (i.e., sequentiality and correlations in a sequence) is insufficient and may result in over-denoising and under-denoising problems (OUPs), especially for short sequences. To improve reliability, we propose to augment sequences by inserting items before denoising. However, due to the data sparsity issue and computational costs, it is challenging to select proper items from the entire item universe to insert into proper positions in a target sequence. Motivated by the above observation, we propose a novel framework--Self-augmented Sequence Denoising for sequential Recommendation (SSDRec) with a three-stage learning paradigm to solve the above challenges. In the first stage, we empower SSDRec by a global relation encoder to learn multi-faceted inter-sequence relations in a data-driven manner. These relations serve as prior knowledge to guide subsequent stages. In the second stage, we devise a self-augmentation module to augment sequences to alleviate OUPs. Finally, we employ a hierarchical denoising module in the third stage to reduce the risk of false augmentations and pinpoint all noise in raw sequences. Extensive experiments on five real-world datasets demonstrate the superiority of \model over state-of-the-art denoising methods and its flexible applications to mainstream sequential recommendation models. The source code is available at https://github.com/zc-97/SSDRec.


title: Controllable Generation with Text-to-Image Diffusion Models: A Survey

abstract: In the rapidly advancing realm of visual generation, diffusion models have revolutionized the landscape, marking a significant shift in capabilities with their impressive text-guided generative functions. However, relying solely on text for conditioning these models does not fully cater to the varied and complex requirements of different applications and scenarios. Acknowledging this shortfall, a variety of studies aim to control pre-trained text-to-image (T2I) models to support novel conditions. In this survey, we undertake a thorough review of the literature on controllable generation with T2I diffusion models, covering both the theoretical foundations and practical advancements in this domain. Our review begins with a brief introduction to the basics of denoising diffusion probabilistic models (DDPMs) and widely used T2I diffusion models. We then reveal the controlling mechanisms of diffusion models, theoretically analyzing how novel conditions are introduced into the denoising process for conditional generation. Additionally, we offer a detailed overview of research in this area, organizing it into distinct categories from the condition perspective: generation with specific conditions, generation with multiple conditions, and universal controllable generation. For an exhaustive list of the controllable generation literature surveyed, please refer to our curated repository at \url{https://github.com/PRIV-Creation/Awesome-Controllable-T2I-Diffusion-Models}.


title: A New Benchmark for Evaluating Automatic Speech Recognition in the Arabic Call Domain

abstract: This work is an attempt to introduce a comprehensive benchmark for Arabic speech recognition, specifically tailored to address the challenges of telephone conversations in Arabic language. Arabic, characterized by its rich dialectal diversity and phonetic complexity, presents a number of unique challenges for automatic speech recognition (ASR) systems. These challenges are further amplified in the domain of telephone calls, where audio quality, background noise, and conversational speech styles negatively affect recognition accuracy. Our work aims to establish a robust benchmark that not only encompasses the broad spectrum of Arabic dialects but also emulates the real-world conditions of call-based communications. By incorporating diverse dialectical expressions and accounting for the variable quality of call recordings, this benchmark seeks to provide a rigorous testing ground for the development and evaluation of ASR systems capable of navigating the complexities of Arabic speech in telephonic contexts. This work also attempts to establish a baseline performance evaluation using state-of-the-art ASR technologies.


title: Topology Change from Pointlike Sources

abstract: In this paper we study topology-changing spacetimes occurring from pointlike sources. Following an old idea of Penrose, we will opt for a non-Hausdorff model of topology change in which an initial pointlike source is "doubled" and allowed to propagate along null rays into an eventual cobordism. By appealing to recent developments in non-Hausdorff differential geometry, we will describe and evaluate gravitational actions on these pointlike topology-changing spacetimes. Motivated by analogous results for the Trousers space, we describe a sign convention for Lorentzian angles that will ensure the dampening of our non-Hausdorff topology-changing spacetimes within a two-dimensional path integral for gravity.


title: Improving link prediction accuracy of network embedding algorithms via rich node attribute information

abstract: Complex networks are widely used to represent an abundance of real-world relations ranging from social networks to brain networks. Inferring missing links or predicting future ones based on the currently observed network is known as the link prediction task.Recent network embedding based link prediction algorithms have demonstrated ground-breaking performance on link prediction accuracy. Those algorithms usually apply node attributes as the initial feature input to accelerate the convergence speed during the training process. However, they do not take full advantage of node feature information. In this paper,besides applying feature attributes as the initial input, we make better utilization of node attribute information by building attributable networks and plugging attributable networks into some typical link prediction algorithms and naming this algorithm Attributive Graph Enhanced Embedding (AGEE). AGEE is able to automatically learn the weighting trades-off between the structure and the attributive networks. Numerical experiments show that AGEE can improve the link prediction accuracy by around 3% compared with link prediction framework SEAL, Variational Graph AutoEncoder (VGAE), and Node2vec.


title: Proxy-RLHF: Decoupling Generation and Alignment in Large Language Model with Proxy

abstract: Reinforcement Learning from Human Feedback (RLHF) is the prevailing approach to ensure Large Language Models (LLMs) align with human values. However, existing RLHF methods require a high computational cost, one main reason being that RLHF assigns both the generation and alignment tasks to the LLM simultaneously. In this paper, we introduce Proxy-RLHF, which decouples the generation and alignment processes of LLMs, achieving alignment with human values at a much lower computational cost. We start with a novel Markov Decision Process (MDP) designed for the alignment process and employ Reinforcement Learning (RL) to train a streamlined proxy model that oversees the token generation of the LLM, without altering the LLM itself. Experiments show that our method achieves a comparable level of alignment with only 1\% of the training parameters of other methods.


title: Highly stable power control for chip-based continuous-variable quantum key distribution system

abstract: Quantum key distribution allows secret key generation with information theoretical security. It can be realized with photonic integrated circuits to benefit the tiny footprints and the large-scale manufacturing capacity. Continuous-variable quantum key distribution is suitable for chip-based integration due to its compatibility with mature optical communication devices. However, the quantum signal power control compatible with the mature photonic integration process faces difficulties on stability, which limits the system performance and causes the overestimation of secret key rate that opens practical security loopholes. Here, a highly stable chip-based quantum signal power control scheme based on a biased Mach-Zehnder interferometer structure is proposed, theoretically analyzed and experimentally implemented with standard silicon photonic techniques. Simulations and experimental results show that the proposed scheme significantly improves the system stability, where the standard deviation of the secret key rate is suppressed by an order of magnitude compared with the system using traditional designs, showing a promising and practicable way to realize highly stable continuous-variable quantum key distribution system on chip.


title: New Multilinear Littlewood--Paley $g_{\lambda}^{*}$ Function and Commutator on weighted Lebesgue Spaces

abstract: Via the new weight function $A_{\vec p}^{\theta }(\varphi )$, the authors introduce a new class of multilinear Littlewood--Paley $g_{\lambda}^{*}$ functions and establish the boundedness on weighted Lebesgue spaces. In addition, the authors obtain the boundedness of the multilinear commutator and multilinear iterated commutator generated by the multilinear Littlewood--Paley $g_{\lambda}^{*}$ function and the new $BMO$ function on weighted Lebesgue spaces. The results in this article include the known results in \cite{XY2015,SXY2014}. When $m=1$, that is, in the case of one-linear, our conclusions are also new, further extending the results in \cite{S1961}.


title: On the structures of the Johnson cokernels of the basis-conjugating automorphism groups of free groups

abstract: In this paper, we study the Johnson homomorphisms of basis-conjugating automorphism groups of free groups. We construct obstructions for the surjectivity of the Johnson homomorphisms. By using it, we determine its cokernels of degree up to four, and give further observations for degree greater than four. As applications, we give the affirmative answer for the Andreadakis problem for degree four. We show that the cup product map of the first cohomology groups of the basis-conjugating automorphism group of a free group into the second cohomology group is surjective. Finally, we calculate the twisted first cohomology groups of the braid-permutation automorphism groups of a free group.


title: DGR: A General Graph Desmoothing Framework for Recommendation via Global and Local Perspectives

abstract: Graph Convolutional Networks (GCNs) have become pivotal in recommendation systems for learning user and item embeddings by leveraging the user-item interaction graph's node information and topology. However, these models often face the famous over-smoothing issue, leading to indistinct user and item embeddings and reduced personalization. Traditional desmoothing methods in GCN-based systems are model-specific, lacking a universal solution. This paper introduces a novel, model-agnostic approach named \textbf{D}esmoothing Framework for \textbf{G}CN-based \textbf{R}ecommendation Systems (\textbf{DGR}). It effectively addresses over-smoothing on general GCN-based recommendation models by considering both global and local perspectives. Specifically, we first introduce vector perturbations during each message passing layer to penalize the tendency of node embeddings approximating overly to be similar with the guidance of the global topological structure. Meanwhile, we further develop a tailored-design loss term for the readout embeddings to preserve the local collaborative relations between users and their neighboring items. In particular, items that exhibit a high correlation with neighboring items are also incorporated to enhance the local topological information. To validate our approach, we conduct extensive experiments on 5 benchmark datasets based on 5 well-known GCN-based recommendation models, demonstrating the effectiveness and generalization of our proposed framework.


title: Monochromatic high-harmonic generation by Bessel-Gauss beam in periodically modulated media

abstract: High harmonic generation (HHG) has become a multipurpose source of coherent XUV radiation used in various applications. One of the notable aspects of HHG is its wide spectrum consisting of many harmonic orders. This might represent a bottleneck in HHG utility for applications requiring a single wavelength. We propose a method to generate radiation consisting of a single high-order harmonic frequency employing Bessel-Gauss driving beam and a periodically modulated gaseous medium. We validate it by analytical calculations and numerical simulations. Our method provides a way to generate monochromatic harmonic radiation directly from the source without the need for additional monochromatizing optics. Thus, it represents a substantial enhancement of the flux and simplification of the setup for numerous applications requiring monochromatic short-wavelength radiation.


title: $\mathcal{L}$-intersecting or Configuration Forbidden Families on Set Systems and Vector Spaces over Finite Fields

abstract: In this paper, we derive a tight upper bound for the size of an intersecting $k$-Sperner family of subspaces of the $n$-dimensional vector space $\mathbb{F}_{q}^{n}$ over finite field $\mathbb{F}_{q}$ which gives a $q$-analogue of the Erd\H{o}s' $k$-Sperner Theorem, and we then establish a general relationship between upper bounds for the sizes of families of subsets of $[n] = \{1, 2, \dots, n\}$ with property $P$ and upper bounds for the sizes of families of subspaces of $\mathbb{F}_{q}^{n}$ with property $P$, where $P$ is either $\mathcal{L}$-intersecting or forbidding certain configuration. Applying this relationship, we derive generalizations of the well known results about the famous Erd\H{o}s matching conjecture and Erd\H{o}s-Chv\'atal simplex conjecture to linear lattices. As a consequence, we disprove a related conjecture on families of subspaces of $\mathbb{F}_{q}^{n}$ by Ihringer [Europ. J. Combin., 94 (2021), 103306].


title: MedM2G: Unifying Medical Multi-Modal Generation via Cross-Guided Diffusion with Visual Invariant

abstract: Medical generative models, acknowledged for their high-quality sample generation ability, have accelerated the fast growth of medical applications. However, recent works concentrate on separate medical generation models for distinct medical tasks and are restricted to inadequate medical multi-modal knowledge, constraining medical comprehensive diagnosis. In this paper, we propose MedM2G, a Medical Multi-Modal Generative framework, with the key innovation to align, extract, and generate medical multi-modal within a unified model. Extending beyond single or two medical modalities, we efficiently align medical multi-modal through the central alignment approach in the unified space. Significantly, our framework extracts valuable clinical knowledge by preserving the medical visual invariant of each imaging modal, thereby enhancing specific medical information for multi-modal generation. By conditioning the adaptive cross-guided parameters into the multi-flow diffusion framework, our model promotes flexible interactions among medical multi-modal for generation. MedM2G is the first medical generative model that unifies medical generation tasks of text-to-image, image-to-text, and unified generation of medical modalities (CT, MRI, X-ray). It performs 5 medical generation tasks across 10 datasets, consistently outperforming various state-of-the-art works.


title: Positivity preserving and mass conservative projection method for the Poisson-Nernst-Planck equation

abstract: We propose and analyze a novel approach to construct structure preserving approximations for the Poisson-Nernst-Planck equations, focusing on the positivity preserving and mass conservation properties. The strategy consists of a standard time marching step with a projection (or correction) step to satisfy the desired physical constraints (positivity and mass conservation). Based on the $L^2$ projection, we construct a second order Crank-Nicolson type finite difference scheme, which is linear (exclude the very efficient $L^2$ projection part), positivity preserving and mass conserving. Rigorous error estimates in $L^2$ norm are established, which are both second order accurate in space and time. The other choice of projection, e.g. $H^1$ projection, is discussed. Numerical examples are presented to verify the theoretical results and demonstrate the efficiency of the proposed method.


title: A challenge in A(G)I, cybernetics revived in the Ouroboros Model as one algorithm for all thinking

abstract: A topical challenge for algorithms in general and for automatic image categorization and generation in particular is presented in the form of a drawing for AI to understand. In a second vein, AI is challenged to produce something similar from verbal description. The aim of the paper is to highlight strengths and deficiencies of current Artificial Intelligence approaches while coarsely sketching a way forward. A general lack of encompassing symbol-embedding and (not only) -grounding in some bodily basis is made responsible for current deficiencies. A concomitant dearth of hierarchical organization of concepts follows suite. As a remedy for these shortcomings, it is proposed to take a wide step back and to newly incorporate aspects of cybernetics and analog control processes. It is claimed that a promising overarching perspective is provided by the Ouroboros Model with a valid and versatile algorithmic backbone for general cognition at all accessible levels of abstraction and capabilities. Reality, rules, truth, and Free Will are all useful abstractions according to the Ouroboros Model. Logic deduction as well as intuitive guesses are claimed as produced on the basis of one compartmentalized memory for schemata and a pattern-matching, i.e., monitoring process termed consumption analysis. The latter directs attention on short (attention proper) and also on long times scales (emotional biases). In this cybernetic approach, discrepancies between expectations and actual activations (e.g., sensory precepts) drive the general process of cognition and at the same time steer the storage of new and adapted memory entries. Dedicated structures in the human brain work in concert according to this scheme.


title: MKF-ADS: Multi-Knowledge Fusion Based Self-supervised Anomaly Detection System for Control Area Network

abstract: Control Area Network (CAN) is an essential communication protocol that interacts between Electronic Control Units (ECUs) in the vehicular network. However, CAN is facing stringent security challenges due to innate security risks. Intrusion detection systems (IDSs) are a crucial safety component in remediating Vehicular Electronics and Systems vulnerabilities. However, existing IDSs fail to identify complexity attacks and have higher false alarms owing to capability bottleneck. In this paper, we propose a self-supervised multi-knowledge fused anomaly detection model, called MKF-ADS. Specifically, the method designs an integration framework, including spatial-temporal correlation with an attention mechanism (STcAM) module and patch sparse-transformer module (PatchST). The STcAM with fine-pruning uses one-dimensional convolution (Conv1D) to extract spatial features and subsequently utilizes the Bidirectional Long Short Term Memory (Bi-LSTM) to extract the temporal features, where the attention mechanism will focus on the important time steps. Meanwhile, the PatchST captures the combined contextual features from independent univariate time series. Finally, the proposed method is based on knowledge distillation to STcAM as a student model for learning intrinsic knowledge and cross the ability to mimic PatchST. We conduct extensive experiments on six simulation attack scenarios across various CAN IDs and time steps, and two real attack scenarios, which present a competitive prediction and detection performance. Compared with the baseline in the same paradigm, the error rate and FAR are 2.62\% and 2.41\% and achieve a promising F1-score of 97.3\%.


title: A$^{3}$lign-DFER: Pioneering Comprehensive Dynamic Affective Alignment for Dynamic Facial Expression Recognition with CLIP

abstract: The performance of CLIP in dynamic facial expression recognition (DFER) task doesn't yield exceptional results as observed in other CLIP-based classification tasks. While CLIP's primary objective is to achieve alignment between images and text in the feature space, DFER poses challenges due to the abstract nature of text and the dynamic nature of video, making label representation limited and perfect alignment difficult. To address this issue, we have designed A$^{3}$lign-DFER, which introduces a new DFER labeling paradigm to comprehensively achieve alignment, thus enhancing CLIP's suitability for the DFER task. Specifically, our A$^{3}$lign-DFER method is designed with multiple modules that work together to obtain the most suitable expanded-dimensional embeddings for classification and to achieve alignment in three key aspects: affective, dynamic, and bidirectional. We replace the input label text with a learnable Multi-Dimensional Alignment Token (MAT), enabling alignment of text to facial expression video samples in both affective and dynamic dimensions. After CLIP feature extraction, we introduce the Joint Dynamic Alignment Synchronizer (JAS), further facilitating synchronization and alignment in the temporal dimension. Additionally, we implement a Bidirectional Alignment Training Paradigm (BAP) to ensure gradual and steady training of parameters for both modalities. Our insightful and concise A$^{3}$lign-DFER method achieves state-of-the-art results on multiple DFER datasets, including DFEW, FERV39k, and MAFW. Extensive ablation experiments and visualization studies demonstrate the effectiveness of A$^{3}$lign-DFER. The code will be available in the future.


title: Local well-posedness for a generalized sixth-order Boussinesq equation

abstract: A formally second order correct Boussinesq-type equation that describes unidirectional shallow water waves is derived, $$u_{tt} - u_{xx} - u_{xxxx} - u_{xxxxxx} - (u^2)_{xx} - (u^2)_{xxxx} - (uu_{xx})_{xx} - (u^3)_{xx} = 0.$$ Such equation is analogous to original Boussinesq equation but with higher order approximation which may ensure a more accuracy description on a long time scale. Moreover, through a rigorous derivation from Boussiensq systems, it has redeemed all the non-linear terms neglected in the sixth order Boussinesq equation (SOBE), $$u_{tt} - u_{xx} - u_{xxxx} - u_{xxxxxx} - (u^2)_{xx} = 0.$$ The Cauchy problem for this generalized SOBE is then considered under the Bourgain space, $X^{s,b}$, framework. The multi-linear estimates for $(u^2)_{xx}$, $(u^2)_{xxxx}$, $(uu_{xx})_{xx}$ and $(u^3)_{xx}$ are given, the local wellposedness of the gSOBE is established for $s>\frac{1}{2}$.


title: Variational quantum eigensolver with linear depth problem-inspired ansatz for solving portfolio optimization in finance

abstract: Great efforts have been dedicated in recent years to explore practical applications for noisy intermediate-scale quantum (NISQ) computers, which is a fundamental and challenging problem in quantum computing. As one of the most promising methods, the variational quantum eigensolver (VQE) has been extensively studied. In this paper, VQE is applied to solve portfolio optimization problems in finance by designing two hardware-efficient Dicke state ansatze that reach a maximum of 2n two-qubit gate depth and n^2/4 parameters, with n being the number of qubits used. Both ansatze are partitioning-friendly, allowing for the proposal of a highly scalable quantum/classical hybrid distributed computing (HDC) scheme. Combining simultaneous sampling, problem-specific measurement error mitigation, and fragment reuse techniques, we successfully implement the HDC experiments on the superconducting quantum computer Wu Kong with up to 55 qubits. The simulation and experimental results illustrate that the restricted expressibility of the ansatze, induced by the small number of parameters and limited entanglement, is advantageous for solving classical optimization problems with the cost function of the conditional value-at-risk (CVaR) for the NISQ era and beyond. Furthermore, the HDC scheme shows great potential for achieving quantum advantage in the NISQ era. We hope that the heuristic idea presented in this paper can motivate fruitful investigations in current and future quantum computing paradigms.


title: Analysis of Maximum Threshold and Quantum Security for Fault-Tolerant Encoding and Decoding Scheme Base on Steane Code

abstract: Steane code is one of the most widely studied quantum error-correction codes, which is a natural choice for fault-tolerant quantum computation (FTQC). However, the original Steane code is not fault-tolerant because the CNOT gates in an encoded block may cause error propagation. In this paper, we first propose a fault-tolerant encoding and decoding scheme, which analyzes all possible errors caused by each quantum gate in an error-correction period. In this scheme, we combine the results of measuring redundant qubits with those of syndrome measurements to identify specific errors for different types of errors. But due to the error propagation, there may be cases where different errors produce the same measurement results. Therefore, we introduce the "flag qubits" scheme (providing its usage conditions) to reduce error interference as much as possible, and we consider the errors caused by the introduced quantum gates, realizing the truly fault-tolerant Steane code. Afterwards, we provide the fault-tolerant scheme of the universal quantum gate set, including fault-tolerant preparation and verification of ancillary states. This is the first time that fault tolerance has been considered for every process of FTQC. Finally, We propose an algorithm for a more accurate estimation of thresholds and optimal error-correction period selection. Our simulation results based on this entire scheme demonstrate the effectiveness of this algorithm, satisfying the threshold theorem and the currently widely recognized threshold. We analyze the relationship among the maximum threshold, concatenated levels, and quantum logical depth, showing that quantum operations play a crucial role in increasing the threshold. Furthermore, we analyze the computational theoretical limits of quantum computers from the perspectives of attack and active defense based on our FTQC scheme, thereby assessing the security of a system.


title: Understanding how social discussion platforms like Reddit are influencing financial behavior

abstract: This study proposes content and interaction analysis techniques for a large repository created from social media content. Though we have presented our study for a large platform dedicated to discussions around financial topics, the proposed methods are generic and applicable to all platforms. Along with an extension of topic extraction method using Latent Dirichlet Allocation, we propose a few measures to assess user participation, influence and topic affinities specifically. Our study also maps user-generated content to components of behavioral finance. While these types of information are usually gathered through surveys, it is obvious that large scale data analysis from social media can reveal many potentially unknown or rare insights. Characterising users based on their platform behavior to provide critical insights about how communities are formed and trust is established in these platforms using graphical analysis is also studied.


title: LitSim: A Conflict-aware Policy for Long-term Interactive Traffic Simulation

abstract: Simulation is pivotal in evaluating the performance of autonomous driving systems due to the advantages of high efficiency and low cost compared to on-road testing. Bridging the gap between simulation and the real world requires realistic agent behaviors. However, the existing works have the following shortcomings in achieving this goal: (1) log replay offers realistic scenarios but often leads to collisions due to the absence of dynamic interactions, and (2) both heuristic-based and data-based solutions, which are parameterized and trained on real-world datasets, encourage interactions but often deviate from real-world data over long horizons. In this work, we propose LitSim, a long-term interactive simulation approach that maximizes realism by minimizing the interventions in the log. Specifically, our approach primarily uses log replay to ensure realism and intervenes only when necessary to prevent potential conflicts. We then encourage interactions among the agents and resolve the conflicts, thereby reducing the risk of unrealistic behaviors. We train and validate our model on the real-world dataset NGSIM, and the experimental results demonstrate that LitSim outperforms the currently popular approaches in terms of realism and reactivity.


title: Engineering Entangled Schrodinger Cat States of Separated Cavity Modes in Cavity-QED

abstract: We provide a scheme by utilizing a two-cavity setup to generate useful quantum mechanically entangled states of two cavity fields, which themselves are prepared in Schrodinger cat states. The underlying atom-field interaction is considered off-resonant and three atoms are successively sent through the cavities, initially fed with coherent fields. Analytical solution of the protocol, followed by conditional measurements on the atoms, produce a family of eight such entangled states. Entanglement properties of the obtained states are characterized by the Von Neumann entropy. We reveal the parameter domain for tuning the entanglement, the prime tuning parameters being the atom-field interaction time and the field amplitudes. The parameter domains for both quasi-Bell and non quasi-Bell states are discussed. We also present a Wigner phase space representation of the reduced state of the cavity, showing negative values and interference patterns similar to those of a compass state, used in quantum precision measurements, and despite its large entropy.


title: Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors

abstract: This paper deals with the control generation of right linear grammars with unknown behaviors (RLUBs, for short) in which derivation behavior is not determined completely. In particular, we consider a physical property of control devices used in control systems and formulate it as a partial order over control alphabet of the control system. We give necessary and sufficient conditions for given finite language classes to be generated by RLUBs and their control systems using a given partial order over control alphabet.


title: Experimental amplification and squeezing of a motional state of an optically levitated nanoparticle

abstract: A contactless control of fluctuations of phase space variables of a nanoobject belongs among the key methods needed for ultra-precise nanotechnology and the upcoming quantum technology of macroscopic systems. Here we utilize the experimental platform of a single levitating nanoparticle (NP) to demonstrate essential protocols providing linear amplification of the mechanical phase space variables together with squeezing of phase space probability distribution. The protocol combines a controlled fast switching between the parabolic trapping potential and either weak parabolic or inverted parabolic amplifying potential leading to amplification of mean value and variance (fluctuations) along an arbitrary phase space variable and squeezing along the complementary one. The protocol is completed with cold damping scheme to control the initial fluctuations of the NP phase space variables. We reached the amplification gain $|G|>2$, the squeezing coefficient above 4 dB, and the second-order energy correlation function approaching 3 which corresponds to a maximum for a stochastic non-equilibrium classical state. These experimental results will already allow pre-amplification and manipulation of nanomechanical NP motion for all quantum protocols if the NP cooling towards the ground state is applied.


title: LORS: Low-rank Residual Structure for Parameter-Efficient Network Stacking

abstract: Deep learning models, particularly those based on transformers, often employ numerous stacked structures, which possess identical architectures and perform similar functions. While effective, this stacking paradigm leads to a substantial increase in the number of parameters, posing challenges for practical applications. In today's landscape of increasingly large models, stacking depth can even reach dozens, further exacerbating this issue. To mitigate this problem, we introduce LORS (LOw-rank Residual Structure). LORS allows stacked modules to share the majority of parameters, requiring a much smaller number of unique ones per module to match or even surpass the performance of using entirely distinct ones, thereby significantly reducing parameter usage. We validate our method by applying it to the stacked decoders of a query-based object detector, and conduct extensive experiments on the widely used MS COCO dataset. Experimental results demonstrate the effectiveness of our method, as even with a 70\% reduction in the parameters of the decoder, our method still enables the model to achieve comparable or


title: Pairwise interaction of spherical particles aligned in oscillatory flow

abstract: We present a systematic simulation campaign to investigate the pairwise interaction of two mobile, monodisperse particles submerged in a viscous fluid and subjected to monochromatic oscillating flows. To this end, we employ the immersed boundary method to geometrically resolve the flow around the two particles in a non-inertial reference frame. We neglect gravity to focus on fluid-particle interactions associated with particle inertia and consider particles of three different density ratios aligned along the axis of oscillation. We systematically vary the initial particle distance and the frequency based on which the particles show either attractive or repulsive behavior by approaching or moving away from each other, respectively. This behavior is consistently confirmed for the three density ratios investigated, although particle inertia dictates the overall magnitude of the particle dynamics. Based on this, threshold conditions for the transition from attraction to repulsion are introduced that obey the same power law for all density ratios investigated. We furthermore analyze the flow patterns by suitable averaging and decomposition of the flow fields and find competing effects of the vorticity induced by the fluid-particle interactions. Based on these flow patterns, we derive a circulation-based criterion that provides a quantitative measure to categorize the different cases. It is shown that such a criterion provides a consistent measure to distinguish the attractive and repulsive arrangements.


title: The dynamics of fibers dispersed in viscoelastic turbulent flows

abstract: This study explores the dynamics of finite-size fibers suspended freely in a viscoelastic turbulent flow. For a fiber suspended in Newtonian flows, two different flapping regimes were identified previously by Rosti et al (2018). Here we explore, how the fiber dynamics is modified by the elasticity of the carrier fluid by performing Direct Numerical Simulations of a two-way coupled fiber-fluid system in a parametric space spanning different Deborah numbers, fiber bending stiffness and the linear density difference between fiber and fluid. We examine how these parameters influence various fiber characteristics such as the frequency of flapping, curvature, and alignment with the fluid strain and polymer stretching directions. Results reveal that the neutrally-bouyant fibers, depending on their flexibility, oscillate with large and small time scales transpiring from the flow, but the smaller time-scales are suppressed as the polymer elasticity increases. Polymer stretching is uncommunicative to denser-than-fluid fibers, which flap with large time scales from the flow when flexible and with their natural frequency when rigid. Thus, the characteristic elastic time scale has a subdominant effect when the fibers are neutrally-bouyant, while its effect is absent when the fibers become more inertial. Additionally, we see that the inertial fibers have larger curvatures and are less responsive to the polymer presence, whereas the neutrally-bouyant fibers show quantitative changes. Also, the neutrally-bouyant fibers show a higher alignment with the polymer stretching directions compared to the denser ones. In a nutshell, the polymers exert a larger influence on neutrally-bouyant fibers compared to the denser ones. The study comprehensively addresses the interplay between polymer elasticity and the fiber structural properties in determining its response behaviour in an elasto-inertial turbulent flow.


title: Effectiveness Assessment of Recent Large Vision-Language Models

abstract: The advent of large vision-language models (LVLMs) represents a remarkable advance in the quest for artificial general intelligence. However, the model's effectiveness in both specialized and general tasks warrants further investigation. This paper endeavors to evaluate the competency of popular LVLMs in specialized and general tasks, respectively, aiming to offer a comprehensive understanding of these novel models. To gauge their effectiveness in specialized tasks, we employ six challenging tasks in three different application scenarios: natural, healthcare, and industrial. These six tasks include salient/camouflaged/transparent object detection, as well as polyp detection, skin lesion detection, and industrial anomaly detection. We examine the performance of three recent open-source LVLMs, including MiniGPT-v2, LLaVA-1.5, and Shikra, on both visual recognition and localization in these tasks. Moreover, we conduct empirical investigations utilizing the aforementioned LVLMs together with GPT-4V, assessing their multi-modal understanding capabilities in general tasks including object counting, absurd question answering, affordance reasoning, attribute recognition, and spatial relation reasoning. Our investigations reveal that these LVLMs demonstrate limited proficiency not only in specialized tasks but also in general tasks. We delve deep into this inadequacy and uncover several potential factors, including limited cognition in specialized tasks, object hallucination, text-to-image interference, and decreased robustness in complex problems. We hope that this study can provide useful insights for the future development of LVLMs, helping researchers improve LVLMs for both general and specialized applications.


title: HaluEval-Wild: Evaluating Hallucinations of Language Models in the Wild

abstract: Hallucinations pose a significant challenge to the reliability of large language models (LLMs) in critical domains. Recent benchmarks designed to assess LLM hallucinations within conventional NLP tasks, such as knowledge-intensive question answering (QA) and summarization, are insufficient for capturing the complexities of user-LLM interactions in dynamic, real-world settings. To address this gap, we introduce HaluEval-Wild, the first benchmark specifically designed to evaluate LLM hallucinations in the wild. We meticulously collect challenging (adversarially filtered by Alpaca) user queries from existing real-world user-LLM interaction datasets, including ShareGPT, to evaluate the hallucination rates of various LLMs. Upon analyzing the collected queries, we categorize them into five distinct types, which enables a fine-grained analysis of the types of hallucinations LLMs exhibit, and synthesize the reference answers with the powerful GPT-4 model and retrieval-augmented generation (RAG). Our benchmark offers a novel approach towards enhancing our comprehension and improvement of LLM reliability in scenarios reflective of real-world interactions. Our benchmark is available at https://github.com/Dianezzy/HaluEval-Wild.


title: Generating insights about financial asks from Reddit posts and user interactions

abstract: As an increasingly large number of people turn to platforms like Reddit, YouTube, Twitter, Instagram, etc. for financial advice, generating insights about the content generated and interactions taking place within these platforms have become a key research question. This study proposes content and interaction analysis techniques for a large repository created from social media content, where people interactions are centered around financial information exchange. We propose methods for content analysis that can generate human-interpretable insights using topic-centered clustering and multi-document abstractive summarization. We share details of insights generated from our experiments with a large repository of data gathered from subreddit for personal finance. We have also explored the use of ChatGPT and Vicuna for generating responses to queries and compared them with human responses. The methods proposed in this work are generic and applicable to all large social media platforms.


title: AO-DETR: Anti-Overlapping DETR for X-Ray Prohibited Items Detection

abstract: Prohibited item detection in X-ray images is one of the most essential and highly effective methods widely employed in various security inspection scenarios. Considering the significant overlapping phenomenon in X-ray prohibited item images, we propose an Anti-Overlapping DETR (AO-DETR) based on one of the state-of-the-art general object detectors, DINO. Specifically, to address the feature coupling issue caused by overlapping phenomena, we introduce the Category-Specific One-to-One Assignment (CSA) strategy to constrain category-specific object queries in predicting prohibited items of fixed categories, which can enhance their ability to extract features specific to prohibited items of a particular category from the overlapping foreground-background features. To address the edge blurring problem caused by overlapping phenomena, we propose the Look Forward Densely (LFD) scheme, which improves the localization accuracy of reference boxes in mid-to-high-level decoder layers and enhances the ability to locate blurry edges of the final layer. Similar to DINO, our AO-DETR provides two different versions with distinct backbones, tailored to meet diverse application requirements. Extensive experiments on the PIXray and OPIXray datasets demonstrate that the proposed method surpasses the state-of-the-art object detectors, indicating its potential applications in the field of prohibited item detection. The source code will be released at https://github.com/Limingyuan001/AO-DETR-test.


title: Endo-exo framework for a unifying classification of episodic landslide movements

abstract: Landslides exhibit intermittent gravity-driven downslope movements developing over days to years before a possible major collapse, commonly boosted by external events like precipitations and earthquakes. The reasons behind these episodic movements and how they relate to the final instability remain poorly understood. Here, we develop a novel 'endo-exo' theory to quantitatively diagnose landslide dynamics, capturing the interplay between exogenous stressors such as rainfall and endogenous damage/healing processes. We predict four distinct types of episodic landslide dynamics (endogenous/exogenous-subcritical/critical), characterized by power law relaxations with different exponents, all related to a single parameter $\vartheta$. These predictions are tested on the dataset of the Preonzo landslide, which exhibited multi-year episodic movements prior to a catastrophic collapse. All its episodic activities can be accounted for within this classification with $\vartheta \approx 0.45\pm0.1$, providing strong support for our parsimonious theory. We find that the final collapse of this landslide is clearly preceded over 1-2 months by an increased frequency of medium/large velocities, signaling the transition into a catastrophic regime with amplifying positive feedbacks.


title: ALTO: An Efficient Network Orchestrator for Compound AI Systems

abstract: We present ALTO, a network orchestrator for efficiently serving compound AI systems such as pipelines of language models. ALTO achieves high throughput and low latency by taking advantage of an optimization opportunity specific to generative language models: streaming intermediate outputs. As language models produce outputs token by token, ALTO exposes opportunities to stream intermediate outputs between stages when possible. We highlight two new challenges of correctness and load balancing which emerge when streaming intermediate data across distributed pipeline stage instances. We also motivate the need for an aggregation-aware routing interface and distributed prompt-aware scheduling to address these challenges. We demonstrate the impact of ALTO's partial output streaming on a complex chatbot verification pipeline, increasing throughput by up to 3x for a fixed latency target of 4 seconds / request while also reducing tail latency by 1.8x compared to a baseline serving approach.


title: Distribution of power residues over shifted subfields and maximal cliques in generalized Paley graphs

abstract: We derive an asymptotic formula for the number of solutions in a given subfield to certain system of equations over finite fields. As an application, we construct new families of maximal cliques in generalized Paley graphs. Given integers $d\ge2$ and $q \equiv 1 \pmod d$, we show that for each positive integer $m$ such that $\operatorname{rad}(m) \mid \operatorname{rad}(d)$, there are maximal cliques of size approximately $q/m$ in the $d$-Paley graph defined on $\mathbb{F}_{q^d}$. We also confirm a conjecture of Goryainov, Shalaginov, and the second author on the maximality of certain cliques in generalized Paley graphs, as well as an analogous conjecture of Goryainov for Peisert graphs.


title: A robust shifted proper orthogonal decomposition: Proximal methods for decomposing flows with multiple transports

abstract: We present a new methodology for decomposing flows with multiple transports that further extends the shifted proper orthogonal decomposition (sPOD). The sPOD tries to approximate transport-dominated flows by a sum of co-moving data fields. The proposed methods stem from sPOD but optimize the co-moving fields directly and penalize their nuclear norm to promote low rank of the individual data in the decomposition. Furthermore, we add a robustness term to the decomposition that can deal with interpolation error and data noises. Leveraging tools from convex optimization, we derive three proximal algorithms to solve the decomposition problem. We report a numerical comparison with existing methods against synthetic data benchmarks and then show the separation ability of our methods on 1D and 2D incompressible and reactive flows. The resulting methodology is the basis of a new analysis paradigm that results in the same interpretability as the POD for the individual co-moving fields.


title: Can Your Model Tell a Negation from an Implicature? Unravelling Challenges With Intent Encoders

abstract: Conversational systems often rely on embedding models for intent classification and intent clustering tasks. The advent of Large Language Models (LLMs), which enable instructional embeddings allowing one to adjust semantics over the embedding space using prompts, are being viewed as a panacea for these downstream conversational tasks. However, traditional evaluation benchmarks rely solely on task metrics that don't particularly measure gaps related to semantic understanding. Thus, we propose an intent semantic toolkit that gives a more holistic view of intent embedding models by considering three tasks -- (1) intent classification, (2) intent clustering, and (3) a novel triplet task. The triplet task gauges the model's understanding of two semantic concepts paramount in real-world conversational systems -- negation and implicature. We observe that current embedding models fare poorly in semantic understanding of these concepts. To address this, we propose a pre-training approach to improve the embedding model by leveraging augmentation with data generated by an auto-regressive model and a contrastive loss term. Our approach improves the semantic understanding of the intent embedding model on the aforementioned linguistic dimensions while slightly effecting their performance on downstream task metrics.


title: Asymptotic teleportation schemes bridging between standard and port-based teleportation

abstract: Various modified quantum teleportation schemes are proposed to overcome experimental constraints or to meet specific application requirements for quantum communication. Hence, most schemes are developed and studied with unique methodologies, each with its inherent challenges. Our research focuses on interconnecting these schemes appearing to be unrelated to each other, based on the idea that the unique advantages of one scheme can compensate for the limitations of another. In this paper, we introduce an asymptotic teleportation scheme requiring the receiver to perform a classical selection task followed by a quantum correction. This scheme bridges standard teleportation with port-based teleportation through the transformation of joint measurements. Specifically, we categorize and analytically investigate protocols within this scheme for qubit systems. Given that linear optics teleportation protocol without ancilla qubits is contained in the two non-trivial groups, we provide a novel perspective on its expansion. Furthermore, we discuss the potential application of a protocol from one of these groups as a universal programmable processor and extend these protocols to higher-dimensional systems while maintaining the same properties and potential, providing the analytic form of the joint measurement and its performance. These results thereby propose new avenues for developing a quantum network in higher-dimensional systems.


title: Testing scale-invariant inflation against cosmological data

abstract: There is solid theoretical and observational motivation behind the idea of scale-invariance as a fundamental symmetry of Nature. We consider a recently proposed classically scale-invariant inflationary model, quadratic in curvature and featuring a scalar field non-minimally coupled to gravity. We go beyond earlier analytical studies, which showed that the model predicts inflationary observables in qualitative agreement with data, by solving the full two-field dynamics of the system -- this allows us to corroborate previous analytical findings and set robust constraints on the model's parameters using the latest Cosmic Microwave Background (CMB) data from Planck and BICEP/Keck. We demonstrate that scale-invariance constrains the two-field trajectory such that the effective dynamics are that of a single field, resulting in vanishing entropy perturbations and protecting the model from destabilization effects. We derive tight upper limits on the non-minimal coupling strength, excluding conformal coupling at high significance. By explicitly sampling over them, we demonstrate an overall insensitivity to initial conditions. We argue that the model \textit{predicts} a minimal level of primordial tensor modes set by $r \gtrsim 0.003$, well within the reach of next-generation CMB experiments. These will therefore provide a litmus test of scale-invariant inflation, and we comment on the possibility of distinguishing the model from Starobinsky and $\alpha$-attractor inflation. Overall, we argue that scale-invariant inflation is in excellent health, and possesses features which make it an interesting benchmark for tests of inflation from future CMB data.


title: Online Adaptation of Language Models with a Memory of Amortized Contexts

abstract: Due to the rapid generation and dissemination of information, large language models (LLMs) quickly run out of date despite enormous development costs. Due to this crucial need to keep models updated, online learning has emerged as a critical necessity when utilizing LLMs for real-world applications. However, given the ever-expanding corpus of unseen documents and the large parameter space of modern LLMs, efficient adaptation is essential. To address these challenges, we propose Memory of Amortized Contexts (MAC), an efficient and effective online adaptation framework for LLMs with strong knowledge retention. We propose an amortized feature extraction and memory-augmentation approach to compress and extract information from new documents into compact modulations stored in a memory bank. When answering questions, our model attends to and extracts relevant knowledge from this memory bank. To learn informative modulations in an efficient manner, we utilize amortization-based meta-learning, which substitutes the optimization process with a single forward pass of the encoder. Subsequently, we learn to choose from and aggregate selected documents into a single modulation by conditioning on the question, allowing us to adapt a frozen language model during test time without requiring further gradient updates. Our experiment demonstrates the superiority of MAC in multiple aspects, including online adaptation performance, time, and memory efficiency. Code is available at: https://github.com/jihoontack/MAC.


title: A hypergraph bipartite Tur\'an problem with odd uniformity

abstract: In this paper, we investigate the hypergraph Tur\'an number $ex(n,K^{(r)}_{s,t})$. Here, $K^{(r)}_{s,t}$ denotes the $r$-uniform hypergraph with vertex set $\left(\cup_{i\in [t]}X_i\right)\cup Y$ and edge set $\{X_i\cup \{y\}: i\in [t], y\in Y\}$, where $X_1,X_2,\cdots,X_t$ are $t$ pairwise disjoint sets of size $r-1$ and $Y$ is a set of size $s$ disjoint from each $X_i$. This study was initially explored by Erd\H{o}s and has since received substantial attention in research. Recent advancements by Brada\v{c}, Gishboliner, Janzer and Sudakov have greatly contributed to a better understanding of this problem. They proved that $ex(n,K_{s,t}^{(r)})=O_{s,t}(n^{r-\frac{1}{s-1}})$ holds for any $r\geq 3$ and $s,t\geq 2$. They also provided constructions illustrating the tightness of this bound if $r\geq 4$ is {\it even} and $t\gg s\geq 2$. Furthermore, they proved that $ex(n,K_{s,t}^{(3)})=O_{s,t}(n^{3-\frac{1}{s-1}-\varepsilon_s})$ holds for $s\geq 3$ and some $\epsilon_s>0$. Addressing this intriguing discrepancy between the behavior of this number for $r=3$ and the even cases, Brada\v{c} et al. post a question of whether \begin{equation*} \mbox{$ex(n,K_{s,t}^{(r)})= O_{r,s,t}(n^{r-\frac{1}{s-1}- \varepsilon})$ holds for odd $r\geq 5$ and any $s\geq 3$.} \end{equation*} In this paper, we provide an affirmative answer to this question, utilizing novel techniques to identify regular and dense substructures. This result highlights a rare instance in hypergraph Tur\'an problems where the solution depends on the parity of the uniformity.


title: Anisotropy-driven magnetic phase transitions in SU(4)-symmetric Fermi gas in three-dimensional optical lattices

abstract: We study SU(4)-symmetric ultracold fermionic mixture in the cubic optical lattice with the variable tunneling amplitude along one particular crystallographic axis in the crossover region from the two- to three-dimensional spatial geometry. To theoretically analyze emerging magnetic phases and physical observables, we describe the system in the framework of the Fermi-Hubbard model and apply dynamical mean-field theory. We show that in two limiting cases of anisotropy there are two phases with different antiferromagnetic orderings in the zero temperature limit and determine a region of their coexistence. We also study the stability regions of different magnetically-ordered states and density profiles of the gas in the harmonic optical trap.


title: Detection of proton tracks with LiF Fluorescent Nuclear Track Detectors

abstract: Fluorescent nuclear track detectors based on LiF crystals were successfully applied for detection of proton induced tracks. Irradiations were performed with protons with energy ranging from 1 MeV up to about 56 MeV and for all proton energies the fluorescent tracks were observed. The tracks are not continuous, but consist of a series of bright spots. The gaps between spots tend to narrow with decreasing proton energy (increasing ionization density). For the highest of the studied energies, the spots are scattered so sparsely, that it is not possible to link spots belonging to one track. The intensity (brightness) of the fluorescent tracks increases with the increasing LET and agrees well with the trend established earlier for various heavier ions.


title: Discriminative Probing and Tuning for Text-to-Image Generation

abstract: Despite advancements in text-to-image generation (T2I), prior methods often face text-image misalignment problems such as relation confusion in generated images. Existing solutions involve cross-attention manipulation for better compositional understanding or integrating large language models for improved layout planning. However, the inherent alignment capabilities of T2I models are still inadequate. By reviewing the link between generative and discriminative modeling, we posit that T2I models' discriminative abilities may reflect their text-image alignment proficiency during generation. In this light, we advocate bolstering the discriminative abilities of T2I models to achieve more precise text-to-image alignment for generation. We present a discriminative adapter built on T2I models to probe their discriminative abilities on two representative tasks and leverage discriminative fine-tuning to improve their text-image alignment. As a bonus of the discriminative adapter, a self-correction mechanism can leverage discriminative gradients to better align generated images to text prompts during inference. Comprehensive evaluations across three benchmark datasets, including both in-distribution and out-of-distribution scenarios, demonstrate our method's superior generation performance. Meanwhile, it achieves state-of-the-art discriminative performance on the two discriminative tasks compared to other generative models.


title: Memetic Differential Evolution Methods for Semi-Supervised Clustering

abstract: In this paper, we deal with semi-supervised Minimum Sum-of-Squares Clustering (MSSC) problems where background knowledge is given in the form of instance-level constraints. In particular, we take into account "must-link" and "cannot-link" constraints, each of which indicates if two dataset points should be associated to the same or to a different cluster. The presence of such constraints makes the problem at least as hard as its unsupervised version: it is no more true that each point is associated to its nearest cluster center, thus requiring some modifications in crucial operations, such as the assignment step. In this scenario, we propose a novel memetic strategy based on the Differential Evolution paradigm, directly extending a state-of-the-art framework recently proposed in the unsupervised clustering literature. As far as we know, our contribution represents the first attempt to define a memetic methodology designed to generate a (hopefully) optimal feasible solution for the semi-supervised MSSC problem. The proposal is compared with some state-of-the-art algorithms from the literature on a set of well-known datasets, highlighting its effectiveness and efficiency in finding good quality clustering solutions.


title: Second-order McKean-Vlasov stochastic evolution equation driven by Poisson jumps: existence, uniqueness and averaging principle

abstract: In the paper, a class of second-order McKean-Vlasov stochastic evolution equation driven by Poisson jumps with non-Lipschitz conditions is considered. The existence and uniqueness of the mild solution is established by means of the Carath${\rm \acute{e}}$odory approximation technique. Furthermore, an averaging principle is obtained between the solution of the second-order McKean-Vlasov stochastic evolution equation and that of the simplified equation in mean square sense.


title: Sublinear expectation structure under finite states space

abstract: In this study, we propose the sublinear expectation structure under finite states space. To describe an interesting "nonlinear randomized" trial, based on a convex closed domain, we introduce a family of probability measures under finite states space. Corresponding the sublinear expectation operator introduced by S. Peng, we consider the related notation under finite states space. Within the finite states framework, the sublinear expectation can be explicitly calculated by a novel repeated summation formula, and some interesting examples are given. Furthermore, we establish Monotone convergence theorem, Fatou's lemma and Dominated convergence theorem under finite states space. Afterwards, we consider the independence under each probability measure, upon which we establish the nonlinear law of large numbers and obtain the maximal distribution under sublinear expectation.


title: Measuring Meaning Composition in the Human Brain with Composition Scores from Large Language Models

abstract: The process of meaning composition, wherein smaller units like morphemes or words combine to form the meaning of phrases and sentences, is essential for human sentence comprehension. Despite extensive neurolinguistic research into the brain regions involved in meaning composition, a computational metric to quantify the extent of composition is still lacking. Drawing on the key-value memory interpretation of transformer feed-forward network blocks, we introduce the Composition Score, a novel model-based metric designed to quantify the degree of meaning composition during sentence comprehension. Experimental findings show that this metric correlates with brain clusters associated with word frequency, structural processing, and general sensitivity to words, suggesting the multifaceted nature of meaning composition during human sentence comprehension.


title: Edge-based Parametric Digital Twins for Intelligent Building Indoor Climate Modeling

abstract: Digital transformation in the built environment generates vast data for developing data-driven models to optimize building operations. This study presents an integrated solution utilizing edge computing, digital twins, and deep learning to enhance the understanding of climate in buildings. Parametric digital twins, created using an ontology, ensure consistent data representation across diverse service systems equipped by different buildings. Based on created digital twins and collected data, deep learning methods are employed to develop predictive models for identifying patterns in indoor climate and providing insights. Both the parametric digital twin and deep learning models are deployed on edge for low latency and privacy compliance. As a demonstration, a case study was conducted in a historic building in \"Osterg\"otland, Sweden, to compare the performance of five deep learning architectures. The results indicate that the time-series dense encoder model exhibited strong competitiveness in performing multi-horizon forecasts of indoor temperature and relative humidity with low computational costs.


title: ProMoAI: Process Modeling with Generative AI

abstract: ProMoAI is a novel tool that leverages Large Language Models (LLMs) to automatically generate process models from textual descriptions, incorporating advanced prompt engineering, error handling, and code generation techniques. Beyond automating the generation of complex process models, ProMoAI also supports process model optimization. Users can interact with the tool by providing feedback on the generated model, which is then used for refining the process model. ProMoAI utilizes the capabilities LLMs to offer a novel, AI-driven approach to process modeling, significantly reducing the barrier to entry for users without deep technical knowledge in process modeling.


title: A dual approach to nonparametric characterization for random utility models

abstract: This paper develops a novel characterization for random utility models (RUM), which turns out to be a dual representation of the characterization by Kitamura and Stoye (2018, ECMA). For a given family of budgets and its "patch" representation \'a la Kitamura and Stoye, we construct a matrix $\Xi$ of which each row vector indicates the structure of possible revealed preference relations in each subfamily of budgets. Then, it is shown that a stochastic demand system on the patches of budget lines, say $\pi$, is consistent with a RUM, if and only if $\Xi\pi \geq \mathbb{1}$, where the RHS is the vector of $1$'s. In addition to providing a concise quantifier-free characterization, especially when $\pi$ is inconsistent with RUMs, the vector $\Xi\pi$ also contains information concerning (1) sub-families of budgets in which cyclical choices must occur with positive probabilities, and (2) the maximal possible weights on rational choice patterns in a population. The notion of Chv\'atal rank of polytopes and the duality theorem in linear programming play key roles to obtain these results.


title: A mechanism-driven reinforcement learning framework for shape optimization of airfoils

abstract: In this paper, a novel mechanism-driven reinforcement learning framework is proposed for airfoil shape optimization. To validate the framework, a reward function is designed and analyzed, from which the equivalence between the maximizing the cumulative reward and achieving the optimization objectives is guaranteed theoretically. To establish a quality exploration, and to obtain an accurate reward from the environment, an efficient solver for steady Euler equations is employed in the reinforcement learning method. The solver utilizes the B\'ezier curve to describe the shape of the airfoil, and a Newton-geometric multigrid method for the solution. In particular, a dual-weighted residual-based h-adaptive method is used for efficient calculation of target functional. To effectively streamline the airfoil shape during the deformation process, we introduce the Laplacian smoothing, and propose a B\'ezier fitting strategy, which not only remits mesh tangling but also guarantees a precise manipulation of the geometry. In addition, a neural network architecture is designed based on an attention mechanism to make the learning process more sensitive to the minor change of the airfoil geometry. Numerical experiments demonstrate that our framework can handle the optimization problem with hundreds of design variables. It is worth mentioning that, prior to this work, there are limited works combining such high-fidelity partial differential equatons framework with advanced reinforcement learning algorithms for design problems with such high dimensionality.


title: Spherical codes with prescribed signed permutation automorphisms inside shells of low-dimensional integer lattices

abstract: Let $\textrm{S}(n,t,k)$ be the maximum size of a code containing only vectors of the $k$th shell of the integer lattice $\mathbb{Z}^n$ such that the inner product between distinct vectors does not exceed $t$. In this paper we compute lower bounds for $\textrm{S}(n,t,k)$ for small values of $n$, $t$ and $k$ by carrying out computer searches for codes with prescribed automorphisms. We prescribe groups of signed permutation automorphisms acting transitively on the pairs of coordinates and coordinate values as well as other closely related groups of automorphisms. Several of the constructed codes lead to improved lower bounds for spherical codes.


title: Control-Barrier-Aided Teleoperation with Visual-Inertial SLAM for Safe MAV Navigation in Complex Environments

abstract: In this paper, we consider a Micro Aerial Vehicle (MAV) system teleoperated by a non-expert and introduce a perceptive safety filter that leverages Control Barrier Functions (CBFs) in conjunction with Visual-Inertial Simultaneous Localization and Mapping (VI-SLAM) and dense 3D occupancy mapping to guarantee safe navigation in complex and unstructured environments. Our system relies solely on onboard IMU measurements, stereo infrared images, and depth images and autonomously corrects teleoperated inputs when they are deemed unsafe. We define a point in 3D space as unsafe if it satisfies either of two conditions: (i) it is occupied by an obstacle, or (ii) it remains unmapped. At each time step, an occupancy map of the environment is updated by the VI-SLAM by fusing the onboard measurements, and a CBF is constructed to parameterize the (un)safe region in the 3D space. Given the CBF and state feedback from the VI-SLAM module, a safety filter computes a certified reference that best matches the teleoperation input while satisfying the safety constraint encoded by the CBF. In contrast to existing perception-based safe control frameworks, we directly close the perception-action loop and demonstrate the full capability of safe control in combination with real-time VI-SLAM without any external infrastructure or prior knowledge of the environment. We verify the efficacy of the perceptive safety filter in real-time MAV experiments using exclusively onboard sensing and computation and show that the teleoperated MAV is able to safely navigate through unknown environments despite arbitrary inputs sent by the teleoperator.


title: A new metric for the comparison of permittivity models in terahertz time-domain spectroscopy

abstract: We present a robust method, as well as a new metric, for the comparison of permittivity models in terahertz timedomain spectroscopy (THz-TDS). In this work, we perform an extensive noise analysis of a THz-TDS system, we remove and model the unwanted deterministic noises and implement them into our fitting process. This is done using our open-source software, Fit@TDS, available at : https://github.com/THzbiophotonics/Fit-TDS. This work is the first step towards the derivation of uncertainties, and therefore the use of error bars. We hope that this will lead to performing analytical analysis with THz-TDS, as results obtained from different setups will be comparable. Finally, we apply this protocol to the study of a $\alpha$-lactose monohydrate pellet in order to give more insight on the molecular dynamics behind the absorption peaks. The comparison with simulation results is made easier thanks to the probabilities derived from the metric.


title: A Survey of Application of Machine Learning in Wireless Indoor Positioning Systems

abstract: Indoor human positioning has become increasingly important for applications such as health monitoring, breath monitoring, human identification, safety and rescue operations, and security surveillance. However, achieving robust indoor human positioning remains challenging due to various constraints. Numerous attempts have been made in the literature to develop efficient indoor positioning systems (IPSs), with a growing focus on machine learning (ML) based techniques. This paper aims to compare and analyze current ML-based wireless techniques and approaches for indoor positioning, providing a comprehensive review of enabling technologies for human detection, positioning, and activity recognition. The study explores different input measurement data, including RSSI, TDOA, etc., for various IPSs. Key positioning techniques such as RSSI-based fingerprinting, Angle-based, and Time-based approaches are examined in conjunction with various ML methods. The survey compares the positioning accuracy, scalability, and algorithm complexity, with the goal of determining the suitable technology in various services. Finally, the paper compares distinct datasets focused on indoor localization, which have been published using diverse technologies. Overall, the paper presents a comprehensive comparison of existing techniques and localization models.


title: A High-order Nystr\"om-based Scheme Explicitly Enforcing Surface Density Continuity for the Electric Field Integral Equation

abstract: This paper introduces an efficient approach for solving the Electric Field Integral Equation (EFIE) with high-order accuracy by explicitly enforcing the continuity of the impressed current densities across boundaries of the surface patch discretization. The integral operator involved is discretized via a Nystr\"om-collocation approach based on Chebyshev polynomial expansion within each patch and a closed quadrature rule is utilized such that the discretization points inside one patch coincide with those inside another patch on the shared boundary of those two patches. The continuity enforcement is achieved by constructing a mapping from those coninciding points to a vector containing unique discretization points used in the GMRES iterative solver. The proposed approach is applied to the scattering of several different geometries including a sphere, a cube, a NURBS model imported from CAD software, and a dipole structure and results are compared with the Magnetic Field Integral Equation (MFIE) and the EFIE without enforcing continuity to illustrate the effectiveness of the approach.


title: Cyclicity of the shift operator and a related completeness problem in de Branges-Rovnyak spaces

abstract: In this paper, we study the cyclic vectors of the shift operator $S_b$ acting on de Branges-Rovnyak space $\mathcal H(b)$ associated to a non-extreme point of the closed unit ball of $H^\infty$. We highlight an interesting link with a completeness problem that we study using the Cauchy transform. This enables us to obtain some nice consequences on cyclicity.


title: Periodicity in Hedge-myopic system and an asymmetric NE-solving paradigm for two-player zero-sum games

abstract: In this paper, we consider the $n \times n$ two-payer zero-sum repeated game in which one player (player X) employs the popular Hedge (also called multiplicative weights update) learning algorithm while the other player (player Y) adopts the myopic best response. We investigate the dynamics of such Hedge-myopic system by defining a metric $Q(\textbf{x}_t)$, which measures the distance between the stage strategy $\textbf{x}_t$ and Nash Equilibrium (NE) strategy of player X. We analyze the trend of $Q(\textbf{x}_t)$ and prove that it is bounded and can only take finite values on the evolutionary path when the payoff matrix is rational and the game has an interior NE. Based on this, we prove that the stage strategy sequence of both players are periodic after finite stages and the time-averaged strategy of player Y within one period is an exact NE strategy. Accordingly, we propose an asymmetric paradigm for solving two-player zero-sum games. For the special game with rational payoff matrix and an interior NE, the paradigm can output the precise NE strategy; for any general games we prove that the time-averaged strategy can converge to an approximate NE. In comparison to the NE-solving method via Hedge self-play, this HBR paradigm exhibits faster computation/convergence, better stability and can attain precise NE convergence in most real cases.


title: Explainable AI for Embedded Systems Design: A Case Study of Static Redundant NVM Memory Write Prediction

abstract: This paper investigates the application of eXplainable Artificial Intelligence (XAI) in the design of embedded systems using machine learning (ML). As a case study, it addresses the challenging problem of static silent store prediction. This involves identifying redundant memory writes based only on static program features. Eliminating such stores enhances performance and energy efficiency by reducing memory access and bus traffic, especially in the presence of emerging non-volatile memory technologies. To achieve this, we propose a methodology consisting of: 1) the development of relevant ML models for explaining silent store prediction, and 2) the application of XAI to explain these models. We employ two state-of-the-art model-agnostic XAI methods to analyze the causes of silent stores. Through the case study, we evaluate the effectiveness of the methods. We find that these methods provide explanations for silent store predictions, which are consistent with known causes of silent store occurrences from previous studies. Typically, this allows us to confirm the prevalence of silent stores in operations that write the zero constant into memory, or the absence of silent stores in operations involving loop induction variables. This suggests the potential relevance of XAI in analyzing ML models' decision in embedded system design. From the case study, we share some valuable insights and pitfalls we encountered. More generally, this study aims to lay the groundwork for future research in the emerging field of XAI for embedded system design.


title: Structural disorder-induced topological phase transitions in quasicrystals

abstract: Recently, the structural disorder-induced topological phase transitions in periodic systems have attracted much attention. However, in aperiodic systems such as quasicrystalline systems, the interplay between structural disorder and band topology is still unclear. In this work, we investigate the effects of structural disorder on a quantum spin Hall insulator phase and a higher-order topological phase in a two-dimensional Amman-Beenker tiling quasicrystalline lattice, respectively. We demonstrate that the structural disorder can induce a topological phase transition from a quasicrystalline normal insulator phase to an amorphous quantum spin Hall insulator phase, which is confirmed by bulk gap closing and reopening, robust edge states, quantized spin Bott index and conductance. Furthermore, the structural disorder-induced higher-order topological phase transition from a quasicrystalline normal insulator phase to an amorphous higher-order topological phase characterized by quantized quadrupole moment and topological corner states is also found. More strikingly, the disorder-induced higher-order topological insulator with eight corner states represents a distinctive topological state that eludes realization in conventional crystalline systems. Our work extends the study of the interplay between disorder effects and topologies to quasicrystalline and amorphous systems.


title: On a conjecture on aCM and Ulrich sheaves on degeneracy loci

abstract: In this paper we address a conjecture by Kleppe and Mir\'o-Roig stating that suitable twists by line bundles (on the smooth locus) of the exterior powers of the normal sheaf of a standard determinantal locus are arithmetically Cohen--Macaulay, and even Ulrich when the locus is linear determinantal. We do so by providing a very simple locally free resolution of such sheaves obtained through the so-called Weyman's Geometric Method.


title: Search for a pentaquark state decaying into $pJ/\psi$ in $\Upsilon(1,2S)$ inclusive decays at Belle

abstract: Using the data samples of 102 million $\Upsilon(1S)$ and 158 million $\Upsilon(2S)$ events collected by the Belle detector, we search for a pentaquark state in the $pJ/\psi$ final state from $\Upsilon(1,2S)$ inclusive decays. Here, the charge-conjugate $\bar{p}J/\psi$ is included. We observe clear $pJ/\psi$ production in $\Upsilon(1,2S)$ decays and measure the branching fractions to be $\mathcal{B}[\Upsilon(1S) \to pJ/\psi + anything] = [4.27 \pm 0.16(stat.) \pm 0.20(syst.)] \times 10^{-5}$ and $\mathcal{B}[\Upsilon(2S) \to pJ/\psi + anything] = [3.59 \pm 0.14(stat.) \pm 0.16(syst.)] \times 10^{-5}$. We also measure the cross section of inclusive $pJ/\psi$ production in $e^+e^-$ annihilation to be $\sigma(e^+e^- \to pJ/\psi + anything) = [57.5 \pm 2.1 (stat.) \pm 2.5(syst.)]$~fb at $\sqrt{s} = 10.52~\hbox{GeV}$ using an 89.5~fb$^{-1}$ continuum data sample. There is no significant $P_c(4312)^+$, $P_c(4440)^+$ or $P_c(4457)^+$ signal found in the $pJ/\psi$ final states in $\Upsilon(1,2S)$ inclusive decays. We determine the upper limits of $\mathcal{B}[\Upsilon(1,2S)\to P_c^{+} + anything] \cdot \mathcal{B}(P_c^{+}\to pJ/\psi)$ to be at the $10^{-6}$ level.