arXiv subjects

Bin Wu

Publications and source records attributed to Bin Wu.

At least 55 records · Page 3Linked to original sources

arXiv2026

Aggregation of Evolutionary Game Dynamics on Large-Scale Weighted Networks

Networked evolutionary games, which integrate network topology and game dynamics, serve as a powerful framework for complex systems. Evolutionary games on large-scale networks, however, have been analytically challenging due to the curse of dimensionality arising from large network size. This paper proposes an aggregation method based on backward equivalence, such that agents within the same equivalence class behave exactly the same over time. We give a necessary and sufficient condition under which the weighted networked evolutionary games (WNEG) are reduced to an equivalent system with low dimension. The aggregation is shown to reduce the computational burden ranging from strategy consensus, strategy optimization, controllability, to optimal control of the WNEG. Examples are provided. Our work opens an avenue to solve the curse of dimensionality on networked evolutionary game systems with mathematical rigor.

eess.SY↗

arXiv2026

Strange Quark Electric Dipole Moment withTopological Anomalies

We introduce an anomaly-based framework to probe quark electric dipole moments in exclusive hadronic final states produced in $e^+e^-$ annihilation. Chern-Simons-induced anomalous couplings yield a clean T-odd asymmetry $A_T$ from interference between the Standard-Model amplitude and dipole-moment contributions. As an application, $γ^\ast\to K^+K^-π^0$ provides direct sensitivity to the strange-quark EDM $d_s$ in the chiral limit. The precision on $d_s$ can reach $\mathcal{O}(10^{-16})\,e\cdot\mathrm{cm}$ with existing CMD--3 data and $\mathcal{O}(10^{-18})\,e\cdot\mathrm{cm}$ using current $J/ψ$ samples at BESIII, improving the current direct constraint from hyperon EDM by two to three orders.

hep-ph↗

arXiv2026

From Centrality Discounts to Centrality Premia: Interoperability and Platform Competition in Social Networks

We study how interoperability reshapes competitive price discrimination when consumers are embedded in a social network. Two differentiated platforms set personalized prices; consumers benefit from neighbors' consumption of the same platform and, under interoperability, of the rival. Equilibrium prices obtain in closed form for arbitrary networks and contain a network-position term, proportional to Katz-Bonacich centrality, whose sign is determined by whether interoperability exceeds product substitutability. Below this threshold, platforms contest central consumers and grant centrality discounts; above it, central consumers become gateways to a shared cross-platform network and pay premia; at the threshold, prices are independent of network position. Interoperability softens price competition, can make platforms favor denser consumer networks, and reverses which side of the market gains from price discrimination.

econ.TH↗

arXiv2026

Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

Recent LLM-based mathematical reasoning agents have begun to tackle research-level problems and, in several cases, have contributed to the resolution of open problems. However, scaling and orchestrating such agents effectively remains challenging, due to the difficulty of coordinating parallel proof search while keeping intermediate claims organized and reliable. In this paper, we propose Danus, an orchestration system for research-level mathematical reasoning centered on a shared fact graph as a global memory-management mechanism. Danus consists of a main agent that performs planning and coordination, multiple worker agents that carry out proof search in parallel, and a stateless verifier that checks proposed mathematical claims before they are admitted into the fact graph. Each verified fact is stored together with its proof and logical dependencies, allowing the system to build long arguments incrementally while keeping the shared proof state organized. The main agent periodically summarizes the evolving proof state, redirects workers across promising directions, and supports interaction with human mathematicians through progress reports. We evaluate Danus through six research-level case studies in algebraic geometry, singularity theory, and combinatorics, illustrating how the fact-graph memory mechanism enables Danus to construct long, detailed mathematical proofs. Our results suggest that fact-graph-based orchestration provides an effective route toward scaling mathematical reasoning agents for long-horizon research problems. Danus is open source at https://github.com/frenzymath/Danus.

cs.AI↗

arXiv2026

Azimuthal momentum isotropization in the Quark-Gluon Plasma thermalization

Azimuthal anisotropies coming from the initial state of a heavy-ion collision have been historically disregarded in the study of thermalization because they are expected to be rapidly washed out due to final-state interactions. However, they may be important when one attempts to describe azimuthal correlations observed in the collisions of small systems. In this work, we study how these initial anisotropies relax in the context of the Boltzmann Equation in Diffusion Approximation (BEDA). We find a clear hierarchy in the relaxation time of the anisotropies in terms of each harmonic coefficient. We also explore the evolution of the $p_T$-dependent harmonic coefficients in time, finding a shift in the initial peak towards higher momenta that mimics the experimental data when we perform a phenomenologically motivated simulation.

hep-ph↗

arXiv2026

Positive and Negative Determinant Strategies in Repeated Games with Behavior-Value Inconsistency

Direct reciprocity, based on the repeated interactions, is a fundamental mechanism to promote cooperation. Zero-determinant (ZD) strategies have opened an avenue for unilateral payoff control. However, previous studies neglect internal costs provided what agents do differ from what agents think, which is crucial for decision making of intelligent agents. Motivated by this, we establish a game theoretical framework by assuming that an individual pays the internal cost if the behavior is inconsistent with the internal thought. We prove that ZD strategy does not exist if the cost via behavior-value inconsistency is present. Instead, we find a new class of repeated strategies that enforce a unilateral payoff control, which is termed as positive/negative determinant strategy. The found strategy allows an individual to enforce an affine combination of two individuals' average payoffs above/below zero. Consequently, a focal individual is able to unilaterally control the opponent's payoff below a given value via negative determinant strategy, and a focal individual is able to get more payoff than the opponent via positive determinant strategy. We also find that the control ability of positive/negative determinant strategies is better off than that of ZD strategies. Our work highlights the importance of inconsistency between the behavior and value on payoff control, which is typically absent in classic ZD strategies.

cs.GT↗

arXiv2026

$Λ\bar Λ$ spin correlations in high-energy collisions from quantum channels: an open quantum system view of hadronization

We construct a quantum information-centered approach to describe the experimentally observed behavior of hyperon spin-pair correlations in high-energy collider experiments. The evolution of the spin density matrix of the hyperon pair is treated in the language of quantum channels, accounting both for the spin dynamics in $\mathbb{C}^2\otimes\mathbb{C}^2$ and for the pair's angular separation $ΔR$. We show that the experimental data are consistent with an evolution under a two-qubit depolarizing channel, from which a Lindblad master equation is derived. This provides an open quantum system picture of spin dynamics during the hadronization transition, which is not naturally captured by other quantum channels, and we discuss its microscopic origins. These results show that quantum information science can offer new insights into confinement dynamics beyond the classification of entanglement in the final particle states.

hep-ph↗

arXiv2026

PAIWorld: A 3D-Consistent World Foundation Model for Robotic Manipulation

World foundation models (WFMs) are powerful simulators, yet they predominantly operate in a single-view setting and lack the multi-view 3D consistency required for robotic manipulation. While robotic systems rely on multiple cameras (egocentric, eye-to-hand, and wrist-mounted) for policy learning, current multi-view world models simply concatenate view tokens without explicit geometric reasoning. This causes cross-view object drift, depth inconsistency, and texture misalignment. We trace these failures to two deficiencies: the absence of an explicit inter-view communication mechanism and the lack of a 3D geometric prior. We argue that resolving both simultaneously is necessary and sufficient. To address this, we present PAIWorld, a framework that augments diffusion-transformer world models via three core components: (1) Geometry-Aware Cross-View Attention blocks that establish an explicit pathway across views, (2) Geometric Rotary Position Embedding that encodes camera ray directions and extrinsic poses into the attention mechanism, and (3) Latent 3D-REPA, which distills 3D-aware features from frozen 3D foundation models to ensure 3D consistency. Built upon a DiT-based world foundation model, PAIWorld achieves state-of-the-art multi-view 3D consistency on robotic manipulation benchmarks, ranking 1st on the WorldArena leaderboard and 2nd on the AgiBot-Challenge2026 leaderboard, while enabling downstream applications such as model-based planning, world action models, and multi-view policy post-training.

cs.RO↗

arXiv2026

Analysis of the semileptonic decays $Σ_b\toΣ_cl\barν_l$, $Ξ'_b\toΞ'_cl\barν_l$ and $Ω_b\toΩ_cl\barν_l$ in QCD sum rules

In this article, the electroweak transition form factors of $Σ_b\toΣ_c$, $Ξ'_b\toΞ'_c$ and $Ω_b\toΩ_c$ are analyzed within the framework of three-point QCD sum rules. In phenomenological side, all possible couplings of interpolating current to hadronic states are considered, and the Dirac structure dependence on the form factors is systematically eliminated. In QCD side, our calculation incorporates both the perturbative part and the contributions from vacuum condensates up to dimension 8. This systematic inclusion of higher-dimensional terms accounts for a broader set of Feynman diagrams, thereby enhancing the comprehensiveness and reliability of the operator product expansion. Using the obtained form factors, we study the partial widths of semileptonic decays $Σ_b\toΣ_cl\barν_l$, $Ξ'_b\toΞ'_cl\barν_l$ and $Ω_b\toΩ_cl\barν_l$ ($l=e$, $μ$ and $τ$). The results indicate that these decay widths approximately satisfy SU(3) flavor symmetry. Next, we calculate the branching ratios for the decay process $Ω_b\toΩ_cl\barν_l$ and compare them with the results from other collaborations. Furthermore, the lepton universality ratios and some asymmetry parameters of these decay processes are also analyzed, which provide information for the study of new physics. We hope that these results will serve as a useful reference for future theoretical and experimental studies of weak decays involving heavy flavor baryons.

hep-ph↗

arXiv2026

Inverse Source Problems for a Class of Fractional Elliptic Equations with Singular Coefficients

An inverse source problem for a class of fractional elliptic equations with singular coefficients is investigated in this paper. For the corresponding direct problem, a formal solution is derived and the well-posedness of the solution is established. For the inverse problem, a Hölder-type conditional stability estimate is obtained in a Hilbert scale associated with exponential operators. Based on this stability framework, two regularization methods are proposed for reconstructing the unknown source term: the exponential-type Tikhonov regularization method and the exponential quasi-boundary value regularization method. Convergence estimates for the regularized solutions are derived under both a priori and a posteriori choices of the regularization parameter. In addition, finite-dimensional spectral approximation results show that the proposed methods are also applicable to general square-integrable source terms, without requiring the exact source to satisfy an exponential-type source condition. Numerical experiments demonstrate that the proposed methods provide stable and accurate reconstructions for both smooth and piecewise smooth sources even under low signal-to-noise ratio conditions.

math.NA↗

arXiv2026

Quantum Chip Paradigm Framework

Quantum Electronic Design Automation (Q-EDA) is emerging as quantum chips move from laboratory prototypes to scalable engineering systems. This paper argues that superconducting quantum chip design is approaching a "SPICE moment" similar to early classical EDA, where growing qubit scale, control complexity, frequency planning, packaging, process variation, and cryogenic measurement feedback require a shift from experience-based design to model-driven engineering. We propose a Quantum Chip Paradigm Framework that treats Q-EDA not only as software, but as part of the quantum chip development paradigm. Unlike classical HDL-first design, quantum chip design must begin with physical structures such as Josephson junctions, resonators, couplers, readout elements, control lines, and packaging environments. The framework emphasizes PCell-based modeling, SPICE-Q simulation, Quantum PDKs, and design-technology-measurement co-optimization. We further outline a hierarchical Q-EDA system spanning physical structures, qubit PCells, logical qubits, quantum arithmetic, functional quantum IP, and Quantum SoC systems. The key goal is to turn physical models, layout rules, simulation results, fabrication data, and measurement feedback into reusable and auditable engineering objects for large-scale quantum processors and fault-tolerant quantum computing.

quant-ph↗

arXiv2026

SPICE-Q and Large-Scale Quantum Chip Production

We propose SPICE-Q, a SPICE-inspired design-technology co-optimization framework for superconducting quantum processors. Rather than replacing tools such as HFSS, Qiskit Metal, pyEPR, SQcircuit, SQuADDS, scqubits, or QuTiP, SPICE-Q aims to connect them through a unified, traceable data chain spanning process rules, layout, electromagnetic simulation, energy-participation-ratio and circuit quantization, Hamiltonian extraction, noise analysis, cryogenic test, and manufacturing feedback. The central mapping is from process and PDK constraints to layout geometry, electromagnetic modes, equivalent circuit parameters, effective Hamiltonians, and finally metrics such as frequency, coupling, anharmonicity, decoherence, readout performance, and yield. This flow must capture Josephson-junction variability, transmon frequency allocation, resonator and Purcell constraints, coupler crosstalk, microwave routing, 3D interconnects, material/interface loss, package modes, and wafer-scale process statistics. By introducing standardized model interfaces, statistical parameter models, model cards, version governance, and closed-loop calibration from cryogenic and fabrication data, SPICE-Q frames superconducting quantum-chip design as an engineering workflow rather than a collection of isolated simulations. We argue that scalable and fault-tolerant quantum processors will require such a continuous model chain from device physics and electromagnetic fields to quantum dynamics, noise, manufacturability, and system-level yield.

quant-ph↗

arXiv2026

Fabless Quantum Chip Design and Commercial Production

This paper proposes a fabless quantum-chip design and production architecture for superconducting quantum computing, centered on the SPICE-Q multiphysics simulation framework. The proposed ecosystem connects process-certified quantum PDKs, parameterized device cells, traceable model cards, SPICE-Q physical modeling languages, unified Q-EDA flows, foundry sign-off rules, cryogenic test feedback, and reusable quantum IP. In this model, design firms do not merely outsource fabrication; they prepare verified tape-outs under standardized process constraints and calibrated physical models. Its economic value lies in reducing repetitive device debugging, process exploration, and low-level layout effort, while its feasibility depends on PDK maturity, foundry yield, cryogenic test throughput, model-prediction accuracy, data-feedback mechanisms, and IP licensing boundaries. We argue that superconducting quantum chips can move from the current largely vertically integrated development model toward a fabless-foundry ecosystem only when hardware design is supported by standardized, verifiable, and reusable software and process interfaces. The required pillars are certified PDKs, PCell-based parameterized design, SPICE-Q cross-physics simulation, end-to-end Q-EDA automation, and a tradable quantum-IP market. By adapting lessons from the classical semiconductor industry to quantum hardware, this framework defines a path toward scalable, manufacturable, and commercially reusable superconducting quantum-chip design.

quant-ph↗

arXiv2026

Atom Optics for Multidimensional Raman Interferometry

The coherent control of atomic wave packets in multiple momentum dimensions is a central challenge in Raman atom optics and a key requirement for multidimensional atom interferometry. In this paper, a momentum-basis theoretical framework is developed for two-dimensional Raman interactions. We formulate the atom-laser interaction for two-dimensional Raman beams and obtain the effective two-level ground-state Hamiltonian after adiabatic elimination of the excited states. The resulted Hamiltonian is constructed on the reachable momentum-state lattice and includes AC Stark shifts, intra-dimensional Raman couplings, and cross-dimensional Raman coupling terms, thereby describing multidimensional Raman dynamics beyond a simple superposition of independent single-dimensional models. The framework is used to analyze the principles and operating conditions of two-dimensional atom interferometry. Cross-dimensional Raman coupling and sequential reverse Raman transitions are identified as the main mechanisms that redistribute atoms into non-target momentum states and reduce the contrast of atomic interferometer fringe. Experimentally, Ramsey fringes are observed in a cold-atom fountain interferometer, with a contrast of $14.8\%$ at an interrogation time of $T=10~{\rm ms}$, in good agreement with the theoretical calculation. The conditions required for velocity-sensitive multidimensional atom interferometry are further clarified, including detuning control, velocity-class selection, and suppression of undesired inter-dimensional transitions. This work provides a theoretical and experimental basis for multidimensional Raman atom interferometry.

physics.atom-ph↗

arXiv2026

Reward-SQL: Boosting Text-to-SQL via Stepwise Execution-Aware Reasoning and Process-Supervised Rewards

Recent advances in large language models (LLMs) trained with reinforcement learning (RL) have improved Text-to-SQL performance. However, RL-based approaches still struggle with complex queries due to two key limitations: insufficient stepwise execution-aware reasoning grounded in database feedback, and the lack of process-level rewards for guiding reasoning optimization. To address these issues, we propose CoCTE, a divide-and-conquer and execution-aware reasoning framework that progressively composes SQL queries through intermediate view validation and structured Common Table Expressions (CTEs), improving both accuracy and interpretability. To realize a CoCTE reasoning process, we develop Reward-SQL, a unified approach with three stages: (1) model initialization, which equips LLMs with structured CoCTE reasoning capabilities; (2) process reward design, which delivers fine-grained, execution-aware supervision; and (3) process-supervised RL and inference, which integrates process rewards into training and guides the inference stage by process rewards. This paper addresses the core challenges in Reward-SQL and makes the following contributions. We introduce a process reward model (PRM) that combines execution-aware trajectory scoring with entropy-based step weighting, providing dense and interpretable supervision across reasoning steps. We integrate PRM into both RL training and inference stages, stabilizing optimization and improving trajectory exploration with process-level signals. Experiments show that Reward-SQL significantly outperforms baselines with comparable model sizes, and exhibits strong cross-domain generalization.

cs.CL↗

arXiv2026

InnoEval: On Research Idea Evaluation as a Knowledge-Grounded, Multi-Perspective Reasoning Problem

The rapid evolution of Large Language Models has catalyzed a surge in scientific idea production, yet this leap has not been accompanied by a matching advance in idea evaluation. The fundamental nature of scientific evaluation needs knowledgeable grounding, collective deliberation, and multi-criteria decision-making. However, existing idea evaluation methods often suffer from narrow knowledge horizons, flattened evaluation dimensions, and the inherent bias in LLM-as-a-Judge. To address these, we regard idea evaluation as a knowledge-grounded, multi-perspective reasoning problem and introduce InnoEval, a deep innovation evaluation framework designed to emulate human-level idea assessment. We apply a heterogeneous deep knowledge search engine that retrieves and grounds dynamic evidence from diverse online sources. We further achieve review consensus with an innovation review board containing reviewers with distinct academic backgrounds, enabling a multi-dimensional decoupled evaluation across multiple metrics. We construct comprehensive datasets derived from authoritative peer-reviewed submissions to benchmark InnoEval. Experiments demonstrate that InnoEval can consistently outperform baselines in point-wise, pair-wise, and group-wise evaluation tasks, exhibiting judgment patterns and consensus highly aligned with human experts.

cs.CL↗

arXiv2026

Automated Conjecture Resolution with Formal Verification

Recent advances in large language models have significantly improved their ability to perform mathematical reasoning, extending from elementary problem solving to increasingly capable performance on research-level problems. However, reliably solving and verifying such problems remains challenging due to the inherent ambiguity of natural language reasoning. In this paper, we propose an automated framework that integrates natural language reasoning with formal verification to tackle research-level mathematical problems. Our framework consists of two components: an informal reasoning agent, Rethlas, and a formal verification agent, Archon. Rethlas combines reasoning primitives with our theorem search engine, Matlas, to explore solution strategies and construct candidate proofs. Archon, equipped with LeanSearch, translates informal arguments into formalized Lean 4 projects through task decomposition, iterative refinement, and automated proof synthesis, ensuring machine-checkable correctness. Using this framework, we resolve an open problem in commutative algebra and formally verify the resulting proof in Lean 4 with essentially no human involvement. Additional case studies illustrate the capabilities of Rethlas in informal mathematical reasoning and discovery, as well as the ability of Archon to formalize research-level proofs in Lean 4. Our experiments demonstrate that strong theorem retrieval tools enable the discovery and application of cross-domain mathematical techniques, while the formal agent can autonomously fill nontrivial gaps in informal arguments. More broadly, our work illustrates a promising paradigm for mathematical research in which informal and formal reasoning systems, equipped with theorem retrieval tools, operate in tandem to produce verifiable results, reduce human effort, and support human-AI collaborative mathematical research.

cs.LG↗

arXiv2026

Changes in behaviour when adherers to an intervention experience a different epidemic than non-adherers

Non-pharmaceutical interventions (NPIs), including mask-wearing, physical distancing, and hygiene measures, provide the primary means of reducing transmission in the early stages of an epidemic. Individuals adopt one of two strategies-adherence (A) or non-adherence (N) to NPIs. These strategies influence the transmission rate and thus the number of infections, but they also come with inherent costs and benefits. We propose a model coupling behavior and disease dynamics in adherers and non-adherers based on the SIR framework. This gives rise to six behavioral-epidemiological compartments. Using numerical simulations and analytical considerations, we first examine the case where strategies are fixed. Stronger NPIs and more initial adherers lead to fewer infections, and adherers consistently experience lower infection risk than non-adherers. We then introduce behavioral switching based on the benefits and costs of the two strategies. When NPIs are effective, higher transmission rates promote adherence, resulting in fewer infections. Strikingly, in high-severity outbreaks, even modestly effective NPIs can significantly reduce infections. These findings highlight the critical role of the coupling between behavior and disease dynamics, and underscore how individual choices can compromise or compensate public health interventions.

q-bio.PE↗