title: Solving the Graph Burning Problem for Large Graphs

abstract: We propose an exact algorithm for the Graph Burning Problem ($\texttt{GBP}$), an NP-hard optimization problem that models the spread of influence on social networks. Given a graph $G$ with vertex set $V$, the objective is to find a sequence of $k$ vertices in $V$, namely, $v_1, v_2, \dots, v_k$, such that $k$ is minimum and $\bigcup_{i = 1}^{k} \{u\! \in\! V\! : d(u, v_i) \leq k - i\} = V$, where $d(u,v)$ denotes the distance between $u$ and $v$. We formulate the problem as a set covering integer programming model and design a row generation algorithm for the $\texttt{GBP}$. Our method exploits the fact that a very small number of covering constraints is often sufficient for solving the integer model, allowing the corresponding rows to be generated on demand. To date, the most efficient exact algorithm for the $\texttt{GBP}$, denoted here by $\texttt{GDCA}$, is able to obtain optimal solutions for graphs with up to 14,000 vertices within two hours of execution. In comparison, our algorithm finds provably optimal solutions approximately 236 times faster, on average, than $\texttt{GDCA}$. For larger graphs, memory space becomes a limiting factor for $\texttt{GDCA}$. Our algorithm, however, solves real-world instances with almost 200,000 vertices in less than 35 seconds, increasing the size of graphs for which optimal solutions are known by a factor of 14.


title: Collar parameters for Teichmuller Space & Measured Foliations on a Surface Research Announcement

abstract: We defined a new set of coordinates with respect to which the Thurston compactification of Teichmuller space is the radial compactification of Euclidean space.


title: Evolutionary game dynamics with environmental feedback in a network with two communities

abstract: Recent developments of eco-evolutionary models have shown that evolving feedbacks between behavioral strategies and the environment of game interactions, leading to changes in the underlying payoff matrix, can impact the underlying population dynamics in various manners. We propose and analyze an eco-evolutionary game dynamics model on a network with two communities such that players interact with other players in the same community and those in the opposite community at different rates. In our model, we consider two-person matrix games with pairwise interactions occurring on individual edges and assume that the environmental state depends on edges rather than on nodes or being globally shared in the population. We analytically determine the equilibria and their stability under a symmetric population structure assumption, and we also numerically study the replicator dynamics of the general model. The model shows rich dynamical behavior, such as multiple transcritical bifurcations, multistability, and anti-synchronous oscillations. Our work offers insights into understanding how the presence of community structure impacts the eco-evolutionary dynamics within and between niches.


title: Calculation of Femur Caput Collum Diaphyseal angle for X-Rays images using Semantic Segmentation

abstract: This paper investigates the use of deep learning approaches to estimate the femur caput-collum-diaphyseal (CCD) angle from X-ray images. The CCD angle is an important measurement in the diagnosis of hip problems, and correct prediction can help in the planning of surgical procedures. Manual measurement of this angle, on the other hand, can be time-intensive and vulnerable to inter-observer variability. In this paper, we present a deep-learning algorithm that can reliably estimate the femur CCD angle from X-ray images. To train and test the performance of our model, we employed an X-ray image dataset with associated femur CCD angle measurements. Furthermore, we built a prototype to display the resulting predictions and to allow the user to interact with the predictions. As this is happening in a sterile setting during surgery, we expanded our interface to the possibility of being used only by voice commands. Our results show that our deep learning model predicts the femur CCD angle on X-ray images with great accuracy, with a mean absolute error of 4.3 degrees on the left femur and 4.9 degrees on the right femur on the test dataset. Our results suggest that deep learning has the potential to give a more efficient and accurate technique for predicting the femur CCD angle, which might have substantial therapeutic implications for the diagnosis and management of hip problems.


title: Hybrid Radiation Hydrodynamics scheme with gravity tree-based adaptive optimization algorithm

abstract: Modelling the interaction between ionizing photons emitted from massive stars and their environment is essential to further our understanding of galactic ecosystems. We present a hybrid Radiation-Hydrodynamics (RHD) scheme that couples an SPH code to a grid-based Monte Carlo Radiative Transfer code. The coupling is achieved by using the particle positions as generating sites for a Voronoi grid, and applying a precise mapping of particle-interpolated densities onto the grid cells that ensures mass conservation. The mapping, however, can be computationally infeasible for large numbers of particles. We introduce our tree-based algorithm for optimizing coupled RHD codes. Astrophysical SPH codes typically utilize tree-building procedures to sort particles into hierarchical groups (referred to as nodes) for evaluating self-gravity. Our algorithm adaptively walks the gravity tree and transforms the extracted nodes into pseudo-SPH particles, which we use for the grid construction and mapping. This method allows for the temporary reduction of fluid resolution in regions that are less affected by the radiation. A neighbour-finding scheme is implemented to aid our smoothing length solver for nodes. We show that the use of pseudo-particles produces equally accurate results that agree with benchmarks, and achieves a speed-up that scales with the reduction in the final number of particle-cell pairs being mapped.


title: Gain distance Laplacian matrices for complex unit gain graphs

abstract: A complex unit gain graph (or a $\mathbb{T}$-gain graph) $\Theta(\Sigma,\varphi)$ is a graph where the unit complex number is assign by a function $\varphi$ to every oriented edge of $\Sigma$ and assign its inverse to the opposite orientation. In this paper, we define the two gain distance Laplacian matrices $DL^{\max}_{<}(\Theta)$ and $DL^{\min}_{<}(\Theta)$ corresponding to the two gain distance matrices $D^{\max}_{<}(\Theta)$ and $D^{\min}_{<}(\Theta)$ defined for $\mathbb{T}$-gain graphs $\Theta(\Sigma,\varphi)$, for any vertex ordering $(V(\Sigma),<)$. Furthermore, we provide the characterization of singularity and find formulas for the rank of those Laplacian matrices. We also establish two types of characterization for balanced in complex unit gain graphs while using the gain distance Lapalcian matrices. Most of the results are derived by proving them more generally for weighted $\mathbb{T}$-gain graphs.


title: On the equivalence of the semiclassical theory and the response theory

abstract: It is commonly believed that the response theory can give quantum correction (or interband coherent effects) to the semiclassical theory, while both formulations essentially are perturbatively solving the time-dependent Sch\"odinger equation in a periodic potential probed by the electric field within the independent-particle approximation. Herein, by extending the semiclassical theory under an AC uniform electric field to the nonlinear regime, we show that up to the second order of the electric field, the AC semiclassical theory is equivalent to the response theory in the absence of relaxation. Remarkably, this equivalence can be inherited when the relaxation is incorporated into the response theory, particularly by taking the semiclassical results with a finite relaxation time obtained by solving the Boltzmann equation as a benchmark. ......


title: Finite-Depth Preparation of Tensor Network States from Measurement

abstract: Although tensor network states constitute a broad range of exotic quantum states, their realization is challenging and often requires resources whose depth scales with system size. In this work, we explore criteria on the local tensors for enabling deterministic state preparation via a single round of measurements and on-site unitary feedback. We use these criteria to construct families of measurement-preparable states in one and two dimensions, tuning between distinct symmetry-breaking, symmetry-protected, and intrinsic topological phases of matter. For instance, in one dimension we chart out a three-parameter family of preparable states which interpolate between the AKLT, cluster, GHZ and other states of interest. Our protocol even allows one to engineer preparable quantum states with a range of desired correlation lengths and entanglement properties. In addition to such constructive approaches, we present diagnostics for verifying whether a given tensor network state is preparable using measurements. We conclude by charting out generalizations, such as considering multiple rounds of measurements, implementing matrix product operators, and using incomplete basis measurements.


title: The Theoretical Study of $p\bar{p}\to\bar{\Lambda}\Sigma\eta$ Reaction

abstract: We study the production of hyperon resonances in the $p\bar{p}\to\bar{\Lambda}\Sigma\eta$ reaction within an effective Lagrangian approach. The model includes the production of $\Sigma(1750)$ and $\Lambda(1670)$ in the intermediate state excited by the $K$ and $K^*$ meson exchanges between the initial proton and antiproton. Due to the large coupling of $\Sigma(1750)\Sigma\eta$ vertex, $\Sigma(1750)$ is found a significant contribution near the threshold in this reaction. We provide total and differential cross section predictions for the reation and discuss the possible influence of $\Sigma(1750)\Sigma\eta$ vertex coupling and model parameters, which will be useful in future experimental studies. This reaction can provide a platform for studying the features of $\Sigma(1750)$ resonance, especially the coupling to $\Sigma\eta$ channel.


title: Auto-Calibration and 2D-DOA Estimation in UCAs via an Integrated Wideband Dictionary

abstract: In this paper, we present a novel auto-calibration scheme for the joint estimation of the two-dimensional (2-D) direction-of-arrival (DOA) and the mutual coupling matrix (MCM) for a signal measured using uniform circular arrays. The method employs an integrated wideband dictionary to mitigate the detrimental effects of the discretization of the continuous parameter space over the considered azimuth and elevation angles. This leads to a reduction of the computational complexity and obtaining of more accurate DOA estimates. Given the more reliable DOA estimates, the method also allows for the estimation of more accurate mutual coupling coefficients. The method utilizes an integrated dictionary in order to iteratively refine the active parameter space, thereby reducing the required computational complexity without reducing the overall performance. The complexity is further reduced by employing only the dominant subspace of the measured signal. Furthermore, the proposed method does not require a constraint on the prior knowledge of the number of nonzero coupling coefficients nor suffer from ambiguity problems. Moreover, a simple formulation for 2-D non-numerical integration is presented. Simulation results show the effectiveness of the proposed method.


title: Killing Fields on Compact m-Quasi-Einstein Manifolds

abstract: We show that given a compact, connected $m$-quasi Einstein manifold $(M,g,X)$ without boundary, the potential vector field $X$ is Killing if and only if $(M, g)$ has constant scalar curvature. This extends a result of Bahuaud-Gunasekaran-Kunduri-Woolgar, where it is shown that $X$ is Killing if $X$ is incompressible. We also provide a sufficient condition for a compact, non-gradient $m$-quasi Einstein metric to admit a Killing field. We do this by following a technique of Dunajski and Lucietti, who prove that a Killing field always exists in this case when $m=2$. This condition provides an alternate proof of the aforementioned result of Bahuaud-Gunasekaran-Kunduri-Woolgar. This alternate proof works in the $m = -2$ case as well, which was not covered in the original proof.


title: Advancing Biomedical Applications: Antioxidant and Biocompatible Cerium Oxide Nanoparticle-Integrated Poly-{\epsilon}- caprolactone Fibers

abstract: Reactive oxygen species (ROS), which are expressed at high levels in many diseases, can be scavenged by cerium oxide nanoparticles (CeO2NPs). CeO2NPs can cause significant cytotoxicity when administered directly to cells, but this cytotoxicity can be reduced if CeO2NPs can be encapsulated in biocompatible polymers. In this study, CeO2NPs were synthesized using a one-stage process, then purified, characterized, and then encapsulated into an electrospun poly-{\epsilon}-caprolactone (PCL) scaffold. The direct administration of CeO2NPs to RAW 264.7 Macrophages resulted in reduced ROS levels but lower cell viability. Conversely, the encapsulation of nanoceria in a PCL scaffold was shown to lower ROS levels and improve cell survival. The study demonstrated an effective technique for encapsulating nanoceria in PCL fiber and confirmed its biocompatibility and efficacy. This system has the potential to be utilized for developing tissue engineering scaffolds, targeted delivery of therapeutic CeO2NPs, wound healing, and other biomedical applications.


title: Defending Spiking Neural Networks against Adversarial Attacks through Image Purification

abstract: Spiking Neural Networks (SNNs) aim to bridge the gap between neuroscience and machine learning by emulating the structure of the human nervous system. However, like convolutional neural networks, SNNs are vulnerable to adversarial attacks. To tackle the challenge, we propose a biologically inspired methodology to enhance the robustness of SNNs, drawing insights from the visual masking effect and filtering theory. First, an end-to-end SNN-based image purification model is proposed to defend against adversarial attacks, including a noise extraction network and a non-blind denoising network. The former network extracts noise features from noisy images, while the latter component employs a residual U-Net structure to reconstruct high-quality noisy images and generate clean images. Simultaneously, a multi-level firing SNN based on Squeeze-and-Excitation Network is introduced to improve the robustness of the classifier. Crucially, the proposed image purification network serves as a pre-processing module, avoiding modifications to classifiers. Unlike adversarial training, our method is highly flexible and can be seamlessly integrated with other defense strategies. Experimental results on various datasets demonstrate that the proposed methodology outperforms state-of-the-art baselines in terms of defense effectiveness, training time, and resource consumption.


title: Temporal scaling theory for bursty time series with clusters of arbitrarily many events

abstract: Long-term temporal correlations in time series in a form of an event sequence have been characterized using an autocorrelation function (ACF) that often shows a power-law decaying behavior. Such scaling behavior has been mainly accounted for by the heavy-tailed distribution of interevent times (IETs), i.e., the time interval between two consecutive events. Yet little is known about how correlations between consecutive IETs systematically affect the decaying behavior of the ACF. Empirical distributions of the burst size, which is the number of events in a cluster of events occurring in a short time window, often show heavy tails, implying that arbitrarily many consecutive IETs may be correlated with each other. In the present study, we propose a model for generating a time series with arbitrary functional forms of IET and burst size distributions. Then, we analytically derive the ACF for the model time series. In particular, by assuming that the IET and burst size are power-law distributed, we derive scaling relations between power-law exponents of the ACF decay, IET distribution, and burst size distribution. These analytical results are confirmed by numerical simulations. Our approach helps to rigorously and analytically understand the effects of correlations between arbitrarily many consecutive IETs on the decaying behavior of the ACF.


title: TIUP: Effective Processor Verification with Tautology-Induced Universal Properties

abstract: Design verification is a complex and costly task, especially for large and intricate processor projects. Formal verification techniques provide advantages by thoroughly examining design behaviors, but they require extensive labor and expertise in property formulation. Recent research focuses on verifying designs using the self-consistency universal property, reducing verification difficulty as it is design-independent. However, the single self-consistency property faces false positives and scalability issues due to exponential state space growth. To tackle these challenges, this paper introduces TIUP, a technique using tautologies as universal properties. We show how TIUP effectively uses tautologies as abstract specifications, covering processor data and control paths. TIUP simplifies and streamlines verification for engineers, enabling efficient formal processor verification.


title: The Web unpacked: a quantitative analysis of global Web usage

abstract: This paper presents a comprehensive analysis of global web usage patterns based on data from SimilarWeb, a leading source for estimating web traffic. Leveraging a dataset comprising over 250,000 websites, we estimate the total web traffic and investigate its distribution among domains and industry sectors. We detail the characteristics of the top 116 domains, which comprise an estimated one-third of all web traffic. Our analysis scrutinizes various attributes of these domains, including their content sources and types, access requirements, offline presence, and ownership features. Our analysis reveals a significant concentration of web traffic, with a diminutive number of top websites capturing the majority of visits. Search engines, news and media, social networks, streaming, and adult content emerge as primary attractors of web traffic, which is also highly concentrated on platforms and USA-owned websites. Much of the traffic goes to for-profit but mostly free-of-charge websites, highlighting the dominance of business models not based on paywalls.


title: Automorphism groups of parafermion vertex operator algebras: general case

abstract: We complete the program for determining the full automorphism groups of all parafermion vertex operator algebras associated with simple Lie algebras and positive integral levels. We show that the full automorphism group of the parafermion vertex operator algebra is isomorphic to the automorphism group of the associated root system for the remaining cases: (i) the level is at least $3$; (ii) the level is $2$ and the simple Lie algebra is non simply laced.


title: Rank-Preference Consistency as the Appropriate Metric for Recommender Systems

abstract: In this paper we argue that conventional unitary-invariant measures of recommender system (RS) performance based on measuring differences between predicted ratings and actual user ratings fail to assess fundamental RS properties. More specifically, posing the optimization problem as one of predicting exact user ratings provides only an indirect suboptimal approximation for what RS applications typically need, which is an ability to accurately predict user preferences. We argue that scalar measures such as RMSE and MAE with respect to differences between actual and predicted ratings are only proxies for measuring RS ability to accurately estimate user preferences. We propose what we consider to be a measure that is more fundamentally appropriate for assessing RS performance, rank-preference consistency, which simply counts the number of prediction pairs that are inconsistent with the user's expressed product preferences. For example, if an RS predicts the user will prefer product A over product B, but the user's withheld ratings indicate s/he prefers product B over A, then rank-preference consistency has been violated. Our test results conclusively demonstrate that methods tailored to optimize arbitrary measures such as RMSE are not generally effective at accurately predicting user preferences. Thus, we conclude that conventional methods used for assessing RS performance are arbitrary and misleading.


title: CLARE: Cognitive Load Assessment in REaltime with Multimodal Data

abstract: We present a novel multimodal dataset for Cognitive Load Assessment in REaltime (CLARE). The dataset contains physiological and gaze data from 24 participants with self-reported cognitive load scores as ground-truth labels. The dataset consists of four modalities, namely, Electrocardiography (ECG), Electrodermal Activity (EDA), Electroencephalogram (EEG), and Gaze tracking. To map diverse levels of mental load on participants during experiments, each participant completed four nine-minutes sessions on a computer-based operator performance and mental workload task (the MATB-II software) with varying levels of complexity in one minute segments. During the experiment, participants reported their cognitive load every 10 seconds. For the dataset, we also provide benchmark binary classification results with machine learning and deep learning models on two different evaluation schemes, namely, 10-fold and leave-one-subject-out (LOSO) cross-validation. Benchmark results show that for 10-fold evaluation, the convolutional neural network (CNN) based deep learning model achieves the best classification performance with ECG, EDA, and Gaze. In contrast, for LOSO, the best performance is achieved by the deep learning model with ECG, EDA, and EEG.


title: Unleashing the Potential of Fractional Calculus in Graph Neural Networks with FROND

abstract: We introduce the FRactional-Order graph Neural Dynamical network (FROND), a new continuous graph neural network (GNN) framework. Unlike traditional continuous GNNs that rely on integer-order differential equations, FROND employs the Caputo fractional derivative to leverage the non-local properties of fractional calculus. This approach enables the capture of long-term dependencies in feature updates, moving beyond the Markovian update mechanisms in conventional integer-order models and offering enhanced capabilities in graph representation learning. We offer an interpretation of the node feature updating process in FROND from a non-Markovian random walk perspective when the feature updating is particularly governed by a diffusion process. We demonstrate analytically that oversmoothing can be mitigated in this setting. Experimentally, we validate the FROND framework by comparing the fractional adaptations of various established integer-order continuous GNNs, demonstrating their consistently improved performance and underscoring the framework's potential as an effective extension to enhance traditional continuous GNNs. The code is available at \url{https://github.com/zknus/ICLR2024-FROND}.


title: Open-Set Video-based Facial Expression Recognition with Human Expression-sensitive Prompting

abstract: In Video-based Facial Expression Recognition (V-FER), models are typically trained on closed-set datasets with a fixed number of known classes. However, these V-FER models cannot deal with unknown classes that are prevalent in real-world scenarios. In this paper, we introduce a challenging Open-set Video-based Facial Expression Recognition (OV-FER) task, aiming at identifying not only known classes but also new, unknown human facial expressions not encountered during training. While existing approaches address open-set recognition by leveraging large-scale vision-language models like CLIP to identify unseen classes, we argue that these methods may not adequately capture the nuanced and subtle human expression patterns required by the OV-FER task. To address this limitation, we propose a novel Human Expression-Sensitive Prompting (HESP) mechanism to significantly enhance CLIP's ability to model video-based facial expression details effectively, thereby presenting a new CLIP-based OV-FER approach. Our proposed HESP comprises three components: 1) a textual prompting module with learnable prompt representations to complement the original CLIP textual prompts and enhance the textual representations of both known and unknown emotions, 2) a visual prompting module that encodes temporal emotional information from video frames using expression-sensitive attention, equipping CLIP with a new visual modeling ability to extract emotion-rich information, 3) a delicately designed open-set multi-task learning scheme that facilitates prompt learning and encourages interactions between the textual and visual prompting modules. Extensive experiments conducted on four OV-FER task settings demonstrate that HESP can significantly boost CLIP's performance (a relative improvement of 17.93% on AUROC and 106.18% on OSCR) and outperform other state-of-the-art open-set video understanding methods by a large margin.


title: PASGAL: Parallel And Scalable Graph Algorithm Library

abstract: In this paper, we introduce PASGAL (Parallel And Scalable Graph Algorithm Library), a parallel graph library that scales to a variety of graph types, many processors, and large graph sizes. One special focus of PASGAL is the efficiency on \textit{large-diameter graphs}, which is a common challenge for many existing parallel graph processing systems: many existing graph processing systems can be even slower than the standard sequential algorithm on large-diameter graphs due to the lack of parallelism. Such performance degeneration is caused by the high overhead in scheduling and synchronizing threads when traversing the graph in the breadth-first order. The core technique in PASGAL to achieve high parallelism is a technique called \textit{vertical granularity control (VGC)} to hide synchronization overhead, as well as careful redesign of parallel graph algorithms and data structures. In our experiments, we compare PASGAL with state-of-the-art parallel implementations on BFS, SCC, BCC, and SSSP. PASGAL achieves competitive performance on small-diameter graphs compared to the parallel baselines, and is significantly faster on large-diameter graphs.


title: An explicit construction of optimized interpolation points on the 4-simplex

abstract: In this work, a family of symmetric interpolation points are generated on the four-dimensional simplex (i.e. the pentatope). These points are optimized in order to minimize the Lebesgue constant. The process of generating these points closely follows that outlined by Warburton in "An explicit construction of interpolation nodes on the simplex," Journal of Engineering Mathematics, 2006. Here, Warburton generated optimal interpolation points on the triangle and tetrahedron by formulating explicit geometric warping and blending functions, and applying these functions to equidistant nodal distributions. The locations of the resulting points were Lebesgue-optimized. In our work, we extend this procedure to four dimensions, and construct interpolation points on the pentatope up to order ten. The Lebesgue constants of our nodal sets are calculated, and are shown to outperform those of equidistant nodal distributions.


title: Asymptotics for Sobolev extremals: the hyperdiffusive case

abstract: Let $\Omega$ be a bounded, smooth domain of $\mathbb{R}^{N},$ $N\geq2.$ For $p>N$ and $1\leq q(p)<\infty$ set \[ \lambda_{p,q(p)}:=\inf\left\{ \int_{\Omega}\left\vert \nabla u\right\vert ^{p}\mathrm{d}x:u\in W_{0}^{1,p}(\Omega)\text{ \ and \ }\int_{\Omega }\left\vert u\right\vert ^{q(p)}\mathrm{d}x=1\right\} \] and let $u_{p,q(p)}$ denote a corresponding positive extremal function. We show that if $\lim\limits_{p\rightarrow\infty}q(p)=\infty$, then $\lim\limits_{p\rightarrow\infty}\lambda_{p,q(p)}^{1/p}=\left\Vert d_{\Omega }\right\Vert _{\infty}^{-1}$, where $d_{\Omega}$ denotes the distance function to the boundary of $\Omega.$ Moreover, in the hyperdiffusive case: $\lim\limits_{p\rightarrow\infty}\frac{q(p)}{p}=\infty,$ we prove that each sequence $u_{p_{n},q(p_{n})},$ with $p_{n}\rightarrow\infty,$ admits a subsequence converging uniformly in $\overline{\Omega}$ to a viscosity solution to the problem \[ \left\{ \begin{array} [c]{lll} -\Delta_{\infty}u=0 & \text{in} & \Omega\setminus M\\ u=0 & \text{on} & \partial\Omega\\ u=1 & \text{in} & M, \end{array} \right. \] where $M$ is a closed subset of the set of all maximum points of $d_{\Omega}.$


title: Don't Look at the Camera: Achieving Perceived Eye Contact

abstract: We consider the question of how to best achieve the perception of eye contact when a person is captured by camera and then rendered on a 2D display. For single subjects photographed by a camera, conventional wisdom tells us that looking directly into the camera achieves eye contact. Through empirical user studies, we show that it is instead preferable to {\em look just below the camera lens}. We quantitatively assess where subjects should direct their gaze relative to a camera lens to optimize the perception that they are making eye contact.


title: Synthesizing Iris Images using Generative Adversarial Networks: Survey and Comparative Analysis

abstract: Biometric systems based on iris recognition are currently being used in border control applications and mobile devices. However, research in iris recognition is stymied by various factors such as limited datasets of bonafide irides and presentation attack instruments; restricted intra-class variations; and privacy concerns. Some of these issues can be mitigated by the use of synthetic iris data. In this paper, we present a comprehensive review of state-of-the-art GAN-based synthetic iris image generation techniques, evaluating their strengths and limitations in producing realistic and useful iris images that can be used for both training and testing iris recognition systems and presentation attack detectors. In this regard, we first survey the various methods that have been used for synthetic iris generation and specifically consider generators based on StyleGAN, RaSGAN, CIT-GAN, iWarpGAN, StarGAN, etc. We then analyze the images generated by these models for realism, uniqueness, and biometric utility. This comprehensive analysis highlights the pros and cons of various GANs in the context of developing robust iris matchers and presentation attack detectors.


title: Edge-connectivity between (edge-)ends of infinite graphs

abstract: In infinite graph theory, the notion of ends, first introduced by Freudenthal and Jung for locally finite graphs, plays an important role when generalizing statements from finite graphs to infinite ones. Nash-Willian's Tree-Packing Theorem and MacLane's Planarity Criteria are examples of results that allow a topological approach, in which ends might be considered as endpoints of rays. In fact, there are extensive works in the literature showing that classical theorems of (vertex-)connectivity for finite graphs can be discussed regarding ends, in a more general context. However, aiming to generalize results of edge-connectivity, this paper recalls the definition of edge-ends in infinite graphs due to Hahn, Laviolette and \v{S}ir\'a\v{n}. In terms of that object, we state an edge version of Menger's Theorem (following a previous work of Polat) and generalize the Lov\'asz-Cherkassky Theorem for infinite graphs with edge-ends (inspired by a paper of Jacobs, Jo\'o, Knappe, Kurkofka and Melcher).


title: Exploring Pre-trained General-purpose Audio Representations for Heart Murmur Detection

abstract: To reduce the need for skilled clinicians in heart sound interpretation, recent studies on automating cardiac auscultation have explored deep learning approaches. However, despite the demands for large data for deep learning, the size of the heart sound datasets is limited, and no pre-trained model is available. On the contrary, many pre-trained models for general audio tasks are available as general-purpose audio representations. This study explores the potential of general-purpose audio representations pre-trained on large-scale datasets for transfer learning in heart murmur detection. Experiments on the CirCor DigiScope heart sound dataset show that the recent self-supervised learning Masked Modeling Duo (M2D) outperforms previous methods with the results of a weighted accuracy of 0.832 and an unweighted average recall of 0.713. Experiments further confirm improved performance by ensembling M2D with other models. These results demonstrate the effectiveness of general-purpose audio representation in processing heart sounds and open the way for further applications. Our code is available online which runs on a 24 GB consumer GPU at https://github.com/nttcslab/m2d/tree/master/app/circor


title: Level attraction from interference in two-tone driving

abstract: Coherent and dissipative couplings, respectively characterised by energy level repulsion and attraction, each have different applications for quantum information processing. Thus, a system in which both coherent and dissipative couplings are tunable on-demand and in-situ is tantalising. A first step towards this goal is the two-tone driving of two bosonic modes, whose experimental signature was shown to exhibit controllable level repulsion and attraction by changing the phase and amplitude of one drive. However, whether the underlying physics is that of coherent and dissipative couplings has not been clarified, and cannot be concluded solely from the measured resonances (or anti-resonances) of the system. Here, we show how the physics at play can be analysed theoretically. Combining this theory with realistic finite-element simulations, we deduce that the observation of level attraction originates from interferences due to the measurement setup, and not dissipative coupling. Beyond the clarification of a novel origin for level attraction attributed to interference, our work demonstrate how effective Hamiltonians can be derived to appropriately describe the physics.


title: An adaptive linearized alternating direction multiplier method with a relaxation step for convex programming

abstract: Alternating direction multiplication is a powerful technique for solving convex optimisation problems. When challenging subproblems are encountered in the real world, it is useful to solve them by introducing neighbourhood terms. When the neighbourhood matrix is positive definite, the algorithm converges but at the same time makes the iteration step small. Recent studies have revealed the potential non-positive definiteness of the neighbourhood matrix. In this paper, we present an adaptive linearized alternating direction multiplier method with a relaxation step, combining the relaxation step with an adaptive technique. The novelty of the method is to use the information of the current iteration point to dynamically select the neighbourhood matrix, increase the iteration step size, and speed up the convergence of the algorithm.We prove the global convergence of the algorithm theoretically and illustrate the effectiveness of the algorithm using numerical experiments.


title: Software Vulnerability Prediction in Low-Resource Languages: An Empirical Study of CodeBERT and ChatGPT

abstract: Background: Software Vulnerability (SV) prediction in emerging languages is increasingly important to ensure software security in modern systems. However, these languages usually have limited SV data for developing high-performing prediction models. Aims: We conduct an empirical study to evaluate the impact of SV data scarcity in emerging languages on the state-of-the-art SV prediction model and investigate potential solutions to enhance the performance. Method: We train and test the state-of-the-art model based on CodeBERT with and without data sampling techniques for function-level and line-level SV prediction in three low-resource languages - Kotlin, Swift, and Rust. We also assess the effectiveness of ChatGPT for low-resource SV prediction given its recent success in other domains. Results: Compared to the original work in C/C++ with large data, CodeBERT's performance of function-level and line-level SV prediction significantly declines in low-resource languages, signifying the negative impact of data scarcity. Regarding remediation, data sampling techniques fail to improve CodeBERT; whereas, ChatGPT showcases promising results, substantially enhancing predictive performance by up to 34.4% for the function level and up to 53.5% for the line level. Conclusion: We have highlighted the challenge and made the first promising step for low-resource SV prediction, paving the way for future research in this direction.


title: Uniform bounds and the inviscid limit for the Navier-Stokes equations with Navier boundary conditions

abstract: We consider the vanishing viscosity problem for solutions of the Navier-Stokes equations with Navier boundary conditions in the half-space. We lower the currently known conormal regularity needed to establish that the inviscid limit holds. Our requirement for the Lipschitz initial data is that the first four conormal derivatives are bounded along with two for the gradient. In addition, we establish a new class of initial data for the local existence and uniqueness for the Euler equations in the half-space or a channel for initial data in the conormal space without conormal requirements on the gradient.


title: Local well-posedness of strong solutions to the 2D nonhomogeneous primitive equations with density-dependent viscosity

abstract: In this paper, we consider the initial-boundary value problem of the nonhomogeneous primitive equations with density-dependent viscosity. Local well-posedness of strong solutions is established for this system with a natural compatibility condition. The initial density does not need to be strictly positive and may contain vacuum. Meanwhile, we also give the corresponding blow-up criterion if the maximum existence interval with respect to the time is finite.


title: MER 2024: Semi-Supervised Learning, Noise Robustness, and Open-Vocabulary Multimodal Emotion Recognition

abstract: Multimodal emotion recognition is an important research topic in artificial intelligence. Over the past few decades, researchers have made remarkable progress by increasing dataset size and building more effective architectures. However, due to various reasons (such as complex environments and inaccurate annotations), current systems are hard to meet the demands of practical applications. Therefore, we organize a series of challenges around emotion recognition to further promote the development of this area. Last year, we launched MER2023, focusing on three topics: multi-label learning, noise robustness, and semi-supervised learning. This year, we continue to organize MER2024. In addition to expanding the dataset size, we introduce a new track around open-vocabulary emotion recognition. The main consideration for this track is that existing datasets often fix the label space and use majority voting to enhance annotator consistency, but this process may limit the model's ability to describe subtle emotions. In this track, we encourage participants to generate any number of labels in any category, aiming to describe the emotional state as accurately as possible. Our baseline is based on MERTools and the code is available at: https://github.com/zeroQiaoba/MERTools/tree/master/MER2024.


title: Upgraded free independence phenomena for random unitaries

abstract: We study upgraded free independence phenomena for unitary elements $u_1$, $u_2$, \dots representing the large-$n$ limit of Haar random unitaries, showing that free independence extends to several larger algebras containing $u_j$ in the ultraproduct of matrices $\prod_{n \to \mathcal{U}} M_n(\mathbb{C})$. Using a uniform asymptotic freeness argument and volumetric analysis, we prove free independence of the Pinsker algebras $\mathcal{P}_j$ containing $u_j$. The Pinsker algebra $\mathcal{P}_j$ is the maximal subalgebra containing $u_j$ with vanishing $1$-bounded entropy defined by Hayes; $\mathcal{P}_j$ in particular contains the relative commutant $\{u_j\}' \cap \prod_{n \to \mathcal{U}} M_n(\mathbb{C})$, more generally any unitary that can be connected to $u_j$ by a sequence of commuting pairs of Haar unitaries, and any unitary $v$ such that $v\mathcal{P}_j v^* \cap \mathcal{P}_j$ is diffuse. Through an embedding argument, we go back and deduce analogous free independence results for $\mathcal{M}^{\mathcal{U}}$ when $\mathcal{M}$ is a free product of Connes embeddable tracial von Neumann algebras $\mathcal{M}_i$, which thus yields (in the Connes-embeddable case) a generalization and a new proof of Houdayer--Ioana's results on free independence of approximate commutants. It also yields a new proof of the general absorption results for Connes-embeddable free products obtained by the first author, Hayes, Nelson, and Sinclair.


title: Resolving the size and charge of small particles: a predictive model of nanopore mechanics

abstract: The movement of small particles and molecules through membranes is widespread and has far-reaching implications. Consequently, the development of mathematical models is essential for understanding these processes on a micro level, leading to deeper insights. In this endeavour, we suggested a model based on a set of empirical equations to predict the transport of substances through a solid-state nanopore and the associated signals generated during their translocation. This model establishes analytical relationships between the ionic current and electrical double-layer potential observed during ana-lyte translocation and their size, charge, and mobility in an electrolyte solution. This framework allows for rapid interpretation and prediction of the nanopore system's behaviour and provides a means for quantitatively determining the physical properties of molecular analytes. To illustrate the analyt-ical capability of this model, ceria nanoparticles were investigated while undergoing oxidation or reduction within an original nanopore device. The re-sults obtained were found to be in good agreement with predictions from physicochemical methods. This developed approach and model possess transfer-able utility to various porous materials, thereby expediting research efforts in membrane characterization and the advancement of nano- and ultrafiltra-tion or electrodialysis technologies.


title: Topological remarks on end and edge-end spaces

abstract: The notion of ends in an infinite graph $G$ might be modified if we consider them as equivalence classes of infinitely edge-connected rays, rather than equivalence classes of infinitely (vertex-)connected ones. This alternative definition yields to the edge-end space $\Omega_E(G)$ of $G$, in which we can endow a natural (edge-)end topology. For every graph $G$, this paper proves that $\Omega_E(G)$ is homeomorphic to $\Omega(H)$ for some possibly another graph $H$, where $\Omega(H)$ denotes its usual end space. However, we also show that the converse statement does not hold: there is a graph $H$ such that $\Omega(H)$ is not homeomorphic to $\Omega_E(G)$ for any other graph $G$. In other words, as a main result, we conclude that the class of topological spaces $\Omega_E = \{\Omega_E(G) : G \text{ graph}\}$ is strictly contained in $\Omega = \{\Omega(H) : H \text{ graph}\}$.


title: Strategy of a separation technique for different particles with the same size and zeta potential: Application of non-additive Asakura-Oosawa theory

abstract: In this letter, we use knowledge gained from our recent study to present a technique for separation of nanoparticles such as exosomes, anticancer drugs, and vaccines. The technique involves adding non-adsorptive polymers to a system in which two types of nanoparticles with the same size and zeta potential are dispersed. The different types of nanoparticles can be separated based on differences in their hydrophobicities and softness of the polymer. Using the non-additive Asakura-Oosawa theory and assuming a realistic model system, we were able to separate the two types of the particles with the same size and zeta potential in the model system.


title: Localization of Pallets on Shelves Using Horizontal Plane Projection of a 360-degree Image

abstract: In this paper, we propose a method for calculating the three-dimensional (3D) position and orientation of a pallet placed on a shelf on the side of a forklift truck using a 360-degree camera. By using a 360-degree camera mounted on the forklift truck, it is possible to observe both the pallet at the side of the forklift and one several meters ahead. However, the pallet on the obtained image is observed with different distortion depending on its 3D position, so that it is difficult to extract the pallet from the image. To solve this problem, a method [1] has been proposed for detecting a pallet by projecting a 360-degree image on a vertical plane that coincides with the front of the shelf to calculate an image similar to the image seen from the front of the shelf. At the same time as the detection, the approximate position and orientation of the detected pallet can be obtained, but the accuracy is not sufficient for automatic control of the forklift truck. In this paper, we propose a method for accurately detecting the yaw angle, which is the angle of the front surface of the pallet in the horizontal plane, by projecting the 360-degree image on a horizontal plane including the boundary line of the front surface of the detected pallet. The position of the pallet is also determined by moving the vertical plane having the detected yaw angle back and forth, and finding the position at which the degree of coincidence between the projection image on the vertical plane and the actual size of the front surface of the pallet is maximized. Experiments using real images taken in a laboratory and an actual warehouse have confirmed that the proposed method can calculate the position and orientation of a pallet within a reasonable calculation time and with the accuracy necessary for inserting the fork into the hole in the front of the pallet.


title: Revisiting Bounds on Primordial Black Hole as Dark Matter with X-ray Background

abstract: Within the mass range of $10^{16}-5\times 10^{18}$ g, primordial black holes (PBHs) persist as plausible candidates for dark matter. Our study involves a reassessment of the constraints on PBHs through a comparative analysis of the cosmic X-ray background (CXB) and the emissions arising from their Hawking evaporation. We identify previously overlooked radiation processes across the relevant energy bands, potentially refining the bounds on PBHs. These processes encompass the direct emission from Hawking radiation, in-flight annihilation, the final state of radiation, and positronium annihilation. Thorough consideration is given to all these processes and their respective emission fractions, followed by a precise calculation of the $\mathcal{D}$ factor for observations directed towards the high-latitude Galactic contribution. Furthermore, we integrate the flux originating from extragalactic sources, both of which contribute to the measured isotropic flux. Through a comparative analysis of data derived from previous CXB observations utilizing an Active Galactic Nuclei (AGN) double power-law model, we establish the most stringent constraints for PBHs, thereby excluding the possibility of PBHs constituting the entire dark matter mass within the range of $2.5\times 10^{17}-3 \times 10^{17} $g.


title: Talking Nonsense: Probing Large Language Models' Understanding of Adversarial Gibberish Inputs

abstract: Large language models (LLMs) exhibit excellent ability to understand human languages, but do they also understand their own language that appears gibberish to us? In this work we delve into this question, aiming to uncover the mechanisms underlying such behavior in LLMs. We employ the Greedy Coordinate Gradient optimizer to craft prompts that compel LLMs to generate coherent responses from seemingly nonsensical inputs. We call these inputs LM Babel and this work systematically studies the behavior of LLMs manipulated by these prompts. We find that the manipulation efficiency depends on the target text's length and perplexity, with the Babel prompts often located in lower loss minima compared to natural prompts. We further examine the structure of the Babel prompts and evaluate their robustness. Notably, we find that guiding the model to generate harmful texts is not more difficult than into generating benign texts, suggesting lack of alignment for out-of-distribution prompts.


title: Oberwolfach Workshop Report: Analysis, Geometry and Topology of Positive Scalar Curvature Metrcs: Limits of sequences of manifolds with nonnegative scalar curvature and other hypotheses

abstract: This report contains a survey of examples of sequences of manifolds with nonnegative scalar curvature including an extreme example with Wenchuan Tian and Changliang Wang. It announces a paper with Wenchaun Tian proving the GH and SWIF convergence of the extreme example. It contains six Open Questions concerning such sequences.


title: 2M-NER: Contrastive Learning for Multilingual and Multimodal NER with Language and Modal Fusion

abstract: Named entity recognition (NER) is a fundamental task in natural language processing that involves identifying and classifying entities in sentences into pre-defined types. It plays a crucial role in various research fields, including entity linking, question answering, and online product recommendation. Recent studies have shown that incorporating multilingual and multimodal datasets can enhance the effectiveness of NER. This is due to language transfer learning and the presence of shared implicit features across different modalities. However, the lack of a dataset that combines multilingualism and multimodality has hindered research exploring the combination of these two aspects, as multimodality can help NER in multiple languages simultaneously. In this paper, we aim to address a more challenging task: multilingual and multimodal named entity recognition (MMNER), considering its potential value and influence. Specifically, we construct a large-scale MMNER dataset with four languages (English, French, German and Spanish) and two modalities (text and image). To tackle this challenging MMNER task on the dataset, we introduce a new model called 2M-NER, which aligns the text and image representations using contrastive learning and integrates a multimodal collaboration module to effectively depict the interactions between the two modalities. Extensive experimental results demonstrate that our model achieves the highest F1 score in multilingual and multimodal NER tasks compared to some comparative and representative baselines. Additionally, in a challenging analysis, we discovered that sentence-level alignment interferes a lot with NER models, indicating the higher level of difficulty in our dataset.


title: Text Sentiment Analysis and Classification Based on Bidirectional Gated Recurrent Units (GRUs) Model

abstract: This paper explores the importance of text sentiment analysis and classification in the field of natural language processing, and proposes a new approach to sentiment analysis and classification based on the bidirectional gated recurrent units (GRUs) model. The study firstly analyses the word cloud model of the text with six sentiment labels, and then carries out data preprocessing, including the steps of removing special symbols, punctuation marks, numbers, stop words and non-alphabetic parts. Subsequently, the data set is divided into training set and test set, and through model training and testing, it is found that the accuracy of the validation set is increased from 85% to 93% with training, which is an increase of 8%; at the same time, the loss value of the validation set decreases from 0.7 to 0.1 and tends to be stable, and the model is gradually close to the actual value, which can effectively classify the text emotions. The confusion matrix shows that the accuracy of the model on the test set reaches 94.8%, the precision is 95.9%, the recall is 99.1%, and the F1 score is 97.4%, which proves that the model has good generalisation ability and classification effect. Overall, the study demonstrated an effective method for text sentiment analysis and classification with satisfactory results.


title: Improving flux ratio anomaly precision by measuring gravitational lens multipole moments with extended arcs

abstract: In a strong gravitational lens, perturbations by low-mass dark matter halos can be detected by differences between the measured image fluxes relative to the expectation from a smooth model for the mass distribution which contains only the gravitational effects of the main deflector. The abundance of these low-mass structures can be used to constrain the properties of dark matter. Traditionally only the lensed quasar positions have been to predict the smooth-model flux ratios. We demonstrate that significant additional information can be gained by using the lensed quasar host galaxy which appears as an extended arc and constrains the smooth-model over a much larger angular area. We simulate Hubble Space Telescope-quality mock observations based on the lensing system WGD2038-4008 and we compare the model-predicted flux ratio precision and accuracy for two cases; one of which the inference is based only on the lensed quasar image positions, and the other based on the extended arcs as well as lensed quasar image positions. For our mock lens systems we include both elliptical, and higher order m=3 and m=4 multipole terms in the smooth-mass distributions with amplitudes based on the optically measured shapes of massive elliptical galaxies. We find that the extended arcs improve the precision of the model-predicted flux ratios by a factor of 6-8, depending on the strength of the multipole terms. Furthermore, with the extended arcs, we are also able to accurately recover the m=3, 4 mass multipole strengths and angles $a_3/a$, $a_4/a$, $\phi_3-\phi_0$, and $\phi_4-\phi_0$ to a precision of 0.002, 0.002, $3^\circ$ and $3^\circ$, respectively. This work implies that lensed arcs can constrain deviations from ellipticity in strong lens systems, and potentially lead to more robust constraints on substructure properties from flux ratios.


title: Misaka: Interactive Swarm Testbed for Smart Grid Distributed Algorithm Test and Evaluation

abstract: In this paper, we present Misaka, a visualized swarm testbed for smart grid algorithm evaluation, also an extendable open-source open-hardware platform for developing tabletop tangible swarm interfaces. The platform consists of a collection of custom-designed 3 omni-directional wheels robots each 10 cm in diameter, high accuracy localization through a microdot pattern overlaid on top of the activity sheets, and a software framework for application development and control, while remaining affordable (per unit cost about 30 USD at the prototype stage). We illustrate the potential of tabletop swarm user interfaces through a set of smart grid algorithm application scenarios developed with Misaka.


title: Deep Evidential Learning for Dose Prediction

abstract: In this work, we present a novel application of an uncertainty-quantification framework called Deep Evidential Learning in the domain of radiotherapy dose prediction. Using medical images of the Open Knowledge-Based Planning Challenge dataset, we found that this model can be effectively harnessed to yield uncertainty estimates that inherited correlations with prediction errors upon completion of network training. This was achieved only after reformulating the original loss function for a stable implementation. We found that (i)epistemic uncertainty was highly correlated with prediction errors, with various association indices comparable or stronger than those for Monte-Carlo Dropout and Deep Ensemble methods, (ii)the median error varied with uncertainty threshold much more linearly for epistemic uncertainty in Deep Evidential Learning relative to these other two conventional frameworks, indicative of a more uniformly calibrated sensitivity to model errors, (iii)relative to epistemic uncertainty, aleatoric uncertainty demonstrated a more significant shift in its distribution in response to Gaussian noise added to CT intensity, compatible with its interpretation as reflecting data noise. Collectively, our results suggest that Deep Evidential Learning is a promising approach that can endow deep-learning models in radiotherapy dose prediction with statistical robustness. Towards enhancing its clinical relevance, we demonstrate how we can use such a model to construct the predicted Dose-Volume-Histograms' confidence intervals.


title: Exploring the properties of photosphere and emission lines for tidal disruption events based on the global solution of slim disk and winds

abstract: The theoretical debris supply rate from a tidal disruption of stars can exceed about one hundred times of the Eddington accretion rate for a $10^{6-7}M_{\odot}$ supermassive black hole (SMBH). It is believed that a strong wind will be launched from the disk surface due to the radiation pressure in the case of super-Eddington accretion, which may be one of the mechanisms for formation of the envelope as observed in tidal disruption events (TDEs). In this work, we explore the evolution of the envelope that formed from the optical thick winds by solving the global solution of the slim-disk model. Our model can roughly reproduce the typical temperature, luminosity and size of the photosphere for TDEs. Based on \texttt{CLOUDY} modeling, we find that, if only considering the radiation-driven disk wind, the emission line luminosities are normally much lower than the typical observational results due to the limited atmosphere mass outside the envelope. We propose that the ejection of the outflow from the self-collision of the stellar debris during the circularization may provide enough matter outside the disk-wind photosphere. Our calculated spectra can roughly reproduce the main properties of several typical emission lines (e.g., $\rm H\alpha$, $\rm H\beta$ and \ion{He}{2}), which was applied well to a TDE candidate AT2018dyb.


title: Simple Network Mechanism Leads to Quasi-Real Brain Activation Patterns with Drosophila Connectome

abstract: Considering the high computational demands of most methods, using network communication models to simulate the brain is a more economical way. However, there is still insufficient evidence that they can effectively replicate the brains' real activation patterns. Moreover, it remains unclear whether actual network structures are crucial in simulating intelligence. Addressing these issues, we propose a large scale network communication model based on simple rules and design criteria to assess the differences between network models and real situations. To enhance the connection with the real world, we also incorporate an improved neuron dynamic model. We conduct research on the biggest adult Drosophila connectome data set. Experimental results show significant activation in neurons that should respond to stimulus and slight activation in irrelevant ones, which we call quasi-real activation pattern. Besides, when changing the network structure, the quasi-activation patterns disappear. Interestingly, activation regions have shorter network distances to their input neurons, implying that the network structure (not spatial distance) is the core to form brain functionality. In addition, giving input neurons a unilateral stimulus, we observe a bilateral response, which is consistent with reality. Then we find that both hemispheres have extremely similar statistical indicators. We also develop real-time 3D large spatial network visualization software to observe experimental phenomena, filling the software gap. This research reveals network models' power: it can reach the quasi-activation pattern with simple rules. Besides, it proves network structure matters in brain activity pattern generation. Future research could fully simulate brain behavior through network models, paving the way for artificial intelligence by developing new propagation rules and optimizing link weights.


title: Process Mining Embeddings: Learning Vector Representations for Petri Nets

abstract: Process mining offers powerful techniques for discovering, analyzing, and enhancing real-world business processes. In this context, Petri nets provide an expressive means of modeling process behavior. However, directly analyzing and comparing intricate Petri net presents challenges. This study introduces PetriNet2Vec, a novel unsupervised methodology based on Natural Language Processing concepts inspired by Doc2Vec and designed to facilitate the effective comparison, clustering, and classification of process models represented as embedding vectors. These embedding vectors allow us to quantify similarities and relationships between different process models. Our methodology was experimentally validated using the PDC Dataset, featuring 96 diverse Petri net models. We performed cluster analysis, created UMAP visualizations, and trained a decision tree to provide compelling evidence for the capability of PetriNet2Vec to discern meaningful patterns and relationships among process models and their constituent tasks. Through a series of experiments, we demonstrated that PetriNet2Vec was capable of learning the structure of Petri nets, as well as the main properties used to simulate the process models of our dataset. Furthermore, our results showcase the utility of the learned embeddings in two crucial downstream tasks within process mining enhancement: process classification and process retrieval.


title: Ultralow-Power Single-Sensor-Based E-Nose System Powered by Duty Cycling and Deep Learning for Real-Time Gas Identification

abstract: This study presents a novel, ultralow-power single-sensor-based electronic nose (e-nose) system for real-time gas identification, distinguishing itself from conventional sensor-array-based e-nose systems whose power consumption and cost increase with the number of sensors. Our system employs a single metal oxide semiconductor (MOS) sensor built on a suspended 1D nanoheater, driven by duty cycling-characterized by repeated pulsed power inputs. The sensor's ultrafast thermal response, enabled by its small size, effectively decouples the effects of temperature and surface charge exchange on the MOS nanomaterial's conductivity. This provides distinct sensing signals that alternate between responses coupled with and decoupled from the thermally enhanced conductivity, all within a single time domain during duty cycling. The magnitude and ratio of these dual responses vary depending on the gas type and concentration, facilitating the early-stage gas identification of five gas types within 30 s via a convolutional neural network (classification accuracy = 93.9%, concentration regression error = 19.8%). Additionally, the duty-cycling mode significantly reduces power consumption by up to 90%, lowering it to 160 $\mu$W to heat the sensor to 250$^\circ$C. Manufactured using only wafer-level batch microfabrication processes, this innovative e-nose system promises the facile implementation of battery-driven, long-term, and cost-effective IoT monitoring systems.


title: Notes on a conjecture by Paszkiewicz on an ordered product of positive contractions

abstract: Paszkiewicz's conjecture asserts that given a decreasing sequence $T_1\ge T_2\ge \dots$ of positive contractions on a separable infinite-dimensional Hilbert space $H$, the product $S_n=T_nT_{n-1}\cdots T_1$ converges in the strong operator topology. In these notes, we give an equivalent, more precise formulation of his conjecture. Moreover, we show that the conjecture is true for the following two cases: (1) $1$ is not in the essential spectrum of $T_n$ for some $n\in \mathbb{N}$. (2) The von Neumann algebra generated by $\{T_n\mid n\in \mathbb{N}\}$ admits a faithful normal tracial state. We also remark that the analogous conjecture for the weak convergence is true.


title: Bound state in the continuum and polarization-insensitive electric mirror in low-contrast metasurface

abstract: High-contrast refractive indexes are pivotal in dielectric metasurfaces for inducing various exotic phenomena, such as the bound state in the continuum (BIC) and electric mirror (EM). However, the limitations of high-index materials are adverse to the practical applications, thus low-contrast metasurfaces with comparable performance are highly desired. Here we present a low-contrast dielectric metasurface comprising radially anisotropic cylinders, which are SiO2 cylinders doped with a small amount of WS2. The cylinder exhibits unidirectional forward superscattering originating from the overlapping of the electric and magnetic dipole resonances. When normal illumination by a near-infrared plane wave, the metasurface consisting of the superscattering constituents manifests a polarization-insensitive EM. Conversely, when subjected to an in-plane incoming wave, the metasurface generates a symmetry-protected BIC characterized by an ultrahigh Q factor and nearly negligible out-of-plane energy radiation. Our work highlights the doping approach as an efficient strategy for designing low-contrast functional metasurfaces and sheds new light on the potential applications in photonic integrated circuits and on-chip optical communication.


title: Converging TDDFT calculations in 5 iterations with minimal auxiliary preconditioning

abstract: Eigenvalue problems and linear systems of equations involving large symmetric matrices are commonly solved in quantum chemistry using Krylov space methods, such as the Davidson algorithm. The preconditioner is a key component of Krylov space methods that accelerates convergence by improving the quality of new guesses at each iteration. We systematically design a new preconditioner for time-dependent density functional theory (TDDFT) calculations based on the recently introduced TDDFT-ris semiempirical model by re-tuning the empirical scaling factor and the angular momenta of a minimal auxiliary basis. The final preconditioner produced includes up to $d$-functions in the auxiliary basis and is named "rid". The rid preconditioner converges excitation energies and polarizabilities in 5-6 iterations on average, a factor of 2-3 faster than the conventional diagonal preconditioner, without changing the converged results. Thus, the rid preconditioner is a broadly applicable and efficient preconditioner for TDDFT calculations.


title: Boundedness of log Fano cone singularities and discreteness of local volumes

abstract: We prove that in any fixed dimension, K-semistable log Fano cone singularities whose volumes are bounded from below by a fixed positive number form a bounded set. As a consequence, we show that the set of local volumes of klt singularities of a fixed dimension has zero as the only accumulation point.


title: Hausdorff dimension of some exceptional sets in L\"{u}roth expansions

abstract: In this paper, we study the metrical theory of the growth rate of digits in L\"{u}roth expansions. More precisely, for $ x\in \left( 0,1 \right] $, let $ \left[ d_1\left( x \right) ,d_2\left( x \right) ,\cdots \right] $ denote the L\"{u}roth expansion of $ x $, we completely determine the Hausdorff dimension of the following sets \begin{align*} E_{\mathrm{sup}}\left( \psi \right) =\Big\{ x\in \left( 0,1 \right] :\limsup\limits_{n\rightarrow \infty}\frac{\log d_n\left( x \right)}{\psi \left( n \right)}=1 \Big\} , \end{align*} \begin{align*} E\left( \psi \right) =\Big\{ x\in \left( 0,1 \right] :\lim_{n\rightarrow \infty}\frac{\log d_n\left( x \right)}{\psi \left( n \right)}=1 \Big\} \end{align*} and \begin{align*} E_{\mathrm{inf}}\left( \psi \right) =\Big\{ x\in \left( 0,1 \right] : \liminf_{n\rightarrow \infty}\frac{\log d_n\left( x \right)}{\psi \left( n \right)}=1 \Big\} , \end{align*} where $ \psi :\mathbb{N} \rightarrow \mathbb{R} ^+ $ is an arbitrary function satisfying $ \psi \left( n \right) \rightarrow \infty$ as $n\rightarrow \infty$.


title: Automated Data Visualization from Natural Language via Large Language Models: An Exploratory Study

abstract: The Natural Language to Visualization (NL2Vis) task aims to transform natural-language descriptions into visual representations for a grounded table, enabling users to gain insights from vast amounts of data. Recently, many deep learning-based approaches have been developed for NL2Vis. Despite the considerable efforts made by these approaches, challenges persist in visualizing data sourced from unseen databases or spanning multiple tables. Taking inspiration from the remarkable generation capabilities of Large Language Models (LLMs), this paper conducts an empirical study to evaluate their potential in generating visualizations, and explore the effectiveness of in-context learning prompts for enhancing this task. In particular, we first explore the ways of transforming structured tabular data into sequential text prompts, as to feed them into LLMs and analyze which table content contributes most to the NL2Vis. Our findings suggest that transforming structured tabular data into programs is effective, and it is essential to consider the table schema when formulating prompts. Furthermore, we evaluate two types of LLMs: finetuned models (e.g., T5-Small) and inference-only models (e.g., GPT-3.5), against state-of-the-art methods, using the NL2Vis benchmarks (i.e., nvBench). The experimental results reveal that LLMs outperform baselines, with inference-only models consistently exhibiting performance improvements, at times even surpassing fine-tuned models when provided with certain few-shot demonstrations through in-context learning. Finally, we analyze when the LLMs fail in NL2Vis, and propose to iteratively update the results using strategies such as chain-of-thought, role-playing, and code-interpreter. The experimental results confirm the efficacy of iterative updates and hold great potential for future study.


title: Global existence and geometry of constant mass aspect function foliation in perturbed Schwarzschild spacetime

abstract: The constant mass function foliation has been shown useful for studying the null Penrose inequality on a null hypersurface, because of the monotonicity formula of Hawking mass along such a foliation. In this paper, we show the global existence of the constant mass aspect function foliation on a nearly spherically symmetric incoming null hypersurface, emanating from a spacelike surface near the apparent horizon to the past null infinity in a vacuum perturbed Schwarzschild spacetime. Moreover, we study the geometry of the constant mass aspect function foliation, by comparing with the spherically symmetric foliation in the Schwarzschild spacetime. The knowledge about the geometry of the foliation is essential for investigating the perturbation of the constant mass aspect function foliation, which is the core in the application to the null Penrose inequality for a vacuum perturbed Schwarzschild spacetime.


title: Sub-6GHz Assisted mmWave Hybrid Beamforming with Heterogeneous Graph Neural Network

abstract: In next-generation communications, sub-6GHz and millimeter-wave (mmWave) links typically coexist, with the sub-6GHz link always active and the mmWave link active when high-rate transmission is required. Due to the spatial similarities between sub-6GHz and mmWave channels, sub-6GHz channel information can be utilized to support hybrid beamforming in mmWave communications to reduce overhead costs. We consider a multi-cell heterogeneous communication network where both sub-6GHz and mmWave communications co-exist. Multiple mmWave base stations (BSs) in the heterogeneous network simultaneously transmit signals to multiple users in their own mmWave cells while interfering with each other. The challenging problem is to design hybrid beamformers in the mmWave band that can maximize the system spectral efficiency. To address this highly complex programming using sub-6GHz information, a novel heterogeneous graph neural network (HGNN) architecture is proposed to learn the intrinsic relationship between sub-6GHz and mmWave and design the hybrid beamformers for mmWave BSs. The proposed HGNN consists of two different node types, namely, BS nodes and user equipment (UE) nodes, and two different edge types, namely, desired link edge and interfering link edge. In addition, the attention mechanism and the residual structure are utilized in the HGNN architecture to improve the performance. Simulation results show that the proposed HGNN can successfully achieve better performances with sub-6GHz information than traditional learning methods. The results also demonstrate that the attention mechanism and residual structure improve the performances of the HGNN compared to its unmodified counterparts.


title: A Central Pattern Generator Network for Simple Control of Gait Transitions in Hexapod Robots based on Phase Reduction

abstract: We present a model of the central pattern generator (CPG) network that can control gait transitions in hexapod robots in a simple manner based on phase reduction. The CPG network consists of six weakly coupled limit-cycle oscillators, whose synchronization dynamics can be described by six phase equations through phase reduction. Focusing on the transitions between the hexapod gaits with specific symmetries, the six phase equations of the CPG network can further be reduced to two independent equations for the phase differences. By choosing appropriate coupling functions for the network, we can achieve desired synchronization dynamics regardless of the detailed properties of the limit-cycle oscillators used for the CPG. The effectiveness of our CPG network is demonstrated by numerical simulations of gait transitions between the wave, tetrapod, and tripod gaits, using the FitzHugh-Nagumo oscillator as the CPG unit.


title: Small Language Models Need Strong Verifiers to Self-Correct Reasoning

abstract: Self-correction has emerged as a promising solution to boost the reasoning performance of large language models (LLMs), where LLMs refine their solutions using self-generated critiques that pinpoint the errors. This work explores whether small (<= 13B) language models (LMs) have the ability of self-correction on reasoning tasks with minimal inputs from stronger LMs. We propose a novel pipeline that prompts smaller LMs to collect self-correction data that supports the training of self-refinement abilities. First, we leverage correct solutions to guide the model in critiquing their incorrect responses. Second, the generated critiques, after filtering, are used for supervised fine-tuning of the self-correcting reasoner through solution refinement. Our experimental results show improved self-correction abilities of two models on five datasets spanning math and commonsense reasoning, with notable performance gains when paired with a strong GPT-4-based verifier, though limitations are identified when using a weak self-verifier for determining when to correct.


title: Bridging theory and observations in stellar pulsations: The impact of convection and metallicity on the instability strips of Classical and Type-II Cepheids

abstract: The effect of metallicity on the theoretical and empirical period-luminosity (PL) relations of Cepheid variables is not well understood and remains a highly debated issue. Here, we examine empirical colour-magnitude diagrams (CMDs) of Classical and Type-II Cepheids in the Magellanic Clouds and compare those with the theoretically predicted instability strip (IS) edges. We explore the effects of incorporating turbulent flux, turbulent pressure, and radiative cooling into the convection theory on the predicted IS at various metallicities using MESA-RSP. We find that the edges become redder with the increasing complexity of convection physics incorporated in the fiducial convection sets, and are similarly shifted to the red with increasing metallicity. The inclusion of turbulent flux and pressure improves the agreement of the red edge of the IS, while their exclusion leads to better agreement with observations of the blue edge. About 90% of observed stars are found to fall within the predicted bluest and reddest edges across the considered variations of turbulent convection parameters. Furthermore, we identify and discuss discrepancies between theoretical and observed CMDs in the low effective temperature and high luminosity regions for stars with periods greater than ~ 20 days. These findings highlight the potential for calibrating the turbulent convection parameters in stellar pulsation models or the prediction of a new class of rare, long-period, 'red Cepheids', thereby improving our understanding of Cepheids and their role in cosmological studies.


title: Automated Quantum Circuit Generation for Computing Inverse Hash Functions

abstract: Several cryptographic systems depend upon the computational difficulty of reversing cryptographic hash functions. Robust hash functions transform inputs to outputs in such a way that the inputs cannot be later retrieved in a reasonable amount of time even if the outputs and the function that created them are known. Consequently, hash functions can be cryptographically secure, and they are employed in encryption, authentication, and other security methods. It has been suggested that such cryptographically-secure hash functions will play a critical role in the era of post-quantum cryptography (PQC), as they do in conventional systems. In this work, we introduce a procedure that leverages the principle of reversibility to generate circuits that invert hash functions. We provide a proof-of-concept implementation and describe methods that allow for scaling the hash function inversion approach. Specifically, we implement one manifestation of the algorithm as part of a more general automated quantum circuit synthesis, compilation, and optimization toolkit. We illustrate production of reversible circuits for crypto-hash functions that inherently provide the inverse of the function, and we describe data structures that increase the scalability of the hash function inversion approach.


title: Quantifying Memorization of Domain-Specific Pre-trained Language Models using Japanese Newspaper and Paywalls

abstract: Dominant pre-trained language models (PLMs) have been successful in high-quality natural language generation. However, the analysis of their generation is not mature: do they acquire generalizable linguistic abstractions, or do they simply memorize and recover substrings of the training data? Especially, few studies focus on domain-specific PLM. In this study, we pre-trained domain-specific GPT-2 models using a limited corpus of Japanese newspaper articles and quantified memorization of training data by comparing them with general Japanese GPT-2 models. Our experiments revealed that domain-specific PLMs sometimes "copy and paste" on a large scale. Furthermore, we replicated the empirical finding that memorization is related to duplication, model size, and prompt length, in Japanese the same as in previous English studies. Our evaluations are relieved from data contamination concerns by focusing on newspaper paywalls, which prevent their use as training data. We hope that our paper encourages a sound discussion such as the security and copyright of PLMs.


title: Sensor Response-Time Reduction using Long-Short Term Memory Network Forecasting

abstract: The response time of a biosensor is a crucial metric in safety-critical applications such as medical diagnostics where an earlier diagnosis can markedly improve patient outcomes. However, the speed at which a biosensor reaches a final equilibrium state can be limited by poor mass transport and long molecular diffusion times that increase the time it takes target molecules to reach the active sensing region of a biosensor. While optimization of system and sensor design can promote molecules reaching the sensing element faster, a simpler and complementary approach for response time reduction that is widely applicable across all sensor platforms is to use time-series forecasting to predict the ultimate steady-state sensor response. In this work, we show that ensembles of long short-term memory (LSTM) networks can accurately predict equilibrium biosensor response from a small quantity of initial time-dependent biosensor measurements, allowing for significant reduction in response time by a mean and median factor of improvement of 18.6 and 5.1, respectively. The ensemble of models also provides simultaneous estimation of uncertainty, which is vital to provide confidence in the predictions and subsequent safety-related decisions that are made. This approach is demonstrated on real-time experimental data collected by exposing porous silicon biosensors to buffered protein solutions using a multi-channel fluidic cell that enables the automated measurement of 100 porous silicon biosensors in parallel. The dramatic improvement in sensor response time achieved using LSTM network ensembles and associated uncertainty quantification opens the door to trustworthy and faster responding biosensors, enabling more rapid medical diagnostics for improved patient outcomes and healthcare access, as well as quicker identification of toxins in food and the environment.


title: Finite volume simulation of a semi-linear Neumann problem (Keller-Segel model) on rectangular domains

abstract: In this study, the finite volume method is implemented for solving the problem of the semilinear equation: $-d \delta u+ u=u^q (d, q>0) $with a homogeneous Neumann boundary condition. This problem is equivalent to the known stationary Keller-Segel model, which arises in chemotaxis.After discretization, a nonlinear algebraic system is obtained and solved on the platform Matlab. As a result, many single peaked and multi-peaked shapes in 3D and contour plots can be drawn depending on the parameters d and q.


title: Twisted Magnetic Van der Waals Bilayers: An Ideal Platform for Altermagnetism

abstract: We introduce a universal methodology for generating and manipulating altermagnetism in two-dimensional (2D) magnetic van der Waals (MvdW) materials through twisting. We find that a key in-plane 2-fold rotational operation can be achieved in a twisted bilayer of any 2D MvdW material, which takes one of all five 2D Bravais lattices, thereby inducing altermagnetism. By choosing the constituent MvdW monolayer with specific symmetry, our approach can tailor altermagnetism of any type, such as $d$-wave, $g$-wave, and $i$-wave. Furthermore, the properties of our twisted altermagnetic materials can be easily engineered. Taking a transition-metal oxyhalide VOBr as an example, we find that by tuning the twist angle and Fermi level a giant spin Hall angle can be obtained, much larger than the experimentally reported. This approach establishes a general, robust, and adjustable platform to explore altermagnetism, and provides a new efficient way to generate and manipulate the spin current.


title: On the Federated Learning Framework for Cooperative Perception

abstract: Cooperative perception is essential to enhance the efficiency and safety of future transportation systems, requiring extensive data sharing among vehicles on the road, which raises significant privacy concerns. Federated learning offers a promising solution by enabling data privacy-preserving collaborative enhancements in perception, decision-making, and planning among connected and autonomous vehicles (CAVs). However, federated learning is impeded by significant challenges arising from data heterogeneity across diverse clients, potentially diminishing model accuracy and prolonging convergence periods. This study introduces a specialized federated learning framework for CP, termed the federated dynamic weighted aggregation (FedDWA) algorithm, facilitated by dynamic adjusting loss (DALoss) function. This framework employs dynamic client weighting to direct model convergence and integrates a novel loss function that utilizes Kullback-Leibler divergence (KLD) to counteract the detrimental effects of non-independently and identically distributed (Non-IID) and unbalanced data. Utilizing the BEV transformer as the primary model, our rigorous testing on the OpenV2V dataset, augmented with FedBEVT data, demonstrates significant improvements in the average intersection over union (IoU). These results highlight the substantial potential of our federated learning framework to address data heterogeneity challenges in CP, thereby enhancing the accuracy of environmental perception models and facilitating more robust and efficient collaborative learning solutions in the transportation sector.


title: Direct Regression of Distortion Field from a Single Fingerprint Image

abstract: Skin distortion is a long standing challenge in fingerprint matching, which causes false non-matches. Previous studies have shown that the recognition rate can be improved by estimating the distortion field from a distorted fingerprint and then rectifying it into a normal fingerprint. However, existing rectification methods are based on principal component representation of distortion fields, which is not accurate and are very sensitive to finger pose. In this paper, we propose a rectification method where a self-reference based network is utilized to directly estimate the dense distortion field of distorted fingerprint instead of its low dimensional representation. This method can output accurate distortion fields of distorted fingerprints with various finger poses. Considering the limited number and variety of distorted fingerprints in the existing public dataset, we collected more distorted fingerprints with diverse finger poses and distortion patterns as a new database. Experimental results demonstrate that our proposed method achieves the state-of-the-art rectification performance in terms of distortion field estimation and rectified fingerprint matching.


title: Pose-Specific 3D Fingerprint Unfolding

abstract: In order to make 3D fingerprints compatible with traditional 2D flat fingerprints, a common practice is to unfold the 3D fingerprint into a 2D rolled fingerprint, which is then matched with the flat fingerprints by traditional 2D fingerprint recognition algorithms. The problem with this method is that there may be large elastic deformation between the unfolded rolled fingerprint and flat fingerprint, which affects the recognition rate. In this paper, we propose a pose-specific 3D fingerprint unfolding algorithm to unfold the 3D fingerprint using the same pose as the flat fingerprint. Our experiments show that the proposed unfolding algorithm improves the compatibility between 3D fingerprint and flat fingerprint and thus leads to higher genuine matching scores.


title: A concentration phenomenon for $h$-extra edge-connectivity reliability analysis of enhanced hypercubes Q_{n,2} with exponentially many faulty links

abstract: Reliability assessment of interconnection networks is critical to the design and maintenance of multiprocessor systems. The (n, k)-enhanced hypercube Q_{n,k} as a variation of the hypercube Q_{n}, was proposed by Tzeng and Wei in 1991. As an extension of traditional edge-connectivity, h-extra edge-connectivity of a connected graph G, \lambda_h(G), is an essential parameter for evaluating the reliability of interconnection networks. This article intends to study the h-extra edge-connectivity of the (n,2)-enhanced hypercube Q_{n,2}. Suppose that the link malfunction of an interconnection network Q_{n,2} does not isolate any subnetwork with no more than h-1 processors, the minimum number of these possible faulty links concentrate on a constant 2^{n-1} for each integer \lceil\frac{11\times2^{n-1}}{48}\rceil \leq h \leq 2^{n-1} and n\geq 9. That is, for about 77.083 percent values of h\leq2^{n-1}, the corresponding h-extra edge-connectivity of Q_{n,2}, \lambda_h(Q_{n,2}), presents a concentration phenomenon. Moreover, the above lower and upper bounds of h are both tight.


title: MorphText: Deep Morphology Regularized Arbitrary-shape Scene Text Detection

abstract: Bottom-up text detection methods play an important role in arbitrary-shape scene text detection but there are two restrictions preventing them from achieving their great potential, i.e., 1) the accumulation of false text segment detections, which affects subsequent processing, and 2) the difficulty of building reliable connections between text segments. Targeting these two problems, we propose a novel approach, named ``MorphText", to capture the regularity of texts by embedding deep morphology for arbitrary-shape text detection. Towards this end, two deep morphological modules are designed to regularize text segments and determine the linkage between them. First, a Deep Morphological Opening (DMOP) module is constructed to remove false text segment detections generated in the feature extraction process. Then, a Deep Morphological Closing (DMCL) module is proposed to allow text instances of various shapes to stretch their morphology along their most significant orientation while deriving their connections. Extensive experiments conducted on four challenging benchmark datasets (CTW1500, Total-Text, MSRA-TD500 and ICDAR2017) demonstrate that our proposed MorphText outperforms both top-down and bottom-up state-of-the-art arbitrary-shape scene text detection approaches.


title: CSCO: Connectivity Search of Convolutional Operators

abstract: Exploring dense connectivity of convolutional operators establishes critical "synapses" to communicate feature vectors from different levels and enriches the set of transformations on Computer Vision applications. Yet, even with heavy-machinery approaches such as Neural Architecture Search (NAS), discovering effective connectivity patterns requires tremendous efforts due to either constrained connectivity design space or a sub-optimal exploration process induced by an unconstrained search space. In this paper, we propose CSCO, a novel paradigm that fabricates effective connectivity of convolutional operators with minimal utilization of existing design motifs and further utilizes the discovered wiring to construct high-performing ConvNets. CSCO guides the exploration via a neural predictor as a surrogate of the ground-truth performance. We introduce Graph Isomorphism as data augmentation to improve sample efficiency and propose a Metropolis-Hastings Evolutionary Search (MH-ES) to evade locally optimal architectures and advance search quality. Results on ImageNet show ~0.6% performance improvement over hand-crafted and NAS-crafted dense connectivity. Our code is publicly available.


title: A Unified Debugging Approach via LLM-Based Multi-Agent Synergy

abstract: Tremendous efforts have been devoted to automating software debugging, a time-consuming process involving fault localization and repair generation. Recently, Large Language Models (LLMs) have shown great potential in automated debugging. However, we identified three challenges posed to traditional and LLM-based debugging tools: 1) the upstream imperfection of fault localization affects the downstream repair, 2) the deficiency in handling complex logic errors, and 3) the ignorance of program contexts. In this context, we propose the first automated, unified debugging framework, FixAgent, via LLM agent synergy. FixAgent can perform end-to-end localization, repair, and analysis of bugs. Our insight is that LLMs can benefit from general software engineering principles recognized by human developers in debugging, such as rubber duck debugging, enabling a better understanding of program functionality and logic bugs. Hence, we create three designs inspired by rubber ducking to address these challenges. They are agent specialization and synergy, key variable tracking, and program context comprehension, which request LLMs to provide explicit explanations and force them to focus on crucial program logic information. Experiments on the widely used dataset QuixBugs show that FixAgent correctly fixes 79 out of 80 bugs, 9 of which have never been fixed. It also plausibly patches 1.9X more defects than the best-performing repair tool on CodeFlaws, even with no bug location information and fewer than 0.6% sampling times. On average, FixAgent increases about 20% plausible and correct fixes compared to its base model using different LLMs, showing the effectiveness of our designs. Moreover, the correctness rate of FixAgent reaches remarkably 97.26%, indicating that FixAgent can potentially overcome the overfitting issue of the existing approaches.


title: Cosmology-independent Photon Mass Limits from Localized Fast Radio Bursts by using Artificial Neural Networks

abstract: A hypothetical photon mass, $m_{\gamma}$, can produce a frequency-dependent vacuum dispersion of light, which leads to an additional time delay between photons with different frequencies when they propagate through a fixed distance. The dispersion measure--redshift measurements of fast radio bursts (FRBs) have been widely used to constrain the rest mass of the photon. However, all current studies analyzed the effect of the frequency-dependent dispersion for massive photons in the standard $\Lambda$CDM cosmological context. In order to alleviate the circularity problem induced by the presumption of a specific cosmological model based on the fundamental postulate of the masslessness of photons, here we employ a new model-independent smoothing technique, Artificial Neural Network (ANN), to reconstruct the Hubble parameter $H(z)$ function from 34 cosmic-chronometer measurements. By combining observations of 32 well-localized FRBs and the $H(z)$ function reconstructed by ANN, we obtain an upper limit of $m_{\gamma} \le 3.5 \times 10^{-51}\;\rm{kg}$, or equivalently $m_{\gamma} \le 2.0 \times 10^{-15}\;\rm{eV/c^2}$ ($m_{\gamma} \le 6.5 \times 10^{-51}\;\rm{kg}$, or equivalently $m_{\gamma} \le 3.6 \times 10^{-15}\;\rm{eV/c^2}$) at the $1\sigma$ ($2\sigma$) confidence level. This is the first cosmology-independent photon mass limit derived from extragalactic sources.


title: Refined distributional limit theorems for compound sums

abstract: The paper is a sketch of systematic presentation of distributional limit theorems and their refinements for compound sums. When analyzing, e.g., ergodic semi-Markov systems with discrete or continuous time, this allows us to separate those aspects that lie within the theory of random processes from those that relate to the classical summation theory. All these limit theorems are united by a common approach to their proof, based on the total probability rule, auxiliary multidimensional limit theorems for sums of independent random vectors, and (optionally) modular analysis.


title: Construction of a new (3 + 1)-dimensional KdV equation and its closed-form solutions with solitary wave behaviour and conserved vectors

abstract: This paper discusses the construction of a new $(3+1)$-dimensional Korteweg-de Vries (KdV) equation. By employing the KdV's recursion operator, we extract two equations, and with elemental computation steps, the obtained result is $ 3u_{xyt}+3u_{xzt}-(u_{t}-6uu_{x}+u_{xxx})_{yz}-2\left(u_{x}\partial_{x}^{-1}u_{y}\right)_{xz}-2\left(u_{x}\partial_{x}^{-1}u_{z}\right)_{xy}=0 $. We then transform the new equation to a simpler one to avoid the appearance of the integral in the equation. Thereafter, we apply the Lie symmetry technique and gain a $7$-dimensional Lie algebra $L_7$ of point symmetries. The one-dimensional optimal system of Lie subalgebras is then computed and used in the reduction process to achieve seven exact solutions. These obtained solutions are graphically illustrated as 3D and 2D plots that show different propagations of solitary wave solutions such as breather, periodic, bell shape, and others. Finally, the conserved vectors are computed by invoking Ibragimov's method.


title: Neuro-Symbolic Embedding for Short and Effective Feature Selection via Autoregressive Generation

abstract: Feature selection aims to identify the optimal feature subset for enhancing downstream models. Effective feature selection can remove redundant features, save computational resources, accelerate the model learning process, and improve the model overall performance. However, existing works are often time-intensive to identify the effective feature subset within high-dimensional feature spaces. Meanwhile, these methods mainly utilize a single downstream task performance as the selection criterion, leading to the selected subsets that are not only redundant but also lack generalizability. To bridge these gaps, we reformulate feature selection through a neuro-symbolic lens and introduce a novel generative framework aimed at identifying short and effective feature subsets. More specifically, we found that feature ID tokens of the selected subset can be formulated as symbols to reflect the intricate correlations among features. Thus, in this framework, we first create a data collector to automatically collect numerous feature selection samples consisting of feature ID tokens, model performance, and the measurement of feature subset redundancy. Building on the collected data, an encoder-decoder-evaluator learning paradigm is developed to preserve the intelligence of feature selection into a continuous embedding space for efficient search. Within the learned embedding space, we leverage a multi-gradient search algorithm to find more robust and generalized embeddings with the objective of improving model performance and reducing feature subset redundancy. These embeddings are then utilized to reconstruct the feature ID tokens for executing the final feature selection. Ultimately, comprehensive experiments and case studies are conducted to validate the effectiveness of the proposed framework.