arXiv subjects

Peng Shi

Publications and source records attributed to Peng Shi.

At least 55 records · Page 3Linked to original sources

arXiv2025

Metis-HOME: Hybrid Optimized Mixture-of-Experts for Multimodal Reasoning

Inspired by recent advancements in LLM reasoning, the field of multimodal reasoning has seen remarkable progress, achieving significant performance gains on intricate tasks such as mathematical problem-solving. Despite this progress, current multimodal large reasoning models exhibit two key limitations. They tend to employ computationally expensive reasoning even for simple queries, leading to inefficiency. Furthermore, this focus on specialized reasoning often impairs their broader, more general understanding capabilities. In this paper, we propose Metis-HOME: a Hybrid Optimized Mixture-of-Experts framework designed to address this trade-off. Metis-HOME enables a ''Hybrid Thinking'' paradigm by structuring the original dense model into two distinct expert branches: a thinking branch tailored for complex, multi-step reasoning, and a non-thinking branch optimized for rapid, direct inference on tasks like general VQA and OCR. A lightweight, trainable router dynamically allocates queries to the most suitable expert. We instantiate Metis-HOME by adapting the Qwen2.5-VL-7B into an MoE architecture. Comprehensive evaluations reveal that our approach not only substantially enhances complex reasoning abilities but also improves the model's general capabilities, reversing the degradation trend observed in other reasoning-specialized models. Our work establishes a new paradigm for building powerful and versatile MLLMs, effectively resolving the prevalent reasoning-vs-generalization dilemma. Code and weights are available at https://github.com/MM-Thinking/Metis-HOME.

cs.CV↗

arXiv2025

Perceptual-Evidence Anchored Reinforced Learning for Multimodal Reasoning

Reinforcement Learning with Verifiable Rewards (RLVR) has significantly advanced the reasoning capabilities of Large Language Models (LLMs) and is now being applied to Vision-Language Models (VLMs). However, vanilla RLVR for VLMs verifies only the final textual output, critically neglecting the foundational step of visual perception. This oversight leads to visual hallucinations and reward hacking, as reasoning built upon flawed perception is inherently unreliable. To address this, we propose PEARL (Perceptual-Evidence Anchored Reinforced Learning), a dual-branch, perception-reasoning synergistic that strengthens multimodal reasoning by explicitly anchoring it to verified visual evidence. For each reasoning-oriented QA instance, PEARL first derive a perception checklist -- a set of perception-oriented sub-questions with verifiable answers that probe the model's understanding of key visual evidence. During training, auxiliary rollouts on this checklist yield a perceptual reward that both directly reinforces the model's perception ability and acts as a fidelity gate for reasoning. If the model passes the perception check, its policy update is biased towards evidence-anchored reasoning. Otherwise, the process is halted to prevent reasoning from flawed premises. PEARL can be seamlessly integrated with popular RL methods like GRPO and DAPO. Comprehensive experiments show PEARL achieves substantial gains on multimodal reasoning benchmarks, e.g., a +9.7% improvement over the baseline and +6.6% over GRPO on MathVerse.

cs.CV↗

arXiv2025

Lossless Compression: A New Benchmark for Time Series Model Evaluation

The evaluation of time series models has traditionally focused on four canonical tasks: forecasting, imputation, anomaly detection, and classification. While these tasks have driven significant progress, they primarily assess task-specific performance and do not rigorously measure whether a model captures the full generative distribution of the data. We introduce lossless compression as a new paradigm for evaluating time series models, grounded in Shannon's source coding theorem. This perspective establishes a direct equivalence between optimal compression length and the negative log-likelihood, providing a strict and unified information-theoretic criterion for modeling capacity. Then We define a standardized evaluation protocol and metrics. We further propose and open-source a comprehensive evaluation framework TSCom-Bench, which enables the rapid adaptation of time series models as backbones for lossless compression. Experiments across diverse datasets on state-of-the-art models, including TimeXer, iTransformer, and PatchTST, demonstrate that compression reveals distributional weaknesses overlooked by classic benchmarks. These findings position lossless compression as a principled task that complements and extends existing evaluation for time series modeling.

cs.LG↗

arXiv2025

Energy Transition Domain and Its Application in Constructing Gravity-Assist Escape Trajectories

This Note proposes the concept and theory of energy transition domain (ETD) defined by the mechanical energy of spacecraft in the Earth-Moon planar circular restricted three-body problem (PCR3BP) inspired by the pioneering work from Ano{è} et al. (2024) on the ETD defined by the two-body energy with respect to the secordary body in the PCR3BP. An effective construction method of gravity-assist escape trajectories is then proposed. Firstly, the concept of the ETD defined by the mechanical energy is presented, and its dependency on the Jacobi energy is analyzed. This dependency may provide prior knowledge about selecting the range of the Jacobi energy in the construction of escape trajectories. Then, gravity-assist escape trajectories departing from the 167 km low Earth orbit and 36000 km geosynchronous Earth orbit are constructed based on the ETD. The initial states are selected in the sphere of influence of the Moon, and the trajectories are searched from the forward and backward integration. Finally, the obtained solutions are presented and analyzed.

astro-ph.EP↗

arXiv2025

Distributed Optimal Coverage Control in Multi-agent Systems: Known and Unknown Environments

This paper introduces a novel approach to solve the coverage optimization problem in multi-agent systems. The proposed technique offers an optimal solution with a lower cost with respect to conventional Voronoi-based techniques by effectively handling the issue of agents remaining stationary in regions void of information using a ranking function. The proposed approach leverages a novel cost function for optimizing the agents coverage and the cost function eventually aligns with the conventional Voronoi-based cost function. Theoretical analyses are conducted to assure the asymptotic convergence of agents towards the optimal configuration. A distinguishing feature of this approach lies in its departure from the reliance on geometric methods that are characteristic of Voronoi-based approaches; hence can be implemented more simply. Remarkably, the technique is adaptive and applicable to various environments with both known and unknown information distributions. Lastly, the efficacy of the proposed method is demonstrated through simulations, and the obtained results are compared with those of Voronoi-based algorithms.

eess.SY↗

arXiv2025

Families of Transfers from circular low Earth orbit to Distant Prograde Orbit around the Moon

Distant prograde orbits around the Moon exhibit remarkable potential for practical applications such as cislunar surveillance activities and low-energy transfers due to their instability. Previous works on transfers from circular low Earth orbit to distant prograde orbits mainly focused on construction methods based on dynamical structures, lacking a comprehensive analysis of the solution space of this transfer scenario. This paper investigates the solution space and identifies families of transfers from a 167 km circular low Earth orbit to a 1:1 distant prograde orbit. In particular, grid search and trajectory continuation are performed to construct these transfer trajectories. Initial guesses of the transfers are selected in the 1:1 distant prograde orbit through a backward propagation strategy and are then corrected to satisfy specified constraints. Based on the obtained solutions, a linear predictor is derived to predict more feasible solutions and a predictor-corrector continuation method is used to extend the solution space. Twelve transfer families are identified, most of which are new or previously underexplored. The distributions of construction parameters and transfer characteristics of these twelve families are analyzed and discussed, showing which families are applicable to which types of specific practical missions. Comparison between the obtained solution and solution developed by previous works is further performed to imply the effects of the selection of dynamical model on transfer construction.

astro-ph.EP↗

arXiv2025

Metis-RISE: RL Incentivizes and SFT Enhances Multimodal Reasoning Model Learning

Recent advancements in large language models (LLMs) have witnessed a surge in the development of advanced reasoning paradigms, which are now being integrated into multimodal large language models (MLLMs). However, existing approaches often fall short: methods solely employing reinforcement learning (RL) can struggle with sample inefficiency and activating entirely absent reasoning capabilities, while conventional pipelines that initiate with a cold-start supervised fine-tuning (SFT) phase before RL may restrict the model's exploratory capacity and face suboptimal convergence. In this work, we introduce \textbf{Metis-RISE} (\textbf{R}L \textbf{I}ncentivizes and \textbf{S}FT \textbf{E}nhances) for multimodal reasoning model learning. Unlike conventional approaches, Metis-RISE distinctively omits an initial SFT stage, beginning instead with an RL phase (e.g., using a Group Relative Policy Optimization variant) to incentivize and activate the model's latent reasoning capacity. Subsequently, the targeted SFT stage addresses two key challenges identified during RL: (1) \textit{inefficient trajectory sampling} for tasks where the model possesses but inconsistently applies correct reasoning, which we tackle using self-distilled reasoning trajectories from the RL model itself; and (2) \textit{fundamental capability absence}, which we address by injecting expert-augmented knowledge for prompts where the model entirely fails. This strategic application of RL for incentivization followed by SFT for enhancement forms the core of Metis-RISE, leading to two versions of our MLLMs (7B and 72B parameters). Evaluations on the OpenCompass Multimodal Reasoning Leaderboard demonstrate that both models achieve state-of-the-art performance among similar-sized models, with the 72B version ranking fourth overall. Please refer to our project page for open-source information.

cs.AI↗

arXiv2025

HRScene: How Far Are VLMs from Effective High-Resolution Image Understanding?

High-resolution image (HRI) understanding aims to process images with a large number of pixels, such as pathological images and agricultural aerial images, both of which can exceed 1 million pixels. Vision Large Language Models (VLMs) can allegedly handle HRIs, however, there is a lack of a comprehensive benchmark for VLMs to evaluate HRI understanding. To address this gap, we introduce HRScene, a novel unified benchmark for HRI understanding with rich scenes. HRScene incorporates 25 real-world datasets and 2 synthetic diagnostic datasets with resolutions ranging from 1,024 $\times$ 1,024 to 35,503 $\times$ 26,627. HRScene is collected and re-annotated by 10 graduate-level annotators, covering 25 scenarios, ranging from microscopic to radiology images, street views, long-range pictures, and telescope images. It includes HRIs of real-world objects, scanned documents, and composite multi-image. The two diagnostic evaluation datasets are synthesized by combining the target image with the gold answer and distracting images in different orders, assessing how well models utilize regions in HRI. We conduct extensive experiments involving 28 VLMs, including Gemini 2.0 Flash and GPT-4o. Experiments on HRScene show that current VLMs achieve an average accuracy of around 50% on real-world tasks, revealing significant gaps in HRI understanding. Results on synthetic datasets reveal that VLMs struggle to effectively utilize HRI regions, showing significant Regional Divergence and lost-in-middle, shedding light on future research.

cs.CL↗

arXiv2025

Design and Continuation of Nonlinear Teardrop Hovering Formation along the Near Rectilinear Halo Orbit

This short communication is devoted to the design and continuation of a teardrop hovering formation along the Near Rectilinear Halo orbit and provides further insights into future on-orbit services in the cislunar space. First, we extend the concept of the teardrop hovering formation to scenarios along the Near Rectilinear Halo orbit in the Earth-Moon circular restricted three-body problem. Then, we develop two methods for designing these formations based on the nonlinear model for relative motion. The first method addresses the design of the teardrop hovering formations with relatively short revisit distances, while the second method continues hovering trajectories from short to longer revisit distances. In particular, new continuation method is developed to meet the design requirements of this new scenario. Simulation results verify the effectiveness of the proposed methods, and a near-natural teardrop hovering formation is achieved by considering the dynamical properties near the NRHO. Comparisons between design results obtained using linear and nonlinear models further strengthen the necessity of using the nonlinear model.

math.OC↗

arXiv2025

Analytical Strategies and Winning Conditions for Elliptic-Orbit Target-Attacker-Defender Game

This paper proposes an analytical framework for the orbital Target-Attacker-Defender game with a non-maneuvering target along elliptic orbits. Focusing on the linear quadratic game, we derive an analytical solution to the matrix Riccati equation, which yields analytical Nash-equilibrium strategies for the game. Based on the analytical strategies, we derive the analytical form of the necessary and sufficient winning conditions for the attacker. The simulation results show good consistency between the analytical and numerical methods, exhibiting 0.004$\%$ relative error in the cost function. The analytical method achieves over 99.9$\%$ reduction in CPU time compared to the conventional numerical method, strengthening the advantage of developing the analytical strategies. Furthermore, we verify the proposed winning conditions and investigate the effects of eccentricity on the game outcomes. Our analysis reveals that for games with hovering initial states, the initial position of the defender should be constrained inside a mathematically definable set to ensure that the attacker wins the game. This constrained set further permits geometric interpretation through our proposed method. This work establishes the analytical framework for orbital Target-Attacker-Defender games, providing fundamental insights into the solution analysis of the game.

math.OC↗

arXiv2025

Neutron particle transport 3D method of characteristic Multi GPU platform Parallel Computing

Three-dimensional neutron transport calculations using the Method of Characteristics (MOC) are highly regarded for their exceptional computational efficiency, precision, and stability. Nevertheless, when dealing with extensive-scale computations, the computational demands are substantial, leading to prolonged computation times. To address this challenge while considering GPU memory limitations, this study transplants the real-time generation and characteristic line computation techniques onto the GPU platform. Empirical evidence emphasizes that the GPU-optimized approach maintains a heightened level of precision in computation results and produces a significant acceleration effect. Furthermore, to fully harness the computational capabilities of GPUs, a dual approach involving characteristic line preloading and load balancing mechanisms is adopted, further enhancing computational efficiency. The resulting increase in computational efficiency, compared to traditional methods, reaches an impressive 300 to 400-fold improvement.

cs.DC↗

arXiv2024

Analytical Pursuit-Evasion Game Strategy in Arbitrary Keplerian Reference Orbits

This paper develops an analytical strategy for solving the linear quadratic pursuit-evasion game in arbitrary Keplerian reference orbits. The motion of the pursuer and evader is described using the controlled Tschauner-Hempel equations, and the optimal game strategies of the pursuer and evader are presented by the solution of the differential Riccati equation.The analytical solution of the differential Riccati equation is presented for elliptic, parabolic, and hyperbolic reference orbits, thereby enabling an analytical pursuit-evasion game strategy. Then, the procedure to solve the pursuit-evasion game using this analytical strategy is proposed. Simulations of pursuit-evasion game in elliptic, parabolic, and hyperbolic reference orbits validate the effectiveness of the developed analytical strategy. Results indicates that the analytical strategy saves the CPU time by more than 99.8$\%$ compared to the numerical one, highlighting the efficiency of the developed strategy. The developed analytical strategy is also applicable to pursuit-evasion game scenarios considering orbital disturbances. Compared to the conventional strategy, which succeed in only two out of six test scenarios, the developed strategy achieves success in all six cases, particularly demonstrating its effectiveness in high-eccentricity cases.

math.OC↗

arXiv2024

Spintwistronics: Photonic bilayer topological lattices tuning extreme spin-orbit interactions

Twistronics, the manipulation of Moiré superlattices via the twisting of two layers of two-dimensional (2D) materials to control diverse and nontrivial properties, has recently revolutionized the condensed matter and materials physics. Here, we introduce the principles of twistronics to spin photonics, coining this emerging field spintwistronics. In spintwistronics, instead of 2D materials, the two layers consist of photonic topological spin lattices on a surface plasmonic polariton (SPP) platform. Each 2D SPP wave supports the construction of topological lattices formed by photonic spins with stable skyrmion topology governed by rotational symmetry. By introducing spintwistronics into plasmonics, we demonstrate theoretically and experimentally that two layers of photonic spin lattices can produce Moiré spin superlattices at specific magic angles. These superlattices, modulated periodically by the quantum number of total angular momentum, exhibit novel properties-including new quasiparticle topologies, multiple fractal patterns, extremely slow-light control, and more-that cannot be achieved in conventional plasmonic systems. As a result, they open up multiple degrees of freedom for practical applications in quantum information, optical data storage and chiral light-matter interactions.

physics.optics↗

arXiv2024

Generalized Skyrmions

Skyrmions are important topologically non-trivial fields characteristic of models spanning scales from the microscopic to the cosmological. However, the Skyrmion number can only be defined for fields with specific boundary conditions, limiting its use in broader contexts. Here, we address this issue through a generalized notion of the Skyrmion derived from the De Rham cohomology of compactly supported forms. This allows for the definition of an entirely new $\coprod_{i=1}^\infty \mathbb{Z}^i$-valued topological number that assigns a tuple of integers $(a_1, \ldots, a_k)\in \mathbb{Z}^k$ to a field instead of a single number, with no restrictions to its boundary. The notion of the generalized Skyrmion presented in this paper is completely abstract and can be applied to vector fields in any discipline, not unlike index theory within dynamical systems. To demonstrate the power of our new formalism, we focus on the propagation of optical polarization fields and show that our newly defined generalized Skyrmion number significantly increases the dimension of data that can be stored within the field while also demonstrating strong robustness. Our work represents a fundamental paradigm shift away from the study of fields with natural topological character to engineered fields that can be artificially embedded with topological structures.

physics.optics↗

arXiv2024

You Only Read Once (YORO): Learning to Internalize Database Knowledge for Text-to-SQL

While significant progress has been made on the text-to-SQL task, recent solutions repeatedly encode the same database schema for every question, resulting in unnecessary high inference cost and often overlooking crucial database knowledge. To address these issues, we propose You Only Read Once (YORO), a novel paradigm that directly internalizes database knowledge into the parametric knowledge of a text-to-SQL model during training and eliminates the need for schema encoding during inference. YORO significantly reduces the input token length by 66%-98%. Despite its shorter inputs, our empirical results demonstrate YORO's competitive performances with traditional systems on three benchmarks as well as its significant outperformance on large databases. Furthermore, YORO excels in handling questions with challenging value retrievals such as abbreviation.

cs.CL↗

arXiv2024

Nonlinear Cooperative Output Regulation with Input Delay Compensation

This paper investigates the cooperative output regulation (COR) of nonlinear multi-agent systems (MASs) with long input delay based on periodic event-triggered mechanism. Compared with other mechanisms, periodic event-triggered control can automatically guarantee a Zeno-free behavior and avoid the continuous monitoring of triggered conditions. First, a new periodic event-triggered distributed observer, which is based on the fully asynchronous communication data, is proposed to estimate the leader information. Second, a new distributed predictor feedback control method is proposed for the considered nonlinear MASs with input delay. By coordinate transformation, the MASs are mapped into new coupled ODE-PDE target systems with some disturbance-like terms. Then, we show that the COR problem is solvable. At last, to further save the communication resource, a periodic event-triggered mechanism is considered in the sensor-to-controller transmission in every agent. A new periodic event-triggered filter is proposed to deal with the periodic event-triggered feedback data. The MASs with input delay are mapped into coupled ODE-PDE target systems with sampled data information. Then, Lyapunov-Krasovskii functions are constructed to demonstrate the exponential stability of the MASs. Simulations verify the validity of the proposed results.

eess.SY↗

arXiv2024

RAGChecker: A Fine-grained Framework for Diagnosing Retrieval-Augmented Generation

Despite Retrieval-Augmented Generation (RAG) showing promising capability in leveraging external knowledge, a comprehensive evaluation of RAG systems is still challenging due to the modular nature of RAG, evaluation of long-form responses and reliability of measurements. In this paper, we propose a fine-grained evaluation framework, RAGChecker, that incorporates a suite of diagnostic metrics for both the retrieval and generation modules. Meta evaluation verifies that RAGChecker has significantly better correlations with human judgments than other evaluation metrics. Using RAGChecker, we evaluate 8 RAG systems and conduct an in-depth analysis of their performance, revealing insightful patterns and trade-offs in the design choices of RAG architectures. The metrics of RAGChecker can guide researchers and practitioners in developing more effective RAG systems. This work has been open sourced at https://github.com/amazon-science/RAGChecker.

cs.CL↗

arXiv2024

Fluid dynamics described from new dynamic hypothesis

In order to address the difficulties of classical fluid kinematics in describing vorticity and the paradox of linear correlation between viscous force and vorticity in the Navier-Stokes equations, the study examines the inherent relationship between momentum conservation and energy conservation and rederives the fundamental equations of fluid flow from new dynamic hypothesis. The study reveals that momentum conservation and mechanical energy conservation are the same concept termed in different descriptions. The material derivative of velocity is to depict the acceleration of fluid particles in Eulerian perspective. In the study, it is assumed that fluids only obey the theorem of momentum, which describes the translational motion of fluids. The centroid of fluid elements can undergo translational motion under a curl force field. In the hypothesis, the symmetry of stress tensor is determined by the properties of stress field rather than the conservation of moment of momentum for fluid elements. The stress tensor is symmetric when stress field is a curl free field, and the stress tensor is asymmetric when stress field is a curl field. New dynamic equilibrium equations for fluids and the constitutive relationship for Newtonian fluid are proposed under the hypothesis. The Navier-Stokes equations are obtained. The new model of fluid dynamics does not require Stokes hypothesis. It is obtained that vorticity reflects the magnitude distribution of shear flow in flow field.

physics.class-ph↗