arXiv subjects

Zhixuan Li

Publications and source records attributed to Zhixuan Li.

34 records · Page 2Linked to original sources

arXiv2025

An efficient Fourier spectral algorithm for the Bogoliubov-de Gennes excitation eigenvalue problem

In this paper, we propose an efficient Fourier spectral algorithm for an eigenvalue problem, that is, the Bogoliubov-de Gennes (BdG) equation arsing from spin-1 Bose-Einstein condensates (BEC) to describe the elementary/collective excitations around the mean-field ground state. The BdG equation is essentially a constrained eigenvalue/eigenfunction system. Firstly, we investigate its analytical properties, including exact eigenpairs, generalized nullspace, and bi-orthogonality of eigenspaces. Secondly, by combining the standard Fourier spectral method for spatial discretization and a stable Gram-Schmidt bi-orthogonal algorithm, we develop a subspace iterative solver for such a large-scale dense eigenvalue problem, and it proves to be numerically stable, efficient, and accurate. Our solver is matrix-free and the operator-function evaluation is accelerated by discrete Fast Fourier Transform (FFT) with almost optimal efficiency. Therefore, it is memory-friendly and efficient for large-scale problems. Furthermore, we give a rigorous and detailed numerical analysis on the stability and spectral convergence. Finally, we present extensive numerical results to illustrate the spectral accuracy and efficiency, and investigate the excitation spectrum and Bogoliubov amplitudes around the ground state in 1-3 spatial dimensions.

math.NA↗

arXiv2025

The Chinese pulsar timing array data release I. Polarimetry for 56 millisecond pulsars

We present polarization pulse profiles for 56 millisecond pulsars (MSPs) monitored by the Chinese Pulsar Timing Array (CPTA) collaboration using the Five-hundred-meter Aperture Spherical radio Telescope (FAST). The observations centered at 1.25 GHz with a raw bandwidth of 500 MHz. Due to the high sensitivity ($\sim$16 K/Jy) of the FAST telescope and our long integration time, the high signal-to-noise ratio polarization profiles show features hardly detected before. Among 56 pulsars, the polarization profiles of PSRs J0406$+$3039, J1327$+$3423, and J2022$+$2534 were not previously reported. 80\% of MSPs in the sample show weak components below 3\% of peak flux, 25\% of pulsars show interpulse-like structures, and most pulsars show linear polarization position angle jumps. Six pulsars seem to be emitting for full rotation phase, with another thirteen pulsars being good candidates for such a 360$^\circ$ radiator. We find that the distribution of the polarization percentage in our sample is compatible with the normal pulsar distribution. Our detailed evaluation of the MSP polarization properties suggests that the wave propagation effects in the pulsar magnetosphere are important in shaping the MSP polarization pulse profiles.

astro-ph.HE↗

arXiv2025

A Fast Fourth-Order Cut Cell Method for Solving Elliptic Equations in Two-Dimensional Irregular Domains

We propose a fast fourth-order cut cell method for solving constant-coefficient elliptic equations in two-dimensional irregular domains. In our methodology, the key to dealing with irregular domains is the poised lattice generation (PLG) algorithm that generates finite-volume interpolation stencils near the irregular boundary. We are able to derive high-order discretization of the elliptic operators by least squares fitting over the generated stencils. We then design a new geometric multigrid scheme to efficiently solve the resulting linear system. Finally, we demonstrate the accuracy and efficiency of our method through various numerical tests in irregular domains.

math.NA↗

arXiv2025

A Linear Decomposition Method to Analyze and Study Pulsar Mode Changes

In this paper, we present the linear decomposition method (LDM), which we developed to detect and analyze pulsar profile variations and mode changing behaviour. We developed LDM utilizing the likelihood function approach assuming the Gaussian noise. The LDM projects pulse profiles onto significance-ordered orthonormal vector bases. We show that the method is similar to the principal component analysis (PCA), but LDM can handle more general situations. We use simulated dataset and data from the Kunming 40-m radio telescope to demonstrate the application of the LDM. We found that the LDM successfully identified mode changes for well-known mode-changing PSR B0329+54 and found a continuous pulse profile evolution for PSR B0355+54 . We also show that the LDM can be used to improve the timing precision for mode changing PSR B0329+54.

astro-ph.HE↗

arXiv2024

An AI-aided algorithm for multivariate polynomial reconstruction on Cartesian grids and the PLG finite difference method

Polynomial reconstruction on Cartesian grids is fundamental in many scientific and engineering applications, yet it is still an open problem how to construct for a finite subset $K$ of $\mathbb{Z}^{\textsf{D}}$ a lattice $\mathcal{T}\subset K$ so that multivariate polynomial interpolation on this lattice is unisolvent. In this work, we solve this open problem of poised lattice generation (PLG) via an interdisciplinary research of approximation theory, abstract algebra, and artificial intelligence (AI). Specifically, we focus on the triangular lattices in approximation theory, study group actions of permutations upon triangular lattices, prove an isomorphism between the group of permutations and that of triangular lattices, and dynamically organize the AI state space of permutations so that a depth-first search of poised lattices has optimal efficiency. Based on this algorithm, we further develop the PLG finite difference method that retains the simplicity of Cartesian grids yet overcomes the disadvantage of legacy finite difference methods in handling irregular geometries. Results of various numerical tests demonstrate the effectiveness of our algorithm and the simplicity, efficiency, and fourth-order accuracy of the PLG finite difference method.

math.NA↗

arXiv2024

PSR B0943+10: Mode Switch, Polar Cap Geometry, and Orthogonally Polarized Radiation

As one of the paradigm examples to probe into pulsar magnetospheric dynamics, PSR B0943+10 (J0946+0951) manifests representatively, showing mode switch, orthogonal polarization and subpulse drifting, frequently studied below 600 MHz. Here both integrated and single pulses are studied at a high frequency (1.25 GHz) with FAST. The mode switch is studied using a profile decomposition method. A phase space evolution for the pulsar's mode switch shows a strange-attractor-like pattern. The radiative geometry is proposed by fitting polarization position angles with the rotating vector model. The pulsar pulse profile is then mapped to the sparking locations on pulsar surface, and the differences between the main pulse's and the precursor component's radiative processes may explain the X-ray's synchronization with radio mode switch. Detailed single pulse studies on B0943+10's orthogonally polarized radiation are presented, which may support for certain models of radiative transfer of polarized emission. Especially, the difference in OPMs' circular polarization might reflect the cyclotron absorption in pulsar magnetospheres. B0943+10's B and Q modes evolve differently with frequency and have different proportions of orthogonal modes, which indicates possible magnetospheric changes during mode switch. For Q mode pulse profile, the precursor and the main pulse components are orthogonally polarized, and are probably originated from different depths in the magnetosphere. The findings could impact significantly on pulsar electrodynamics and the radiative mechanism related.

astro-ph.HE↗

arXiv2024

Radio Frequency Interference Detection Using Efficient Multi-Scale Convolutional Attention UNet

Studying the universe through radio telescope observation is crucial. However, radio telescopes capture not only signals from the universe but also various interfering signals, known as Radio Frequency Interference (RFI). The presence of RFI can significantly impact data analysis. Ensuring the accuracy, reliability, and scientific integrity of research findings by detecting and mitigating or eliminating RFI in observational data, presents a persistent challenge in radio astronomy. In this study, we proposed a novel deep learning model called EMSCA-UNet for RFI detection. The model employs multi-scale convolutional operations to extract RFI features of various scale sizes. Additionally, an attention mechanism is utilized to assign different weights to the extracted RFI feature maps, enabling the model to focus on vital features for RFI detection. We evaluated the performance of the model using real data observed from the 40-meter radio telescope at Yunnan Observatory. Furthermore, we compared our results to other models, including U-Net, RFI-Net, and R-Net, using four commonly employed evaluation metrics: precision, recall, F1 score, and IoU. The results demonstrate that our model outperforms the other models on all evaluation metrics, achieving an average improvement of approximately 5\% compared to U-Net. Our model not only enhances the accuracy and comprehensiveness of RFI detection but also provides more detailed edge detection while minimizing the loss of useful signals.

astro-ph.IM↗

arXiv2024

BLADE: Box-Level Supervised Amodal Segmentation through Directed Expansion

Perceiving the complete shape of occluded objects is essential for human and machine intelligence. While the amodal segmentation task is to predict the complete mask of partially occluded objects, it is time-consuming and labor-intensive to annotate the pixel-level ground truth amodal masks. Box-level supervised amodal segmentation addresses this challenge by relying solely on ground truth bounding boxes and instance classes as supervision, thereby alleviating the need for exhaustive pixel-level annotations. Nevertheless, current box-level methodologies encounter limitations in generating low-resolution masks and imprecise boundaries, failing to meet the demands of practical real-world applications. We present a novel solution to tackle this problem by introducing a directed expansion approach from visible masks to corresponding amodal masks. Our approach involves a hybrid end-to-end network based on the overlapping region - the area where different instances intersect. Diverse segmentation strategies are applied for overlapping regions and non-overlapping regions according to distinct characteristics. To guide the expansion of visible masks, we introduce an elaborately-designed connectivity loss for overlapping regions, which leverages correlations with visible masks and facilitates accurate amodal segmentation. Experiments are conducted on several challenging datasets and the results show that our proposed method can outperform existing state-of-the-art methods with large margins.

cs.CV↗

arXiv2022

Overview of the Observing System and Initial Scientific Accomplishments of the East Asian VLBI Network (EAVN)

The East Asian VLBI Network (EAVN) is an international VLBI facility in East Asia and is operated under mutual collaboration between East Asian countries, as well as part of Southeast Asian and European countries. EAVN currently consists of 16 radio telescopes and three correlators located in China, Japan, and Korea, and is operated mainly at three frequency bands, 6.7, 22, and 43 GHz with the longest baseline length of 5078 km, resulting in the highest angular resolution of 0.28 milliarcseconds at 43 GHz. One of distinct capabilities of EAVN is multi-frequency simultaneous data reception at nine telescopes, which enable us to employ the frequency phase transfer technique to obtain better sensitivity at higher observing frequencies. EAVN started its open-use program in the second half of 2018, providing a total observing time of more than 1100 hours in a year. EAVN fills geographical gap in global VLBI array, resulting in enabling us to conduct contiguous high-resolution VLBI observations. EAVN has produced various scientific accomplishments especially in observations toward active galactic nuclei, evolved stars, and star-forming regions. These activities motivate us to initiate launch of the 'Global VLBI Alliance' to provide an opportunity of VLBI observation with the longest baselines on the earth.

astro-ph.IM↗

arXiv2020

Human Perception-based Evaluation Criterion for Ultra-high Resolution Cell Membrane Segmentation

Computer vision technology is widely used in biological and medical data analysis and understanding. However, there are still two major bottlenecks in the field of cell membrane segmentation, which seriously hinder further research: lack of sufficient high-quality data and lack of suitable evaluation criteria. In order to solve these two problems, this paper first proposes an Ultra-high Resolution Image Segmentation dataset for the Cell membrane, called U-RISC, the largest annotated Electron Microscopy (EM) dataset for the Cell membrane with multiple iterative annotations and uncompressed high-resolution raw data. During the analysis process of the U-RISC, we found that the current popular segmentation evaluation criteria are inconsistent with human perception. This interesting phenomenon is confirmed by a subjective experiment involving twenty people. Furthermore, to resolve this inconsistency, we propose a new evaluation criterion called Perceptual Hausdorff Distance (PHD) to measure the quality of cell membrane segmentation results. Detailed performance comparison and discussion of classic segmentation methods along with two iterative manual annotation results under existing evaluation criteria and PHD is given.

cs.CV↗

arXiv2020

Robust Medical Instrument Segmentation Challenge 2019

Intraoperative tracking of laparoscopic instruments is often a prerequisite for computer and robotic-assisted interventions. While numerous methods for detecting, segmenting and tracking of medical instruments based on endoscopic video images have been proposed in the literature, key limitations remain to be addressed: Firstly, robustness, that is, the reliable performance of state-of-the-art methods when run on challenging images (e.g. in the presence of blood, smoke or motion artifacts). Secondly, generalization; algorithms trained for a specific intervention in a specific hospital should generalize to other interventions or institutions. In an effort to promote solutions for these limitations, we organized the Robust Medical Instrument Segmentation (ROBUST-MIS) challenge as an international benchmarking competition with a specific focus on the robustness and generalization capabilities of algorithms. For the first time in the field of endoscopic image processing, our challenge included a task on binary segmentation and also addressed multi-instance detection and segmentation. The challenge was based on a surgical data set comprising 10,040 annotated images acquired from a total of 30 surgical procedures from three different types of surgery. The validation of the competing methods for the three tasks (binary segmentation, multi-instance detection and multi-instance segmentation) was performed in three different stages with an increasing domain gap between the training and the test data. The results confirm the initial hypothesis, namely that algorithm performance degrades with an increasing domain gap. While the average detection and segmentation quality of the best-performing algorithms is high, future research should concentrate on detection and segmentation of small, crossing, moving and transparent instrument(s) (parts).

cs.CV↗

arXiv2019

Measuring clock jumps using pulsar timing

In this paper, we investigate the statistical signal-processing algorithm to measure the instant local clock jump from the timing data of multiple pulsars. Our algorithm is based on the framework of Bayesian statistics. In order to make the Bayesian algorithm applicable with limited computational resources, we dedicated our efforts to the analytic marginalization of irrelevant parameters. We found that the widely used parameter for pulsar timing systematics, the `Efac' parameter, can be analytically marginalized. This reduces the Gaussian likelihood to a function very similar to the Student's $t$-distribution. Our iterative method to solve the maximum likelihood estimator is also explained in the paper. Using pulsar timing data from the Yunnan Kunming 40m radio telescope, we demonstrate the application of the method, where 80-ns level precision for the clock jump can be achieved. Such a precision is comparable to that of current commercial time transferring service using satellites. We expect that the current method could help developing the autonomous pulsar time scale.

astro-ph.IM↗

arXiv2019

Fluid Modeling and Boolean Algebra for Arbitrarily Complex Topology in Two Dimensions

We propose a mathematical model for fluids in multiphase flows in order to establish a solid theoretical foundation for the study of their complex topology, large geometric deformations, and topological changes such as merging. Our modeling space consists of regular open semianalytic sets with bounded boundaries, and is further equipped with constructive and algebraic definitions of Boolean operations. Major distinguishing features of our model include (a) topological information of fluids such as Betti numbers can be easily extracted in constant time, (b) topological changes of fluids are captured by non-manifold points on fluid boundaries, (c) Boolean operations on fluids correctly handle all degenerate cases and apply to arbitrarily complex topologies, yet they are simple and efficient in that they only involve determining the relative position of a point to a Jordan curve and intersecting a number of curve segments. Although the main targeting field is multiphase flows, our theory and algorithms may also be useful for related fields such as solid modeling, computational geometry, computer graphics, and geographic information system.

math.AT↗

arXiv2018

Interstellar Scintillation observations for PSR B0355+54

In this paper, we report our investigation of pulsar scintillation phenomena by monitoring PSR B0355$+$54 at 2.25 GHz for three successive months using \emph{Kunming 40-m radio telescope}. We have measured the dynamic spectrum, the two-dimensional correlation function, and the secondary spectrum. In those observations with high signal-to-noise ratio ($S/N\ge100$), we have detected the scintillation arcs, which are rarely observable using such a small telescope. The sub-microsecond scale width of the scintillation arc indicates that the transverse scale of structures on scattering screen is as compact as AU size. Our monitoring has also shown that both the scintillation bandwidth, timescale, and arc curvature of PSR B0355$+$54 were varying temporally. The plausible explanation would need to invoke multiple-scattering-screen or multiple-scattering-structure scenario that different screens or ray paths dominate the scintillation process at different epochs.

astro-ph.GA↗

arXiv2018

Revealing two radio active galactic nuclei extremely near PSR J0437$-$4715

Newton's gravitational constant $G$ may vary with time at an extremely low level. The time variability of $G$ will affect the orbital motion of a millisecond pulsar in a binary system and cause a tiny difference between the orbital period-dependent measurement of the kinematic distance and the direct measurement of the annual parallax distance. PSR J0437$-$4715 is the nearest millisecond pulsar and the brightest at radio. To explore the feasibility of achieving a parallax distance accuracy of one light-year, comparable to the recent timing result, with the technique of differential astrometry, we searched for compact radio sources quite close to PSR J0437$-$4715. Using existing data from the Very Large Array and the Australia Telescope Compact Array, we detected two sources with flat spectra, relatively stable flux densities of 0.9 and 1.0 mJy at 8.4 GHz and separations of 13 and 45 arcsec. With a network consisting of the Long Baseline Array and the Kunming 40-m radio telescope, we found that both sources have a point-like structure and a brightness temperature of $\geq$10$^7$ K. According to these radio inputs and the absence of counterparts in the other bands, we argue that they are most likely the compact radio cores of extragalactic active galactic nuclei rather than Galactic radio stars. The finding of these two radio active galactic nuclei will enable us to achieve a sub-pc distance accuracy with the in-beam phase-referencing very-long-baseline interferometric observations and provide one of the most stringent constraints on the time variability of $G$ in the near future.

astro-ph.HE↗

arXiv2012

VLBI detection of the Galactic black hole binary candidate MAXI J1836-194

The X-ray transient MAXI J1836-194 is a newly-identified Galactic black hole binary candidate. As most X-ray transients, it was discovered at the beginning of an X-ray outburst. After the initial canonical X-ray hard state, the outburst evolved into a hard intermediate state and then went back to the hard state. The existing RATAN-600 radio monitoring observations revealed that it was variable on a timescale of days and had a flat or inverted spectrum, consistent with optically thick synchrotron emission, possibly from a self-absorbed jet in the vicinity of the central compact object. We observed the transient in the hard state near the end of the X-ray outburst with the European VLBI Network (EVN) at 5 GHz and the Chinese VLBI Network (CVN) at 2.3 and 8.3 GHz. The 8.3 GHz observations were carried out at a recording rate of 2048 Mbps using the newly-developed Chinese VLBI data acquisition system (CDAS), twice higher than the recording rate used in the other observations. We successfully detected the low-declination source with a high confidence level in both observations. The source was unresolved (<=0.5 mas), which is in agreement with an AU-scale compact jet.

astro-ph.HE↗