Source author record

Chao Ding

Chao Ding appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

18works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2026arXiv

Characterizations of Tilt-Stable Local Minimizers of a Class of Matrix Optimization Problems

Tilt stability plays a pivotal role in understanding how local solutions of an optimization problem respond to small, targeted perturbations of the objective. Although quadratic bundles are a powerful tool for capturing second-order variational behavior, their characterization remains incomplete beyond well-known polyhedral and certain specialized nonpolyhedral settings. To help bridge this gap, we propose a new point-based criterion for tilt stability in prox-regular, subdifferentially continuous functions by exploiting the notion of minimal quadratic bundles. Furthermore, we derive an explicit formula for the minimal quadratic bundle associated with a broad class of general spectral functions, thus providing a practical and unifying framework that significantly extends existing results and offers broader applicability in matrix optimization problems.

preprint2026arXiv

Noise-Resistant Feature-Aware Attack Detection Using Quantum Machine Learning

Continuous-variable quantum key distribution (CV-QKD) is a quantum communication technology that offers an unconditional security guarantee. However, the practical deployment of CV-QKD systems remains vulnerable to various quantum attacks. In this paper, we propose a quantum machine learning (QML)-based attack detection framework (QML-ADF) that safeguards the security of high-rate CV-QKD systems. In particular, two alternative QML models -- quantum support vector machines (QSVM) and quantum neural networks (QNN) -- are developed to perform noise-resistant and feature-aware attack detection before conventional data postprocessing. Leveraging feature-rich quantum data from Gaussian modulation and homodyne detection, the QML-ADF effectively detects quantum attacks, including both known and unknown types defined by these distinctive features. The results indicate that all twelve distinct QML variants for both QSVM and QNN exhibit remarkable performance in detecting both known and previously undiscovered quantum attacks, with the best-performing QSVM variant outperforming the top QNN counterpart. Furthermore, we systematically evaluate the performance of the QML-ADF under various physically interpretable noise backends, demonstrating its strong robustness and superior detection performance. We anticipate that the QML-ADF will not only enable robust detection of quantum attacks under realistic deployment conditions but also strengthen the practical security of quantum communication systems.

preprint2024arXiv

A quadratically convergent semismooth Newton method for nonlinear semidefinite programming without generalized Jacobian regularity

We introduce a quadratically convergent semismooth Newton method for nonlinear semidefinite programming that eliminates the need for the generalized Jacobian regularity, a common yet stringent requirement in existing approaches. Our strategy involves identifying a single nonsingular element within the Bouligand generalized Jacobian, thus avoiding the standard requirement for nonsingularity across the entire generalized Jacobian set, which is often too restrictive for practical applications. The theoretical framework is supported by introducing the weak second order condition (W-SOC) and the weak strict Robinson constraint qualification (W-SRCQ). These conditions not only guarantee the existence of a nonsingular element in the generalized Jacobian but also forge a primal-dual connection in linearly constrained convex quadratic programming. The theoretical advancements further lay the foundation for the algorithmic design of a novel semismooth Newton method, which integrates a correction step to address degenerate issues. Particularly, this correction step ensures the local convergence as well as a superlinear/quadratic convergence rate of the proposed method. Preliminary numerical experiments corroborate our theoretical findings and underscore the practical effectiveness of our method.

preprint2022arXiv

A Semismooth Newton based Augmented Lagrangian Method for Nonsmooth Optimization on Matrix Manifolds

This paper is devoted to studying an augmented Lagrangian method for solving a class of manifold optimization problems, which have nonsmooth objective functions and nonlinear constraints. Under the constant positive linear dependence condition on manifolds, we show that the proposed method converges to a stationary point of the nonsmooth manifold optimization problem. Moreover, we propose a globalized semismooth Newton method to solve the augmented Lagrangian subproblem on manifolds efficiently. The local superlinear convergence of the manifold semismooth Newton method is also established under some suitable conditions. We also prove that the semismoothness on submanifolds can be inherited from that in the ambient manifold. Finally, numerical experiments on compressed modes and (constrained) sparse principal component analysis illustrate the advantages of the proposed method.

preprint2022arXiv

Local convergence analysis of augmented Lagrangian method for nonlinear semidefinite programming

The augmented Lagrangian method (ALM) has gained tremendous popularity for its elegant theory and impressive numerical performance since it was proposed by Hestenes and Powell in 1969. It has been widely used in numerous efficient solvers to improve numerical performance to solve many problems. In this paper, without requiring the uniqueness of multipliers, the local (asymptotic Q-superlinear) Q-linear convergence rate of the primal-dual sequences generated by ALM for the nonlinear semidefinite programming (NLSDP) is established by assuming the second-order sufficient condition (SOSC) and the semi-isolated calmness of the Karush-Kuhn-Tucker (KKT) solution under some mild conditions.

preprint2022arXiv

Robins-Monro Augmented Lagrangian Method for Stochastic Convex Optimization

In this paper, we propose a Robbins-Monro augmented Lagrangian method (RMALM) to solve a class of constrained stochastic convex optimization, which can be regarded as a hybrid of the Robbins-Monro type stochastic approximation method and the augmented Lagrangian method of convex optimizations. Under mild conditions, we show that the proposed algorithm exhibits a linear convergence rate. Moreover, instead of verifying a computationally intractable stopping criteria, we show that the RMALM with the increasing subproblem iteration number has a global complexity $\mathcal{O}(1/\varepsilon^{1+q})$ for the $\varepsilon$-solution (i.e., $\mathbb{E}\left(\|x^k-x^*\|^2\right) < \varepsilon$), where $q$ is any positive number. Numerical results on synthetic and real data demonstrate that the proposed algorithm outperforms the existing algorithms.

preprint2020arXiv

3DPVNet: Patch-level 3D Hough Voting Network for 6D Pose Estimation

In this paper, we focus on estimating the 6D pose of objects in point clouds. Although the topic has been widely studied, pose estimation in point clouds remains a challenging problem due to the noise and occlusion. To address the problem, a novel 3DPVNet is presented in this work, which utilizes 3D local patches to vote for the object 6D poses. 3DPVNet is comprised of three modules. In particular, a Patch Unification (\textbf{PU}) module is first introduced to normalize the input patch, and also create a standard local coordinate frame on it to generate a reliable vote. We then devise a Weight-guided Neighboring Feature Fusion (\textbf{WNFF}) module in the network, which fuses the neighboring features to yield a semi-global feature for the center patch. WNFF module mines the neighboring information of a local patch, such that the representation capability to local geometric characteristics is significantly enhanced, making the method robust to a certain level of noise. Moreover, we present a Patch-level Voting (\textbf{PV}) module to regress transformations and generates pose votes. After the aggregation of all votes from patches and a refinement step, the final pose of the object can be obtained. Compared to recent voting-based methods, 3DPVNet is patch-level, and directly carried out on point clouds. Therefore, 3DPVNet achieves less computation than point/pixel-level voting scheme, and has robustness to partial data. Experiments on several datasets demonstrate that 3DPVNet achieves the state-of-the-art performance, and is also robust against noise and occlusions.

preprint2020arXiv

Boundary value problems in Euclidean space for Bosonic Laplacians

A bosonic Laplacian is a conformally invariant second order differential operator acting on smooth functions defined on domains in Euclidean space and taking values in higher order irreducible representations of the special orthogonal group. In this paper, we study boundary value problems involving bosonic Laplacians in the upper-half space and the unit ball. Poisson kernels in the upper-half space and the unit ball are constructed, which give us solutions to the Dirichlet problems with $L^p$ boundary data, $1 \leq p \leq \infty$. We also prove the uniqueness for solutions to the Dirichlet problems with continuous data for bosonic Laplacians and provide analogs of some properties of harmonic functions for null solutions of bosonic Laplacians, for instance, Cauchy's estimates, the mean-value property, Liouville's Theorem, etc.

preprint2020arXiv

Green's Formulas and Poisson's Equation for Bosonic Laplacians

A bosonic Laplacian is a conformally invariant second order differential operator acting on smooth functions defined on domains in Euclidean space and taking values in higher order irreducible representations of the special orthogonal group. In this paper, we firstly introduce the motivation for study of the generalized Maxwell operators and bosonic Laplacians (also known as the higher spin Laplace operators). Then, with the help of connections between Rarita-Schwinger type operators and bosonic Laplacians, we solve Poisson's equation for bosonic Laplacians. A representation formula for bounded solutions to Poisson's equation in Euclidean space is also provided. In the end, we provide Green's formulas for bosonic Laplacians in scalar-valued and Clifford-valued cases, respectively. These formulas reveal that bosonic Laplacians are self-adjoint with respect to a given $L^2$ inner product on certain compact supported function spaces.

preprint2016arXiv

Characterization of the Robust Isolated Calmness for a Class of Conic Programming Problems

This paper is devoted to studying the robust isolated calmness of the Karush-Kuhn-Tucker (KKT) solution mapping for a large class of interesting conic programming problems (including most commonly known ones arising from applications) at a locally optimal solution. Under the Robinson constraint qualification, we show that the KKT solution mapping is robustly isolated calm if and only if both the strict Robinson constraint qualification and the second order sufficient condition hold. This implies, among others, that at a locally optimal solution the second order sufficient condition is needed for the KKT solution mapping to have the Aubin property.

preprint2016arXiv

Construction of Arbitrary Order Conformally Invariant Operators in Higher Spin Spaces

This paper completes the construction of arbitrary order conformally invariant differential operators in higher spin spaces. Jan Slovák has classified all conformally invariant differential operators on locally conformally flat manifolds. We complete his results in higher spin theory by giving explicit expressions for arbitrary order conformally invariant differential operators, where by conformally invariant we mean equivariant with respect to the conformal group of $\mathbb{S}^m$ acting in Euclidean space $\mathbb{R}^m$. We name these the fermionic operators when the order is odd and bosonic operators when the order is even. Our approach explicitly uses convolution type operators to construct conformally invariant differential operators. These convolution type operators are examples of Knapp-Stein operators and they can be considered as the inverses of the corresponding differential operators. Intertwining operators of these convolution type operators are provided and intertwining operators of differential operators follow immediately. This reveals that our convolution type operators and differential operators are all conformally invariant. This also gives us a class of conformally invariant convolution type operators in higher spin spaces. Their inverses, when they exist, are conformally invariant pseudo-differential operators. Further we use Stein Weiss gradient operators and representation theory for the Spin group to naturally motivate the Rarita-Schwinger operators.

preprint2016arXiv

Higher Order Fermionic and Bosonic Operators

This paper studies a particular class of higher order conformally invariant dif- ferential operators and related integral operators acting on functions taking values in particular finite dimensional irreducible representations of the Spin group. The differential operators can be seen as a generalization to higher spin spaces of kth- powers of the Euclidean Dirac operator. To construct these operators, we use the framework of higher spin theory in Clifford analysis, in which irreducible represen- tations of the Spin group are realized as polynomial spaces satisfying a particular system of differential equations. As a consequence, these operators act on functions taking values in the space of homogeneous harmonic or monogenic polynomials de- pending on the order. Moreover, we classify these operators in analogy with the quantization of angular momentum in quantum mechanics to unify the terminology used in studying higher order higher spin conformally invariant operators: for integer and half-integer spin, these are respectively bosonic and fermionic operators. Fundamental solutions and their conformal invariance are presented here.

preprint2016arXiv

On Some Conformally Invariant Operators in Euclidean Space

The aim of this paper is to correct a mistake in earlier work on the conformal invariance of Rarita-Schwinger operators and use the method of correction to develop properties of some conformally invariant operators in the Rarita-Schwinger setting. We also study properties of some other Rarita-Schwinger type operators, for instance, twistor operators and dual twistor operators. This work is also intended as an attempt to motivate the study of Rarita-Schwinger operators via some representation theory. This calls for a review of earlier work by Stein and Weiss.

preprint2016arXiv

Some Properties of the Higher Spin Laplace Operator

The higher spin Laplace operator has been constructed recently as the generalization of the Laplacian in higher spin theory. This acts on functions taking values in arbitrary irreducible representations of the Spin group. In this paper, we first provide a decomposition of the higher spin Laplace operator in terms of Rrita-Schwinger operators. With such a decomposition, a connection between the fundamental solutions for the higher spin Laplace operator and the fundamental solutions for the Rarita-Schwinger operators is provided. Further, we show that the two components in this decomposition are conformally invariant differential operators. An alternative proof for the conformally invariance property is also pointed out, which can be connected to Knapp-Stein intertwining operators. Last but not least, we establish a Borel-Pompeiu type formula for the higher spin Laplace operator. As an application, we give a Green type integral formula.

preprint2016arXiv

Third Order Fermionic and Fourth Order Bosonic Operators

This paper continues the work of our previous paper [8], where we generalize kth-powers of the Euclidean Dirac operator D_x to higher spin spaces in the case the target space is a degree one homogeneous polynomial space. In this paper, we reconsider the generalizations of D_x^3 and D_x^4 to higher spin spaces in the case the target space is a degree k homogeneous polynomial space. Constructions of 3rd and 4th order conformally invariant operators in higher spin spaces are given; these are the 3rd order fermionic and 4th order bosonic operators. Fundamental solutions and intertwining operators of both operators are also presented here. These results can be easily generalized to cylinders and Hopf manifolds as in [7].

preprint2016arXiv

Variational Analysis of the Ky Fan $k$-norm

In this paper, we will study some variational properties of the Ky Fan $k$-norm $θ=\|\cdot\|_{(k)}$ of matrices, which are closed related to a class of basic nonlinear optimization problems involving the Ky Fan $k$-norm. In particular, for the basic nonlinear optimization problems, we will introduce the concept of nondegeneracy, strict complementarity and the critical cones associated with the generalized equations. Finally, we present the explicit formulas of the conjugate function of the parabolic second order directional derivative of $θ$, which will be referred to as the sigma term of the second order optimality conditions. The results obtain in this paper provide the necessary theoretical foundations for future work on sensitivity and stability analysis of the nonlinear optimization problems involving the Ky Fan $k$-norm.

preprint2014arXiv

Convex Optimization Learning of Faithful Euclidean Distance Representations in Nonlinear Dimensionality Reduction

Classical multidimensional scaling only works well when the noisy distances observed in a high dimensional space can be faithfully represented by Euclidean distances in a low dimensional space. Advanced models such as Maximum Variance Unfolding (MVU) and Minimum Volume Embedding (MVE) use Semi-Definite Programming (SDP) to reconstruct such faithful representations. While those SDP models are capable of producing high quality configuration numerically, they suffer two major drawbacks. One is that there exist no theoretically guaranteed bounds on the quality of the configuration. The other is that they are slow in computation when the data points are beyond moderate size. In this paper, we propose a convex optimization model of Euclidean distance matrices. We establish a non-asymptotic error bound for the random graph model with sub-Gaussian noise, and prove that our model produces a matrix estimator of high accuracy when the order of the uniform sample size is roughly the degree of freedom of a low-rank matrix up to a logarithmic factor. Our results partially explain why MVU and MVE often work well. Moreover, we develop a fast inexact accelerated proximal gradient method. Numerical experiments show that the model can produce configurations of high quality on large data points that the SDP approach would struggle to cope with.

preprint2014arXiv

Spectral Operators of Matrices

The class of matrix optimization problems (MOPs) has been recognized in recent years to be a powerful tool by researchers far beyond the optimization community to model many important applications involving structured low rank matrices. This trend can be credited to some extent to the exciting developments in the emerging field of compressed sensing. The Löwner operator, which generates a matrix valued function by applying a single-variable function to each of the singular values of a matrix, has played an important role for a long time in solving matrix optimization problems. However, the classical theory developed for Löwner operators has become inadequate in these recent applications. The main objective of this paper is to provide some necessary theoretical foundations for designing numerical methods for solving the MOP. This goal is achieved by introducing and conducting a thorough study on a new class of matrix valued functions, coined as spectral operators of matrices. Several fundamental properties of spectral operators, including the well-definedness, continuity, directional differentiability, Fréchet-differentiability, locally Lipschitzian continuity, $ρ$-order B(ouligand)-differentiability ($0<ρ\leq 1$), $ρ$-order G-semismooth ($0<ρ\leq 1$) and the characterization of Clarke's generalized Jacobian, are systematically studied.