arXiv subjects

Wei Qi

Publications and source records attributed to Wei Qi.

At least 19 recordsLinked to original sources

arXiv2026

On the n-perfectness under split nilpotent extensions

Let $π:S\twoheadrightarrow R$ be a split ring epimorphism with nilpotent kernel $J$, and let $R\hookrightarrow S$ be a fixed ring-theoretic section. We prove a change-of-rings formula which is considerably stronger than an equality of global invariants: if $X$ is a left $S$-module satisfying $\Tor_i^S(R,X)=0$ for every $i>0$, then \[ \pd_S X=\pd_R(R\otimes_S X) \] in $\mathbb N\cup\{0,\infty\}$. In particular, for every flat left $S$-module $F$, \[ \pd_SF=\pd_R(F/JF), \] and $F/JF$ is flat over $R$. Reduction and induction of scalars therefore show that the same numerical set of projective dimensions is attained by flat modules over $S$ and over $R$. Consequently, left $n$-perfectness is invariant under every split-by-nilpotent extension. The right-handed analogue holds as well. For a commutative ring $R$ and an arbitrary $R$-module $M$, this applies to the idealization $S=R\ltimes M$ without any projectivity, flatness, finite generation, or finite flat-dimension assumption on $M$. We obtain a list of equivalent characterizations of the condition that $R\ltimes M$ is $n$-perfect, together with \[ \cotD(R\ltimes M)=\cotD(R). \] We further derive exact preservation of the flat-projective-dimension spectrum, strict $n$-perfectness, pointwise localization, arbitrary iterated idealizations, $n$-trivial extensions, truncated polynomial rings, and upper triangular matrix rings.

math.AC↗

arXiv2026

Conformal Robustness in Prediction-Driven Decision-Making

Modern prediction-driven decision systems often rely on black-box predictors, but a point forecast alone does not provide the uncertainty scale required for robust downstream decision-making. We build a score-calibrated robustness framework that converts any fixed point predictor into a decision-relevant uncertainty representation through distribution-free conformal calibration. We use the conformal score, rather than a particular uncertainty set, as the primitive unit of robustness. The same score determines coverage-calibrated uncertainty sets for reliability-based robust optimization and normalizes target violations in a target-oriented formulation, Conformal Robust Satisficing. This formulation induces a conformal fragility measure that quantifies how rapidly performance deteriorates as the realized parameter departs from the forecast on the conformal score scale. For objective-uncertainty problems under standard convexity and duality conditions, we show that the reliability-based and target-oriented formulations parameterize the same score-calibrated robust decision frontier. This equivalence yields a data-driven mapping between reliability levels and acceptable targets and characterizes the marginal cost of robustness. Synthetic experiments validate the theoretical guarantees and illustrate the reliability-target correspondence. A real-data online-grocery case study demonstrates how the interface combines deep-learning demand forecasts with tractable inventory optimization, thereby improving reliability and reducing operational costs. Overall, our work shows that conformal scores endow fixed black-box predictors with an interpretable uncertainty scale for downstream decision-making while enabling reliability guarantees, acceptable-target selection, and fragility analysis within a unified framework.

stat.ML↗

arXiv2026

The Fourth Continuous Bounded Cohomology of the Complex Symplectic Group

We prove that $H_{\mathrm{cb}}^4(\Sp(4,\CC);\RR)=0$. Together with Blatz's secondary stability and the rank-one theorem of Bucher--Savini, this gives degree-four vanishing for all complex symplectic and odd complex orthogonal groups. In normalized symplectic Gram coordinates, we establish a bounded-primitive estimate and compute the measurable cohomology of the projective action. An explicit rational cocycle has divergent periods on a family of finite orbit cycles of uniformly bounded $\ell^1$-mass. A two-cone averaging construction extends the period estimate to measurable cochains and excludes bounded representatives of every nonzero degree-four measurable action class.

math.GR↗

arXiv2026

Learning efficient representations of complex constraints for scalable optimization

Complex constraints often make real-world optimization computationally prohibitive at the scale and speed required for operational decision-making. Here we introduce PolyFormer, a PIML framework that learns compact polytopic representations of the geometry induced by complex constraints. PolyFormer captures constraint-induced geometry and transforms it into efficient polytopic reformulations, reducing the complexity of downstream optimization and enabling the use of off-the-shelf solvers. Neural parameterizations further enable rapid adaptation to varying operating conditions without retraining. Through evaluations across three important problems, i.e., large-scale resource aggregation, network-constrained optimization, and optimization under uncertainty, PolyFormer achieves online solver speedups of up to 6,400-fold and memory reductions of up to 99.87%, while maintaining small feasibility and objective errors. Together, these results establish learned geometric constraint representations as an effective and scalable route to prescriptive optimization under diverse forms of constraint complexity.

cs.LG↗

arXiv2026

On the iso-Artinianness of one-dimensional Noetherian rings

Let $R$ be a one-dimensional commutative Noetherian ring with a unique minimal prime $\mathfrak p$ such that $D=R/\mathfrak p$ is a principal ideal domain. We give a complete characterization of the iso-Artinian property in this class, that is, the following conditions are equivalent: $R$ is iso-Artinian; $\mathfrak pR_{\mathfrak p}=0$; $len_R(\mathfrak p)<\infty$; $\mathfrak p/\mathfrak p^2$ is torsion over $D$. As a consequence, we completely answer the Question~3.9 of Daneshvar and Divaani-Aazar: under their hypotheses $Min R\subsetneq Ass R$, the ring is iso-Artinian precisely when its nilradical has finite length, and it is non-iso-Artinian precisely when the conormal module has positive rank.

math.AC↗

arXiv2026

A complete classification of left-invariant Einstein metrics on $S^3\times S^3$

We complete the classification of compact simply connected homogeneous Einstein manifolds in dimension six by resolving the remaining cases for left-invariant Einstein metrics on $G=\mathrm{SU}(2)\times\mathrm{SU}(2)\cong S^3\times S^3$. Previous work leaves two cases for the isotropy group $K$, namely $K=\{e\}$ and $K\cong\mathbb Z_2$. We first rule out $K=\{e\}$. Then we show that any $\mathbb Z_2$ symmetry generated by an inner involution $σ$ with $\trσ=-2$ necessarily extends to a $\mathbb Z_2\times\mathbb Z_2$ symmetry. Together with the previously known classification results, these theorems imply that every left-invariant Einstein metric on $G$ is, up to homothety and isometry, either the standard product metric $g_{\rm can}$ or the Jensen nearly Kähler metric $g_{\rm NK}$.

math.DG↗

arXiv2026

Polarization, Maximal Concurrence, and Pure States in High-Energy Collisions

We establish a quantitative relation between local spin polarization and quantum entanglement in two-qubit systems by mathematically proving a closed-form upper bound on the concurrence at fixed local polarization magnitudes. The bound shows how the maximal concurrence is jointly constrained by the two local polarizations. We further demonstrate that this bound is saturated by pure states in certain cases with identical polarizations. As a concrete physical application, we consider the parity-violating process $e^+e^- \to Z^0 \to q\bar{q}$, which generates final-state spin polarization. We show that the maximal concurrence is attained in specific kinematic regions and is significantly reduced relative to the unpolarized case. These results establish a general, process-independent framework connecting local polarization, maximal entanglement, and pure states.

hep-ph↗

arXiv2026

Tunable high-charge relativistic electron beams via direct laser acceleration in hohlraum-preheated foam targets

Direct laser acceleration (DLA) in near-critical-density (NCD) plasmas can efficiently generate high-charge relativistic electron beams, yet beam parameters depend critically on precise plasma state manipulation. Solid-ablation NCD plasmas evolve rapidly, posing severe controllability challenges. We produce NCD plasma via indirectly heating foam targets with ns laser driven hohlraum soft X-ray. Electrons are generated through irradiating the plasma with another picosecond laser. Tuning the laser pulse delay $τ$ enables control of plasma profiles and beam parameters. Experiments show that when the foam is heated ($τ$ = 6 ns, 9 ns), the beam exhibits $T \sim 13$ MeV effective temperature, $E_k \sim 80$ MeV cutoff energy, and hundreds of nC/sr charge for $E_k > 7.5$ MeV. These values are significantly higher than those from solid-foil ($T$ $\sim$ 2.7 MeV, $E_k$ $\sim$ 20 MeV, $Q$ $\sim$ 9 nC/sr) and cold-foam ($T$ $\sim$ 12 MeV, $E_k$ $\sim$ 50 MeV, $Q$ $\sim$ 5 nC/sr) interactions. At a longer delay of $τ$ = 15 ns, the charge increases further while the temperature decreases, and at a shorter delay of $τ$ = 3 ns, both temperature and charge are lower. 3D PIC simulations link these observations to the interplay between the microstructure of the cold foam and the evolving plasma density profile at different delay times, which together determine the beam charge, effective temperature, and divergence. The finding provides a routine to generate and tailor the relativistic electron beams, which is essential for designing laser-driven electron sources for high energy density physics and photonuclear reaction applications.

physics.plasm-ph↗

arXiv2026

Transpose Symmetry of Injectivity over Commutative Semirings

Let R be a commutative semiring, not necessarily with a multiplicative identity, and let A be an element of Mn(R). We prove that the map x to Ax on Rn is injective if and only if x to AT x is injective. Equivalently, the left- and right-cancellative elements of the multiplicative semigroup Mn(R) coincide. The proof splits formal determinant expansions into their even and odd halves; it uses no subtraction, additive cancellation, group completion, inverse, or multiplicative identity. As consequences we recover the stable-finiteness theorem for matrices over unital commutative semirings. We also prove that surjectivity is invariant under transpose. In fact, the existence of a surjective square matrix of positive size forces R to have a multiplicative identity.

math.RA↗

arXiv2026

SSPO: Structure-Aware Similarity-Weighted Preference Optimization for Neural Combinatorial Optimization

Neural combinatorial optimization (NCO) relies on parallel solution sampling for training, yet existing methods fail to fully exploit the rich information latent in a co-sampled solution group. Preference-optimization methods anchor on the single best solution and discard fine-grained quality and structural signal from all other peers-a failure we term gradient signal polarization. Mean-based baselines instead weight peers uniformly, so structurally near-identical peers flood the baseline with redundant information and keep gradient variance high-a failure we term baseline redundancy. We propose SSPO (Structure-Aware Similarity-Weighted Preference Optimization), which scores all $B$ sampled solutions jointly through a dissimilarity-weighted leave-one-out baseline: structurally distinct peers receive higher weight, resolving both failures in a single mechanism. The baseline uses zero-parameter, problem-adaptive solution embeddings built from the encoder's existing node representations. Experiments on TSP, EFL, and JSP benchmarks show consistent gains over prior best-anchor and uniform-weight baselines. A direct comparison against uniform RLOO on TSP and EFL confirms that structure-aware weighting is the primary driver of improvement. The SSPO-trained EFL policy has been deployed in a production facility-location system at JD$\mathord{.}$com, confirming practical viability at scale.

stat.ML↗

arXiv2026

EHR-MPC: Inference-Time Control for Sepsis Treatment with Generative Patient Digital Twins

Sepsis is a leading cause of mortality, yet optimal treatment policies remain contested. Existing reinforcement learning (RL) approaches learn fixed strategies for sepsis treatment, limiting adaptability to changing clinical objectives during inference. We propose EHRMPC, a framework that decouples learning patient dynamics from optimizing treatment by training a patient digital twin in the form of a generative electronic health record (EHR) model. The digital twin predicts clinical trajectories under interventions and enables model predictive control (MPC) to optimize treatments via inference-time planning over simulations. We evaluate EHR-MPC on a multicenter ICU sepsis cohort spanning 8 hospitals in the Mass General Brigham health system using both off-policy importance sampling and on-policy simulation-based evaluation. Relative to RL baselines, EHR-MPC achieves comparable off-policy performance and improved simulation performance. Unlike RL, this work frames sepsis treatment optimization as inference-time control over learned patient dynamics, establishing a general framework for decision making with generative clinical models.

stat.ML↗

arXiv2026

DualCert: A Solver for the Traveling Salesman Problem with Constraint-Coupled Learning

Large traveling salesman problem (TSP) instances require a solver to allocate limited computation while preserving the validity of its outputs. Existing neural--operations-research (OR) hybrids predict guidance without requiring learned transitions to satisfy constraints discovered during search. DualCert introduces \emph{constraint-coupled learning}, in which current degree equations and dynamically separated subtour-elimination constraints (SECs) define each learned transition. At each refinement, the degree equations and selected, strictly satisfied SEC equations, with positive slacks, define an iterate-dependent primal-slack Karush--Kuhn--Tucker (KKT) manifold. Repaired dual variables and violated SEC rows define a local cost field. An exact constrained mirror-descent step maps each finite state to a positive state on the same manifold. Where selected rows and deterministic ties remain fixed, implicit differentiation maps parameter perturbations into the manifold tangent space and reuses the forward constraint operator for the local-cost-field derivative. The terminal edge state allocates computation across Held--Karp ascent, candidate-graph edge tests, and tour construction under a fixed budget. Deterministic verification recomputes original costs and accepts only verified candidate-graph lower bounds and edge decisions. On 1,000 held-out TSP1000 instances, DualCert attains a mean tour-cost gap of $0.0573\%$ from Lin--Kernighan--Helsgaun version 3 (LKH-3) reference tours in $9.55$ batch-amortized seconds per instance. It returns a verified candidate-graph lower bound for every instance and achieves $81.46\%$ edge-decision coverage. The mean gap is $67.1\%$ smaller than the reported NeuroLKH mean gap. Thus, optimization constraints govern learning, while deterministic verification preserves output validity.

cs.AI↗

arXiv2026

Scores Are Not Decisions: Cost-Aware Stopping for Tool Acquisition in LLM Agents

As LLM agents increasingly depend on diverse external services such as search engines, databases, and connectors, agent harnesses face a fundamental tool-selection challenge: acquiring too few tools leaves the task under-informed, while too many adds cost, context load, and privacy exposure. Routers and retrievers can rank candidate tools by relevance, but a ranking alone does not determine how many are worth selecting. Existing approaches leave acquisition under heterogeneous costs unaddressed. We formulate this decision as cost-aware marginal decision-focused stopping (CAM-DF) over ranked tool prefixes, with CAM-DF-lite as a compact interpretable variant. We train directly on the offline gap between stopping now and the best continuation: its sign labels the decision, its magnitude weights each error by the payoff at stake. We prove this objective is Bayes-aligned with the stopping target and that score-only rules are suboptimal under heterogeneous costs. We evaluate on 1,343 tasks across five tool-use domains. On $τ$-bench Retail, CAM-DF attains the highest payoff among deployable methods, with gains over a predict-then-threshold baseline across all five ranking sources and two cost regimes. Our approach is state-of-the-art under heterogeneous costs and high cost pressure, with larger gains under weaker rankings. In live execution, CAM-DF exposes the agent to 37\% fewer tools than full access while maintaining comparable task success. The CAM-DF family is a lightweight pre-execution plugin that turns existing tool rankings into lower-cost acquisition decisions without fine-tuning the underlying LLM.

cs.LG↗

arXiv2026

SPORD: A Simulation-Propose-then-OR-Dispose Approach for Supply Chain Planning

For years, supply chain planning at e-commerce firms has operated as a collection of isolated projects. Each planning task from static network planning to dynamic warehouse assortment planning requires analysts to spend weeks building models from scratch, calibrating and persuading executives to act on outputs they cannot verify. Three barriers drive this: bespoke models proliferate because standardization is difficult (operational fragmentation); once unified, the combinatorial scale of millions of SKUs, thousands of nodes, and intricate routing logic exceeds what solvers can handle within a tight window (computational intractability); and a mathematically optimal solution still fails to be implemented if the executives do not trust it (implementation hurdle). To bridge this gap, we propose and implement the Simulation-Propose-then-OR-Dispose method, deployed as JD.com's NetSim platform. The central insight is decoupling: simulation proposes by generating and evaluating the full set of operationally valid candidate paths-absorbing all idiosyncratic business logic, while an integer program disposes by selecting the globally optimal subset. Computationally, matrix-vectorized CPU/GPU accelerated simulation achieves a 10-100 times speedup over serial methods, and a list scheduling algorithm reduces coupled-order processing from hours to minutes. Operationally, we establish a closed loop via an intelligent diagnosis engine. Since 2025, NetSim has optimized end to-end services for over 20,000 suppliers, the cross-regional fulfillment rate dropped from 6.1% to 4.9%, and the average monthly carbon reduction is approximately 5,745 tCO2e. SPORD moves simulation from monitoring to active planning. The transparent outputs turn skeptical executives into engaged collaborators, and the modular architecture ensures that the next planning requires just configuration, not reconstruction.

cs.AI↗

arXiv2026

Observation of stopping power reduction at strong ion-plasma coupling

Ion stopping in dense plasma is crucial for stellar evolution and fusion ignition. However, its behavior in the strong ion-plasma coupling regime beyond the linear limit has long remained elusive, due to formidable experimental challenges. Here we report the first experimental investigation of ion stopping at an unprecedented coupling parameter exceeding unity, achieved by sending laser-accelerated short-pulse and intense quasi-monoenergetic carbon ions ($\sim$583 keV/u, C$^{5+}$) into a uniform, long-lived, well-characterized dense plasma target ($T_e$ $\approx$ 17 eV, $n_e$ $\approx$ 4$\times$10$^{20}$ cm$^{-3}$). By simultaneously measuring ion energy loss and charge-state evolution, we eliminated key experimental ambiguities arising from charge-state determination. Our results clearly show a reduction in stopping power compared with predictions from standard linear dielectric response or binary collision models, and they agree well with the hybrid calculation of molecular dynamics with quantum corrections. The importance of nonlinear screening effects arising from many-body interactions and quantum effects due to the wave nature of electrons was demonstrated at strong coupling. This work establishes a definitive high-fidelity experimental benchmark for collisional dynamics in the strong-coupling regime. It offers critical insight for accurate modeling of energy transport in inertial confinement fusion and astrophysical plasmas.

physics.plasm-ph↗

arXiv2026

On-Demand Service Zone Design for Energy-Constrained Spatial Queueing Systems

Electric service vehicles (ESVs), such as mobile chargers and drone-based service units, are becoming an important operational resource for on-demand service systems. Unlike conventional spatial servers, ESV operations are shaped by battery limits and recharging needs, which affect dispatch feasibility and spatial deployment decisions. We develop an energy-constrained hypercube spatial queueing model that embeds battery-state dynamics into the classical hypercube framework and uses a semi-Markov representation to estimate steady-state performance. We then formulate a joint location--zoning problem for station placement and service zone design. The resulting large-scale mixed-integer nonlinear program admits a set partitioning reformulation whose column coefficients are not available in closed form. We therefore develop a Branch-Price-and-Evaluation framework for set partitioning problems with externally computable column coefficients: upper-bounding surrogates guide pricing, and iterative exact evaluation updates the coefficients of active columns. Computational results show that explicit energy modeling significantly reduces false service promises and yields more credible planning decisions. They also reveal a load-dependent reversal in zoning: pooling is preferable under light demand, whereas tighter zoning becomes more profitable as demand increases. Over the tested range, profitability is driven more by zoning than by battery improvement, suggesting that managers should get service zone design right before investing in battery upgrades; this caution is reinforced by the counterintuitive finding that larger batteries may delay replenishment and reduce fleet readiness under sparse demand. These findings show that energy feasibility is not merely a matter of battery-capacity expansion, but a design dimension that shapes service-zone configuration.

cs.PF↗

arXiv2026

Efficient Generation of Neutrons Based on Ultrashort Laser-driven Direct Acceleration in Microwire-Array Targets

We report on an experimental demonstration of efficient neutron generation based on direct laser acceleration in microwire-array targets irradiated by ultrashort (tens of femtoseconds) laser pulses. The optimal array period was identified, at which the maximum proton energy and the number of protons with energies exceeding $1~\mathrm{MeV}$ were significantly increased. Using a $1~\mathrm{PW}$, $\sim25~\mathrm{fs}$ laser at a moderate intensity of $\sim10^{20}~\mathrm{W/cm^2}$, a high neutron yield of up to $(8.33\pm0.84)\times10^{6}~\mathrm{n/sr/J}$ was detected from the LiD converter via $^7\mathrm{Li}(p,n)$ and $\mathrm{D}(p,n+p)$ nuclear reactions. Self-consistent integrated simulations reproduced the experimental results and predicted that with a Be converter, a forward pulsed neutron source with an unprecedented yield per joule of $3.67\times10^{7}~\mathrm{n/sr/J}$ can be obtained under identical laser conditions. This type of neutron source is favorable for applications that require a high repetition rate utilizing compact and economical laser systems.

physics.plasm-ph↗

arXiv2026

ActivityEditor: Learning to Synthesize Physically Valid Human Mobility

Human mobility modeling is indispensable for diverse urban applications. However, existing data-driven methods often suffer from data scarcity, limiting their applicability in regions where historical trajectories are unavailable or restricted. To bridge this gap, we propose \textbf{ActivityEditor}, a novel dual-LLM-agent framework designed for zero-shot cross-regional trajectory generation. Our framework decomposes the complex synthesis task into two collaborative stages. Specifically, an intention-based agent, which leverages demographic-driven priors to generate structured human intentions and coarse activity chains to ensure high-level socio-semantic coherence. These outputs are then refined by editor agent to obtain mobility trajectories through iteratively revisions that enforces human mobility law. This capability is acquired through reinforcement learning with multiple rewards grounded in real-world physical constraints, allowing the agent to internalize mobility regularities and ensure high-fidelity trajectory generation. Extensive experiments demonstrate that \textbf{ActivityEditor} achieves superior zero-shot performance when transferred across diverse urban contexts. It maintains high statistical fidelity and physical validity, providing a robust and highly generalizable solution for mobility simulation in data-scarce scenarios. Our code is available at: https://anonymous.4open.science/r/ActivityEditor-066B.

cs.AI↗