SearcharxivSearch

arXiv subjects

Shaojun Xu

Publications and source records attributed to Shaojun Xu.

7 recordsLinked to original sources

Mind Dreamer: Untethering Imagination via Active Causal Intervention on Latent Manifolds

Model-Based Reinforcement Learning yields sample efficiency via latent imagination, yet remains constrained by Historical Tethering: imagination is typically initialized from observed states. This creates a learning asymmetry, where the world model's manifold discovery outpaces the policy's sparse-reward optimization. We propose Mind Dreamer (MD), a framework that instantiates Active Causal Intervention to transcend Markovian continuity. MD reformulates discovery as the minimization of a global Relay Expected Free Energy. Instead of initializing from historical data, it draws initial states from an adversarial generator $s_0 \sim p_{gen}(\cdot)$, creating non-continuous latent jumps to epistemic blind spots that are physically plausible yet cognitively challenging. We derive Relay Value Function and Relay Uncertainty Function to resolve the credit assignment paradox across these spatial ruptures. Treating synthesized anchors as interventional intermediary states, these potentials propagate pragmatic and epistemic value through Bellman-style backups. Notably, we prove that uncertainty propagation across discontinuities necessitates a quadratic discount $\gamma^2$, establishing a formal epistemic horizon. Theoretically, MD approximates a variance-minimizing importance sampler that expands the manifold's spectral gap, reducing the hitting time to critical bottleneck states. Empirically, MD achieves a 1.67$\times$ average speedup over DreamerV3 on DeepMind Control Suite, reaching 8.8$\times$ in sparse-reward tasks.

cs.LG

Impact of ChatGPT on the writing style of condensed matter physicists

We apply a state-of-the-art difference-in-differences approach to estimate the impact of ChatGPT's release on the writing style of condensed matter papers on arXiv. Our analysis reveals a statistically significant improvement in the English quality of abstracts written by non-native English speakers. Importantly, this improvement remains robust even after accounting for other potential factors, confirming that it can be attributed to the release of ChatGPT. This indicates widespread adoption of the tool. Following the release of ChatGPT, there is a significant increase in the use of unique words, while the frequency of rare words decreases. Across language families, the changes in writing style are significant for authors from the Latin and Ural-Altaic groups, but not for those from the Germanic or other Indo-European groups.

cs.CL

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation

To enable non-experts to specify long-horizon, multi-robot collaborative tasks, language models are increasingly used to translate natural language commands into formal specifications. However, because translation can occur in multiple ways, such translations may lack accuracy or lead to inefficient multi-robot planning. Our key insight is that concise hierarchical specifications can simplify planning while remaining straightforward to derive from human instructions. We propose Nl2Hltl2Plan, a framework that translates natural language commands into hierarchical Linear Temporal Logic (LTL) and solves the corresponding planning problem. The translation involves two steps leveraging Large Language Models (LLMs). First, an LLM transforms instructions into a Hierarchical Task Tree, capturing logical and temporal relations. Next, a fine-tuned LLM converts sub-tasks into flat LTL formulas, which are aggregated into hierarchical specifications, with the lowest level corresponding to ordered robot actions. These specifications are then used with off-the-shelf planners. Our Nl2Hltl2Plan demonstrates the potential of LLMs in hierarchical reasoning for multi-robot task planning. Evaluations in simulation and real-world experiments with human participants show that Nl2Hltl2Plan outperforms existing methods, handling more complex instructions while achieving higher success rates and lower costs in task allocation and planning. Additional details are available at https://nl2hltl2plan.github.io .

cs.RO

Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications

Past research into robotic planning with temporal logic specifications, notably Linear Temporal Logic (LTL), was largely based on a single formula for individual or groups of robots. But with increasing task complexity, LTL formulas unavoidably grow lengthy, complicating interpretation and specification generation, and straining the computational capacities of the planners. A recent development has been the hierarchical representation of LTL~\cite{luo2024simultaneous} that contains multiple temporal logic specifications, providing a more interpretable framework. However, the proposed planning algorithm assumes the independence of robots within each specification, limiting their application to multi-robot coordination with complex temporal constraints. In this work, we formulated a decomposition-based hierarchical framework. At the high level, each specification is first decomposed into a set of atomic sub-tasks. We further infer the temporal relations among the sub-tasks of different specifications to construct a task network. Subsequently, a Mixed Integer Linear Program is used to assign sub-tasks to various robots. At the lower level, domain-specific controllers are employed to execute sub-tasks. Our approach was experimentally applied to domains of navigation and manipulation. The simulation demonstrated that our approach can find better solutions using less runtimes.

cs.RO

Metalated Porous-Organic-Polymer Renders Mustard-Gas Simulant Harmless: Core Planarity Matters

The presence of open active metal sites in Metal-Organic Frameworks (MOFs) exhibit higher catalytic activity. However, rational accomplishment of MOFs in heterogeneous catalysis is limited due to coordination bonds. Recently balanced characteristic feature with combination of both the covalent bonds (structural stability) and open metal sites (single site catalysis) introduced an entirely organic alternative architecture named as Metalated Porous-Organic-Polymers (M-POPs). In this contribution, we demonstrate successful construction of two Fe-POPs (Fe-Tt-POP & Fe-Rb-POP) by ternary copolymerization approach for catalytic oxidative decontamination of different sulfur-based mustard gas simulants. Fe-Tt-POP exhibited superior catalytic performance for oxidation of the thioanisole (TA) studied in terms of conversion (99% after 13 h) in comparison with Fe-Rb-POP (43% after 13h). The remarkable difference in the mechanistic pathways towards catalytic performance for oxidation of TA was investigated by in situ operando Diffuse Reflectance Infrared Fourier Transform Spectroscopy (DRIFTS) analysis, complemented by Density Functional Theory (DFT) computational study.

cond-mat.mtrl-sci

Numerical operator method for the real time dynamics of strongly-correlated quantum impurity systems far from equilibrium

We develop a method for studying the real time dynamics of Heisenberg operators in strongly-interacting nonequilibrium quantum impurity models. Our method is applicable to a wide range of interaction strengths and to bias voltages beyond the linear response regime, works at zero temperature, and overcomes the finite-size limitations faced by other numerical methods. We compare our method with quantum Monte Carlo simulations at a strong interaction strength, at which no analytical method is applicable up to now. We find a very good coincidence of the results at high bias voltage, and in the short time period at low bias voltage. We discuss the possible reason of the deviation in the long time period at low bias voltage. We also find a good coincidence of our results with the perturbation results at weak interactions.

cond-mat.str-el

Randomly Fluctuating Potential Controlled Multistable Resonant Tunneling Current through a Quantum Dot

We study the transport through a quantum dot subject to a randomly fluctuating potential, generated by a sequence of pulses in the gate voltage with the help of the autoregressive model. We find that the tunneling current is multistable when the fluctuating potential with a finite correlation time is applied before the non-equilibrium steady state is built up. The non-equilibrium stationary current is heavily dependent on the history of the fluctuating potential during the transient period if the potential has a finite correlation time. Furthermore, the averaged current over the path of the fluctuating potential is a function of its strength and correlation time. Our work therefore provides a robust theoretical proposal for the controlling of the non-equilibrium stationary current through a quantum dot in a randomly fluctuating potential.

cond-mat.mes-hall