Searcharxiv⌕ Search

arXiv subjects

Qi Guo

Publications and source records attributed to Qi Guo.

At least 37 records · Page 2Linked to original sources

Spectral gaps for noncompact hyperbolic surfaces with linearly many cusps

We construct complete finite-area noncompact hyperbolic surfaces with linearly many cusps and a uniform spectral gap. More precisely, for every \(θ>0\), we construct a sequence \(S_{g,n(g)}\in\mathcal{M}_{g,n(g)}\) such that \(\lim\limits_{g\to\infty}\frac{n(g)}{g}=θ\) and the spectrum of the Laplacian has a uniform gap above zero. The construction is based on explicit expanding \((1,3)\)-graphs, viewed as combinatorial skeletons for pants decompositions. We also establish a Steklov-type upper bound showing that expansion cannot persist when the number of boundary vertices is much larger than the genus.

math.DG↗

A high-significance detection of primordial tidal torque imprints

Tidal-torque theory predicts that galaxy angular momenta are imprinted by the primordial tidal field acting on proto-structures and that they can retain information about the early Universe through cosmic evolution. Here we test this prediction by comparing observed galaxy angular momentum vectors with those predicted from the primordial density field reconstructed by ELUCID for the nearby Universe. Among the galaxy populations considered, the gas component of central massive elliptical galaxies provides the clearest signal, exhibiting a strong direction correlation at a significance of about $7σ$. These results provide a robust observational evidence for tidal-torque theory and open a window for cosmological measurements of neutrino mass and other cosmological parameters.

astro-ph.CO↗

Quantum Magnonics: Quantum States Generation and Applications

Hybrid systems based on magnons in ferromagnetic materials, such as yttrium iron garnet, have achieved remarkable development in the last decade. These include the coupling of magnons to microwave and optical photons, superconducting qubits, phonons, spins, the center-of-mass motion of a ferromagnet, etc. Here, we review both the experimental and theoretical progress in this field, focusing on the generation of magnonic quantum states and their applications in a broad range of fields. Since the strong coupling is a prerequisite for achieving coherent quantum control of magnons and preparing magnonic quantum states, we start by introducing representative strong-coupling experiments in cavity magnonics, then review a series of protocols for creating various magnonic quantum states, such as Fock, cat, squeezed, and entangled states, and discuss their potential applications in macroscopic quantum studies, quantum information science, quantum sensing, magnonic quantum devices, dark matter detection, and so on. Finally, we summarize the review and give an outlook for the future study of quantum magnonics.

quant-ph↗

Nonnegative Bakry--Émery Curvature on Bounded-Degree Graphs Implies Volume Doubling and Poincaré Inequalities

We prove that every connected simple graph of bounded degree satisfying the classical dimension-free Bakry--Émery condition $\mathrm{CD}(0,\infty)$ for the unnormalised Laplacian is volume doubling and supports, at all integer graph scales, a scale-invariant $L^2$-Poincaré inequality with dilation two, with constants depending only on the maximum degree. This settles the polynomial-growth conjecture of Cushing, Liu, and Peyerimhoff in a stronger form. The main novelty is a dimension-free adaptation of the graph-theoretic modified nonlinear heat-flow method introduced by Münch and extended to infinite weighted graphs by Pajot and Russ: point-mass consequences of $Γ_2\geq0$ and positive-resolvent smoothing replace any global $\mathrm{CD}(0,n)$ reduction, while diffusive exit-time control and finite-volume localisation yield the Poincaré inequality.

math.DG↗

Xray-Visual Models: Scaling Vision models on Industry Scale Data

We present Xray-Visual, a unified vision model architecture for large-scale image and video understanding trained on industry-scale social media data. Our model leverages over 15 billion curated image-text pairs and 10 billion video-hashtag pairs from Facebook and Instagram, employing robust data curation pipelines that incorporate balancing and noise suppression strategies to maximize semantic diversity while minimizing label noise. We introduce a three-stage training pipeline that combines self-supervised MAE, semi-supervised hashtag classification, and CLIP-style contrastive learning to jointly optimize image and video modalities. Our architecture builds on a Vision Transformer backbone enhanced with efficient token reorganization (EViT) for improved computational efficiency. Extensive experiments demonstrate that Xray-Visual achieves state-of-the-art performance across diverse benchmarks, including ImageNet for image classification, Kinetics and HMDB51 for video understanding, and MSCOCO for cross-modal retrieval. The model exhibits strong robustness to domain shift and adversarial perturbations. We further demonstrate that integrating large language models as text encoders (LLM2CLIP) significantly enhances retrieval performance and generalization capabilities, particularly in real-world environments. Xray-Visual establishes new benchmarks for scalable, multimodal vision models, while maintaining superior accuracy and computational efficiency.

cs.CV↗

Multiplicity and Nonrelativistic limit of Bound States of Nonlinear Dirac Equations on Noncompact Metric Graphs with Localized Nonlinearities

In this paper, we investigate the multiplicity of normalized solutions to a nonlinear Dirac equation with localized nonlinearities on noncompact metric graphs under the \(L^2\)-constraint, as well as the asymptotic behavior of these solutions in the nonrelativistic limit. First, we establish the existence of multiple normalized bound states. Moreover, we explore the nonrelativistic limit and show that, as the speed of light tends to infinity, the solutions converge to those of a nonlinear Schrödinger equation. Our results including the mass-subcritical, mass-critical and, in particular, mass-supercritical regimes.

math.AP↗

Exploring Primordial Non-Gaussianity Measurements in the CSST Spectroscopic Survey

Primordial non-Gaussianity (PNG) is a fundamental probe of the physics of the early Universe and inflation. Here we present a comprehensive study of the constraints on the local-type PNG parameter, $f_{\rm NL}$, for the spectroscopic galaxy survey of the upcoming Chinese Space-station Survey Telescope (CSST). Utilizing the high-resolution Jiutian N-body simulation suite, we construct realistic mock catalogs for emission line galaxies (ELGs) at three representative redshifts $z=0.3$, 0.6, and 0.9. The expected CSST observational characteristics are also considered, including redshift uncertainties and selection functions based on signal-to-noise ratios of emission lines. We develop a robust analysis framework for the redshift-space galaxy power spectrum and bispectrum that accounts for redshift-space distortions, scale-dependent bias, and nonlinear effects. Through a joint Markov Chain Monte Carlo (MCMC) analysis, we find that the power spectrum alone provides competitive constraints, while the inclusion of the bispectrum, specifically targeting the squeezed-limit configurations, improves the $f_{\rm NL}$ constraint precision by approximately 5%-6%. Our joint analysis yields a constraint result of $f_{\rm NL}=-20\pm52$ for the mock data in the 1~($h^{-1}$Gpc)$^3$ comoving volume at the three redshifts, and the constraint accuracy is expected to be improved by several times or even one order of magnitude for the CSST full spectroscopic survey. This work demonstrates the potential of the Stage~IV surveys like CSST to probe inflationary physics, and highlights the importance of higher-order statistics in extracting information from large-scale structure surveys.

astro-ph.CO↗

On Brezis Open Problem 3.1

Let $B_1$ be the unit disk in ${\mathbb R}^2$. We consider the harmonic map equation $$ -Δu=|\nabla u|^2u,$$ subject to the Dirichlet boundary condition $ u(e^{iθ})=(R\cosθ,R\sinθ,\sqrt{1-R^2}):=g_R$, where $0<R<1$ and $u: B_1\to {\mathbb S}^2$ is understood in the weak harmonic-map sense. In 1983, Brezis and Coron proved the existence of two explicit solutions of this nonlinear Dirichlet problem and showed that they are the unique minimizers in their respective relative homotopy classes. In this paper, we resolve a long-standing open question originally posed in their work, later posed as Open Problem 3.1 in Brezis Favorite Open Problems List. Specifically, we prove that these two explicit maps are the only weak harmonic maps with boundary trace $g_{R}$, thereby providing a definitive affirmative answer to Brezis open problem. The proof is based on a boundary rigidity argument. An auxiliary potential $X$ associated with $u$, the Pohozaev identity for the Hopf differential, and the planar isoperimetric inequality imply $$|u_r|\equiv R, \qquad u_r\cdot u_θ\equiv0 \qquad\text{on }\partial B_1. $$ Thus the Hopf differential vanishes on the boundary and hence, by holomorphicity, on the whole disk. The problem is then reduced to the conformal case, where a stereographic-coordinate classification gives exactly the two Brezis--Coron maps.

math.AP↗

Depth from Dual Differential Defocus and Stereo Consensus

We introduce D^3S Consensus, a physics-based, closed-form algorithm that unifies depth-from-defocus (DfD) and stereo to achieve highly accurate depth estimation throughout an extended working range beyond the depth-of-field (DoF) of cameras. Given a pair of dual-defocus stereo images, the method estimates an overdetermined set of depth using a novel DfD theory, Dual Differential Defocus (D^3), and (S)tereo in a coupled fashion. It then picks the most confident depth prediction from the set by enforcing consensus between these physically independent cues to reject unreliable estimates. Analysis shows that D^3S achieves a comparable working range under the same error tolerance with 10x smaller baseline than previous triangulation-based depth estimation systems. This enables compact passive binocular rangefinders with substantially smaller form factors than conventional stereo and DfD designs. We demonstrate the first D^3S prototype with only 4 mm baseline and 12 mm EFL. It generates up to 900 x 1800-pixel depth maps with 1-cm mean absolute error over 0.3-1.64 m from a snapshot acquisition. This has surpassed the reported accuracy of certain commercially available stereo cameras with much larger form factors.

eess.IV↗

OpenDPR: Open-Vocabulary Change Detection via Vision-Centric Diffusion-Guided Prototype Retrieval for Remote Sensing Imagery

Open-vocabulary change detection (OVCD) seeks to recognize arbitrary changes of interest by enabling generalization beyond a fixed set of predefined classes. We reformulate OVCD as a two-stage pipeline: first generate class-agnostic change proposals using visual foundation models (VFMs) such as SAM and DINOv2, and then perform category identification with vision-language models (VLMs) such as CLIP. We reveal that category identification errors are the primary bottleneck of OVCD, mainly due to the limited ability of VLMs based on image-text matching to represent fine-grained land-cover categories. To address this, we propose OpenDPR, a training-free vision-centric diffusion-guided prototype retrieval framework. OpenDPR leverages diffusion models to construct diverse prototypes for target categories offline, and to perform similarity retrieval with change proposals in the visual space during inference. The secondary bottleneck lies in change localization, due to the inherent lack of change priors in VFMs. To bridge this gap, we design a spatial-to-change weakly supervised change detection module named S2C to adapt their strong spatial modeling capabilities for change localization. Integrating the pretrained S2C into OpenDPR leads to an optional weakly supervised variant named OpenDPR-W, which further improves OVCD with minimal supervision. Experimental results on four benchmark datasets demonstrate that the proposed methods achieve state-of-the-art performance under both supervision modes. Code is available at https://github.com/guoqi2002/OpenDPR.

cs.CV↗

IAPO: Information-Aware Policy Optimization for Token-Efficient Reasoning

Large language models increasingly rely on long chains of thought to improve accuracy, yet such gains come with substantial inference-time costs. We revisit token-efficient post-training and argue that existing sequence-level reward-shaping methods offer limited control over how reasoning effort is allocated across tokens. To bridge the gap, we propose IAPO, an information-theoretic post-training framework that assigns token-wise advantages based on each token's conditional mutual information (MI) with the final answer. This yields an explicit, principled mechanism for identifying informative reasoning steps and suppressing low-utility exploration. We provide a theoretical analysis showing that our IAPO can induce monotonic reductions in reasoning verbosity without harming correctness. Empirically, IAPO consistently improves reasoning accuracy while reducing reasoning length by up to 36%, outperforming existing token-efficient RL methods across various reasoning datasets. Extensive empirical evaluations demonstrate that information-aware advantage shaping is a powerful and general direction for token-efficient post-training. The code is available at https://github.com/YinhanHe123/IAPO.

cs.CL↗

Non-Learning Low-Light Stereo Vision

We present a non-learning stereo framework for disparity estimation from severely noisy images. Using the Field of Junctions (FoJ), it retains coarse visual features stable under severe noise for cost volume construction while discarding fine textures inseparable from photon noise. The resulting structural information guides boundary-aware Semi-Global Matching (SGM) that dynamically adapts smoothness penalties to preserve true disparity discontinuities. The output is a sparse disparity map more accurate than those of recent stereo algorithms over unmasked pixels on widely-used benchmark datasets.

cs.CV↗

MetaTele: Compact Refractive Metasurface Computational Telephoto Camera

Smartphone cameras face fundamental form-factor constraints that limit their optical magnification, primarily due to the difficulty of reducing a lens assembly's telephoto ratio, the ratio between total track length (TTL) and effective focal length (EFL). Currently, conventional refractive optics struggle to achieve a telephoto ratio below 0.5 without requiring multiple bulky elements to correct optical aberrations. In this paper, we introduce MetaTele, a novel optics-algorithm co-design that breaks this bottleneck. MetaTele explicitly decouples the acquisition of scene structure and color information. First, it utilizes a compact refractive-metasurface optical assembly to capture a fine-detail structure image under a narrow wavelength band, inherently avoiding severe chromatic aberrations. Second, it captures a broadband color cue using the same optics; although this cue is heavily corrupted by chromatic aberrations, it retains sufficient spectral information to guide post-processing. We then employ a custom one-step diffusion model to computationally fuse these two raw measurements, successfully colorizing the structure image while correcting for system aberrations. We demonstrate a MetaTele prototype, achieving an unprecedented telephoto ratio of 0.44 with a TTL of just 13 mm for RGB imaging, paving the way for DSLR-level telephoto capabilities within smartphone form factors.

eess.IV↗

The FAST Hundred-Deg$^2$ HI Deep (HD$^2$) Survey: Early Results from the Pilot Survey

The Hundred-deg$^2$ HI Deep (HD$^2$) survey carried out with the Five-hundred-meter Aperture Spherical Telescope (FAST) is planned to map a contiguous region within the DESI DR1 footprint, achieving an effective integration time of 20 minutes for each pointing and a uniform detection sensitivity of 0.28 mJy beam$^{-1}$ at 4.8 km s$^{-1}$ resolution. We present early results from the pilot HD$^2$ survey: a 10 deg$^2$ field overlapping with HSC-SSP and the DESI EDR SV3, observed with an integration time of 7.3 minutes per beam and the rms of 0.45 mJy beam$^{-1}$ at 4.8 km s$^{-1}$ resolution. We identify 339 HI sources at $z<0.09$, corresponding to $\sim$34 detections per deg$^2$, nearly six times higher than the detection rate of the wide-field surveys. Optical counterparts are primarily identified using DESI redshifts, yielding a matching rate and correctness exceeding 90% for galaxies with $r<19.5$ mag, a substantial improvement over SDSS. Under the constraint of $r < 17.8$ mag and $0.01 < z < 0.05$, nearly 50% of galaxies in the DESI BGS samples have HI detections in this pilot survey. The optical properties of these HI-detected galaxies span nearly the entire parameter range of the DESI sample. The gas fraction scaling relations versus stellar mass, stellar mass surface density, NUV-r, and specific star formation rate are consistent with previous surveys, e.g., ALFALFA, DINGO, and xGASS. These results justify the feasibility of the full HD$^2$ survey, which will build a high-completeness HI census over a contiguous area to probe the cold gas scaling relations of galaxies over different scales.

astro-ph.GA↗

Fast PSF Synthesis with Defocused and Spherical Aberration

Accurately estimating the point spread function (PSF) of an optical system requires solving free-space wave propagation, which entails evaluating a diffraction integral. This integral is traditionally computed numerically using Fast Fourier Transform (FFT) or Hankel Transform, as it lacks a closed-form solution. We show that, under defocus and spherical aberration, the diffraction integral admits an approximate closed-form solution by combining a piecewise Bessel approximation with Gaussian-type integrals. Based on this result, we develop a fast wave-based PSF simulator with linear complexity in the radial resolution. The proposed, un-optimized simulator achieves up to a 2x speedup over Hankel-based integration and a 4x speedup over FFT while closely matching wave-optical PSFs, enabling efficient large-scale depth-of-field synthesis.

eess.IV↗

The Ekeland--Nirenberg Variational Problem:A Sharp Positivity Threshold and Extensions

We study the Ekeland--Nirenberg variational problem in the two-dimensional diagonal family \[ J_{a,c,d}(u)=\int_{\Rp^2}\bigl(u_{xy}^2+a u_x^2+c u_y^2+d u^2\bigr)\dd x\dd y, \qquad a,c,d>0, \] under the constraint $u(0,0)=1$. If $u_{a,c,d}$ is the unique minimizer and $K_{a,c,d}$ is its cosine kernel, we prove the sharp classification \[ K_{a,c,d}>0 \hbox{ on } \Rp^2\quad\Longleftrightarrow\quad u_{a,c,d}>0 \hbox{ on } \Rp^2\quad\Longleftrightarrow\quad d\le ac . \] Thus every supercritical triple $d>ac$ produces sign change. We also prove local sign-change stability under small two-dimensional non-diagonal perturbations and a sharp product-type $n$-dimensional diagonal threshold. The domain and evolution results are stated in precise auxiliary settings: a free-boundary capacity formulation for domains and a selected decaying branch of the second-order evolution equation.

math.AP↗

HeavySkill: Heavy Thinking as the Inner Skill in Agentic Harness

Recent advances in agentic harness with orchestration frameworks that coordinate multiple agents with memory, skills, and tool use have achieved remarkable success in complex reasoning tasks. However, the underlying mechanism that truly drives performance remains obscured behind intricate system designs. In this paper, we propose HeavySkill, a perspective that views heavy thinking not only as a minimal execution unit in orchestration harness but also as an inner skill internalized within the model's parameters that drives the orchestrator to solve complex tasks. We identify this skill as a two-stage pipeline, i.e., parallel reasoning then summarization, which can operate beneath any agentic harness. We present a systematic empirical study of HeavySkill across diverse domains. Our results show that this inner skill consistently outperforms traditional Best-of-N (BoN) strategies; notably, stronger LLMs can even approach Pass@N performance. Crucially, we demonstrate that the depth and width of heavy thinking, as a learnable skill, can be further scaled via reinforcement learning, offering a promising path toward self-evolving LLMs that internalize complex reasoning without relying on brittle orchestration layers.

cs.AI↗

Cross-Comparison of Galaxies Detected in the CSST Spectroscopic Survey and the SKA HI Survey

We present a forward-modeling framework to forecast the galaxies detected in the Chinese Space Station Survey Telescope (CSST) spectroscopic survey and the Square Kilometre Array (SKA) HI survey. Starting from the L-Galaxies 2020 semi-analytic model run on the Millennium-II N-body simulation (MS-II), the cold gas in galaxies is partitioned into atomic and molecular components self-consistently within the model. We further model the emission-lines (H $α$, H $β$, O III) relevant for the slitless spectrograph of the CSST in a post-processing step. We construct mock lightcones using the Mock Map Facility (MoMaF) approach, simulating the neutral hydrogen (HI) data cubes representing a 2000 hour SKA-Mid spectral line observation from redshifts 0.25--0.5, and employ the Source Finding Application 2(SOFIA-2) source-finding package to generate an HI galaxy catalog. In parallel, we apply the CSST selection function and noise model to obtain a realistic catalog of emission-line galaxies; the emission-line signal is proportional to the star formation rate. These products allow us to cross compare the galaxy samples and assess the synergy between CSST and SKA. We study the correlations of the HI and the emission-line signal with the halo mass, HI mass, and the stellar mass, and the baryonic Tully-Fisher relation (BTFR). We also perform stacking analysis of the HI signal from the CSST-selected sample, which probes the HI content in galaxies with low HI mass. Finally, we derive the optical-HI cross-correlation power spectrum of the galaxies, and measure the bias of these galaxies. These results can provide useful insight on the cold gas and stellar content of the galaxies.

astro-ph.GA↗