Searcharxiv⌕ Search

arXiv subjects

Yiran Li

Publications and source records attributed to Yiran Li.

At least 37 records · Page 2Linked to original sources

GNNAnatomy: Rethinking Model-Level Explanations for Graph Neural Networks

Graph Neural Networks (GNNs) achieve outstanding performance across graph-based tasks but remain difficult to interpret. In this paper, we revisit foundational assumptions underlying model-level explanation methods for GNNs, namely: (1) maximizing classification confidence yields representative explanations, (2) a single explanation suffices for an entire class of graphs, and (3) explanations are inherently trustworthy. We identify pitfalls resulting from these assumptions: methods that optimize for classification confidence may overlook partially learned patterns; topological diversity across graph subsets within the same class is often underrepresented; and explanations alone offer limited support for building user trust when applied to new datasets or models. This paper introduces GNNAnatomy, a distillation-based method designed to generate explanations while avoiding these pitfalls. GNNAnatomy first characterizes graph topology using graphlets, a set of fundamental substructures. We then train a transparent multilayer perceptron surrogate to directly approximate GNN predictions based on the graphlet representations. By analyzing the weights assigned to each graphlet, we identify the most discriminative topologies, which serve as GNN explanations. To account for structural diversity within a class, GNNAnatomy generates explanations at the required granularity through an interface that supports human-AI teaming. This interface helps users identify subsets of graphs where distinct critical substructures drive class differentiation, enabling multi-grained explanations. Additionally, by enabling exploration and linking explanations back to input graphs, the interface fosters greater transparency and trust. We evaluate GNNAnatomy on both synthetic and real-world datasets through quantitative metrics and qualitative comparisons with state-of-the-art model-level explainable GNN methods.

cs.LG↗

Normative Cerebral Perfusion Across the Lifespan

Cerebral perfusion plays a crucial role in maintaining brain function and is tightly coupled with neuronal activity. While previous studies have examined cerebral perfusion trajectories across development and aging, precise characterization of its lifespan dynamics has been limited by small sample sizes and methodological inconsistencies. In this study, we construct the first comprehensive normative model of cerebral perfusion across the human lifespan (birth to 85 years) using a large multi-site dataset of over 12,000 high-quality arterial spin labeling (ASL) MRI scans. Leveraging generalized additive models for location, scale, and shape (GAMLSS), we mapped nonlinear growth trajectories of cerebral perfusion at global, network, and regional levels. We observed a rapid postnatal increase in cerebral perfusion, peaking at approximately 7.1 years, followed by a gradual decline into adulthood. Sex differences were evident, with distinct regional maturation patterns rather than uniform differences across all brain regions. Beyond normative modeling, we quantified individual deviations from expected CBF patterns in neurodegenerative and psychiatric conditions, identifying disease-specific perfusion abnormalities across four brain disorders. Using longitudinal data, we established typical and atypical cerebral perfusion trajectories, highlighting the prognostic value of perfusion-based biomarkers for detecting disease progression. Our findings provide a robust normative framework for cerebral perfusion, facilitating precise characterization of brain health across the lifespan and enhancing the early identification of neurovascular dysfunction in clinical populations.

q-bio.NC↗

RingFormer: A Ring-Enhanced Graph Transformer for Organic Solar Cell Property Prediction

Organic Solar Cells (OSCs) are a promising technology for sustainable energy production. However, the identification of molecules with desired OSC properties typically involves laborious experimental research. To accelerate progress in the field, it is crucial to develop machine learning models capable of accurately predicting the properties of OSC molecules. While graph representation learning has demonstrated success in molecular property prediction, it remains underexplored for OSC-specific tasks. Existing methods fail to capture the unique structural features of OSC molecules, particularly the intricate ring systems that critically influence OSC properties, leading to suboptimal performance. To fill the gap, we present RingFormer, a novel graph transformer framework specially designed to capture both atom and ring level structural patterns in OSC molecules. RingFormer constructs a hierarchical graph that integrates atomic and ring structures and employs a combination of local message passing and global attention mechanisms to generate expressive graph representations for accurate OSC property prediction. We evaluate RingFormer's effectiveness on five curated OSC molecule datasets through extensive experiments. The results demonstrate that RingFormer consistently outperforms existing methods, achieving a 22.77% relative improvement over the nearest competitor on the CEPDB dataset.

cs.LG↗

Diffusiophoretic transport of colloids in porous media

Understanding how colloids move in crowded environments is key for gaining control over their transport in applications such as drug delivery, filtration, contaminant/microplastic remediation and agriculture. The classical models of colloid transport in porous media rely on geometric characteristics of the medium, and hydrodynamic/non-hydrodynamic equilibrium interactions to predict their behavior. However, chemical gradients are ubiquitous in these environments and can lead to the non-equilibrium diffusiophoretic migration of colloids. Here, combining microfluidic experiments, numerical simulations, and theoretical modeling we demonstrate that diffusiophoresis leads to significant macroscopic changes in the dispersion of colloids in porous media. We displace a suspension of colloids dispersed in a background salt solution with a higher/lower salinity solution and monitor the removal of the colloids from the medium. While mixing weakens the solute gradients, leading to the diffusiophoretic velocities that are orders of magnitude weaker than the background fluid flow, we show that the cross-streamline migration of colloids changes their macroscopic transit time and dispersion through the medium by an order of magnitude compared to the control case with no salinity gradients. Our observations demonstrate that solute gradients modulate the influence of geometric disorder on the transport, pointing to the need for revisiting the classical models of colloid transport in porous media to obtain predictive models for technological, medical, and environmental applications.

cond-mat.soft↗

Wafer-scale Semiconductor Grafting: Enabling High-Performance, Lattice-Mismatched Heterojunctions

Semiconductor heterojunctions are foundational to many advanced electronic and optoelectronic devices. However, achieving high-quality, lattice-mismatched interfaces remains challenging, limiting both scalability and device performance. Semiconductor grafting offers a promising solution by directly forming electrically active, lattice-mismatched heterojunctions between dissimilar materials. However, its scalability and uniformity at the wafer level have yet to be demonstrated. This work demonstrates the achievement of highly uniform, reproducible results across silicon, sapphire, and gallium nitride (GaN) substrates using wafer-scale semiconductor grafting. To illustrate this scalability, we conducted an in-depth study of a grafted Si/GaN heterojunction, examining band alignment through X-ray photoelectron spectroscopy and confirming crystallinity and interfacial integrity with scanning transmission electron microscopy. The resulting p-n diodes exhibit significantly enhanced electrical performance and wafer-scale uniformity compared to conventional approaches. This work establishes wafer-scale semiconductor grafting as a versatile and scalable technology, bridging the gap between laboratory-scale research and industrial manufacturing for heterogeneous semiconductor integration, and paving the way for novel, high-performance electronic and optoelectronic devices.

physics.app-ph↗

A numerical study on temperature destratification induced by bubble plumes in idealized reservoirs

An in-house numerical model has been developed to study the temperature destratification induced by bubble plumes in reservoirs. The mean flow of the mixed fluid phase is solved using the Reynolds-Averaged Navier-Stokes Equations, while the bubble phase is calculated by employing the advection-diffusion equation of air concentration. The change of water temperature is tracked by solving the energy equation. The two-equation turbulence model, considering the effect of bubble buoyancy and the change of temperature, is adopted to model the turbulent dissipation in two-phase fluid. To validate the accuracy of the numerical model, the numerical results are compared with available experimental data. In addition, the destratification of temperature-layered water in a tank by bubble plumes is simulated by the numerical model, which is also validated by experimental data and the numerical results of another model. This three-dimensional model can reflect various physical quantities in the entire computed filed, such as thermal structure, gas concentration distribution, velocity distribution and turbulence intensity. Furthermore, by utilizing the validated model, a series of factors on reservoir destratification, including the aeration rate and the aeration location are analyzed and discussed in this study. A non-dimensional number Nt is introduced to determine the optimal aeration rate of the fasted destratification. The extent to which bubble plumes can affect the destratification is also simulated and discussed. Meanwhile, the mechanism of destratification in a large water area is described in detail. Suggestions on how to apply bubble plumes to improve the water quality of a reservoir are given.

physics.flu-dyn↗

A Versatile Framework for Attributed Network Clustering via K-Nearest Neighbor Augmentation

Attributed networks containing entity-specific information in node attributes are ubiquitous in modeling social networks, e-commerce, bioinformatics, etc. Their inherent network topology ranges from simple graphs to hypergraphs with high-order interactions and multiplex graphs with separate layers. An important graph mining task is node clustering, aiming to partition the nodes of an attributed network into k disjoint clusters such that intra-cluster nodes are closely connected and share similar attributes, while inter-cluster nodes are far apart and dissimilar. It is highly challenging to capture multi-hop connections via nodes or attributes for effective clustering on multiple types of attributed networks. In this paper, we first present AHCKA as an efficient approach to attributed hypergraph clustering (AHC). AHCKA includes a carefully-crafted K-nearest neighbor augmentation strategy for the optimized exploitation of attribute information on hypergraphs, a joint hypergraph random walk model to devise an effective AHC objective, and an efficient solver with speedup techniques for the objective optimization. The proposed techniques are extensible to various types of attributed networks, and thus, we develop ANCKA as a versatile attributed network clustering framework, capable of attributed graph clustering (AGC), attributed multiplex graph clustering (AMGC), and AHC. Moreover, we devise ANCKA with algorithmic designs tailored for GPU acceleration to boost efficiency. We have conducted extensive experiments to compare our methods with 19 competitors on 8 attributed hypergraphs, 16 competitors on 6 attributed graphs, and 16 competitors on 3 attributed multiplex graphs, all demonstrating the superb clustering quality and efficiency of our methods.

cs.SI↗

Single-crystalline GaAs/Si Heterojunction Tunnel Diodes Interfaced by an Ultrathin Oxygen-enriched Layer

We report the fabrication and characteristics of GaAs/Si p+/n+ heterojunction tunnel diodes. These diodes were fabricated via grafting the freestanding single-crystalline p-type degenerately doped GaAs (4E19 cm-3) nanomembrane (NM) onto single-crystalline n-type Si (5E19 cm-3) substrate. At the heterointerface, an amorphous ultrathin oxygen-enriched layer (UOL) was intentionally engineered through chemical oxidation and atomic layer deposition (ALD). Scanning transmission electron microscopy (STEM) confirmed the formation of the UOL and the single crystallinity of the grafted junction. The resulting tunnel diodes consistently exhibited negative differential resistance (NDR) behavior at room temperature, with a high maximum peak-to-valley current ratio (PVCR) of 36.38, valley voltages ranging from 1.3 to 1.8 V, and a peak tunneling current density of 0.95 kA/cm2. This study not only highlights the critical roles of the UOL as both an interface improvement layer and a quantum tunneling medium, but also establishes "semiconductor grafting" as an effective and versatile method for high-performance, lattice-mismatched heterojunction devices.

physics.app-ph↗

Grafted AlGaAs/GeSn Optical Pumping Laser Operating up to 130 K

Group IV GeSn double-heterostructure (DHS) lasers offer unique advantages of a direct bandgap and CMOS compatibility. However, further improvements in laser performance have been bottlenecked by limited junction properties of GeSn through conventional epitaxy and wafer bonding. This work leverages semiconductor grafting to synthesize and characterize optically pumped ridge edge-emitting lasers (EELs) with an AlGaAs nanomembrane (NM) transfer-printed onto an epitaxially grown GeSn substrate, interfaced by an ultrathin Al2O3 layer. The grafted AlGaAs/GeSn DHS lasers show a lasing threshold of 11.06 mW at 77 K and a maximum lasing temperature of 130 K. These results highlight the potential of the grafting technique for enhancing charge carrier and optical field confinements, paving the way for room-temperature electrically injected GeSn lasers.

physics.optics↗

Memoryless Multimodal Anomaly Detection via Student-Teacher Network and Signed Distance Learning

Unsupervised anomaly detection is a challenging computer vision task, in which 2D-based anomaly detection methods have been extensively studied. However, multimodal anomaly detection based on RGB images and 3D point clouds requires further investigation. The existing methods are mainly inspired by memory bank based methods commonly used in 2D-based anomaly detection, which may cost extra memory for storing mutimodal features. In present study, a novel memoryless method MDSS is proposed for multimodal anomaly detection, which employs a light-weighted student-teacher network and a signed distance function to learn from RGB images and 3D point clouds respectively, and complements the anomaly information from the two modalities. Specifically, a student-teacher network is trained with normal RGB images and masks generated from point clouds by a dynamic loss, and the anomaly score map could be obtained from the discrepancy between the output of student and teacher. Furthermore, the signed distance function learns from normal point clouds to predict the signed distances between points and surface, and the obtained signed distances are used to generate anomaly score map. Subsequently, the anomaly score maps are aligned to generate the final anomaly score map for detection. The experimental results indicate that MDSS is comparable but more stable than the SOTA memory bank based method Shape-guided, and furthermore performs better than other baseline methods.

cs.CV↗

NeuralMatrix: Compute the Entire Neural Networks with Linear Matrix Operations for Efficient Inference

The inherent diversity of computation types within the deep neural network (DNN) models often requires a variety of specialized units in hardware processors, which limits computational efficiency, increasing both inference latency and power consumption, especially when the hardware processor needs to support and execute different neural networks. In this study, we introduce NeuralMatrix, which elastically transforms the computations of entire DNNs into linear matrix operations. This transformation allows seamless execution of various DNN models all with matrix operations and paves the way for running versatile DNN models with a single General Matrix Multiplication (GEMM) accelerator.Extensive experiments with both CNN and transformer-based models demonstrate the potential of NeuralMatrix to accurately and efficiently execute a wide range of DNN models, achieving 2.17-38.72 times computation efficiency (i.e., throughput per power) compared to CPUs, GPUs, and SoC platforms. This level of efficiency is usually only attainable with the accelerator designed for a specific neural network.

cs.LG↗

AlGaAs/GeSn p-i-n diode interfaced with ultrathin Al$_2$O$_3$

This study presents the fabrication and characterizations of an Al$_{0.3}$Ga$_{0.7}$As/Ge$_{0.87}$Sn$_{0.13}$/GeSn p-i-n double heterostructure (DHS) diode following the grafting approach for enhanced optoelectronic applications. By integrating ultra-thin Al$_2$O$_3$ as a quantum tunneling layer and enhancing interfacial double-side passivation, we achieved a heterostructure with a substantial 1.186 eV conduction band barrier between AlGaAs and GeSn, along with a low interfacial density of states. The diode demonstrated impressive electrical characteristics with high uniformity, including a mean ideality factor of 1.47 and a mean rectification ratio of 2.95E103 at +/-2 V across 326 devices, indicating high-quality device fabrication. Comprehensive electrical characterizations, including C-V and I-V profiling, affirm the diode's capability to provide robust electrical confinement and efficient carrier injection. These properties make the Al$_{0.3}$Ga$_{0.7}$As/Ge$_{0.87}$Sn$_{0.13}$/GeSn DHS a promising candidate for next-generation electrically pumped GeSn lasers, potentially operable at higher temperatures. Our results provide a viable pathway for further advancements in various GeSn-based devices.

physics.app-ph↗

A Visual Analytics Design for Connecting Healthcare Team Communication to Patient Outcomes

Communication among healthcare professionals (HCPs) is crucial for the quality of patient treatment. Surrounding each patient's treatment, communication among HCPs can be examined as temporal networks, constructed from Electronic Health Record (EHR) access logs. This paper introduces a visual analytics system designed to study the effectiveness and efficiency of temporal communication networks mediated by the EHR system. We present a method that associates network measures with patient survival outcomes and devises effectiveness metrics based on these associations. To analyze communication efficiency, we extract the latencies and frequencies of EHR accesses. Our visual analytics system is designed to assist in inspecting and understanding the composed communication effectiveness metrics and to enable the exploration of communication efficiency by encoding latencies and frequencies in an information flow diagram. We demonstrate and evaluate our system through multiple case studies and an expert review.

cs.SI↗

Visual Analytics for Efficient Image Exploration and User-Guided Image Captioning

Recent advancements in pre-trained large-scale language-image models have ushered in a new era of visual comprehension, offering a significant leap forward. These breakthroughs have proven particularly instrumental in addressing long-standing challenges that were previously daunting. Leveraging these innovative techniques, this paper tackles two well-known issues within the realm of visual analytics: (1) the efficient exploration of large-scale image datasets and identification of potential data biases within them; (2) the evaluation of image captions and steering of their generation process. On the one hand, by visually examining the captions automatically generated from language-image models for an image dataset, we gain deeper insights into the semantic underpinnings of the visual contents, unearthing data biases that may be entrenched within the dataset. On the other hand, by depicting the association between visual contents and textual captions, we expose the weaknesses of pre-trained language-image models in their captioning capability and propose an interactive interface to steer caption generation. The two parts have been coalesced into a coordinated visual analytics system, fostering mutual enrichment of visual and textual elements. We validate the effectiveness of the system with domain practitioners through concrete case studies with large-scale image datasets.

cs.CV↗

Recursive Solution of Initial Value Problems with Temporal Discretization

We construct a continuous domain for temporal discretization of differential equations. By using this domain, and the domain of Lipschitz maps, we formulate a generalization of the Euler operator, which exhibits second-order convergence. We prove computability of the operator within the framework of effectively given domains. The operator only requires the vector field of the differential equation to be Lipschitz continuous, in contrast to the related operators in the literature which require the vector field to be at least continuously differentiable. Within the same framework, we also analyze temporal discretization and computability of another variant of the Euler operator formulated according to Runge-Kutta theory. We prove that, compared with this variant, the second-order operator that we formulate directly, not only imposes weaker assumptions on the vector field, but also exhibits superior convergence rate. We implement the first-order, second-order, and Runge-Kutta Euler operators using arbitrary-precision interval arithmetic, and report on some experiments. The experiments confirm our theoretical results. In particular, we observe the superior convergence rate of our second-order operator compared with the Runge-Kutta Euler and the common (first-order) Euler operators.

math.NA↗

How Does Attention Work in Vision Transformers? A Visual Analytics Attempt

Vision transformer (ViT) expands the success of transformer models from sequential data to images. The model decomposes an image into many smaller patches and arranges them into a sequence. Multi-head self-attentions are then applied to the sequence to learn the attention between patches. Despite many successful interpretations of transformers on sequential data, little effort has been devoted to the interpretation of ViTs, and many questions remain unanswered. For example, among the numerous attention heads, which one is more important? How strong are individual patches attending to their spatial neighbors in different heads? What attention patterns have individual heads learned? In this work, we answer these questions through a visual analytics approach. Specifically, we first identify what heads are more important in ViTs by introducing multiple pruning-based metrics. Then, we profile the spatial distribution of attention strengths between patches inside individual heads, as well as the trend of attention strengths across attention layers. Third, using an autoencoder-based learning solution, we summarize all possible attention patterns that individual heads could learn. Examining the attention strengths and patterns of the important heads, we answer why they are important. Through concrete case studies with experienced deep learning experts on multiple ViTs, we validate the effectiveness of our solution that deepens the understanding of ViTs from head importance, head attention strength, and head attention pattern.

cs.LG↗

Visual Analytics of Neuron Vulnerability to Adversarial Attacks on Convolutional Neural Networks

Adversarial attacks on a convolutional neural network (CNN) -- injecting human-imperceptible perturbations into an input image -- could fool a high-performance CNN into making incorrect predictions. The success of adversarial attacks raises serious concerns about the robustness of CNNs, and prevents them from being used in safety-critical applications, such as medical diagnosis and autonomous driving. Our work introduces a visual analytics approach to understanding adversarial attacks by answering two questions: (1) which neurons are more vulnerable to attacks and (2) which image features do these vulnerable neurons capture during the prediction? For the first question, we introduce multiple perturbation-based measures to break down the attacking magnitude into individual CNN neurons and rank the neurons by their vulnerability levels. For the second, we identify image features (e.g., cat ears) that highly stimulate a user-selected neuron to augment and validate the neuron's responsibility. Furthermore, we support an interactive exploration of a large number of neurons by aiding with hierarchical clustering based on the neurons' roles in the prediction. To this end, a visual analytics system is designed to incorporate visual reasoning for interpreting adversarial attacks. We validate the effectiveness of our system through multiple case studies as well as feedback from domain experts.

cs.CV↗

A Domain-Theoretic Framework for Robustness Analysis of Neural Networks

A domain-theoretic framework is presented for validated robustness analysis of neural networks. First, global robustness of a general class of networks is analyzed. Then, using the fact that Edalat's domain-theoretic L-derivative coincides with Clarke's generalized gradient, the framework is extended for attack-agnostic local robustness analysis. The proposed framework is ideal for designing algorithms which are correct by construction. This claim is exemplified by developing a validated algorithm for estimation of Lipschitz constant of feedforward regressors. The completeness of the algorithm is proved over differentiable networks, and also over general position ReLU networks. Computability results are obtained within the framework of effectively given domains. Using the proposed domain model, differentiable and non-differentiable networks can be analyzed uniformly. The validated algorithm is implemented using arbitrary-precision interval arithmetic, and the results of some experiments are presented. The software implementation is truly validated, as it handles floating-point errors as well.

cs.LG↗