Searcharxiv⌕ Search

arXiv subjects

Jinsong Wu

Publications and source records attributed to Jinsong Wu.

At least 37 records · Page 2Linked to original sources

TSDCRF: Balancing Privacy and Multi-Object Tracking via Time-Series CRF and Normalized Control Penalty

Multi-object tracking in video often requires appearance or location cues that can reveal sensitive identity information, while adding privacy-preserving noise typically disrupts cross-frame association and causes ID switches or target loss. We propose TSDCRF, a plug-in refinement framework that balances privacy and tracking by combining three components: (i) $(\varepsilon,δ)$-differential privacy via calibrated Gaussian noise on sensitive regions under a configurable privacy budget; (ii) a Normalized Control Penalty (NCP) that down-weights unstable or conflicting class predictions before noise injection to stabilize association; and (iii) a time-series dynamic conditional random field (DCRF) that enforces temporal consistency and corrects trajectory deviation after noise, mitigating ID switches and resilience to trajectory hijacking. The pipeline is agnostic to the choice of detector and tracker (e.g., YOLOv4 and DeepSORT). We evaluate on MOT16, MOT17, Cityscapes, and KITTI. Results show that TSDCRF achieves a better privacy--utility trade-off than white noise and prior methods (NTPD, PPDTSA): lower KL-divergence shift, lower tracking RMSE, and improved robustness under trajectory hijacking while preserving privacy. Source code in https://github.com/mabo1215/TSDCRF.git

cs.CV↗

REAEDP: Entropy-Calibrated Differentially Private Data Release with Formal Guarantees and Attack-Based Evaluation

Sensitive data release is vulnerable to output-side privacy threats such as membership inference, attribute inference, and record linkage. This creates a practical need for release mechanisms that provide formal privacy guarantees while preserving utility in measurable ways. We propose REAEDP, a differential privacy framework that combines entropy-calibrated histogram release, a synthetic-data release mechanism, and attack-based evaluation. On the theory side, we derive an explicit sensitivity bound for Shannon entropy, together with an extension to Rényi entropy, for adjacent histogram datasets, enabling calibrated differentially private release of histogram statistics. We further study a synthetic-data mechanism $\mathcal{F}$ with a privacy-test structure and show that it satisfies a formal differential privacy guarantee under the stated parameter conditions. On multiple public tabular datasets, the empirical entropy change remains below the theoretical bound in the tested regime, standard Laplace and Gaussian baselines exhibit comparable trends, and both membership-inference and linkage-style attack performance move toward random-guess behavior as the privacy parameter decreases. These results support REAEDP as a practically usable privacy-preserving release pipeline in the tested settings. Source code: https://github.com/mabo1215/REAEDP.git

cs.CR↗

Rethinking Adam for Time Series Forecasting: A Simple Heuristic to Improve Optimization under Distribution Shifts

Time-series forecasting often faces challenges from non-stationarity, particularly distributional drift, where the data distribution evolves over time. This dynamic behavior can undermine the effectiveness of adaptive optimizers, such as Adam, which are typically designed for stationary objectives. In this paper, we revisit Adam in the context of non-stationary forecasting and identify that its second-order bias correction limits responsiveness to shifting loss landscapes. To address this, we propose TS_Adam, a lightweight variant that removes the second-order correction from the learning rate computation. This simple modification improves adaptability to distributional drift while preserving the optimizer core structure and requiring no additional hyperparameters. TS_Adam integrates easily into existing models and consistently improves performance across long- and short-term forecasting tasks. On the ETT datasets with the MICN model, it achieves an average reduction of 12.8% in MSE and 5.7% in MAE compared to Adam. These results underscore the practicality and versatility of TS_Adam as an effective optimization strategy for real-world forecasting scenarios involving non-stationary data. Code is available at: https://github.com/DD-459-1/TS_Adam.

cs.LG↗

Information and communications technologies for carbon sinks from economics and engineering perspectives

Climate change has intensified the urgency of effective carbon sink solutions, yet the integration of Information and Communications Technologies (ICT) in these systems remains fragmented despite its transformative potential. This paper provides a comprehensive analysis of ICT applications in carbon sink projects from both economic and engineering perspectives, a dual lens approach rarely explored in the existing literature. In carbon trading, blockchain has improved transaction speed by 40%, while AI-based optimizations have reduced operational costs by 15% in projects such as Petra Nova.Through systematic examination, we identify three key findings: (1) ICT transforms carbon economics through digital financing platforms and blockchain-based trading systems, with AI enhancing price prediction, though data interoperability remains challenging; (2) digital technologies advance both natural and artificial sequestration from forest monitoring to Carbon Capture, Use and Storage (CCUS) optimization, yet lack integrated real-time control solutions; (3) realizing ICT's full potential requires addressing its environmental costs, strengthening policy support, and fostering interdisciplinary collaboration. By bridging the economic engineering divide and mapping current applications alongside future opportunities, this paper demonstrates that deeper integration of digital technologies is essential to scale carbon sink solutions to meet climate targets.

cs.CY↗

Failure-Aware Bimanual Teleoperation via Conservative Value Guided Assistance

Teleoperation of high-precision manipulation is con-strained by tight success tolerances and complex contact dy-namics, which make impending failures difficult for human operators to anticipate under partial observability. This paper proposes a value-guided, failure-aware framework for bimanual teleoperation that provides compliant haptic assistance while pre-serving continuous human authority. The framework is trained entirely from heterogeneous offline teleoperation data containing both successful and failed executions. Task feasibility is mod-eled as a conservative success score learned via Conservative Value Learning, yielding a risk-sensitive estimate that remains reliable under distribution shift. During online operation, the learned success score regulates the level of assistance, while a learned actor provides a corrective motion direction. Both are integrated through a joint-space impedance interface on the master side, yielding continuous guidance that steers the operator away from failure-prone actions without overriding intent. Experimental results on contact-rich manipulation tasks demonstrate improved task success rates and reduced operator workload compared to conventional teleoperation and shared-autonomy baselines, indicating that conservative value learning provides an effective mechanism for embedding failure awareness into bilateral teleoperation. Experimental videos are available at https://www.youtube.com/watch?v=XDTsvzEkDRE

cs.RO↗

Phase Group Categories of Bimodule Quantum Channels

In this paper, we study the quantum channel on a von Neuamnn algebra $\mathcal{M}$ preserving a von Neumann subalgebra $\mathcal{N}$, namely an $\mathcal{N}$-$\mathcal{N}$-bimodule unital completely positive map. By introducing the relative irreducibility of a bimodule quantum channel, we show that its eigenvalues with modulus 1 form a finite cyclic group, called its phase group. Moreover, the corresponding eigenspaces are invertible $\mathcal{N}$-$\mathcal{N}$-bimodules, which encode a categorification of the phase group. When $\mathcal{N}\subset \mathcal{M}$ is a finite-index irreducible subfactor of type II$_1$, we prove that any bimodule quantum channel is relatively irreducible for the intermediate subfactor of its fixed points. In addition, we can reformulate and prove these results intrinsically in subfactor planar algebras without referring to the subfactor using the methods of quantum Fourier analysis.

math.OA↗

Bimodule Quantum Markov Semigroups

We present a systematic investigation of bimodule quantum Markov semigroups within the framework of quantum Fourier analysis. We introduce the concepts of bimodule detailed balance conditions and bimodule KMS symmetry, which not only generalize the classical notions of detailed balance but also expose interesting structures of quantum channels. We demonstrate that the evolution of densities governed by the bimodule quantum Markov semigroup with bimodule detailed balance is the gradient flow for the relative entropy with respect to the hidden density. Consequently, we obtain a modified logarithmic Sobolev inequality and a Talagrand inequality with respect to a hidden density from higher dimensional structure. Furthermore, we establish a Poincaré inequality for irreducible inclusions and relative ergodic bimodule quantum semigroups.

quant-ph↗

Splitting Property of quasitriangular Hopf algebras

We investigate the splitting property of quasitriangular Hopf algebras through the lens of twisted tensor products. Specifically, we demonstrate that an infinite-dimensional quasitriangular Hopf algebra possesses the splitting property if it admits a factorizable quotient Hopf algebra. We also establish that the splitting property holds if there exists a full rank quotient Hopf algebra where the left and right coinvariants coincide. As a consequence, we obtain a new obstruction for quasitriangular structure in finite-dimensional Hopf algebras.

math.QA↗

Alterfold Theory and Topological Modular Invariance

We propose a topological paradigm in alterfold topological quantum field theory to explore various concepts, including modular invariants, $α$-induction and connections in Morita contexts within a modular fusion category of non-zero global dimension over an arbitrary field. Using our topological perspective, we provide streamlined quick proofs and broad generalizations of a wide range of results. These include all theoretical findings by Böckenhauer, Evans, and Kawahigashi on $α$-induction. Additionally, we introduce the concept of double $α$-induction for pairs of Morita contexts and define its higher-genus $Z$-transformation, which remains invariant under the action of the mapping class group. Finally, we establish a novel integral identity for modular invariance across multiple Morita contexts, unifying several known identities as special cases.

math.QA↗

Learning Rhythmic Trajectories with Geometric Constraints for Laser-Based Skincare Procedures

The increasing deployment of robots has significantly enhanced the automation levels across a wide and diverse range of industries. This paper investigates the automation challenges of laser-based dermatology procedures in the beauty industry; This group of related manipulation tasks involves delivering energy from a cosmetic laser onto the skin with repetitive patterns. To automate this procedure, we propose to use a robotic manipulator and endow it with the dexterity of a skilled dermatology practitioner through a learning-from-demonstration framework. To ensure that the cosmetic laser can properly deliver the energy onto the skin surface of an individual, we develop a novel structured prediction-based imitation learning algorithm with the merit of handling geometric constraints. Notably, our proposed algorithm effectively tackles the imitation challenges associated with quasi-periodic motions, a common feature of many laser-based cosmetic tasks. The conducted real-world experiments illustrate the performance of our robotic beautician in mimicking realistic dermatological procedures; Our new method is shown to not only replicate the rhythmic movements from the provided demonstrations but also to adapt the acquired skills to previously unseen scenarios and subjects.

cs.RO↗

Alterfold Topological Quantum Field Theory

We introduce the 3-alterfold topological quantum field theory (TQFT) by extending the quantum invariant of 3-alterfolds. The bases of the TQFT are explicitly characterized and the Levin-Wen model is naturally interpreted in 3-alterfold TQFT bases. By naturally considering the RT TQFT and TV TQFT as sub-TQFTs within the 3-alterfold TQFT, we establish their equivalence. The 3-alterfold TQFT is unitary when the input fusion category is unitary. Additionally, we extend the 3-alterfold TQFT to the Morita context and demonstrate that Morita equivalent fusion categories yield equivalent TV TQFTs. We also provide a simple pictorial proof of complete positivity criteria for unitary categorization when the 3-alterfold TQFT is unitary. Expanding our scope to high-genus surfaces by replacing the torus, we introduce the high genus topological indicators and proving the equivariance under the mapping class group actions.

math-ph↗

Region-controlled Style Transfer

Image style transfer is a challenging task in computational vision. Existing algorithms transfer the color and texture of style images by controlling the neural network's feature layers. However, they fail to control the strength of textures in different regions of the content image. To address this issue, we propose a training method that uses a loss function to constrain the style intensity in different regions. This method guides the transfer strength of style features in different regions based on the gradient relationship between style and content images. Additionally, we introduce a novel feature fusion method that linearly transforms content features to resemble style features while preserving their semantic relationships. Extensive experiments have demonstrated the effectiveness of our proposed approach.

cs.CV↗

3-Alterfolds and Quantum Invariants

In this paper, we introduce the concept of 3-alterfolds with embedded separating surfaces. When the separating surface is decorated by a spherical fusion category, we obtain quantum invariants of 3-alterfold, which is consistent with many topological moves. These moves provide evaluation algorithms for various presentations of 3-alterfold, e.g. Heegaard splittings, triangulations, link surgeries. In particular, we obtain quantum invariants of 3-manifolds containing surfaces, generalizing those of 3-manifolds containing framed links. Moreover, in this framework, we topologize fundamental algebraic concepts. For instance, we implement the Drinfeld center by tube diagrams as a blow up of framed links. The topologized center leads to a quick proof of the equality between the Reshetikhin-Turaev invariants and the Turaev-Viro invariants for spherical fusion categories. In addition, we topologize half-braiding, $S$-matrix and the generalized Frobenius-Schur indicators, etc. In particular, the latter leads to a quick topological proof of the equivariance of the generalized Frobenius-Schur indicators.

math.QA↗

The Quantum Perron-Frobenius Space

We introduce $\mathfrak{F}$-positive elements in planar algebras. We establish the Perron-Frobenius theorem for $\mathfrak{F}$-positive elements. We study the existence and uniqueness of the Perron-Frobenius eigenspace. When it is not one-dimensional, we characterize its multiplicative structure. Moreover, we consider the Perron-Frobenius eigenspace as the space of logical qubits for mixed states in quantum information. We describe the relation between these mathematical results and quantum error correction, especially to the Knill-Laflamme theorem.

math.OA↗

Complete Positivity of Comultiplication and Primary Criteria for Unitary Categorification

In this paper, we investigate quantum Fourier analysis on subfactors and unitary fusion categories. We prove the complete positivity of the comultiplication for subfactors and derive a primary $n$-criterion of unitary categorifcation of multifusion rings. It is stronger than the Schur product criterion when $n\geq3$. The primary criterion could be transformed into various criteria which are easier to check in practice even for noncommutative, high-rank, high-multiplicity, multifusion rings. More importantly, the primary criterion could be localized on a sparse set, so that it works for multifusion rings with sparse known data. We give numerous examples to illustrate the efficiency and the power of these criteria.

math.OA↗

Quantum convolution inequalities on Frobenius von Neumann algebras

In this paper, we introduce Frobenius von Neumann algebras and study quantum convolution inequalities. In this framework, we unify quantum Young's inequality on quantum symmetries such as subfactors, and fusion bi-algebras studied in quantum Fourier analysis. Moreover, we prove quantum entropic convolution inequalities and characterize the extremizers in the subfactor case. We also prove quantum smooth entropic convolution inequalities. We obtain the positivity of comultiplications of subfactor planar algebras, which is stronger than the quantum Schur product theorem. All these inequalities provide analytic obstructions of unitary categorification of fusion rings stronger than Schur product criterion.

math.OA↗

Quantum smooth uncertainty principles for von Neumann bi-algebras

In this article, we prove various smooth uncertainty principles on von Neumann bi-algebras, which unify numbers of uncertainty principles on quantum symmetries, such as subfactors, and fusion bi-algebras etc, studied in quantum Fourier analysis. We also obtain Widgerson-Wigderson type uncertainty principles for von Neumann bi-algebras. Moreover, we give a complete answer to a conjecture proposed by A. Wigderson and Y. Wigderson.

math.OA↗

Fusion Bialgebras and Fourier Analysis

We introduce fusion bialgebras and their duals and systematically study their Fourier analysis. As an application, we discover new efficient analytic obstructions on the unitary categorification of fusion rings. We prove the Hausdorff-Young inequality, uncertainty principles for fusion bialgebras and their duals. We show that the Schur product property, Young's inequality and the sum-set estimate hold for fusion bialgebras, but not always on their duals. If the fusion ring is the Grothendieck ring of a unitary fusion category, then these inequalities hold on the duals. Therefore, these inequalities are analytic obstructions of categorification. We classify simple integral fusion rings of Frobenius type up to rank 8 and of Frobenius-Perron dimension less than 4080. We find 34 ones, 4 of which are group-like and 28 of which can be eliminated by applying the Schur product property on the dual. In general, these inequalities are obstructions to subfactorize fusion bialgebras.

math.QA↗