arXiv subjects

Yuan Gao

Publications and source records attributed to Yuan Gao.

At least 361 records · Page 20Linked to original sources

arXiv2023

Liver Tumor Screening and Diagnosis in CT with Pixel-Lesion-Patient Network

Liver tumor segmentation and classification are important tasks in computer aided diagnosis. We aim to address three problems: liver tumor screening and preliminary diagnosis in non-contrast computed tomography (CT), and differential diagnosis in dynamic contrast-enhanced CT. A novel framework named Pixel-Lesion-pAtient Network (PLAN) is proposed. It uses a mask transformer to jointly segment and classify each lesion with improved anchor queries and a foreground-enhanced sampling loss. It also has an image-wise classifier to effectively aggregate global information and predict patient-level diagnosis. A large-scale multi-phase dataset is collected containing 939 tumor patients and 810 normal subjects. 4010 tumor instances of eight types are extensively annotated. On the non-contrast tumor screening task, PLAN achieves 95% and 96% in patient-level sensitivity and specificity. On contrast-enhanced CT, our lesion-level detection precision, recall, and classification accuracy are 92%, 89%, and 86%, outperforming widely used CNN and transformers for lesion segmentation. We also conduct a reader study on a holdout set of 250 cases. PLAN is on par with a senior human radiologist, showing the clinical significance of our results.

eess.IV↗

arXiv2023

Structure preserving schemes for Fokker-Planck equations of irreversible processes

In this paper, we introduce second order and fourth order space discretization via finite difference implementation of the finite element method for solving Fokker-Planck equations associated with irreversible processes. The proposed schemes are first order in time and second order and fourth order in space. Under mild mesh conditions and time step constraints for smooth solutions, the schemes are proved to be monotone, thus are positivity-preserving and energy dissipative. In particular, our scheme is suitable for capturing steady state solutions in large final time simulations.

math.NA↗

arXiv2023

A selection principle for weak KAM solutions via Freidlin-Wentzell large deviation principle of invariant measures

This paper reinterprets Freidlin-Wentzell's variational construction of the rate function in the large deviation principle for invariant measures from the weak KAM perspective. Through a one-dimensional irreversible diffusion process on a torus, we explicitly characterize essential concepts in the weak KAM theory, such as the Peierls barrier and the projected Mather/Aubry/Mañé sets. The weak KAM representation of Freidlin-Wentzell's variational construction of the rate function is discussed based on the global adjustment for the boundary data on the Aubry set and the local trimming from the lifted Peierls barriers. This rate function gives the maximal Lipschitz continuous viscosity solution to the corresponding stationary Hamilton-Jacobi equation (HJE), satisfying Freidlin-Wentzell's variational formula for the boundary data. Choosing meaningful self-consistent boundary data at each local attractor are essential to select a unique weak KAM solution to stationary HJE. This selected viscosity solution also serves as the global energy landscape of the original stochastic process. This selection for stationary HJEs can be described by first taking the long time limit and then taking the zero noise limit, which also provides a special construction of vanishing viscosity approximation.

math.AP↗

arXiv2023

Master equations for finite state mean field games with nonlinear activations

We formulate a class of mean field games on a finite state space with variational principles resembling those in continuous-state mean field games. We construct a controlled continuity equation featuring a nonlinear activation function on graphs induced by finite-state reversible continuous time Markov chains. In these graphs, each edge is weighted by the transition probability and invariant measure of the original process. Using these controlled dynamics on the graph and the dynamic programming principle for the value function, we derive several key components: the mean field game systems, the functional Hamilton-Jacobi equations, and the master equations on a finite probability space for potential mean field games. The existence and uniqueness of solutions to the potential mean field game system are ensured through a convex optimization reformulation in terms of the density-flux pair. We also derive variational principles for the master equations of both non-potential games and mixed games on a continuous state space. Finally, we offer several concrete examples of discrete mean field game dynamics on a two-point space, complete with closed-formula solutions. These examples include discrete Wasserstein distances, mean field planning, and potential mean field games.

math.OC↗

arXiv2023

Double Domain Guided Real-Time Low-Light Image Enhancement for Ultra-High-Definition Transportation Surveillance

Real-time transportation surveillance is an essential part of the intelligent transportation system (ITS). However, images captured under low-light conditions often suffer the poor visibility with types of degradation, such as noise interference and vague edge features, etc. With the development of imaging devices, the quality of the visual surveillance data is continually increasing, like 2K and 4K, which has more strict requirements on the efficiency of image processing. To satisfy the requirements on both enhancement quality and computational speed, this paper proposes a double domain guided real-time low-light image enhancement network (DDNet) for ultra-high-definition (UHD) transportation surveillance. Specifically, we design an encoder-decoder structure as the main architecture of the learning network. In particular, the enhancement processing is divided into two subtasks (i.e., color enhancement and gradient enhancement) via the proposed coarse enhancement module (CEM) and LoG-based gradient enhancement module (GEM), which are embedded in the encoder-decoder structure. It enables the network to enhance the color and edge features simultaneously. Through the decomposition and reconstruction on both color and gradient domains, our DDNet can restore the detailed feature information concealed by the darkness with better visual quality and efficiency. The evaluation experiments on standard and transportation-related datasets demonstrate that our DDNet provides superior enhancement quality and efficiency compared with the state-of-the-art methods. Besides, the object detection and scene segmentation experiments indicate the practical benefits for higher-level image analysis under low-light environments in ITS.

cs.CV↗

arXiv2023

Plaquette Singlet Transition, Magnetic Barocaloric Effect, and Spin Supersolidity in the Shastry-Sutherland Model

Inspired by recent experimental measurements [Guo \textit{et al.}, Phys. Rev. Lett.~\textbf{124}, 206602 (2020); Jiménez \textit{et al.}, Nature \textbf{592}, 370 (2021)] on frustrated quantum magnet SrCu$_2$(BO$_3$)$_2$ under combined pressure and magnetic fields, we study the related spin-$1/2$ Shastry-Sutherland (SS) model using state-of-the-art tensor network methods. By calculating thermodynamics, correlations and susceptibilities, we find, in zero magnetic field, not only a line of first-order plaquette-singlet (PS) to dimer-singlet phase transition ending with a critical point, but also signatures of the ordered PS transition with its critical endpoint terminating on this first-order line. Moreover, we uncover prominent magnetic barocaloric responses, a novel type of quantum correlation induced cooling effect, in the strongly fluctuating supercritical regime. Under finite fields, we identify a quantum phase transition from the PS phase to the spin supersolid phase that breaks simultaneously lattice translational and spin rotational symmetries. The present findings on the SS model are accessible in current experiments and would shed new light on exotic critical and supercritical phenomena in archetypal frustrated quantum magnets.

cond-mat.str-el↗

arXiv2023

Generalized Minimum Error with Fiducial Points Criterion for Robust Learning

The conventional Minimum Error Entropy criterion (MEE) has its limitations, showing reduced sensitivity to error mean values and uncertainty regarding error probability density function locations. To overcome this, a MEE with fiducial points criterion (MEEF), was presented. However, the efficacy of the MEEF is not consistent due to its reliance on a fixed Gaussian kernel. In this paper, a generalized minimum error with fiducial points criterion (GMEEF) is presented by adopting the Generalized Gaussian Density (GGD) function as kernel. The GGD extends the Gaussian distribution by introducing a shape parameter that provides more control over the tail behavior and peakedness. In addition, due to the high computational complexity of GMEEF criterion, the quantized idea is introduced to notably lower the computational load of the GMEEF-type algorithm. Finally, the proposed criterions are introduced to the domains of adaptive filter, kernel recursive algorithm, and multilayer perceptron. Several numerical simulations, which contain system identification, acoustic echo cancellation, times series prediction, and supervised classification, indicate that the novel algorithms' performance performs excellently.

eess.SP↗

arXiv2023

On the performance of an integrated communication and localization system: an analytical framework

Quantifying the performance bound of an integrated localization and communication (ILAC) system and the trade-off between communication and localization performance is critical. In this letter, we consider an ILAC system that can perform communication and localization via time-domain or frequency-domain resource allocation. We develop an analytical framework to derive the closed-form expression of the capacity loss versus localization Cramer-Rao lower bound (CRB) loss via time-domain and frequency-domain resource allocation. Simulation results validate the analytical model and demonstrate that frequency-domain resource allocation is preferable in scenarios with a smaller number of antennas at the next generation nodeB (gNB) and a larger distance between user equipment (UE) and gNB, while time-domain resource allocation is preferable in scenarios with a larger number of antennas and smaller distance between UE and the gNB.

cs.IT↗

arXiv2023

Lipschitz Transport Maps via the Follmer Flow

Inspired by the construction of the F{ö}llmer process, we construct a unit-time flow on the Euclidean space, termed the F{ö}llmer flow, whose flow map at time 1 pushes forward a standard Gaussian measure onto a general target measure. We study the well-posedness of the F{ö}llmer flow and establish the Lipschitz property of the flow map at time 1. We apply the Lipschitz mapping to several rich classes of probability measures on deriving dimension-free functional inequalities and concentration inequalities for the empirical measure.

math.PR↗

arXiv2023

Double-tower Solutions for Higher Order Prescribed Curvature Problem

We consider the following higher order prescribed curvature problem on $ {\mathbb{S}}^N : $ \begin{equation*} D^m \tilde u=\widetilde{K}(y) \tilde u^{m^{*}-1} \quad \mbox{on} \ {\mathbb {S}}^N, \qquad \tilde u >0 \quad \mbox{in} \ {\mathbb {S}}^N. \end{equation*} where $\widetilde{K}(y)>0$ is a radial function, $m^{*}=\frac{2N}{N-2m}$ and $D^m$ is $2m$ order differential operator given by \begin{equation*} D^m=\prod_{i=1}^m\left(-Δ_g+\frac{1}{4}(N-2i)(N+2i-2)\right), \end{equation*} where $g=g_{\mathbb{S}^N}$is the Riemannian metric. We prove the existence of infinitely many double-tower type solutions, which are invariant under some non-trivial sub-groups of $O(3),$ and their energy can be made arbitrarily large.

math.AP↗

arXiv2023

New constructions of optimal $(r,δ)$-LRCs via good polynomials

Locally repairable codes (LRCs) are a class of erasure codes that are widely used in distributed storage systems, which allow for efficient recovery of data in the case of node failures or data loss. In 2014, Tamo and Barg introduced Reed-Solomon-like (RS-like) Singleton-optimal $(r,δ)$-LRCs based on polynomial evaluation. These constructions rely on the existence of so-called good polynomial that is constant on each of some pairwise disjoint subsets of $\mathbb{F}_q$. In this paper, we extend the aforementioned constructions of RS-like LRCs and proposed new constructions of $(r,δ)$-LRCs whose code length can be larger. These new $(r,δ)$-LRCs are all distance-optimal, namely, they attain an upper bound on the minimum distance, that will be established in this paper. This bound is sharper than the Singleton-type bound in some cases owing to the extra conditions, it coincides with the Singleton-type bound for certain cases. Combing these constructions with known explicit good polynomials of special forms, we can get various explicit Singleton-optimal $(r,δ)$-LRCs with new parameters, whose code lengths are all larger than that constructed by the RS-like $(r,δ)$-LRCs introduced by Tamo and Barg. Note that the code length of classical RS codes and RS-like LRCs are both bounded by the field size. We explicitly construct the Singleton-optimal $(r,δ)$-LRCs with length $n=q-1+δ$ for any positive integers $r,δ\geq 2$ and $(r+δ-1)\mid (q-1)$. When $δ$ is proportional to $q$, it is asymptotically longer than that constructed via elliptic curves whose length is at most $q+2\sqrt{q}$. Besides, it allows more flexibility on the values of $r$ and $δ$.

cs.IT↗

arXiv2023

A Novel Multi-Task Model Imitating Dermatologists for Accurate Differential Diagnosis of Skin Diseases in Clinical Images

Skin diseases are among the most prevalent health issues, and accurate computer-aided diagnosis methods are of importance for both dermatologists and patients. However, most of the existing methods overlook the essential domain knowledge required for skin disease diagnosis. A novel multi-task model, namely DermImitFormer, is proposed to fill this gap by imitating dermatologists' diagnostic procedures and strategies. Through multi-task learning, the model simultaneously predicts body parts and lesion attributes in addition to the disease itself, enhancing diagnosis accuracy and improving diagnosis interpretability. The designed lesion selection module mimics dermatologists' zoom-in action, effectively highlighting the local lesion features from noisy backgrounds. Additionally, the presented cross-interaction module explicitly models the complicated diagnostic reasoning between body parts, lesion attributes, and diseases. To provide a more robust evaluation of the proposed method, a large-scale clinical image dataset of skin diseases with significantly more cases than existing datasets has been established. Extensive experiments on three different datasets consistently demonstrate the state-of-the-art recognition performance of the proposed approach.

cs.CV↗

arXiv2023

On the application of Large Language Models for language teaching and assessment technology

The recent release of very large language models such as PaLM and GPT-4 has made an unprecedented impact in the popular media and public consciousness, giving rise to a mixture of excitement and fear as to their capabilities and potential uses, and shining a light on natural language processing research which had not previously received so much attention. The developments offer great promise for education technology, and in this paper we look specifically at the potential for incorporating large language models in AI-driven language teaching and assessment systems. We consider several research areas and also discuss the risks and ethical considerations surrounding generative AI in education technology for language learners. Overall we find that larger language models offer improvements over previous models in text generation, opening up routes toward content generation which had not previously been plausible. For text generation they must be prompted carefully and their outputs may need to be reshaped before they are ready for use. For automated grading and grammatical error correction, tasks whose progress is checked on well-known benchmarks, early investigations indicate that large language models on their own do not improve on state-of-the-art results according to standard evaluation metrics. For grading it appears that linguistic features established in the literature should still be used for best performance, and for error correction it may be that the models can offer alternative feedback styles which are not measured sensitively with existing methods. In all cases, there is work to be done to experiment with the inclusion of large language models in education technology for language learners, in order to properly understand and report on their capacities and limitations, and to ensure that foreseeable risks such as misinformation and harmful bias are mitigated.

cs.CL↗

arXiv2023

DisAsymNet: Disentanglement of Asymmetrical Abnormality on Bilateral Mammograms using Self-adversarial Learning

Asymmetry is a crucial characteristic of bilateral mammograms (Bi-MG) when abnormalities are developing. It is widely utilized by radiologists for diagnosis. The question of 'what the symmetrical Bi-MG would look like when the asymmetrical abnormalities have been removed ?' has not yet received strong attention in the development of algorithms on mammograms. Addressing this question could provide valuable insights into mammographic anatomy and aid in diagnostic interpretation. Hence, we propose a novel framework, DisAsymNet, which utilizes asymmetrical abnormality transformer guided self-adversarial learning for disentangling abnormalities and symmetric Bi-MG. At the same time, our proposed method is partially guided by randomly synthesized abnormalities. We conduct experiments on three public and one in-house dataset, and demonstrate that our method outperforms existing methods in abnormality classification, segmentation, and localization tasks. Additionally, reconstructed normal mammograms can provide insights toward better interpretable visual cues for clinical diagnosis. The code will be accessible to the public.

cs.CV↗

arXiv2023

An Explainable Deep Framework: Towards Task-Specific Fusion for Multi-to-One MRI Synthesis

Multi-sequence MRI is valuable in clinical settings for reliable diagnosis and treatment prognosis, but some sequences may be unusable or missing for various reasons. To address this issue, MRI synthesis is a potential solution. Recent deep learning-based methods have achieved good performance in combining multiple available sequences for missing sequence synthesis. Despite their success, these methods lack the ability to quantify the contributions of different input sequences and estimate the quality of generated images, making it hard to be practical. Hence, we propose an explainable task-specific synthesis network, which adapts weights automatically for specific sequence generation tasks and provides interpretability and reliability from two sides: (1) visualize the contribution of each input sequence in the fusion stage by a trainable task-specific weighted average module; (2) highlight the area the network tried to refine during synthesizing by a task-specific attention module. We conduct experiments on the BraTS2021 dataset of 1251 subjects, and results on arbitrary sequence synthesis indicate that the proposed method achieves better performance than the state-of-the-art methods. Our code is available at \url{https://github.com/fiy2W/mri_seq2seq}.

eess.IV↗

arXiv2023

Synthesis of Contrast-Enhanced Breast MRI Using Multi-b-Value DWI-based Hierarchical Fusion Network with Attention Mechanism

Magnetic resonance imaging (MRI) is the most sensitive technique for breast cancer detection among current clinical imaging modalities. Contrast-enhanced MRI (CE-MRI) provides superior differentiation between tumors and invaded healthy tissue, and has become an indispensable technique in the detection and evaluation of cancer. However, the use of gadolinium-based contrast agents (GBCA) to obtain CE-MRI may be associated with nephrogenic systemic fibrosis and may lead to bioaccumulation in the brain, posing a potential risk to human health. Moreover, and likely more important, the use of gadolinium-based contrast agents requires the cannulation of a vein, and the injection of the contrast media which is cumbersome and places a burden on the patient. To reduce the use of contrast agents, diffusion-weighted imaging (DWI) is emerging as a key imaging technique, although currently usually complementing breast CE-MRI. In this study, we develop a multi-sequence fusion network to synthesize CE-MRI based on T1-weighted MRI and DWIs. DWIs with different b-values are fused to efficiently utilize the difference features of DWIs. Rather than proposing a pure data-driven approach, we invent a multi-sequence attention module to obtain refined feature maps, and leverage hierarchical representation information fused at different scales while utilizing the contributions from different sequences from a model-driven approach by introducing the weighted difference module. The results show that the multi-b-value DWI-based fusion model can potentially be used to synthesize CE-MRI, thus theoretically reducing or avoiding the use of GBCA, thereby minimizing the burden to patients. Our code is available at \url{https://github.com/Netherlands-Cancer-Institute/CE-MRI}.

eess.IV↗

arXiv2023

Robust and Practical Solution of Laplacian Equations by Approximate Elimination

We introduce a new algorithm and software for solving linear equations in symmetric diagonally dominant matrices with non-positive off-diagonal entries (SDDM matrices), including Laplacian matrices. We use pre-conditioned conjugate gradient (PCG) to solve the system of linear equations. Our preconditioner is a variant of the Approximate Cholesky factorization of Kyng and Sachdeva (FOCS 2016). Our factorization approach is simple: we eliminate matrix rows/columns one at a time and update the remaining matrix using sampling to approximate the outcome of complete Cholesky factorization. Unlike earlier approaches, our sampling always maintains a connectivity in the remaining non-zero structure. Our algorithm comes with a tuning parameter that upper bounds the number of samples made per original entry. We implement our algorithm in Julia, providing two versions, AC and AC2, that respectively use 1 and 2 samples per original entry. We compare their single-threaded performance to that of current state-of-the-art solvers Combinatorial Multigrid (CMG), BoomerAMG-preconditioned Krylov solvers from HyPre and PETSc, Lean Algebraic Multigrid (LAMG), and MATLAB's with Incomplete Cholesky Factorization (ICC). Our evaluation uses a broad class of problems, including all large SDDM matrices from the SuiteSparse collection and diverse programmatically generated instances. Our experiments suggest that our algorithm attains a level of robustness and reliability not seen before in SDDM solvers, while retaining good performance across all instances. Our code and data are public, and we provide a tutorial on how to replicate our tests. We hope that others will adopt this suite of tests as a benchmark, which we refer to as SDDM2023. Our solver code is available at: https://github.com/danspielman/Laplacians.jl/ Our benchmarking data and tutorial are available at: https://rjkyng.github.io/SDDM2023/

math.NA↗

arXiv2023

Large deviation principle and thermodynamic limit of chemical master equation via nonlinear semigroup

Chemical reactions can be modeled by a random time-changed Poisson process on countable states. The macroscopic behaviors, such as large fluctuations, can be studied via the WKB reformulation. The WKB reformulation for the backward equation is Varadhan's discrete nonlinear semigroup and is also a monotone scheme that approximates the limiting first-order Hamilton-Jacobi equations (HJE). The discrete Hamiltonian is an m-accretive operator, which generates a nonlinear semigroup on countable grids and justifies the well-posedness of the chemical master equation (CME) and the backward equation with 'no reaction' boundary conditions. The convergence from the monotone schemes to the viscosity solution of HJE is proved by constructing barriers to overcome the polynomial growth coefficients in the Hamiltonian. This implies the convergence of Varadhan's discrete nonlinear semigroup to the continuous Lax-Oleinik semigroup and leads to the large deviation principle for the chemical reaction process at any single time. Consequently, the macroscopic mean-field limit reaction rate equation is recovered with a concentration rate estimate. Furthermore, we establish the convergence from a reversible invariant measure to an upper semicontinuous viscosity solution of the stationary HJE.

math.AP↗