SearcharxivSearch

arXiv subjects

Peijin Li

Publications and source records attributed to Peijin Li.

14 recordsLinked to original sources

Subspace Optimization for Efficient Federated Learning under Heterogeneous Data

Federated learning increasingly operates in a large-model regime where communication, memory, and computation are all scarce. Typically, non-IID client data induce drift that degrades the stability and performance of local training. Existing remedies such as SCAFFOLD introduce heterogeneity-correction mechanisms to address this challenge, but they incur substantial extra communication and memory overhead. This paper proposes a subspace optimization method for federated learning (SSF), which performs heterogeneity-corrected optimization in a low-dimensional subspace using only projected quantities, while preserving full-dimensional control information through a backfill-style update that retains residual components whenever the active subspace changes. Under standard smoothness and bounded-variance assumptions, SSF attains a non-asymptotic rate of order $\widetilde{\mathcal{O}}(1/T+1/\sqrt{NKT})$. Experiments show favorable accuracy--efficiency trade-offs under heterogeneous data.

cs.LG

On the coefficients estimate of K-quasiconformal harmonic mappings

Recently, the Wang et al. \cite{wwrq} proposed a coefficient conjecture for the family ${\mathcal S}_H^0(K)$ of $K$-quasiconformal harmonic mappings $f = h + \overline{g}$ that are sense-preserving and univalent, where $h(z)=z+\sum_{k=2}^{\infty}a_kz^k$ and $g(z)=\sum_{k=1}^{\infty}b_kz^k$ are analytic in the unit disk $|z|<1$, and the dilatation $ω=g'/h'$ satisfies the condition $|ω(z)| \leq k<1$ for $\ID$, with $K=\frac{1+k}{1-k}\geq 1$. The main aim of this article is provide an affirmative answer in support of this conjecture by proving this conjecture for every starlike function (resp. close-to-convex function) from $\mathcal{S}^0_H(K)$. In addition, we verify this conjecture also for typically real $K$-quasiconformal harmonic mappings. Also, we establish sharp coefficients estimate of convex $K$-quasiconformal harmonic mappings. By doing so, our work provides a document in support of the main conjecture of Wang et al..

math.CV

Distributed Retraction-Free and Communication-Efficient Optimization on the Stiefel Manifold

Optimization problems on the Stiefel manifold, ranging from principal component analysis to enhancing neural network robustness, are ubiquitous in machine learning. The Landing algorithm avoids computationally expensive retraction operations on manifolds, making it highly competitive for large-scale problems. This paper extends this method to distributed settings, introducing *EF-Landing*, the first retraction-free and communication-efficient algorithm for distributed stochastic optimization on the Stiefel manifold. By incorporating communication compression and error feedback, EF-Landing ensures convergence and constraint feasibility while significantly reducing communication overhead. We provide sharp convergence guarantees, demonstrating that EF-Landing achieves the same asymptotic linear speedup convergence rate as existing methods without communication compression. Furthermore, our analysis is highly versatile, applying to both deterministic and stochastic settings and encompassing algorithms based on gradient descent or momentum-based gradient descent. We also generalize EF-Landing to operate on block-wise Stiefel manifolds, enabling greater flexibility for structured constraints. Extensive numerical experiments validate our theoretical results.

math.OC

On Schwarz-Pick type inequality and Lipschitz continuity for solutions to nonhomogeneous biharmonic equations

The purpose of this paper is to study the Schwarz-Pick type inequality and the Lipschitz continuity for the solutions to the nonhomogeneous biharmonic equation: $Δ(Δf)=g$, where $g:$ $\overline{\ID}\rightarrow\mathbb{C}$ is a continuous function and $\overline{\ID}$ denotes the closure of the unit disk $\ID$ in the complex plane $\mathbb{C}$. In fact, we establish the following properties for these solutions: Firstly, we show that the solutions $f$ do not always satisfy the Schwarz-Pick type inequality $$\frac{1-|z|^2}{1-|f(z)|^2}\leq C, $$ where $C$ is a constant. Secondly, we establish a general Schwarz-Pick type inequality of $f$ under certain conditions. Thirdly, we discuss the Lipschitz continuity of $f$, and as applications, we get the Lipschitz continuity with respect to the distance ratio metric and the Lipschitz continuity with respect to the hyperbolic metric.

math.CV

A Q-learning Control Method for a Soft Robotic Arm Utilizing Training Data from a Rough Simulator

It is challenging to control a soft robot, where reinforcement learning methods have been applied with promising results. However, due to the poor sample efficiency, reinforcement learning methods require a large collection of training data, which limits their applications. In this paper, we propose a Q-learning controller for a physical soft robot, in which pre-trained models using data from a rough simulator are applied to improve the performance of the controller. We implement the method on our soft robot, i.e., Honeycomb Pneumatic Network (HPN) arm. The experiments show that the usage of pre-trained models can not only reduce the amount of the real-world training data, but also greatly improve its accuracy and convergence rate.

cs.RO

Schwarz-Pick and Landau type theorems for solutions to the Dirichlet-Neumann problem in the unit disk

The aim of this paper is to establish some properties of solutions to the Dirichlet-Neumann problem: $(\partial_z\partial_{\overline{z}})^2 w=g$ in the unit disc $\ID$, $w=γ_0$ and $\partial_ν\partial_z\partial_{\overline{z}}w=γ$ on $\mathbb{T}$ (the unit circle), $\frac{1}{2πi}\int_{\mathbb{T}}w_{ζ\overlineζ}(ζ)\frac{dζ}ζ=c$, where $\partial_ν$ denotes differentiation in the outward normal direction. More precisely, we obtain Schwarz-Pick type inequalities and Landau type theorem for solutions to the Dirichlet-Neumann problem.

math.CV

Design, Control, and Applications of a Soft Robotic Arm

This paper presents the design, control, and applications of a multi-segment soft robotic arm. In order to design a soft arm with large load capacity, several design principles are proposed by analyzing two kinds of buckling issues, under which we present a novel structure named Honeycomb Pneumatic Networks (HPN). Parameter optimization method, based on finite element method (FEM), is proposed to optimize HPN Arm design parameters. Through a quick fabrication process, several prototypes with different performance are made, one of which can achieve the transverse load capacity of 3 kg under 3 bar pressure. Next, considering different internal and external conditions, we develop three controllers according to different model precision. Specifically, based on accurate model, an open-loop controller is realized by combining piece-wise constant curvature (PCC) modeling method and machine learning method. Based on inaccurate model, a feedback controller, using estimated Jacobian, is realized in 3D space. A model-free controller, using reinforcement learning to learn a control policy rather than a model, is realized in 2D plane, with minimal training data. Then, these three control methods are compared on a same experiment platform to explore the applicability of different methods under different conditions. Lastly, we figure out that soft arm can greatly simplify the perception, planning, and control of interaction tasks through its compliance, which is its main advantage over the rigid arm. Through plentiful experiments in three interaction application scenarios, human-robot interaction, free space interaction task, and confined space interaction task, we demonstrate the potential application prospect of the soft arm.

cs.RO

Schwarz type lemma, Landau type theorem and Lipschitz type space of solutions to biharmonic equations

The purpose of this paper is to study the properties of the solutions to the biharmonic equations: $Δ(Δf)=g$, where $g:$ $\overline{\mathbb{D}}\rightarrow\mathbb{C}$ is a continuous function and $\overline{\mathbb{D}}$ denotes the closure of the unit disk $\mathbb{D}$ in the complex plane $\mathbb{C}$. In fact, we establish the following properties for those solutions: Firstly, we establish the Schwarz type lemma. Secondly, by using the obtained results, we get a Landau type theorem. Thirdly, we discuss their Lipschitz type property.

math.CV

On properties of the solutions to the $α$-harmonic equation

The aim of this paper is to establish properties of the solutions to the $α$-harmonic equations: $Δ_α(f(z))=\partial{z}[(1-{|{z}|}^{2})^{-α} \overline{\partial}{z}f](z)=g(z)$, where $g:\overline{\mathbb{ID}}\rightarrow\mathbb{C}$ is a continuous function and $\overline{\mathbb{D}}$ denotes the closure of the unit disc $\mathbb{D}$ in the complex plane $\mathbb{C}$. We obtain Schwarz type and Schwarz-Pick type inequalities for the solutions to the $α$-harmonic equation. In particular, for $g\equiv 0$, the solutions to the above equation are called $α$-harmonic functions. We determine the necessary and sufficient conditions for an analytic function $ψ$ to have the property that $f\circψ$ is $α$-harmonic function for any $α$-harmonic function $f$. Furthermore, we discuss the Bergman-type spaces on $α$-harmonic functions.

math.AP

Several properties of $α$-harmonic functions in the unit disk

The aim of this paper is to obtain the Schwarz-Pick type inequality for $α$-harmonic functions $f$ in the unit disk and get estimates on the coefficients of $f$. As an application, a Landau type theorem of $α$-harmonic functions is established.

math.CV

On the Lipschitz continuity of certain quasiregular mappings between smooth Jordan domains

We first investigate the Lipschitz continuity of $(K, K')$-quasiregular $C^2$ mappings between two Jordan domains with smooth boundaries, satisfying certain partial differential inequalities concerning Laplacian. Then two applications of the obtained result are given: As a direct consequence, we get the Lipschitz continuity of $ρ$-harmonic $(K, K')$-quasiregular mappings, and as the other application, we study the Lipschitz continuity of $(K,K')$-quasiconformal self-mappings of the unit disk, which are the solutions of the Poisson equation $Δw=g$. These results generalize and extend several recently obtained results by Kalaj, Mateljević and Pavlović.

math.CV