arXiv subjects

Sanyang Liu

Publications and source records attributed to Sanyang Liu.

10 recordsLinked to original sources

arXiv2025

Memory Enhanced Fractional-Order Dung Beetle Optimization for Photovoltaic Parameter Identification

Accurate parameter identification in photovoltaic (PV) models is crucial for performance evaluation but remains challenging due to their nonlinear, multimodal, and high-dimensional nature. Although the Dung Beetle Optimization (DBO) algorithm has shown potential in addressing such problems, it often suffers from premature convergence. To overcome these issues, this paper proposes a Memory Enhanced Fractional-Order Dung Beetle Optimization (MFO-DBO) algorithm that integrates three coordinated strategies. Firstly, fractional-order (FO) calculus introduces memory into the search process, enhancing convergence stability and solution quality. Secondly, a fractional-order logistic chaotic map improves population diversity during initialization. Thirdly, a chaotic perturbation mechanism helps elite solutions escape local optima. Numerical results on the CEC2017 benchmark suite and the PV parameter identification problem demonstrate that MFO-DBO consistently outperforms advanced DBO variants, CEC competition winners, FO-based optimizers, enhanced classical algorithms, and recent metaheuristics in terms of accuracy, robustness, convergence speed, while also maintaining an excellent balance between exploration and exploitation compared to the standard DBO algorithm.

cs.NE↗

arXiv2025

A Joint Sparse Self-Representation Learning Method for Multiview Clustering

Multiview clustering (MC) aims to group samples using consistent and complementary information across various views. The subspace clustering, as a fundamental technique of MC, has attracted significant attention. In this paper, we propose a novel joint sparse self-representation learning model for MC, where a featured difference is the extraction of view-specific local information by introducing cardinality (i.e., $\ell_0$-norm) constraints instead of Graph-Laplacian regularization. Specifically, under each view, cardinality constraints directly restrict the samples used in the self-representation stage to extract reliable local and global structure information, while the low-rank constraint aids in revealing a global coherent structure in the consensus affinity matrix during merging. The attendant challenge is that Augmented Lagrange Method (ALM)-based alternating minimization algorithms cannot guarantee convergence when applied directly to our nonconvex, nonsmooth model, thus resulting in poor generalization ability. To address it, we develop an alternating quadratic penalty (AQP) method with global convergence, where two subproblems are iteratively solved by closed-form solutions. Empirical results on six standard datasets demonstrate the superiority of our model and AQP method, compared to eight state-of-the-art algorithms.

cs.CV↗

arXiv2019

Proximal extrapolated gradient methods with prediction and correction for monotone variational inequalities

An efficient proximal-gradient-based method, called proximal extrapolated gradient method, is designed for solving monotone variational inequality in Hilbert space. The proposed method extends the acceptable range of parameters to obtain larger step sizes. The step size is predicted based a local information of the operator and corrected by linesearch procedures to satisfy a very weak condition, which is even weaker than the boundedness of sequence generated and always holds when the operator is the gradient of a convex function. We establish its convergence and ergodic convergence rate in theory under the larger range of parameters. Furthermore, we improve numerical efficiency by employing the proposed method with non-monotonic step size, and obtain the upper bound of the parameter relating to step size by an extremely simple example. Related numerical experiments illustrate the improvements in efficiency from the larger step size.

math.OC↗

arXiv2019

First-order primal-dual algorithm with correction

This paper is devoted to the design of efficient primal-dual algorithm (PDA) for solving convex optimization problems with known saddle-point structure. We present a new PDA with larger acceptable range of parameters and correction, which result in larger step sizes. The step sizes are predicted by using a local information of the linear operator and corrected by linesearch to satisfy a very weak condition, even weaker than the boundedness of sequence generated. The convergence and ergodic convergence rate are established for general cases, and in case when one of the prox-functions is strongly convex. The numerical experiments illustrate the improvements in efficiency from the larger step sizes and acceptable range of parameters.

math.OC↗

arXiv2018

Variational Community Partition with Novel Network Structure Centrality Prior

In this paper, we proposed a novel two-stage optimization method for network community partition, which is based on inherent network structure information. The introduced optimization approach utilizes the new network centrality measure of both links and vertices to construct the key affinity description of the given network, where the direct similarities between graph nodes or nodal features are not available to obtain the classical affinity matrix. Indeed, such calculated network centrality information presents the essential structure of network, hence, the proper measure for detecting network communities, which also introduces a `confidence' criterion for referencing new labeled benchmark nodes. For the resulted challenging combinatorial optimization problem of graph clustering, the proposed optimization method iteratively employs an efficient convex optimization algorithm which is developed based under a new variational perspective of primal and dual. Experiments over both artificial and real-world network datasets demonstrate that the proposed optimization strategy of community detection significantly improves result accuracy and outperforms the state-of-the-art algorithms in terms of accuracy and reliability.

cs.SI↗

arXiv2018

A three-operator splitting perspective of a three-block ADMM for convex quadratic semidefinite programming and extensions

In recent years, several convergent multi-block variants of the alternating direction method of multipliers (ADMM) have been proposed for solving the convex quadratic semidefinite programming via its dual, which is naturally a 3-block separable convex optimization problem with one coupled linear equality constraint. Among of these ADMM-type algorithms, the modified 3-block ADMM in [Chang et al., Neurocomput. 214: 575--586 (2016)] bears a peculiar feature that the augmented Lagrangian function is not necessarily to be minimized with respect to the block-variable corresponding to the quadratic term of the objective function. In this paper, we lay the theoretical foundation of this phenomena by interpreting this modified 3-block ADMM as a realization of a 3-operator splitting framework. Based on this perspective, we are able to extend this modified 3-block ADMM to a generalized 3-block ADMM, which not only applies to the more general convex composite quadratic programming setting but also admits the potential of achieving even a better numerical performance.

math.OC↗

arXiv2017

Hybrid Fault diagnosis capability analysis of Hypercubes under the PMC model and MM* model

System level diagnosis is an important approach for the fault diagnosis of multiprocessor systems. In system level diagnosis, diagnosability is an important measure of the diagnosis capability of interconnection networks. But as a measure, diagnosability can not reflect the diagnosis capability of multiprocessor systems to link faults which may occur in real circumstances. In this paper, we propose the definition of $h$-edge tolerable diagnosability to better measure the diagnosis capability of interconnection networks under hybrid fault circumstances. The $h$-edge tolerable diagnosability of a multiprocessor system $G$ is the maximum number of faulty nodes that the system can guarantee to locate when the number of faulty edges does not exceed $h$,denoted by $t_h^{e}(G)$. The PMC model and MM model are the two most widely studied diagnosis models for the system level diagnosis of multiprocessor systems. The hypercubes are the most well-known interconnection networks. In this paper, the $h$-edge tolerable diagnosability of $n$-dimensional hypercube under the PMC model and MM$^{*}$ is determined as follows: $t_h^{e}(Q_n)= n-h$, where $1\leq h<n$, $n\geq3$.

cs.DC↗

arXiv2011

The countable versus uncountable branching recurrences in computability logic

This paper introduces a new simplified version of the countable branching recurrence of Computability Logic, proves its equivalence to the old one, and shows that the basic logic induced by it is a proper superset of the basic logic induced by the uncountable branching recurrence. A further result of this paper is showing that the countable branching recurrence is strictly weaker than the uncountable branching recurrence in the sense that the latter logically implies the former but not vice versa.

cs.LO↗

arXiv2011

The parallel versus branching recurrences in computability logic

This paper shows that the basic logic induced by the parallel recurrence of Computability Logic is a proper superset of the basic logic induced by the branching recurrence. The latter is known to be precisely captured by the cirquent calculus system CL15, conjectured by Japaridze to remain sound---but not complete---with parallel recurrence instead of branching recurrence. The present result is obtained by positively verifying that conjecture. A secondary result of the paper is showing that parallel recurrence is strictly weaker than branching recurrence in the sense that, while the latter logically implies the former, vice versa does not hold.

cs.LO↗

arXiv2011

Soundness and completeness of the cirquent calculus system CL6 for computability logic

Computability logic is a formal theory of computability. The earlier article "Introduction to cirquent calculus and abstract resource semantics" by Japaridze proved soundness and completeness for the basic fragment CL5 of computability logic. The present article extends that result to the more expressive cirquent calculus system CL6, which is a conservative extension of both CL5 and classical propositional logic.

cs.LO↗