arXiv subjects

Jintao Luo

Publications and source records attributed to Jintao Luo.

14 recordsLinked to original sources

arXiv2026

Strong Topological Rokhlin Property: Finite-Index Ascent, Descriptive Complexity, and Effective Obstructions

We give a finite symbolic characterization of the strong topological Rokhlin property in terms of globally realizable finite pattern systems. We use this characterization to prove finite-index ascent: if $H\leq G$ has finite index, $G$ is finitely generated, and $H$ has STRP, then $G$ has STRP. Consequently every finitely generated virtually free group has STRP, whereas among countable locally virtually free groups STRP holds exactly for the finitely generated ones. In the compact coding space $\operatorname{NSub}(F_ω)$ of countable groups, the STRP locus belongs to ${\boldsymbol Π}^0_4$, is ${\boldsymbol Σ}^0_3$-hard; the locus of finitely generated virtually free groups is ${\boldsymbol Σ}^0_3$-complete. For quotients $F_ω/N$ with $N$ recursively enumerable, every projectively isolated subshift has decidable finite tuple-language and contains an $N$-recursive configuration. This yields effective SFT obstructions to STRP, including subgroup and direct-product obstructions, and implies that $\mathrm{SL}_n(\mathbb Q)$ does not have \STRP for any $n\geq2$.

math.LO↗

arXiv2026

VPP: Virtual Pipeline Parallelism for Efficient Chunked Prefill in Long-Context LLM Inference

Chunked prefill pipeline parallelism (CPP) is a key technique for LLM inference. However, equal-size chunks exhibit imbalanced latency, as later chunks attend longer prefix KV caches and incur higher attention costs, leading to pipeline bubbles. Existing approaches mitigate this imbalance through dynamic chunk resizing (Dynamic CPP, DCPP), but our measurements show that this trades scheduling overhead for load balancing, which becomes unfavorable on long sequences. In this study, we propose Virtual Pipeline Parallelism (VPP), which keeps chunk sizes fixed and optimizes the pipeline layout through virtual stages. A V-shaped virtual-stage traversal overlaps each chunk's expensive middle stages with the lighter head and tail stages of its neighbors, while asynchronous communication and pipelined packing further reduce communication stalls and cross-request drain bubbles. We implement VPP in vLLM-Ascend and evaluate it on three MoE-based LLMs with sequences up to 1M tokens on 16 Ascend 910C NPUs. VPP improves throughput by up to 13.1% over DCPP on long sequences and 6.7% on mixed workloads, while preserving performance on short sequences. On a 512K-token DeepSeek-V3.1 prefill workload, VPP reduces the pipeline bubble ratio from 6.4% to 0.1%, achieving a 98.0% reduction compared with DCPP.

cs.DC↗

arXiv2026

Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects

We show that under $\mathsf{ZF} + \mathsf{CC}_{\mathbb R}$, if the Ramsey property holds for all sets in a good pointclass $Γ$, then there is no MAD family in $Γ$, proving a long-standing conjecture made by A.R.D.\ Mathias in 1977. This also holds for $\mathcal I$-MAD families with respect to analytic ideals $\mathcal I$ including $\mathcal{ED}$, $\mathcal{ED}_{\mathrm{fin}}$, and $\finalphaα$ for all countable ordinals $α$. Under the same assumption, we show that if any one of the Baire property, Lebesgue measurability or Ramsey property holds for all sets in $Γ$, then there is no maximal independent family in $Γ$. Under the stronger assumption $\mathsf{ZF} + \mathsf{DC}_{\mathbb R}$, we further prove that if the Ramsey property holds for all sets in $Γ$, then $Γ$ contains no Vitali sets and thus no Hamel bases.

math.LO↗

arXiv2025

Ramsey regularity implies no MAD families without uniformization

We show that if the Ramsey property holds (in a class of sets), then there is no MAD family (in this class, provided it satisfies some modest closure properties), proving a conjecture made by A.R.D.\ Mathias in 1977. As the technique we introduce for this proof is useful in a variety of related problems, we take the opportunity to announce 4 theorems, which will be proved in a follow-up paper.

math.LO↗

arXiv2025

Multi-year Polarimetric Monitoring of Four CHIME-Discovered Repeating Fast Radio Bursts with FAST

In this study, we report multi-year polarization measurements of four repeating FRBs initially discovered by CHIME: FRBs~20190117A, 20190208A, 20190303A, and 20190417A. We observed the four repeating FRBs with FAST, detecting a total of 66 bursts. Two bursts from FRB~20190417A exhibit a circular polarization signal-to-noise ratio greater than 7, with the highest circular polarization fraction recorded at 35.7%. While the bursts from FRBs 20190208A and 20190303A are highly linearly polarized, those from FRBs~20190117A and 20190417A show depolarization due to multi-path propagation, with σ_{\mathrm{RM}} = 2.78 \pm 0.05 rad m$^{-2}$ and 5.19 \pm 0.09 rad m$^{-2}$, respectively. The linear polarization distributions among five repeating FRB--FRBs~20190208A, 20190303A, 20201124A, 20220912A, and 20240114A--are nearly identical but show distinct differences from those of non-repeating FRBs. FRBs~20190117A, 20190303A, and 20190417A exhibit substantial rotation measure (RM) variations between bursts, joining other repeating FRBs in this behavior. Combining these findings with published results, 64% of repeating FRBs show RM variations greater than 50 rad m$^{-2}$, and 21\% exhibit RM reversals. A significant proportion of repeating FRBs reside in a dynamic magneto-ionic environment. The structure function of RM variations shows a power-law index of $γ\sim (0-0.8)$, corresponding to a shallow power spectrum $α= -(γ+ 2) \sim -(2.0-2.8)$ of turbulence, if the RM variations are attributed to turbulence. This suggests that the variations are dominated by small-scale RM density fluctuations. We perform K-S tests comparing the RMs of repeating and non-repeating FRBs, which reveal a marginal dichotomy in the distribution of their RMs.We caution that the observed dichotomy may be due to the small sample size and selection biases.

astro-ph.HE↗

arXiv2025

The Chinese Pulsar Timing Array data release I. Single pulsar noise analysis

The Chinese Pulsar Timing Array (CPTA) has collected observations from 57 millisecond pulsars using the Five-hundred-meter Aperture Spherical Radio Telescope (FAST) for close to three years, for the purpose of searching for gravitational waves (GWs). To robustly search for ultra-low-frequency GWs, pulsar timing arrays (PTAs) need to use models to describe the noise from the individual pulsars. We report on the results from the single pulsar noise analysis of the CPTA data release I (DR1). Conventionally, power laws in the frequency domain are used to describe pulsar red noise and dispersion measurement (DM) variations over time. Employing Bayesian methods, we found the choice of number and range of frequency bins with the highest evidence for each pulsar individually. A comparison between a dataset using DM piecewise measured (DMX) values and a power-law Gaussian process to describe the DM variations shows strong Bayesian evidence in favour of the power-law model. Furthermore, we demonstrate that the constraints obtained from four independent software packages are very consistent with each other. The short time span of the CPTA DR1, paired with the large sensitivity of FAST, has proved to be a challenge for the conventional noise model using a power law. This mainly shows in the difficulty to separate different noise terms due to their covariances with each other. Nineteen pulsars are found to display covariances between the short-term white noise and long-term red and DM noise. With future CPTA datasets, we expect that the degeneracy can be broken. Finally, we compared the CPTA DR1 results against the noise properties found by other PTA collaborations. While we can see broad agreement, there is some tension between different PTA datasets for some of the overlapping pulsars. This could be due to the differences in the methods and frequency range compared to the other PTAs.

astro-ph.HE↗

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↗

arXiv2024

Maximal eventually different families for uniformly weak Ramsey ideals

We study $\mathcal I$-maximal eventually different families of functions from the set of natural numbers into itself where $\mathcal I$ is an arbitrary ideal on the set of natural numbers that includes the ideal of all finite sets $\mathrm{fin}$. We introduce the class of uniformly weak Ramsey ideals and prove that there exists a closed $\mathcal I$-maximal eventually different family if $\mathcal I$ belongs to this class; this is the case for arbitrary $F_σ$ ideals and Fubini products $\mathrm{fin}^α$ with $α<ω_1$.

math.LO↗

arXiv2024

Pathfinding pulsar observations with the CVN incorporating the FAST

The importance of Very Long Baseline Interferometry (VLBI) for pulsar research is becoming increasingly prominent and receiving more and more attention. In this paper, we present pathfinding pulsar observation results with the Chinese VLBI Network (CVN) incorporating the Five-hundred-meter Aperture Spherical radio Telescope (FAST). On MJD 60045 (April 11th, 2023), PSRs B0919+06 and B1133+16 were observed with the phase-referencing mode in the L-band using four radio telescopes (FAST, TianMa, Haoping and Nanshan) and correlated with the pulsar binning mode of the distributed FX-style software correlator in Shanghai. After further data processing with the NRAO Astronomical Image Processing System (AIPS), we detected these two pulsars and fitted their current positions with accuracy at the milliarcsecond level. By comparison, our results show significantly better agreement with predicted values based on historical VLBI observations than that with previous timing observations, as pulsar astrometry with the VLBI provides a more direct and model-independent method for accurately obtaining related parameters.

astro-ph.HE↗

arXiv2024

The discovery of three pulsars in the globular cluster M15 with the FAST

We present the discovery of three pulsars in the Globular Cluster (GC) M15 (NGC 7078) by the Five-hundred-meter Aperture Spherical radio Telescope (FAST). PSR J2129+1210J (M15J) is a millisecond pulsar with a spin period of 11.84 ms and a dispersion measure of 66.68 pc cm-3. Both PSR J2129+1210K and L (M15K and L) are long-period pulsars with spin periods of 1928 ms and 3961 ms, respectively. M15L is the GC pulsar with the longest spin period known. The timing solutions of M15A to M15H are updated. As predicted by Ridolfi et al.(2018), the flux density of M15C keeps decreasing and the latest detection in our dataset was on December 20th, 2022. We have also detected M15I's signal for the first time since its discovery. Current timing suggests that it is an isolated pulsar.

astro-ph.HE↗

arXiv2024

Intelligent Reflecting Surface Aided Wireless Communication Systems: Joint Location and Passive Beamforming Design

Intelligent reflecting surface (IRS) has been widely studied in recent years, it has emerged as a new technology which can reflect the incident signal by intelligently configuring the reflection elements, thus changing the signal propagation environment, enhancing the signals users desire and suppressing the interference between users. In this paper, we study an IRS aided multi-users wireless communication where the base station (BS) sends a variety of signals, each user receives desired signals. In order to guarantee the fairness of wireless communications, we need to maximize the minimum rates of users, subject to the power constraint of BS and the phase constraint of IRS. Prior works on IRS mainly consider optimizing BS beamforming and IRS passive beamforming, this paper also aims to optimize the IRS location. The considered problem is shown to be non-convex, we decompose the problem into two subproblems, transforming the two subproblems into a lower bound problem and using alternating optimization (AO) and successive convex approximation (SCA) to solve them, respectively. Finally, the two subproblems are optimized alternately to make the objective function value converge in an acceptable range. Simulation results verify the convergence results of our proposed algorithm, and the performance improvement compared with the benchmark scheme in wireless communication system.

cs.IT↗

arXiv2021

FAST Globular Cluster Pulsar Survey: Twenty-Four Pulsars Discovered in Fifteen Globular Clusters

We present the discovery of 24 pulsars in 15 Globular Clusters (GCs) using the Five-hundred-meter Aperture Spherical radio Telescope (FAST). These include the first pulsar discoveries in M2, M10, and M14. Most of the new systems are either confirmed or likely members of binary systems. M53C, NGC6517H and I are the only three pulsars confirmed to be isolated. M14A is a black widow pulsar with an orbital period of 5.5 hours and a minimum companion mass of 0.016 \Ms. M14E is an eclipsing binary pulsar with an orbital period of 20.3 hours. With the other 8 discoveries that have been reported elsewhere, in total 32 GC pulsars have been discovered by FAST so far. In addition, We detected M3A twice. This was enough to determine that it is a black widow pulsar with an orbital period of 3.3 hours and a minimum companion mass of 0.0125 \Ms.

astro-ph.HE↗

arXiv2021

Three Pulsars Discovered by FAST in the Globular Cluster NGC 6517 with a Pulsar Candidate Sifting Code Based on Dispersion Measure to Signal-to-Noise Ratio Plots

We report the discovery of three new pulsars in the Globular Cluster (GC) NGC6517, namely NGC 6517 E, F, and G, made with the Five-hundred-meter Aperture Spherical radio Telescope (FAST). The spin periods of NGC 6517 E, F, and G are 7.60~ms, 24.89~ms, and 51.59~ms, respectively. Their dispersion measures are 183.29, 183.713, and 185.3~pc~cm$^{-3}$, respectively, all slightly larger than those of the previously known pulsars in this cluster. The spin period derivatives are at the level of 1$\times$10$^{-18}$~s~s$^{-1}$, which suggests these are recycled pulsars. In addition to the discovery of these three new pulsars, we updated the timing solutions of the known isolated pulsars, NGC 6517 A, C, and D. The solutions are consistent with those from Lynch et al. (2011) and with smaller timing residuals. From the timing solution, NGC 6517 A, B (position from Lynch et al. 2011), C, E, and F are very close to each other on the sky and only a few arcseconds from the optical core of NGC 6517. With currently published and unpublished discoveries, NGC6517 now has 9 pulsars, ranking 5$^{th}$ of the GCs with the most pulsars. The discoveries take advantage of the high sensitivity of FAST and a new algorithm used to check and filter possible candidate signals.

astro-ph.HE↗

arXiv2020

Pulsar Timing Observations with Haoping Radio Telescope

We report pulsar timing observations carried out in L-band with NTSC's 40-meter Haoping Radio Telescope (HRT), which was constructed in 2014. The observations were carried out using the pulsar machine we developed. Timing observations toward millisecond pulsar J0437-4715 obtains a timing residual (r.m.s) of 397ns in the time span of 284 days. And our observations successfully detected Crab pulsar's glitch that happened on July 23rd, 2019.

astro-ph.IM↗