arXiv subjects

Yuxin Lin

Publications and source records attributed to Yuxin Lin.

At least 19 recordsLinked to original sources

arXiv2026

Constraining Dust Properties Along the Minor Axis of Andromeda

Previous studies of dust emission in M31 based primarily on Herschel data have reported inconsistent radial trends in the dust emissivity index ($β$), partly due to limited wavelength coverage and the intrinsic $T_{\rm dust}$-$β$ degeneracy. We aim to improve the constraints of $β$ determinations and obtain the spatial surface density and temperature distributions at GMC scales in M31 by extending the spectral coverage into the millimeter regime and by quantifying the impact of wavelength coverage on the $T_{\rm dust}$-$β$ degeneracy. We present new IRAM 30m NIKA2 1.15 mm observations along the minor axis of M31 at an angular resolution of 11 arcsec, corresponding to $\sim 40$ pc at the distance of M31. These data are used with Herschel and JCMT SCUBA-2 maps to perform pixel-by-pixel single-component modified blackbody fitting. Including the 850 $μ$m and 1.15 mm data helps reduce the $T_{\rm dust}$-$β$ degeneracy and yields an average emissivity index of $β\approx 1.8$, systematically lower than values derived from far-infrared-only analyses. Radial analysis shows higher $β$ values in the 5 kpc ring compared to the 10 kpc ring. The elevated $β$ values in the inner 5 kpc may be linked to changes in dust composition, potentially associated with enhanced starlight heating in this region. Millimeter wavelength coverage is important for improving $β$ constraints in M31. The lower $β$ values inferred from the 250--1150 $μ$m SED fitting suggest possible variations in dust emissivity and highlight the importance of sampling the long-wavelength SED slope in nearby galaxies.

astro-ph.GA↗

arXiv2026

Artinian reduction applied to the Largest Intersection Problem

Suppose we have $r$ hypersurfaces in $\mathbb{P}^m$ of degree $d$, whose defining polynomials are linearly independent and whose intersection is zero-dimensional. What is the maximum number of points in their intersection? This problem is motivated by computing the generalized Hamming weights of projective Reed-Muller codes, and a conjectured formula for this maximum was given in [21]. We prove the conjectured formula for arbitrary $m$ when $\binom{m+d}{d}-\binom{d+2}{2}<r\leq\binom{m+d}{d}$. We use the notion of Artinian reduction to reformulate the problem in terms of graded Artinian algebras and then apply combinatorial tools to bound their Hilbert functions.

math.AG↗

arXiv2026

Complex Organic Molecules in Protostars with ALMA Spectral Surveys (COMPASS) II. Approach to data reduction and products for line-rich broadband (sub)millimeter spectra

Studying the chemical composition of the warm gas surrounding embedded solar-type protostars is one of the areas for which the Atacama Large Millimeter/submillimeter Array (ALMA) is particularly well suited. Recently, the ALMA Large Program ``Complex Organic Molecules in Protostars with ALMA Spectral Surveys'' (COMPASS) carried out an observing campaign of a sample of 11 protostellar regions to investigate the chemical impact of their environments and evolutionary stages. The aim of this paper is to provide the observational and procedural information necessary for the community to understand the analysis presented in forthcoming scientific papers by the COMPASS collaboration, and to enable archival research using the data products provided by our team and the ALMA Science Archive. This paper describes the technical setup of the observations, and it outlines the data-processing pipeline and primary data products from this initiative. The Common Astronomy Software Applications (CASA) was used for initial calibration following the standard ALMA Pipeline, and then IMAGER was used for self-calibration and imaging. We describe post-processing done with Python to achieve favorable continuum subtraction, correct for the primary beam response, and extract spectra. We discuss our strategy for mitigating data challenges, including those related to data volume and continuum subtraction for spectral line analysis. The incorporation of IMAGER in our workflow was advantageous in terms of the computing efficiency which allowed us to benchmark several imaging parameters and techniques; we also demonstrate that the imaging outcomes using IMAGER or CASA are scientifically comparable. Numerous data products are generated for the program, including image cubes for the 36 spectral windows targeting each source, extracted spectra, and continuum images.

astro-ph.SR↗

arXiv2026

Density of $μ$-ordinary Primes for K3 Surfaces

By a result of Bogomolov and Zarhin, a K3 surface $X$ over a number field $L$ has ordinary reduction at a density 1 set of primes after passing to a finite extension of $L$. In this paper, we refine this result for non-CM K3 surfaces whose transcendental Hodge structure has endomorphism field $F$ abelian over $\mathbb{Q}$. We further assume a condition on the connected components of the $l$-adic monodromy group of $X$, and, when $F$ is totally real, a parity condition on the rank of the transcendental lattice over $F$. Under these assumptions, we prove that the set of primes of $L$ at which $X$ has $μ$-ordinary reduction has density $1$. As a corollary, the set of primes of $L$ at which $X$ has ordinary reduction has density $1/[FL:L]$. We include explicit examples of K3 surfaces satisfying these conditions.

math.NT↗

arXiv2026

Low Star Formation Efficiency in M31: Evidence for a Deficit of Bound Gas

The Andromeda galaxy (M31) exhibits a systematically low star formation efficiency (SFE) compared to other star-forming galaxies. Star formation is thought to be regulated by the mass of gravitationally bound gas. To investigate whether the low SFE in M31 originates from a scarcity of such bound gas, we analyze the dynamical state of its giant molecular cloud (GMC) population by estimating their virial parameters ($α_{\rm vir}$). Using a JCMT-SCUBA2 850 micron dust-continuum GMC catalog as the parent sample, we combine it with IRAM 30 m CO(1-0) data to define a working sample of 173 GMCs and derive their kinematic properties. Most analyzed GMCs exhibit high $α_{\rm vir}$, indicating that they are predominantly gravitationally unbound at the approximately 86 pc resolution of our observations. While no statistically significant global correlation is found between SFE and $α_{\rm vir}$ for the full cloud sample, the upper quantiles of the SFE distribution show progressively stronger negative trends with increasing $α_{\rm vir}$. This upper-tail trend may arise from the combined effects of the virial parameter limiting the upper range of SFE values accessible to the GMC population and feedback-driven disruption reducing the number of high-SFE, high-$α_{\rm vir}$ CO-bright clouds in the observed sample. The substantial scatter in the SFE-$α_{\rm vir}$ plane likely reflects the diverse evolutionary stages of GMCs, the temporal mismatch between gas and star formation tracers, and the limitations of a cloud-averaged virial parameter as a tracer of internal dynamical structure, making a simple one-to-one correspondence between $α_{\rm vir}$ and instantaneous SFE difficult to recover for individual GMCs.

astro-ph.GA↗

arXiv2026

Dense Cores in the Vicinity of an HII Region

Massive stars strongly influence their surroundings through radiative and mechanical feedback, but its effects on dense gas structures at sub-pc scales remain poorly constrained. We investigate how feedback from a newly formed massive star affects dense cores in the filamentary molecular cloud IRAS 18530+0215. We analyze ALMA Band 6 observations of 1.3 mm dust continuum and DCN, N$_2$D$^+$, and $^{13}$CS line emission, together with VLA K-band continuum and NH$_3$ observations. Dense cores are identified with astrodendro, and their temperatures, masses, velocity dispersions, and virial parameters are derived. The dynamical state of the ultra-compact H II region is examined through energy and pressure estimates. The H II region has a radius of $\sim$0.1 pc and an expansion velocity of $\sim$2.5 km s$^{-1}$, corresponding to a shell dynamical age of $\sim$0.06 Myr. DCN and $^{13}$CS cores are concentrated near the H II region, whereas N$_2$D$^+$ cores preferentially lie farther away. Core temperatures and velocity dispersions decrease with projected distance from the H II region. Virial parameters increase within the inner $\sim$0.3 pc but decline sharply beyond this scale, while core masses show no significant trend with distance. Strong star formation signatures are found at $\sim$0.2 pc, whereas more distant regions still host quiescent, cold dense cores. The compact H II region appears trapped or choked within $\sim$0.1 pc, while its feedback extends to at least $\sim$0.3 pc. Within this region, feedback enhances core velocity dispersions, gas temperatures, and virial parameters, with no evidence that it promotes the formation of more massive dense cores.

astro-ph.GA↗

arXiv2026

Non-$p$-ordinary smooth abelian covers of $\mathbb{P}^1$

Given a family of odd abelian covers of $\mathbb{P}^1$ and a prime $p$ of good reduction, in [1], under some assumptions, we computed the generic Newton polygon (resp. Ekedahl-Oort type) in the family (called $p$-ordinary). In this paper, we investigate the existence of non-$p$-ordinary smooth curves in the family. In particular, under some restrictions, we show that when $p$ is sufficiently large, the complement of the $p$-ordinary locus is always nonempty. For $1$-dimensional families satisfying additional auxiliary conditions, we obtain a lower bound for the number of non-$p$-ordinary smooth curves. In specific instances, the above general statement can be improved; as an example, for families of covers of degree at most 7, we establish the non-emptiness of certain non-$p$-ordinary Newton/Ekedahl-Oort strata (called almost $p$-ordinary). Our method relies on further study of the extended Hasse-Witt matrix introduced by Moonen in [2], and initiated in [1], and on known results about the geometry of the mod-$p$ reduction of Shimura varieties of PEL type.

math.AG↗

arXiv2026

A $k$-Dimensional Version of the Largest Intersection Problem

Suppose we have $r$ linearly independent hypersurfaces of degree $d$ in $\mathbb{P}^m$ (or $\mathbb{A}^m$) defined over a finite field $\mathbb{F}_q$, whose intersection is at most $k$-dimensional. What is the largest possible number of $\mathbb{F}_q$-rational points in the intersection? We conjecture an exact formula for this problem in both the projective and affine settings, assuming $q\geq d+1$. The case $k=m-1$ recovers the Beelen-Datta-Ghorpade conjecture [2] and the case $k=0$ recovers the zero-dimensional conjecture in [15]. Another interesting special case of the conjecture is $k=m-r$, which corresponds to the complete intersection of $r$ degree $d$ polynomials. The case $r=1$, $k=m-1$ was proven by Serre in [16] who showed that if $F$ is a degree $d$ homogeneous polynomial, then $|V(F)(\mathbb{F}_q)|\leq dq^{m-1}+π_{m-2}(q)$. We prove the case $r=2$ and $k=m-2$, that is, if $F_1, F_2$ are coprime, degree $d$ homogeneous polynomials, then $|V(F_1,F_2)(\mathbb{F}_q)|\leq d^2q^{m-2}+π_{m-3}(q)$.

math.AG↗

arXiv2026

Trace the Self-Gravitating Gas Using CO Isotopologues

Recent studies have shown that the star formation rate (SFR) correlates tightly and linearly with the mass of gravitationally bound gas, which can be delineated from the power-law tail of the column-density probability distribution function ($N$-PDF) derived from dust emission observations. This relationship holds across four orders of magnitude within the Milky Way--spanning low-mass to high-mass star-forming regions and encompassing the extreme environment of the Central Molecular Zone. Building on this framework, we present a new approach for estimating the mass of gravitationally bound gas in molecular clouds using multi-line CO isotopologue observations. Our sample includes 16 molecular clouds with robust detections in $^{12}$CO, $^{13}$CO, and C$^{18}$O $J$ = 1-0, spanning both massive inner Galaxy clouds and nearby star-forming regions. We find that the $N$-PDFs derived from combined CO isotopologue data recover the characteristic log-normal plus power-law profiles seen in dust-based studies. The mass and spatial distribution of the self-gravitating structures estimated from both dust-based and CO-based methods agree well throughout the sample. This indicates that the CO isotopologue combination can robustly trace the self-gravitating component via the $N$-PDF method and provides a reliable, scalable, and velocity-resolved alternative to dust emission for identifying the star-forming gas in molecular clouds.

astro-ph.GA↗

arXiv2026

Knowing When to Ask: Resolving Uncertainty in Human-Robot Joint Planning via Explicit Dialogue and Implicit Intent Cues

Effective human-robot collaboration in open-world environments requires joint planning under uncertainty about the task, the environment, and the human teammate. Communication is the most direct means of resolving such uncertainty, yet most existing systems support only one-way communication: robots listen and act, treating humans as passive supervisors rather than conversational teammates capable of two-way dialogue. We propose a unified human-robot joint planning system in which the robot actively resolves uncertainty through two complementary communication channels. When uncertainty is decision-critical, an uncertainty-mitigation joint planning module engages the human in clarification dialogue: it grounds ambiguous instructions via an LLM-assisted active elicitation mechanism, enumerates traversability hypotheses through a hypothesis-augmented A* search, and computes a cost-optimal querying policy via dynamic programming, so that the robot asks only the questions whose answers actually matter for the plan. When explicit dialogue is unnecessary or impractical, a real-time intent-aware collaboration module instead reads implicit, nonverbal cues, maintaining a probabilistic belief over the human's latent task intent from spatial and directional signals to enable coordination-aware task selection without any communication overhead. We validate the proposed system in both Gazebo simulations and real-world UAV deployments, integrated with a voice dialogue interface and a Vision-Language Model (VLM)-based 3D semantic perception pipeline. Experimental results show that cost-optimal clarification dialogue cuts the interaction cost by 51.9% while maintaining a 100% task success rate, and implicit intent reading reduces the cooperative task execution time by 25.4% compared to the baselines.

cs.RO↗

arXiv2026

CRAFTS: Collaborative Role-Adaptive Fine-Tuning of LLM Agents for Chemical Process Simulation

Constructing an executable chemical-process model remains manually intensive. Chemical engineers translate underspecified requests into coupled decisions about unit operations, thermodynamics, streams, specifications, degrees of freedom (DoF), initialization, solver repair, and optimization; one error can invalidate the model. CRAFTS mirrors the staged workflow of chemical engineers by decomposing simulation building into bounded subtasks assigned to seven bounded roles, with deterministic IDAES/Pyomo gates between stages. Given a natural-language request, process flowsheet diagram (PFD) evidence, and curated chemical-engineering knowledge, Input Understanding and Intent recover requirements, constraints, and process semantics; visual, topology, and specification specialists translate them into typed simulator contracts; and Debug and Optimization support bounded repair and eligible optimization. Fine-tuning is applied to the three schema-critical visual, topology, and specification roles, while the remaining roles use untuned Qwen. The resulting VisualGraphIR, TopologyIR, SpecIR, BuildPlan, and SolveReport expose unit, port, thermodynamic, numerical, and execution decisions. Compatible constructors, property packages, and runners are attached only after semantic artifacts pass engineering gates. We introduce OpenIDAES-450, a 450-case IDAES process- simulation dataset, and evaluate the complete seven-role LangChain/LangGraph workflow through solve and eligible optimization on its frozen 82-case held-out split. CRAFTS completes the prescribed validation and execution contract for for 91.5% of cases and achieves unit, stream, and directed-connection F1 scores of 0.815, 0.791, and 0.782. These results demonstrate the effectiveness of role specialization, typed intermediate representations, and deterministic engineering gates for reliable automated process-model construction.

cs.AI↗

arXiv2026

Largest zero-dimensional intersection of $r$ degree $d$ hypersurfaces

Suppose we have $r$ hypersurfaces in $\mathbb{P}^m$ of degree $d$, whose defining polynomials are linearly independent, and their intersection has dimension $0$. Then what is the largest possible intersection of the $r$ hypersurfaces? We conjecture an exact formula for this problem and prove it when $m=2$. We show that this can be used to compute the generalized hamming weights of the projective Reed-Muller code $\operatorname{PRM}_q(d,2)$ and hence settle a conjecture of Beelen, Datta and Ghorpade for $m=2$.

math.AG↗

arXiv2026

Multi-Scale Magnetic Field Observations Reveal how Colliding Flows Trigger Star Formation

Magnetic fields play a crucial yet complex role in star formation, while their connection between large-scale filamentary clouds and small-scale young stellar objects remains poorly understood. We present new continuum polarization observations from the JCMT, ACA, and ALMA that provide continuous magnetic field measurements from approximately 5 pc down to approximately 4000 au, tracing for the first time the evolution of field morphology seamlessly across all key scales within a massive star-forming system. Our polarization maps reveal multiple U-shaped magnetic field structures pointing toward the central protocluster, aligned with accreting filaments from parsec to subparsec scales and converging at the compact center. This morphology suggests an environment of colliding flows that drag magnetic fields and trigger massive protocluster formation. On approximately 4000 au scales, we identify compact U-shaped fields likely guiding the kinematics of streamers accreting onto dense cores. The increasing curvature of these U-shaped patterns is a direct measure of a growing magnetic field tension force, implying a magnetic field strength scaling index of 0.50 +/- 0.10. These results indicate that the field, possibly enhanced by large-scale flow collisions, becomes strong enough to regulate star formation, linking parsec-scale colliding flows, a subparsec hub-filament system, and the triggering of massive star formation.

astro-ph.GA↗

arXiv2026

CoCoVideo: The High-Quality Commercial-Model-Based Contrastive Benchmark for AI-Generated Video Detection

With the rapid advancement of artificial intelligence generated content (AIGC) technologies, video forgery has become increasingly prevalent, posing new challenges to public discourse and societal security. Despite remarkable progress in existing deepfake detection methods, AIGC forgery detection remains challenging, as existing datasets mainly rely on open-source video generation models with quality far below that of commercial AIGC systems. Even datasets containing a few commercial samples often retain visible watermarks, compromising authenticity and hindering model generalization to high-fidelity AIGC videos. To address these issues, we introduce CoCoVideo-26K, a contrastive, commercial-model-based AIGC video dataset covering 13 mainstream commercial generators and providing semantically aligned real-fake video pairs. This dataset enables deeper exploration of the differences between authentic and high-quality synthetic videos and establishes a new benchmark for highly realistic video forgery detection. Building on this dataset, we propose CoCoDetect, a detection framework integrating contrastive learning with confidence-gated multimodal large language model (MLLM) inference. An R3D-18 backbone extracts spatio-temporal representations, while a confidence gate routes uncertain cases to an MLLM for reasoning about physical plausibility and scene consistency. Extensive experiments on CoCoVideo-26K and public benchmarks demonstrate state-of-the-art performance, validating the framework's robustness and generalizability. Our code and dataset are available at https://github.com/DonoToT/CoCoVideo.

cs.CV↗

arXiv2026

Sketch-to-Layout: A Human-Centric Computational Agent for Constraint-Aware Synthesis of Modular Photobioreactors

Building-integrated photobioreactors (PBRs) offer a pathway for carbon-neutral architecture, yet deployment is hindered by configuration complexity and biological maintenance. This paper presents a modular PBR facade system powered by a computational framework reconciling design intent with physical validity. We introduce 'carbon-neutralization bricks' featuring integrated vessel-and-conduit geometry; monolithic fluid channels enable 'plug-and-play' assembly. To navigate the combinatorial complexity of 14 modular geometries, we develop a Computational Sketch-to-Layout Agent that formulates layout synthesis as a Constraint Satisfaction Problem (CSP). Using the CP-SAT engine, the agent treats sparse user sketches as soft priors while enforcing hard constraints like port alignment and global connectivity. This allows non-experts to synthesize fabrication-ready configurations in near real-time. Furthermore, to facilitate autonomous maintenance, we propose a weakly supervised algae health monitoring pipeline. By employing a hybrid CNN-attention backbone and a temporal ranking loss, the system quantifies biological vitality from photographs without absolute ground-truth labels. Experiments demonstrate the CSP solver achieves a 95.5% success rate on grid scales up to 15 x 15. Qualitative evaluations confirm the framework preserves design semantics while ensuring operational integrity. Long-term tests show the vision module produces health trajectories aligned with 14-day biological cycles, suggesting that integrating interactive synthesis with low-cost computer vision can democratize scalable carbon capture systems.

cs.HC↗

arXiv2026

PRODIGE -- envelope to disk with NOEMA VIII. Sulfur oxides trace a shock caused by a streamer in the inner envelope of a protostar

(Abridged) Recently, streamers have been observed causing shocks at the outer edge of protoplanetary disks. The study of sulfur-bearing species can help us to understand the physical and chemical changes caused by infalling streamers toward their landing positions. We study the physical properties traced by SO$_2$ and SO toward the Class I protostar Per-emb 50, which is possibly related to the streamer infalling toward its disk. We present new NOEMA A-array observations as part of the large program "Protostars and Disks: Global Evolution" (PRODIGE). We analyzed the morphology of SO$_2$ and SO, and complement our interpretations with additional H_$2$CO and CO data from the same program. We compared the SO$_2$ and SO morphology with an infalling-rotating model. We applied Bayesian model selection to the brightest SO$_2$ line to disentangle the different kinematic components traced by this molecule. We used Local Thermodynamic Equilibrium (LTE) and non-LTE analyses to determine the temperature and density of the SO$_2$ emission. There are two separate peaks of SO$_2$ emission offset toward the southwest of Per-emb 50, one brighter (peak 1) at about 180 au from the protostar, and a weaker one (peak 2) at about 400 au. Peak 2 is blueshifted with respect to an infalling-rotating envelope. We propose that this peak is caused by the shock between the inner envelope and the streamer. Peak 1 is consistent with the expected envelope motion, and could thus be caused by shocks at the disk-envelope interface, but potential streamer influence cannot be neglected. Both peaks show abundance ratios consistent with a low velocity shock ($\sim 3-4$ \kms) when compared with shock models. Streamers can affect the physical and chemical structure of both disks and envelopes, suggesting that streamers can play an important role in shaping both structures in the embedded stages of star formation.

astro-ph.SR↗

arXiv2026

Reasoning Knowledge-Gap in Drone Planning via LLM-based Active Elicitation

Human-AI joint planning in Unmanned Aerial Vehicles (UAVs) typically relies on control handover when facing environmental uncertainties, which is often inefficient and cognitively demanding for non-expert operators. To address this, we propose a novel framework that shifts the collaboration paradigm from control takeover to active information elicitation. We introduce the Minimal Information Neuro-Symbolic Tree (MINT), a reasoning mechanism that explicitly structures knowledge gaps regarding obstacles and goals into a queryable format. By leveraging large language models, our system formulates optimal binary queries to resolve specific ambiguities with minimal human interaction. We demonstrate the efficacy of this approach through a comprehensive workflow integrating a vision-language model for perception, voice interfaces, and a low-level UAV control module in both high-fidelity NVIDIA Isaac simulations and real-world deployments. Experimental results show that our method achieves a significant improvement in the success rate for complex search-and-rescue tasks while significantly reducing the frequency of human interaction compared to exhaustive querying baselines.

cs.RO↗

arXiv2026

The $p$-rank stratification of the moduli space of double covers of a fixed elliptic curve

In this paper we investigate the $p$-rank stratification of the moduli space of curves of genus $g$ that admit a double cover to a fixed elliptic curve $E$ in characteristic $p>2$. We show that the closed $p$-rank strata of this moduli space are equidimensional of the expected dimension. We also show the existence of a smooth double cover of $E$ of all the possible values of the $p$-rank on this moduli space.

math.NT↗