Searcharxiv⌕ Search

arXiv subjects

Shuai Guo

Publications and source records attributed to Shuai Guo.

At least 19 recordsLinked to original sources

Conifold Gap for the Quintic Threefold

We prove the all-genus conifold gap conjecture for the Gromov--Witten (GW) theories of the quintic threefold, other smooth Fermat Calabi--Yau threefold hypersurfaces, and local $\mathbb P^2$, as well as for the FJRW theories associated with these hypersurfaces. Our proof uses Mixed Spin P-field (MSP) theory and analogous master-space constructions. The central object is the \emph{cone-vertex theory}. We express this theory as a translation of the point CohFT via a formal Laplace transform and prove a universal conifold gap theorem for the resulting translated theories. The master-space construction then transfers the gap from the cone-vertex theory to the GW and FJRW theories.

math.AG↗

Canonical quantum curve I

We formulate a canonical quantum curve conjecture $\widehat HΨ_*=0$ for spectral curves of positive genus. Here $Ψ_*$ is the non-perturbative wave function associated with Eynard--Orantin topological recursion, specialized at the \emph{canonical vanishing point}, a distinguished zero of the closed non-perturbative partition function. The operator $\widehat H$ is obtained by Weyl quantization of $H(x,y)$, with $\widehat x=x\cdot$ and $\widehat y=\hbar\partial_x$, together with quantum corrections to its coefficients. These corrections depend only on closed moduli and $\hbar$ and vanish classically. Whenever a geometric definition is available, we conjecture that the corrected coefficients are suitably normalized Wilson-loop expectation values. When a corresponding refined theory exists, we conjecture a relation between the canonical vanishing point and the closed Nekrasov--Shatashvili free energy. We prove the quantum curve conjecture for Weierstrass curves and the mirror curves of canonical bundles of smooth projective toric weak del Pezzo surfaces, including local $\mathbb P^2$. For the local surfaces considered here, we relate the canonical vanishing point to a derivative of the closed NS free energy. For local $\mathbb P^2$, we also identify the corrected coefficient with a suitably normalized, geometrically defined NS Wilson-loop expectation value.

math-ph↗

The inverse local-relative correspondence and the Nekrasov--Shatashvili vanishing blowup equation

We prove the Nekrasov--Shatashvili vanishing blowup equation for the local Gromov--Witten theory of smooth weak del Pezzo surfaces, by identifying its unique formal solution with the inverse of the local-relative correspondence. We construct this inverse through an associative set-partition convolution and establish the identification using Zagier's recursion for the Bloch--Okounkov $n$-point function. The proof applies in all genera and includes non-toric surfaces.

math.AG↗

BeliefScope: Diagnosing Evidence-Driven Revision and Pressure-Induced Shifts in Large Language Models

A language model may revise the same proposition after receiving genuinely relevant evidence or after receiving directional user pressure that adds no relevant fact. The observable response shift alone therefore does not reveal which source drove the change. We introduce BeliefScope, a controlled black-box framework for separating these two sources of influence around a fixed target proposition. BeliefScope crosses Evidence and Pressure with factor-specific local controls and measures response changes through probability reports, categorical judgments, and action recommendations on channel-appropriate scales. To determine when these observable contrasts support reliable attribution, we evaluate the observation design under controlled synthetic conditions. Known-truth recovery and targeted ablations establish where Evidence- and Pressure-related effects can be separated, while semi-synthetic stress tests map how that recoverability changes as the observation process becomes noisier and more heterogeneous. Across a 36-family Qwen/Llama study, with targeted 12-family checks that also include Gemma3-12B, the resulting profiles show substantial evaluation-context dependence: broad model-level differences can change under matched controls, decoding, or response interfaces, while some narrower within-model patterns remain stable. Instruction interventions further show that reduced target-aligned Pressure following can reflect either stable resistance or movement in the opposite direction. BeliefScope summarizes these measurements as a conditional belief-response profile that keeps diagnostic effects tied to the evaluation conditions under which they are observed, together with explicit validity boundaries for that diagnosis.

cs.CL↗

Structure of higher-genus open-closed Gromov--Witten theory of $\mathcal{O}_{\mathbb{P}^{1}}(p-1)\oplus\mathcal{O}_{\mathbb{P}^{1}}(-p-1)$

We study the closed and open Gromov--Witten potentials of the toric Calabi--Yau threefold $$ X_p=\operatorname{Tot}\bigl(\mathcal{O}_{\mathbb{P}^{1}}(p-1)\oplus\mathcal{O}_{\mathbb{P}^{1}}(-p-1)\bigr),\qquad p\geq 2. $$ We prove closed and open mirror symmetry under a nonvanishing condition on the torus weights, relating these potentials to topological recursion on the mirror curves. We establish polynomial structures for both the higher-genus closed potentials and the stable open potentials. We also establish double-scaling limits for topological recursion on the mirror curves. In particular, our results for the closed potentials prove the higher-genus ansatz and the double-scaling conjecture of Caporaso--Griguolo--Mariño--Pasquetti--Seminara.

math.AG↗

ME-Brain-1.0: Memory, Cognition and Action for Evolving Embodied Intelligence

Current embodied systems largely rely on pretrained capabilities that remain fixed after deployment, limiting their ability to learn from physical interaction. We introduce MachEmbodied-Brain (ME-Brain), a self-evolving embodied system organized around a closed loop of action execution, experience acquisition, experience evolution, and improved execution. Evolvable Memory consolidates multimodal trajectories into hierarchical, reusable experience; Cognitive Core transforms physical experience into transferable skills; and the Action Model combines event-driven keyframes, EventCell local-world prediction, and action-conditioned memory modulation to focus computation on decision-critical moments, regions, and historical evidence. Together, these modules shift embodied intelligence from train-and-freeze to deploy-and-evolve without model retraining. Cognitive Core outperforms the strongest comparison models by 8.2 and 9.6 points on embodied and agent benchmarks. The Action Model achieves 47.88% mean success on RoboMME, a 3.26-point improvement over the strongest baseline. On RoboDojo, it reaches a 21.51 mean Score and 16.03% success rate, exceeding $π_{0.5}$ by 10.10 and 9.12 points. On the six-task ME-RealBench, ME-Brain achieves a 69.5 mean Score and 66.7% success rate, outperforming DM0.5 by 12.8 and 11.7 points, respectively.

cs.RO↗

Wall-crossing formula and genus-one Virasoro conjecture for Fano complete intersections

The Virasoro conjecture predicts a set of universal relations among all genera Gromov--Witten invariants of any smooth projective variety. The conjecture is well understood for semisimple theories, but remains largely open in the non-semisimple setting. We prove the genus-one Virasoro conjecture on the ambient state space of smooth Fano complete intersections in projective space. For most of these complete intersections, the big quantum cohomology is nowhere semisimple. We also generalize the wall-crossing formula for quasimap invariants with weighted markings to the equivariant twisted setting, allowing descendant insertions at light markings. Together with genus-one quantum Lefschetz for quasimaps with light markings, this wall-crossing formula provides the key bridge from the Gromov--Witten theory of the complete intersection to the semisimple equivariant twisted theory of the projective space.

math.AG↗

All-Genus Large-Degree Asymptotics for Gromov--Witten Invariants of the Projective Plane

This is the first part of a series of papers on the large-degree asymptotics of Gromov--Witten invariants. In this paper, we prove complete large-degree asymptotic expansions, at every fixed genus, for the primary Gromov--Witten invariants of the complex projective plane. The proof uses singularity analysis to transfer the local expansions of generating functions at their dominant singularities to asymptotic expansions of Gromov--Witten invariants. The genus-zero asymptotic expansion is obtained from an analysis of the Witten--Dijkgraaf--Verlinde--Verlinde (WDVV) equation. The higher-genus cases are obtained from the Givental--Teleman reconstruction theorem for semisimple cohomological field theories and from the graph-sum formula for the $R$-matrix action.

math.AG↗

LogiShot: Logically Coherent Cross-Shot Video Generation

Generating cross-shot videos that are logically connected is essential for content creation. Currently, most cross-shot video-generation workflows, such as short-drama production, still rely on isolated textual scripts or explicit reference images to specify the generated content. Consequently, when user instructions are underspecified or ambiguous, a generated clip may appear visually plausible on its own but fail to align with the overall narrative, leading to disjointed content. We argue that achieving cross-shot logical coherence in video generation requires establishing logical connections across shots and maintaining visual consistency. To this end, we propose LogiShot, which incorporates information through two complementary paths: 1) LogiShot jointly encodes the context video and other conditioning signals, yielding dense multimodal cues that provide visual-semantic evidence for cross-shot generation; 2) the model maintains a visual memory of the context video throughout generation to preserve visual consistency across shots. Additionally, we construct a dataset with 110K samples and a dedicated benchmark for evaluating cross-shot logical coherence. Experiments demonstrate that LogiShot consistently outperforms existing baselines in terms of logical coherence across multiple shots. Model and data will be made publicly available.

cs.CV↗

Direct Object-Level Reconstruction via Probabilistic Gaussian Splatting

Object-level 3D reconstruction play important roles across domains such as cultural heritage digitization, industrial manufacturing, and virtual reality. However, existing Gaussian Splatting-based approaches generally rely on full-scene reconstruction, in which substantial redundant background information is introduced, leading to increased computational and storage overhead. To address this limitation, we propose an efficient single-object 3D reconstruction method based on 2D Gaussian Splatting. By directly integrating foreground-background probability cues into Gaussian primitives and dynamically pruning low-probability Gaussians during training, the proposed method fundamentally focuses on an object of interest and improves the memory and computational efficiency. Our pipeline leverages probability masks generated by YOLO and SAM to supervise probabilistic Gaussian attributes, replacing binary masks with continuous probability values to mitigate boundary ambiguity. Additionally, we propose a dual-stage filtering strategy for training's startup to suppress background Gaussians. And, during training, rendered probability masks are conversely employed to refine supervision and enhance boundary consistency across views. Experiments conducted on the MIP-360, T&T, and NVOS datasets demonstrate that our method exhibits strong self-correction capability in the presence of mask errors and achieves reconstruction quality comparable to standard 3DGS approaches, while requiring only approximately 1/10 of their Gaussian amount. These results validate the efficiency and robustness of our method for single-object reconstruction and highlight its potential for applications requiring both high fidelity and computational efficiency.

cs.CV↗

Tail-Aware HiFloat4: W4A4 Post-Training Quantization for Wan2.2

This report describes Tail-Aware HiFloat4, our submission to the low-bit text-to-video generation quantization challenge. Our method adapts the public ViDiT-Q post-training quantization pipeline to Wan2.2 under the HiFloat4 numerical format. We quantize the main linear layers in both Wan2.2 transformer modules with W4A4 HiFloat4 fake quantization, keep numerically sensitive boundary modules in high precision, and introduce an activation-tail-aware percentile calibration module for channel-mask construction. Together with compact PTQ-state restoration, this design reduces the influence of rare calibration outliers while keeping the runtime HiFloat4 arithmetic and sampling pipeline unchanged.

cs.AI↗

Generalized Kontsevich model, topological recursion, and $r$-spin theory

By employing polynomial-reduced KP integrability, combined with the string equation, this work establishes explicit relationships between the generalized Kontsevich model, the topological recursion of the spectral curve, and the geometry of moduli spaces of $r$-spin curves. For the generalized Kontsevich model with a polynomial potential, we derive an explicit formulation and provide a proof of these widely expected correspondences. Furthermore, the method is extended to the cases with admissible deformed potentials, where the corresponding geometric theory is a deformed version of $r$-spin theory.

math-ph↗

Gloria: Consistent Character Video Generation via Content Anchors

Digital characters are central to modern media, yet generating character videos with long-duration, consistent multi-view appearance and expressive identity remains challenging. Existing approaches either provide insufficient context to preserve identity or leverage non-character-centric information as the memory, leading to suboptimal consistency. Recognizing that character video generation inherently resembles an outside-looking-in scenario. In this work, we propose representing the character visual attributes through a compact set of anchor frames. This design provides stable references for consistency, while reference-based video generation inherently faces challenges of copy-pasting and multi-reference conflicts. To address these, we introduce two mechanisms: Superset Content Anchoring, providing intra- and extra-training clip cues to prevent duplication, and RoPE as Weak Condition, encoding positional offsets to distinguish multiple anchors. Furthermore, we construct a scalable pipeline to extract these anchors from massive videos. Experiments show our method generates high-quality character videos exceeding 10 minutes, and achieves expressive identity and appearance consistency across views, surpassing existing methods.

cs.CV↗

Stability conditions in the mathematical Gauged Linear Sigma Model

The theory of Mixed-Spin-P (MSP) fields was introduced by Chang-Li-Li-Liu for the quintic threefold, aiming at studying its higher-genus Gromov-Witten invariants. Chang-Guo-Li has successfully applied it to prove conjectures including the BCOV Feynman rule, Yamaguchi-Yau's polynomiality conjecture and the Holomorphic Anomaly Equation. Meanwhile, Fan-Jarvis-Ruan introduced a mathematical theory of Gauged Linear Sigma Model (GLSM), associating a counting theory to a GIT quotient with a super-potential, under suitable assumptions. This paper provides a common generalization of both works, by introducing new stability conditions in the mathematical GLSM. We show that our stability condition guarantees the separatedness and properness of the cosection degeneracy locus in the moduli. It generalizes the MSP fields construction to more general GIT quotients, including Calabi-Yau global complete intersections in toric varieties. This hopefully provides a geometric platform to effectively compute their higher-genus Gromov-Witten invariants.

math.AG↗

A boundedness theorem for principal bundles on curves

Let $G$ be a reductive group acting on an affine scheme $V$. We study the set of principal $G$-bundles on a smooth projective curve $\mathcal C$ such that the associated $V$-bundle admits a section sending the generic point of $\mathcal C$ into the GIT stable locus $V^{\mathrm{s}}(θ)$. We show that after fixing the degree of the line bundle induced by the character $θ$, the set of such principal $G$-bundles is bounded. The statement of our theorem is made slightly more general so that we deduce from it the boundedness for $ε$-stable quasimaps and $Ω$-stable LG-quasimap.

math.AG↗

Arknights: Playable Explanation and Player Agency under Opacity

As generative AI increasingly mediates learning and decision-making, users often act effectively while struggling to interpret how system outcomes are produced. While Explainable Artificial Intelligence (XAI) research has primarily addressed this problem through transparency and visualization, less attention has been paid to how explanation is constructed through interaction. This paper examines digital games as explainable interfaces by analyzing how explanation can be configured as a playable process. Using Arknights as a case study, the paper conducts a qualitative close reading and interface analysis of the diegetic AI system PRTS, focusing on the implied player. The analysis shows that PRTS provides usable but unverifiable explanations: sufficient to initiate action, yet insufficient to stabilize causal understanding. Through incomplete information, delayed feedback, and narrative disruptions of trust, player agency is reorganized from direct control toward interpretive and abductive reasoning. The paper conceptualizes this mode as explanatory agency and discusses its implications for XAI-oriented interface design.

cs.HC↗

MLB: A Scenario-Driven Benchmark for Evaluating Large Language Models in Clinical Applications

The proliferation of Large Language Models (LLMs) presents transformative potential for healthcare, yet practical deployment is hindered by the absence of frameworks that assess real-world clinical utility. Existing benchmarks test static knowledge, failing to capture the dynamic, application-oriented capabilities required in clinical practice. To bridge this gap, we introduce a Medical LLM Benchmark MLB, a comprehensive benchmark evaluating LLMs on both foundational knowledge and scenario-based reasoning. MLB is structured around five core dimensions: Medical Knowledge (MedKQA), Safety and Ethics (MedSE), Medical Record Understanding (MedRU), Smart Services (SmartServ), and Smart Healthcare (SmartCare). The benchmark integrates 22 datasets (17 newly curated) from diverse Chinese clinical sources, covering 64 clinical specialties. Its design features a rigorous curation pipeline involving 300 licensed physicians. Besides, we provide a scalable evaluation methodology, centered on a specialized judge model trained via Supervised Fine-Tuning (SFT) on expert annotations. Our comprehensive evaluation of 10 leading models reveals a critical translational gap: while the top-ranked model, Kimi-K2-Instruct (77.3% accuracy overall), excels in structured tasks like information extraction (87.8% accuracy in MedRU), performance plummets in patient-facing scenarios (61.3% in SmartServ). Moreover, the exceptional safety score (90.6% in MedSE) of the much smaller Baichuan-M2-32B highlights that targeted training is equally critical. Our specialized judge model, trained via SFT on a 19k expert-annotated medical dataset, achieves 92.1% accuracy, an F1-score of 94.37%, and a Cohen's Kappa of 81.3% for human-AI consistency, validating a reproducible and expert-aligned evaluation protocol. MLB thus provides a rigorous framework to guide the development of clinically viable LLMs.

cs.LG↗

Exploration of Embodied Space Experience through Umbilical Interaction: A Grounded Theory Approach

This paper critiques the limits of human-centered design in HCI, proposing a shift toward Interface-Centered Design. Drawing on Hookway's philosophy of interfaces, phenomenology, and embodied interaction, we created Umbilink, an umbilical interaction device simulating a uterine environment with tactile sensors and rhythmic feedback to induce a pre-subjectivized state of sensory reduction. Participants' experiences were captured through semi-structured interviews and analyzed with grounded theory. Our contributions are: (1) introducing the novel interface type of Umbilical Interaction; (2) demonstrating the cognitive value of materialized interfaces in a human-interface-environment relation; (3) highlighting the design role of wearing rituals as liminal experiences. As a pilot study, this design suggests imaginative applications in healing, meditation, and sleep, while offering a speculative tool for future interface research.

cs.HC↗