arXiv subjects

Shuai Guo

Publications and source records attributed to Shuai Guo.

At least 19 recordsLinked to original sources

arXiv2026

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↗

arXiv2026

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↗

arXiv2026

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↗

arXiv2026

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↗

arXiv2026

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↗

arXiv2026

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↗

arXiv2026

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↗

arXiv2026

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↗

arXiv2026

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↗

arXiv2026

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↗

arXiv2026

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↗

arXiv2026

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↗

arXiv2025

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↗

arXiv2025

Virasoro constraints for topological recursion

This is the second paper in a series on {\it Virasoro constraints for Cohomological Field Theory}. We derive the ancestor Virasoro constraints for the topological recursion (TR) for an arbitrary spectral curve and establish the descendent Virasoro constraints for spectral curves satisfying certain conditions. For higher-genus curves, we further establish the corresponding ancestor and descendent Virasoro constraints for the associated non-perturbative generating series. We present several examples that illustrate the comparison between the descendent Virasoro constraints for TR descendent invariants and the original Virasoro constraints for geometric descendent invariants.

math-ph↗

arXiv2025

A generalization of the Witten conjecture through spectral curve

We propose a generalization of the Witten conjecture, which connects a descendent enumerative theory with a specific reduction of KP integrable hierarchy. Our conjecture is realized by two parts: Part I (Geometry) establishes a correspondence between the geometric descendent potential (apart from ancestors) and the topological recursion of specific spectral curve data $(Σ, x,y)$; Part II (Integrability) claims that the TR descendent potential, defined at the boundary points of the spectral curve (where $dx$ has poles), is a tau-function of a certain reduction of the multi-component KP hierarchy. In this paper, we show the geometric part of the conjecture for any formal descendent theory by using a generalized Laplace transform. Subsequently, we prove the integrability conjecture for the one-boundary cases. As applications, we generalize and prove the $r$KdV integrability of negative $r$-spin theory conjectured by Chidambaram, Garcia-Failde and Giacchetto. We also show the KdV integrability of the total descendent potential associated with the Hurwitz space $M_{1,1}$, whose Frobenius manifold was initially introduced by Dubrovin.

math-ph↗

arXiv2025

FF-PNet: A Pyramid Network Based on Feature and Field for Brain Image Registration

In recent years, deformable medical image registration techniques have made significant progress. However, existing models still lack efficiency in parallel extraction of coarse and fine-grained features. To address this, we construct a new pyramid registration network based on feature and deformation field (FF-PNet). For coarse-grained feature extraction, we design a Residual Feature Fusion Module (RFFM), for fine-grained image deformation, we propose a Residual Deformation Field Fusion Module (RDFFM). Through the parallel operation of these two modules, the model can effectively handle complex image deformations. It is worth emphasizing that the encoding stage of FF-PNet only employs traditional convolutional neural networks without any attention mechanisms or multilayer perceptrons, yet it still achieves remarkable improvements in registration accuracy, fully demonstrating the superior feature decoding capabilities of RFFM and RDFFM. We conducted extensive experiments on the LPBA and OASIS datasets. The results show our network consistently outperforms popular methods in metrics like the Dice Similarity Coefficient.

cs.CV↗

arXiv2025

Tetrahedron-Net for Medical Image Registration

Medical image registration plays a vital role in medical image processing. Extracting expressive representations for medical images is crucial for improving the registration quality. One common practice for this end is constructing a convolutional backbone to enable interactions with skip connections among feature extraction layers. The de facto structure, U-Net-like networks, has attempted to design skip connections such as nested or full-scale ones to connect one single encoder and one single decoder to improve its representation capacity. Despite being effective, it still does not fully explore interactions with a single encoder and decoder architectures. In this paper, we embrace this observation and introduce a simple yet effective alternative strategy to enhance the representations for registrations by appending one additional decoder. The new decoder is designed to interact with both the original encoder and decoder. In this way, it not only reuses feature presentation from corresponding layers in the encoder but also interacts with the original decoder to corporately give more accurate registration results. The new architecture is concise yet generalized, with only one encoder and two decoders forming a ``Tetrahedron'' structure, thereby dubbed Tetrahedron-Net. Three instantiations of Tetrahedron-Net are further constructed regarding the different structures of the appended decoder. Our extensive experiments prove that superior performance can be obtained on several representative benchmarks of medical image registration. Finally, such a ``Tetrahedron'' design can also be easily integrated into popular U-Net-like architectures including VoxelMorph, ViT-V-Net, and TransMorph, leading to consistent performance gains.

eess.IV↗

arXiv2025

Dynamic Backtracking in GFlowNets: Enhancing Decision Steps with Reward-Dependent Adjustment Mechanisms

Generative Flow Networks (GFlowNets or GFNs) are probabilistic models predicated on Markov flows, and they employ specific amortization algorithms to learn stochastic policies that generate compositional substances including biomolecules, chemical materials, etc. With a strong ability to generate high-performance biochemical molecules, GFNs accelerate the discovery of scientific substances, effectively overcoming the time-consuming, labor-intensive, and costly shortcomings of conventional material discovery methods. However, previous studies rarely focus on accumulating exploratory experience by adjusting generative structures, which leads to disorientation in complex sampling spaces. Efforts to address this issue, such as LS-GFN, are limited to local greedy searches and lack broader global adjustments. This paper introduces a novel variant of GFNs, the Dynamic Backtracking GFN (DB-GFN), which improves the adaptability of decision-making steps through a reward-based dynamic backtracking mechanism. DB-GFN allows backtracking during the network construction process according to the current state's reward value, thereby correcting disadvantageous decisions and exploring alternative pathways during the exploration process. When applied to generative tasks involving biochemical molecules and genetic material sequences, DB-GFN outperforms GFN models such as LS-GFN and GTB, as well as traditional reinforcement learning methods, in sample quality, sample exploration quantity, and training convergence speed. Additionally, owing to its orthogonal nature, DB-GFN shows great potential in future improvements of GFNs, and it can be integrated with other strategies to achieve higher search performance.

cs.LG↗