arXiv subjects

Jie Wang

Publications and source records attributed to Jie Wang.

At least 37 records · Page 2Linked to original sources

arXiv2026

Advances in quantum optomechanical control based on cavity cold-atom systems

Cavity optomechanics represents a frontier research direction in quantum science and technology, centered on the control and exploration of interactions between electromagnetic fields and mechanical motion. Rooted in quantum mechanics, this field realizes efficient coupling and precise manipulation of optical fields and mechanical vibrations through the structural design and precise regulation of optical microcavities and mechanical oscillators, thereby revealing and harnessing novel quantum phenomena. In recent years, cavity optomechanics has evolved into an interdisciplinary frontier integrating quantum optics, condensed matter physics, and quantum precision measurement, exhibiting profound application in both fundamental physics research and quantum information science. With advancements in technologies such as nanomanufacturing and laser cooling, optomechanical interactions have been successfully demonstrated in various experimental systems. Among these platforms, cavity cold-atom systems stand out as one of the ideal platforms for implementing quantum optomechanics. Featuring exceptional environmental isolation, long quantum coherence times, and strong light-matter interaction, these systems provide a crucial testbed for exploring strong and even ultrastrong optomechanical coupling effects as well as rich nonlinear quantum phenomena. This paper reviews the recent progress in optomechanical control and manipulation based on cavity cold-atom systems. We first outline the fundamental principles of standard cavity optomechanical systems. Then, we describe the experimental realization of linear and nonlinear optomechanical couplings in cold-atom systems. After that, we focus on the representative applications of this platform in high-precision quantum sensing, quantum memory, and the preparation of macroscopic nonclassical states. Finally, we give an outlook and challenges in this field.

quant-ph↗

arXiv2026

Detecting photons in radiative Bhabha interaction with Si-strip and LYSO crystals at future e+e- colliders

Next-generation e+e-colliders have been proposed for the Super Tau Charm Facility covering center-of-mass energies sqrt(s) = 2-7 GeV, and for the Higgs Factories optimized for Z-pole physics and for HZ production. Luminosity can be determined by measuring forward Bhabha scattering. The QED cross-section calculation has reached a precision of better than 10^-3. Detecting radiative photons in Bhabha events provides a tool for validating higher-order corrections in theory. We propose the Forward Detector for detecting Bhabha scattering events at the STCF. The design uses high-resolution silicon detectors and finely segmented LYSO crystals to discriminate radiative photons from closely associated electrons. Bhabha scattering events are simulated with the BHLUMI and BHWIDE programs, and the detector is modeled using GEANT. Systematic uncertainties due to multiple scattering and bremsstrahlung in the beam pipe were evaluated. The potential for achieving precise measurements of radiative processes in Bhabha events is investigated.

hep-ex↗

arXiv2026

LLM4Trust: Exploring the Capabilities of Large Language Models for Trust Evaluation

Trust evaluation plays a critical role in cybersecurity by supporting risk mitigation and decision-making. A variety of trust evaluation methods have been proposed, with learning-based approaches offering high accuracy and automation. However, they often require substantial ground truth, suffer from low training efficiency, lack support for basic trust properties, and provide limited explainability. Large Language Models (LLMs) offer a compelling alternative due to their strong zero-/few-shot reasoning abilities and broad knowledge. To this end, we propose LLM4Trust, the first benchmark framework that systematically explores the capabilities of LLMs for trust evaluation. We first construct diverse trust graphs to model five basic trust properties and design corresponding property understanding tasks. We then assess the ability of eight representative LLMs to understand these properties under nine prompt methods. Based on this exploration, we identify the most effective LLM-prompt combinations and apply them to five real-world datasets for validating LLMs' trust evaluation capability. During this process, we propose two strategies to extract key information from large-scale trust graphs, addressing the context window limitations of LLMs. Extensive experiments show that LLMs can effectively understand basic trust properties and have great potential for real-world trust evaluation, particularly under limited supervision. However, they remain vulnerable to attacks targeting trust graphs and demonstration examples used in few-shot prompting, and incur high inference costs. Accordingly, we propose a defense mechanism and batch inference to improve the robustness and efficiency of LLM-based trust evaluation. The source code of LLM4Trust is available at https://github.com/Jieerbobo/LLM4Trust

cs.LG↗

arXiv2026

The FAST HI 21-cm Absorption Blind Survey. III. OH Absorption Search in the 21-cm Absorber Sample and Continued HI Absorption Search

We present the first blind search for OH 18-cm absorption with the Five-hundred-meter Aperture Spherical Telescope (FAST), conducted alongside the HI 21-cm absorption search. Our previous FAST blind HI absorption search identified 34 systems. In this work, we extend the search using 2024 and part of the 2025 CRAFTS and FASHI data (394.4 hr and 1622.1 deg$^{2}$) together with FATHOMER observations, yielding four known and three new HI absorbers, for a total of 41 HI absorption systems. We search for OH absorption in 19 HI absorption systems whose OH redshifted frequencies fall within the FAST band. The known OH absorber towards PKS 1413+135 was re-detected, making our survey the first blind survey to detect OH absorption. No new OH absorbers were identified. We examine the relationship between $N_{\rm{OH}}$ and $N_{\rm{HI}}$, applying survival analysis to account for upper limits. The analysis does not provide statistically significant evidence for either an $N_{\rm{OH}}$-$N_{\rm{HI}}$ correlation or redshift evolution of $N_{\rm{OH}}$/$N_{\rm{HI}}$. Finally, spectral stacking sets 3$σ$ OH column density upper limits of 4.93, 1.64, and 1.72 $T_{\rm{ex}}$/$c_{\rm{f,OH}}\times$10$^{12}$cm$^{-2}$K$^{-1}$ for associated, intervening, and combined samples, corresponding to [\rm{OH}]/[\rm{HI}] ratios of $<$1.66$\times$10$^{-8}$, $<$1.42$\times$10$^{-8}$, and $<$0.90$\times$10$^{-8}$, assuming $T_{\rm{ex}}$=10K for OH and $T_{\rm{s}}$=100K for HI. These results place the strongest constraints to date on the OH content in radio-selected HI absorbers and establish a blind-survey benchmark for future studies of molecular gas in HI-selected systems. They also demonstrate that known HI 21-cm absorbers provide an effective parent sample for systematic OH absorption searches, paving the way for future larger surveys.

astro-ph.GA↗

arXiv2026

Byte Language Models: Scaling, Emergent Abstractions, and Information Allocation

Tokenizer-free language models remove the inductive bias of fixed tokenizers by modeling text directly as bytes, but the resulting longer sequences substantially increase computation and eliminate explicit text abstractions. We ask whether this additional computation can be useful, and whether standard Transformers can learn the abstractions that tokenization provides. We study these questions on Transformers without specialized tokenization-related architectures. With token-superposition training and hash embeddings, byte Transformers consistently outperform subword Transformers as model size scales. We further find that byte Transformers build local text abstractions as external tokenizers: a set of segmentation-like positions are used to collect local context representations, and restricting up to $25\%$ of intermediate layers to these local representations preserves downstream performance. Finally, these learned structures induce highly non-uniform generation difficulty, with uncertainty concentrated near local structure boundaries; exploiting them for speculative decoding yields $3.4\times$ more accepted tokens than in subword Transformers.

cs.CL↗

arXiv2026

Generalized Model Fractional Quantum Hall States on Lattices

Model wavefunctions are essential for studying fractional quantum Hall (FQH) phases. They reveal the intricate connections between model FQH states, conformal field theory, Jack polynomials, and pseudopotential Hamiltonians. However, most model wavefunctions studied so far are in the continuum. In this work, we construct model wavefunctions and the corresponding exact parent Hamiltonians for the entire $Z_k$ Read--Rezayi series on a lattice. Our model wavefunctions obey a generalized clustering rule implemented on the lattice, which we find is encoded in the Macdonald polynomials providing a unified algebraic description of our lattice-specific model states. This ensures that the model states are exact zero-energy ground states of local density interactions and exhibit an infinitely large gap in the particle entanglement spectrum. Numerical studies of the Laughlin and Moore--Read series find the expected zero-mode and one-flux quasihole counting and positive energy gaps at the system sizes studied, and the available finite-size scaling suggests nonzero thermodynamic gaps. Tuning the model interaction range can drive a phase transition out of the FQH phase. Our work not only advances the theoretical understanding of the underlying mathematical structure of lattice model FQH states but also is potentially useful for designing exotic many-body phases in engineered quantum platforms.

cond-mat.str-el↗

arXiv2026

The Five-Point Case of Mordell's Discriminant Inequality

Let $z_1,\ldots,z_5\in\mathbb C$ satisfy $\sum_{j=1}^5|z_j|^2=5$. We prove the sharp inequality \[ \prod_{1\le i<j\le5}|z_i-z_j|^2\le 5^5, \] with equality precisely for a regular pentagon on the unit circle, up to rotation and permutation. This settles the remaining five-point case of the discriminant problem considered by Mordell in 1960. The proof first identifies a maximizer with a normalized relative equilibrium of five identical planar point vortices. We then give an independent exact classification of the corresponding stationary equations. The main algebraic step proves that every collision-free physical solution of the normalized stationary equations is reflection symmetric; it is obtained from a resultant construction and exact Gröbner-basis elimination over $\mathbb Q$. The reflection-symmetric equations have exactly five physical shapes, and an exact discriminant comparison selects the regular pentagon. All symbolic eliminations, Sturm counts, and interval inequalities are reproduced by an accompanying verification script using rational arithmetic. As consequences, the same configuration gives the Gaussian weighted Fekete set and the global mode of the five-particle complex Ginibre density after the natural rescaling.

math.OC↗

arXiv2026

OmniRoute: Mapping Temporal Semantic Evidence to Audio-Visual Token Budgets for Efficient Omnimodal Large Language Models

Omnimodal large language models (Omni-LLMs) encode audio and visual streams into temporally interleaved token sequences for multimodal reasoning. However, processing long audio-visual token sequences incurs substantial prefill costs. Existing compression methods have made progress, but often overlook temporal changes in audio-visual semantic relevance. Motivated by temporal variation and local continuity, we propose OmniRoute, a training-free, two-stage compression framework. First, Temporal Evidence-Guided Budgeting (TEGB) derives chunk-wise modality preferences and initial leading-modality budgets from semantic relevance and local content variation. Second, Budget-Constrained Semantic Compression (BCSC) compresses the leading modality and then calibrates the follower's retention target using the actual retained fraction. For video, it combines spatiotemporal grouping with query-guided selection; for audio, it selects tokens based on encoder attention and query relevance, then merges residual tokens into context anchors under visual guidance. Experiments on four representative benchmarks demonstrate a better trade-off between inference efficiency and performance than competitive baselines. The code and interface will be released to facilitate further research.

cs.CV↗

arXiv2026

CogWAM: Aligning Semantic Cognition with World Action Modeling via Event-Driven Interfaces

Robot policies increasingly incorporate semantic reasoning and future-world prediction, yet combining these capabilities does not guarantee that local predictions and actions remain aligned with task progress. We introduce CogWAM, a cognition-guided world-action model that establishes an explicit semantic interface between task reasoning and world-action learning through a persistent Semantic State, which stores completed task events and the active subtask. CogWAM updates this state only when observations indicate semantic transitions, allowing task-level context to persist across multiple action chunks. To bridge semantic context with physical prediction and control, CogWAM employs progress-conditioned WORLD and ACTION queries that selectively extract task-relevant information for future-world prediction and action generation. During training, the Semantic State provides shared task-progress context for both branches, while inference removes the future-prediction branch and directly generates actions from observations and the maintained state. We further introduce semantic training strategies to improve transition learning and closed-loop conditioning. Without additional robot-action pretraining, CogWAM achieves 15.56 / 11.70 % Score/SR on RoboDojo and state-of-the-art performance on BiCoord, while real-world experiments demonstrate closed-loop dual-arm manipulation with 16.4 fewer Semantic State regenerations than step-wise updating.

cs.RO↗

arXiv2026

ThinkV2V: Unleashing the Reasoning Capability of MLLMs for Instruction-Guided Video Editing

Instruction-guided video editing has made significant progress, yet existing methods use multimodal large language models (MLLMs) primarily as semantic encoders, so they often fall short in working with implicit edits that require causal or semantic reasoning. To bridge this fundamental gap in video editing, we propose ThinkV2V, a reasoning-driven framework for complex instruction-guided video editing, explicitly activating MLLM thinking before visual generation. At its core, ThinkV2V builds on a practical MLLM-to-DiT architecture to turn explicit thinking over the source video and instruction into refined conditioning signals for video editing. Further, we equip it with a dedicated training and inference recipe, combining Progressive Curriculum Training, which gradually cultivates the model from basic editing to reasoning-intensive cases, with Inference-Time Thinking Scaling, which iteratively refines candidate prompts and selects the most reliable one, to better elicit reasoning in challenging editing scenarios. We also curate the ThinkV2V-150K dataset and introduce ThinkV2V-Bench to support training and evaluation of video editing with implicit intent and causal reasoning. Experimental results demonstrate the state-of-the-art performance of ThinkV2V on both complex and standard editing scenarios, in which our 5B-scale DiT model substantially outperforms larger 10B-scale baselines.

cs.CV↗

arXiv2026

A universal low-temperature fluctuation of unconventional superconductivity revealed: Smoking gun favors Galilean bosonic superfluidity

Low-temperature thermal fluctuations offer an essential window in characterizing the true nature of a quantum state of matter, a quintessential example being Fermi liquid theory. In the long-standing pursuit toward a fundamental understanding of unconventional superconductivity, the most essential low-temperature thermal fluctuation of superfluidity has unfortunately been greatly overlooked. Here, we examine the leading thermal fluctuation of the superfluid density across numerous families ranging from relatively conventional to highly unconventional superconductors (MgB$_2$, bismuthates, doped buckyballs, heavy fermions, UTe$_2$, doped SrTiO$_3$, Chevrel clusters, intermetallics, $κ$-organics, transition metal dichalcogenides, ruthenates, iron-pnictides, cuprates, and kagome metals). Amazingly, in all of them an unprecedented universal $T^3$ depletion materializes in the low-temperature superfluid density, even in the believed-to-be-conventional MgB$_2$. This reveals a new quantum superfluid state of matter and requires a necessary change of paradigm in describing these modern superconductors. We demonstrate that such an unorthodox yet generic behavior can be described by a Galilean invariant theory of hydrodynamic superfluidity hosting a long-lived `true condensate'.

cond-mat.supr-con↗

arXiv2026

CAT: Can Trust be Predicted with Context-Awareness in Dynamic Heterogeneous Networks?

Trust prediction provides valuable support for decision-making, risk mitigation, and system security enhancement. Recently, Graph Neural Networks (GNNs) have emerged as a promising approach for trust prediction, owing to their ability to learn expressive node representations that capture intricate trust relationships within a network. However, current GNN-based trust prediction models face several limitations: (i) Most of them fail to capture trust dynamicity, leading to questionable inferences. (ii) They rarely consider the heterogeneous nature of real-world networks, resulting in a loss of rich semantics. (iii) None of them support context-awareness, a basic property of trust, making prediction results coarse-grained. To this end, we propose CAT, the first Context-Aware GNN-based Trust prediction model that supports trust dynamicity and accurately represents real-world heterogeneity. CAT consists of a graph construction layer, an embedding layer, a heterogeneous attention layer, and a prediction layer. It handles dynamic graphs using continuous-time representations and captures temporal information through a time encoding function. To model graph heterogeneity and leverage semantic information, CAT employs a dual attention mechanism that identifies the importance of different node types and nodes within each type. For context-awareness, we introduce a new notion of meta-paths to extract contextual features. By constructing context embeddings and integrating a context-aware aggregator, CAT can predict both context-aware trust and overall trust. Extensive experiments on three real-world datasets demonstrate that CAT outperforms five groups of baselines in trust prediction, while exhibiting strong scalability to large-scale graphs and robustness against both trust-oriented and GNN-oriented attacks.

cs.LG↗

arXiv2026

Contextual Distributionally Robust Optimization with Causal and Continuous Structure

We propose a framework for contextual distributionally robust optimization (DRO) that considers the causal and continuous structure of the underlying distribution, and we develop an interpretable and tractable decision rule. We first introduce the causal Sinkhorn discrepancy (CSD), an entropy-regularized causal Wasserstein distance that encourages continuous transport plans while preserving causal consistency. We then formulate a contextual DRO model with a CSD-based ambiguity set, termed Causal Sinkhorn DRO (Causal-SDRO), and derive its strong dual reformulation, where the worst-case distribution is characterized as a mixture of Gibbs distributions. To obtain an (infinite-dimensional) optimal policy, we propose a soft regression forest (SRF) decision rule: it preserves the interpretability of classical decision trees while being fully parametric, differentiable, and Lipschitz-smooth, enabling intrinsic interpretation from both global and local perspectives. To solve the Causal-SDRO with parametric decision rules, we develop an efficient stochastic compositional gradient algorithm that converges to an $\varepsilon$-stationary point at a rate of $\mathcal{O}(\varepsilon^{-4})$, matching that of standard stochastic gradient descent. Finally, we validate our method through numerical experiments on synthetic and real-world datasets, demonstrating its superior performance and interpretability.

stat.ML↗

arXiv2026

Restricted-Multiplier Positivstellensätze for Polynomial Optimization with Affine Parameters

We develop positivity certificates for polynomials that are affine in auxiliary parameters, with sum-of-squares multipliers depending only on the principal variables. Under a restricted Archimedean order-unit condition, every strictly positive scalar polynomial admits such a certificate. We construct a convergent restricted moment-SOS hierarchy for polynomial optimization problems with affine parameters and establish a flatness criterion for global optimality detection and global minimizer recovery. The scalar theorem extends to polynomial-matrix constraints with any number of affine parameters. For matrix-valued objectives, pointwise positivity is sufficient with one parameter but can fail with two or more parameters; uniform free positivity provides a general sufficient replacement. Applications include robust linear programming, robust Lyapunov design, min-max polynomial optimization, analysis and control of input-affine dynamical systems. Numerical experiments show that the proposed approach substantially reduces semidefinite block sizes and solution times while incurring little or no degradation in bound quality for most test cases.

math.OC↗

arXiv2026

On $L^p$ bounds for the Littlewood-Paley $g_α$ function with fractional poisson kernel

Let $0<α\leq1$, and let $g_α$ be the Littlewood-Paley function associated with the fractional Poisson kernel, which reduces to the classical $g$-function when $α=1$. We establish dimension-free $L^p$ bounds for $g_α$ for every $1<p<\infty$ and identify its exact $L^2$ norm as $\sqrt{α/2}$. We further determine the precise asymptotic behavior of the weak-type $(1,1)$ constant as $n\to\infty$, yielding quantitative upper and lower bounds in terms of the dimension.

math.FA↗

arXiv2026

Cosserat Modeling of Trimmed Helicoid Soft Arms with a Separated-Section Constitutive Law

Cosserat rod models for soft robots usually construct sectional stiffness by summing material properties over a common cross-section. This assumption becomes inaccurate for trimmed helicoid arms, where load-bearing helix domains are separated and connected only through sparse fused crossings. This paper formulates a separated-section constitutive law that evaluates each helix domain in its local frame and pulls its constitutive response back to the backbone, yielding an effective backbone stiffness. Sparse-fusion mechanics captures the additional compliance caused by relative motion between neighboring domains and determines channel-wise reduction profiles $η_c(s/L)$ for bending, torsion, and extension. The resulting effective sectional stiffness is strongly anisotropic: bending and extension are reduced by about one order of magnitude, whereas torsion remains close to the effective backbone stiffness. The resulting sectional law is embedded in a geometrically exact dynamic Cosserat model with GVS discretization and routed-tendon actuation. Across 103 measured configurations, the three datasets give pooled normalized position errors of $7.7 \ \%$, $6.7 \ \%$, and $7.8 \ \%$, while each full-arm solve requires approximately $0.3 \ \mathrm{s}$ on one CPU core (Intel Xeon, Cascade Lake, $2.8 \mathrm{GHz}$), enabling rapid model-based planning, state and load estimation, and morphology--control co-design for architected soft robots.

cs.RO↗

arXiv2026

NanoZone: Scalable, Efficient, and Secure Memory Protection for Arm CCA

Arm Confidential Compute Architecture (CCA) provides hardware primitives for confidential computing, but its standard CVM-based deployment model still isolates software only at the VM granularity. This leaves two critical gaps: the guest OS remains in the Trusted Computing Base, and applications lack any intra-process isolation boundary, exposing secrets to vulnerabilities such as Heartbleed. While intra-address-space isolation offers a theoretical solution, realizing it under an adversarial OS faces a fundamental scalability-efficiency trade-off: existing hardware primitives are either strictly limited in domain capacity or incur prohibitive privileged-switching latency. To bridge this gap, we propose NanoZone, a novel isolation architecture built on Arm CCA primitives. Rather than extending the realm-world software stack, NanoZone protects normal-world processes and enforces fine-grained intra-process isolation from a minimal root-world monitor. NanoZone unifies the speed of user-space permission switching with the capacity of physical address space isolation to achieve effectively unlimited domain scalability. To mask the latency of privileged transitions, it employs a locality-aware scheduling policy that maximizes execution residency within the fast user-level tier. To defeat an adversarial OS, NanoZone anchors its root of trust in the root world, offloading critical isolation enforcement away from the untrusted kernel. Against intra-process adversaries, it further leverages hardware-assisted Code-Pointer Integrity (CPI) to prevent domain-switching abuse. We prototyped NanoZone on Arm's official emulator and on physical hardware. Evaluation on real-world server applications shows that, compared to process-level isolation systems, our fine-grained protection preserves about 95% of their throughput.

cs.CR↗

arXiv2026

RoboCafé in the Open: Interaction Continuity in Long-Term Public Human-Robot Interaction

As robots remain in public spaces over extended periods, they must maintain interaction continuity by preserving and correctly applying context as people, encounters, and circumstances change. To study interaction continuity in long-term public human-robot interactions, we developed RoboCafé, an autonomous conversational coffee robot designed to support repeated interactions through task-aware dialogue, real-time multimodal perception, and memory of prior encounters. We deployed RoboCafé for 12 days in a university building, where it received 148 orders. The deployment involved repeat customers, passersby, changing groups, and back-to-back orders that repeatedly crossed the boundaries assumed by the system's order-centered interaction model. We found that successful interaction continuity requires a robot to determine who is currently present, which prior context belongs to whom, where interactions begin and end, and whether its representation of an interaction matches what is occurring in the physical world. From these observations, we derive four system design requirements for maintaining interaction continuity in longitudinal public human-robot interactions: contextual interaction state, persistent person grounding, explicit interaction life-cycle management, and interaction observability.

cs.RO↗