arXiv Science⌕ Search

arXiv subjects

Jinsong Wu

Publications and source records attributed to Jinsong Wu.

At least 19 recordsLinked to original sources

Sharp Hausdorff--Young inequalities for some locally compact quantum groups

In this paper, we show that the usual Hausdorff--Young inequalities for locally compact quantum groups such as the quantum \(E_q(2)\), the real quantum \(az+b\), and the extended quantum \(SU_q(1,1)\), where \(0<q<1\), are sharp. Moreover, there are no group-like projections with finite Haar weight in these locally compact quantum groups. We obtain a sharp Hausdorff--Young inequality for Kahng's skew-matrix quantum groups; the optimal constant is strictly less than one for \(1<p<2\); at \(p=2\), Plancherel gives equality, and these quantum groups have no nonzero group-like projections with finite Haar weight.

math.OA↗

JDCNet Uses Confidence Gated Privileged Modality Distillation for Cost Preserving X Ray Inference

Training-only privileged-modality learning uses an expensive modality during training while keeping a single-modality deployment path. We study chest radiograph (X-ray) classification with same-patient computed tomography (CT) available only during training. JDCNet adds an auxiliary CT-teacher target, the teacher's argmax label or its softmax distribution through a Kullback--Leibler term (soft-KL), only on samples whose teacher confidence exceeds a threshold; the deployed model has the same ResNet-18 computation graph as the supervised baseline. On 510 same-patient pairs from the public BIMCV-COVID19 releases of the Valencian Region Medical ImageBank (113 COVID-19, 397 non-COVID), with patient-level five-fold cross-validation and three seeds, 15 of 16 adaptively explored JDCNet configurations improved mean balanced accuracy (BA) over the supervised baseline (average $+0.020$), but none remained significant after Holm adjustment. In a pre-registered experiment with 240 batch-matched supervised restarts on the same splits, batch size had no detectable effect on the baseline (BA $0.620$ versus $0.625$), and when both methods selected one of 16 runs per cell on the validation partition, JDCNet exceeded supervised training by $+0.037$ BA (95\% confidence interval $+0.016$ to $+0.058$; patient-level $+0.007$ to $+0.068$). Logit distillation and contrastive alignment did not help. Teacher diagnostics indicate that the gate acts mainly as CT-informed sample weighting. All models, including JDCNet, performed at chance on an external radiograph set. Confidence-gated CT supervision thus gives a small within-cohort advantage on one public cohort and a binary task; generalization requires independent paired replication.

cs.CV↗

Sharp Logarithmic Sobolev Inequalities for $q$-Araki-Woods Ornstein-Uhlenbeck Semigroups

In this paper, we establish the sharp $2$-logarithmic Sobolev inequality for $q$-Araki-Woods Ornstein-Uhlenbeck semigroups with $-1<q<1$ and obtain hypercontractivity along the Gross curve with the optimal coefficient, and determine the exact hypercontractive time for $1<p\le2\le r<\infty$. Reverse hypercontractivity holds in the two separate ranges $0<p<r<1$ and $-\infty<p<r<0$. An explicit counterexample rules out the proposed universal reverse curve across zero. We also obtain the complete modified logarithmic Sobolev inequality via the intertwining property.

math.OA↗

Beyond Causal Masks: Auditing and Localizing Hidden Future-Token Leakage in Adaptive Sequence Models

Hidden future-token leakage can create false architectural gains: an autoregressive model may appear substantially better under teacher-forced evaluation while its free-running generation deteriorates. We investigate this failure in an adaptive residual-routing decoder whose sequence-level routing summary exposes prefix positions to future tokens despite a correct causal attention mask. An anomalous 24-layer checkpoint reduces validation loss from the baseline's 3.5958 to 1.4259, yet it fails a prefix-invariance audit and has substantially higher reference-model perplexity during generation. Layer-wise diagnostics and implementation inspection trace the violation to a full-sequence summary broadcast through the dynamic routing-query path. Two independently trained 12-layer causal repairs eliminate detectable leakage and return validation loss and reference perplexity to the control scale, removing the large apparent advantage. As diagnostic tools, we use the established prefix-invariance contract, maximum prefix-output discrepancy (LeakScore), complementary behavioral metrics, and layer-wise profiles. Supporting experiments cover six synthetic implementation pairs spanning five module families, clean pretrained controls, controlled fault injection, and cache consistency across numerical precisions. These results illustrate how hidden future-token access can produce misleading claims of architectural progress and why lower teacher-forced loss should be interpreted together with whole-model causal checks and free-running evaluation.

cs.AI↗

Generalized green and red concepts for artificial intelligence, big data, and information and communication technologies: Multidimensional framework and countermeasures

The rapid expansions of artificial intelligence (AI), big data (BD), and information and communication technologies (ICT) are driving substantial growth in electricity, water, and material demands, with data centers projected to consume 6.7--12\% of U.S. electricity by 2028 (up from 4.4\% in 2023) and AI-related water demand estimated at 4--6 billion m$^3$ annually by 2027. Existing ``green AI'' and ``red AI'' discussions have largely emphasized computational efficiency and carbon emissions, providing limited guidance for lifecycle trade-offs, service-versus-use impacts, and broader sustainability externalities beyond energy. To bridge this gap, this paper proposes generalized green AI (GGAI) and generalized red AI (GRAI) and extends the taxonomy to red BD (RBD) and red ICT (RICT) as well as red electronic and electrical engineering (REEE) \& red digital technologies (RDT) under a unified Environmental-Economic-Social-Technical/Operational (E/Ec/S/T) framework. Based on representative footprint indicators in the large-model era (electricity, carbon, water, and e-waste), we analyze how risks propagate across AI-BD-ICT stacks and across service-use boundaries. We further organize actionable countermeasures into a four-tier taxonomy aligned with the Environmental-Economic-Social-Technical/Operational framework: metric-level reform for accountability, revision of information and communication technologies design principles and demand shaping, efficiency-oriented LLM development practices (data, model, training, and scaling), and energy-infrastructure transition. The proposed framework operationalizes the Environmental-Economic-Social-Technical/Operational-aligned assessment and intervention prioritization across the AI-BD-ICT stacks, enabling sustainability-by-design without sacrificing utility.

cs.CY↗

Entropy Contraction and Hypercontractivity for Gaussian Quantum Markov Semigroups

In this paper, we study finite-mode Gaussian quantum Markov semigroups with a faithful invariant Gaussian state. We present an algebraic characterization of the complete modified logarithmic Sobolev inequality relative to the fixed-point algebra, and we obtain the corresponding optimal constant under the assumption that the drift evolution $e^{t\mathbf{Z}}$ converges as $t\to\infty$. We establish hypercontractivity for such quantum Markov semigroups with Hurwitz drift, in the sense that every fixed pair $1<p<q<\infty$ is attained at sufficiently large times. We find that the usual reverse hypercontractive curves with a positive rate from time zero can fail in general, but every fixed pair $1/2 < p < q < 1$ is attained at sufficiently large times under the Hurwitz assumption. We also systematically investigate the $p$-logarithmic Sobolev inequality and show that the $p$-logarithmic Sobolev constant can be negative for $0 < p < 1/2$.

math-ph↗

Outcome-Sensitive Motion Search for Impact-Aware Dexterous Catching

Skilled humans can catch fast-moving objects softly by coordinating interception, velocity matching, and follow-through to mitigate impact. Learning such impact-aware catching with reinforcement learning (RL), however, is challenging, as the policy must achieve reliable interception and grasping while regulating the sensitive transition into contact. Moreover, even a capable privileged-state RL teacher may not provide ideal demonstrations for a deployable imitation-learning (IL) student: teacher failures limit task coverage, while small variations in pre-contact motion can produce substantially different impact and grasping outcomes. We characterize this phenomenon through interventional outcome sensitivity and introduce the outcome-sensitive window (OSW) to guide targeted demonstration construction. Building on this formulation, we propose Outcome-Sensitive Motion Search, which learns a task-conditioned manifold of successful OSW motions and performs local geodesic search to refine successful teacher rollouts and repair task conditions where the teacher fails. We then validate candidate motions through complete rollouts under a calibrated IL-student action-error model and retain only successful executions as demonstrations. Extensive simulation experiments demonstrate that our method effectively repairs task conditions where the teacher fails and enables the resulting IL policy to outperform the privileged RL teacher in both catching success and impact mitigation.

cs.RO↗

Quantum Reverse Hypercontractivity for KMS-Symmetric Quantum Markov Semigroups

In this paper, we construct primitive KMS-symmetric quantum Markov semigroups for which the $p$-logarithmic Sobolev constant vanishes at $p=1/2$ and a correlated graph-based example for which the $p$-logarithmic Sobolev constant tends to $-\infty$ as $p\to 0^+$. These examples obstruct a positive uniform reverse-hypercontractivity rate on $(0,1)$. By contrast, we show that every primitive KMS-symmetric quantum Markov semigroup satisfies quantum reverse hypercontractivity for $1/2< p\leq q < 1$ with explicit sufficient times. For each fixed $δ>0$, a sufficiently strong dephasing perturbation satisfies a uniform positive logarithmic Sobolev inequality on $[δ, 1]$ and hence quantum reverse hypercontractivity for $δ< p\leq q<1$ with fixed $0<δ<1/2$. Furthermore, we establish reverse hypercontractivity for graph-based KMS-symmetric quantum Markov semigroups for $δ< p\leq q< 1$ with fixed $0<δ<1$ for connected graphs when $n \geq 3$.

math-ph↗

Quantum Cheeger Inequalities for KMS-Symmetric Quantum Markov Semigroups

In this paper, we establish a quantum Cheeger inequality for primitive KMS-symmetric quantum Markov semigroups in terms of projection conductance. We discuss both projection conductance and classical conductance for graph-based KMS-symmetric quantum Markov semigroups. We show that hypercontractivity and the logarithmic Sobolev inequality hold for primitive KMS-symmetric quantum Markov semigroups. We also present applications of the quantum Cheeger inequality to logarithmic Sobolev inequalities, hypercontractivity, and complete modified logarithmic Sobolev inequalities.

math.OA↗

Equivalence of states and bimodule quantum channels

We study the action of quantum channels on states on a von Neumann algebra $\mathcal{M}$ with conserved quantities encoded by a subalgebra $\mathcal{N}$. We define a phase as an equivalence class of normal states on $\mathcal{M}$ under the action of quantum channels preserving $\mathcal{N}$. First, we establish a relative quasi-entropic characterization of phase equivalence using the Petz recovery map. We further introduce the operator algebra (OA) symmetry of a state and define an equivalence relation between OA symmetries via bishifts of biprojections. When $\mathcal{N}\subseteq\mathcal{M}$ is an irreducible finite-index subfactor of type II$_1$, we prove that phase equivalence implies OA symmetry equivalence. Consequently, OA symmetry breaking provides a sufficient mechanism for detecting phase transitions. Furthermore, combining finite-index subfactor theory with quantum Fourier analysis, we prove that the cardinality of each phase is finite and obtain an explicit upper bound depending only on the Jones index.

math.OA↗

Some entropic inequalities for primitive KMS symmetric quantum Markov semigroups

In this note, we prove that every primitive KMS-symmetric quantum Markov semigroup on a finite-dimensional matrix algebra satisfies a modified logarithmic Sobolev inequality (MLSI). We also construct a primitive quantum Markov semigroup without KMS symmetry that fails MLSI, and a primitive KMS-symmetric quantum Markov semigroup that fails complete MLSI (CMLSI). The latter construction also provides a non-primitive KMS-symmetric quantum Markov semigroup without MLSI. For the graph-based KMS-symmetric quantum Markov semigroups studied here, we prove MLSI and CMLSI when the underlying graph is connected and has at least three vertices. Finally, we establish CMLSI for a class of primitive bimodule KMS-symmetric quantum Markov semigroups arising from fermionic systems.

math.OA↗

BodhiPromptShield: Pre-Inference Prompt Mediation for Surface-Form Privacy Propagation in LLM Agent Pipelines

In LLM agent pipelines, prompt privacy risk propagates beyond a single model call: raw user content enters retrieval queries, memory writes, tool arguments, OCR-derived text, and logs, and every downstream copy inherits what the first write contained. Existing de-identification pipelines protect document boundaries but not this cross-stage surface. We present BodhiPromptShield, a policy-aware mediation layer that detects sensitive spans before they propagate, replaces each with a typed placeholder, a semantic abstraction, or a secure symbolic token under a configured policy, and defers restoration to authorized execution boundaries. We evaluate it under one protocol against Presidio, Casper-style sanitization, an LLM sanitizer, and transformer and learned detectors, on 300 AI4Privacy documents, 493 PrivacyLens trajectories, 200 PrivacyLens tasks scored by that benchmark's own judge, and AgentDojo tasks under injection. Three findings result. Identifier propagation is controllable: residual exposure falls to 7.4% on AI4Privacy and 1.8% on PrivacyLens, and exact identifiers in an agent's final action fall from 13.7% to 2.1-3.1%. Restoration timing governs what every stage upstream of the authorized boundary sees: deferring it leaves 1.6% of protected values readable in the released context against 51.0%, and 2.7% against 4.8% in what the agent emits, for 0.11 helpfulness points. Measuring factual disclosure is harder: a word-overlap metric and an LLM judge both report that mediation leaves facts intact, and both disagree with blind human annotation (kappa = 0.25 and 0.09). The human labels reverse that: inferability falls from 100% to 24-53% under mediation, so semantic-leakage measures need human validation before they are trusted. These are systems results on English text with open-weight models, not formal guarantees.

cs.CR↗

Clean-Reference Streaming Detection of Lens Occlusion and Photometric Transitions for Camera Tamper Monitoring

A surveillance camera is an image sensor whose silent physical degradation invalidates every downstream consumer of its data. In-situ integrity alarms for such vision sensors require low false-alarm rates, bounded computation, and diagnosable behavior under nuisance illumination changes. This paper studies a deliberately narrow streaming integrity monitor for two low-cost sensor-fault signatures: texture-collapsing lens occlusion and abrupt photometric scene transition. The detector compares sampled luminance and local-gradient statistics with a clean-only sliding reference, applies coarse-grid structured-light rejection and mode/rapid-brightness suppression, and emits at most one notification per tamper episode. We formalize the decision predicates and derive a consistency rule for when rapid-brightness suppression makes the scene-transition path unreachable. On 320 in-scope controlled sequences, the default state machine attains 0.800 F1 and 0.822 balanced accuracy (significantly better paired correctness than the strongest baseline, though the F1 margin is not statistically resolved); on a magnitude-swept public audit it attains the highest partial AUC under a 5\% false-alarm budget, and a separate extended-stress FPR-constrained sweep reaches 0.925 recall at 0.025 false-positive rate. Public Xiph, Bremen IoT, and UHCTD diagnostics show the fixed predicates preserve low false alarms while recall concentrates inside the declared envelope (UHCTD in-scope covered recall 0.667 versus 0.016 out of scope), and a 9.09-camera-hour verified-negative public audit records zero false alarms. The method is best interpreted as an auditable sensor-health subsystem rather than a universal camera-tamper classifier.

cs.CV↗

Intertwining Properties for Bimodule Quantum Markov Semigroups

In this paper, we study the Bakry-Émery estimates for GNS- and KMS-symmetric semigroups in terms of the Fourier multiplier of the gradient form and the iterated gradient form in the framework of quantum Fourier analysis. We also systematically investigate the intertwining properties for bimodule GNS- and KMS-symmetric quantum Markov semigroups and compare with the Bakry-Émery estimates. A number of examples of GNS- and KMS-symmetric semigroups satisfying these intertwining properties are presented.

math.OA↗

Learning a Kinodynamic Trajectory Manifold for Impact-Aware Compliant Catching of Fast-Moving Objects

Fast catching of free-flying objects is difficult because of short reaction time, impact uncertainty, and kinodynamic constraints. We use reinforcement learning in simulation to collect successful catching trajectories and learn a low-dimensional kinodynamic trajectory manifold. At run time, the estimated object initial state is mapped directly to a reference catching trajectory without online nonlinear optimization. The trajectory is tracked with compliant control near contact for improved impact absorption and capture stability.

cs.RO↗

World Models for Robotic Manipulation: A Survey

Robotic manipulation depends on the ability to anticipate how actions reshape objects, contacts, and scene geometry before execution. Learned world models provide this capability by predicting task-relevant future evolution under robot intervention, yet the term now spans latent dynamics models, action-conditioned video generators, three- and four-dimensional scene predictors, physics-informed simulators, and predictive modules inside vision-language-action systems. This breadth has fragmented the literature and obscured the design choices that matter for manipulation. We survey world models for robotic manipulation through three questions: what future representation is predicted, how prediction is connected to action, and when prediction is used in the robot-learning pipeline. We operationally define a world model as an action-conditioned predictive system and distinguish it from perception modules, inverse models, policies, rewards, and value functions. We then organize existing work into five representation families, develop a functional taxonomy that separates integrated prediction-action models from explicit predictive planners, and characterize infrastructure roles including synthetic experience generation, candidate filtering, search-based evaluation, learned environments, and outcome verification. We further map these roles across pretraining, post-training, and inference adaptation, review 34 manipulation datasets, and synthesize evaluation protocols for predictive fidelity, task performance, and simulator reliability. This survey shows that world models are evolving from task-specific dynamics predictors into predictive infrastructure for robot learning, while exposing open challenges in contact modeling, hallucination control, action alignment, and benchmarking under closed-loop use.

cs.RO↗

COREY: Entropy-Guided Runtime Chunk Scheduling for Selective Scan Kernels

Mamba selective state space models (SSMs) provide linear-time sequence modeling but remain sensitive to selective-scan chunk scheduling. We present COREY, a \emph{concept-and-feasibility} runtime scheduler that maps fixed-bin activation entropy to chunk size. We evaluate COREY in three tiers: a prototype cost model, real-checkpoint kernel timing, and routed end-to-end ablations on modern GPUs. At the kernel level, a calibrated rule, \(H_{\mathrm{ref}}=\log K\), recovers the locally optimal chunk and matches a one-time static oracle, yielding \(4.41\times\) lower latency than an unoptimized baseline on a consumer GPU and \(3.90\times\)--\(4.04\times\) lower latency on a data-center accelerator. Routing this choice into a patched live scan kernel closes the engineering loop without improving end-to-end speed: in unified routed ablations, the best static chunk outperforms all entropy-guided and proxy schedulers. Sampled-histogram COREY adds \(+4.6\%\) overhead; a guarded fallback to Static-512 reduces this to \(+1.3\%\); and a lightweight sequence-length-keyed table further reduces it to \(+0.7\%\). However, both remain slower than the static oracle because they retain scheduling cost. On an 80-prompt LongBench subset, passive and routed inference are exactly output-equivalent, with \(100\%\) greedy-token agreement and zero metric deltas. A mixed-regime study shows that a single sequence-length rule matches the per-regime chunk oracle for balanced serving. COREY is therefore validated as a quality-preserving scheduling prototype, but current entropy statistics are not a robust throughput win over static chunk tuning on measured SSM checkpoint workloads. SourceCode: https://github.com/mabo1215/COREY_Transformer/.

cs.CV↗