Showing 1–21 of 21 results for author: Cui, L

Perturbed Gradient Descent Algorithms are Small-Disturbance Input-to-State Stable

Authors: Leilei Cui, Zhong-Ping Jiang, Eduardo D. Sontag, Richard D. Braatz

Abstract: This article investigates the robustness of gradient descent algorithms under perturbations. The concept of small-disturbance input-to-state stability (ISS) for discrete-time nonlinear dynamical systems is introduced, along with its Lyapunov characterization. The conventional linear Polyak-Lojasiewicz (PL) condition is then extended to a nonlinear version, and it is shown that the gradient descent… ▽ More This article investigates the robustness of gradient descent algorithms under perturbations. The concept of small-disturbance input-to-state stability (ISS) for discrete-time nonlinear dynamical systems is introduced, along with its Lyapunov characterization. The conventional linear Polyak-Lojasiewicz (PL) condition is then extended to a nonlinear version, and it is shown that the gradient descent algorithm is small-disturbance ISS provided the objective function satisfies the generalized nonlinear PL condition. This small-disturbance ISS property guarantees that the gradient descent algorithm converges to a small neighborhood of the optimum under sufficiently small perturbations. As a direct application of the developed framework, we demonstrate that the LQR cost satisfies the generalized nonlinear PL condition, thereby establishing that the policy gradient algorithm for LQR is small-disturbance ISS. Additionally, other popular policy gradient algorithms, including natural policy gradient and Gauss-Newton method, are also proven to be small-disturbance ISS. △ Less

Submitted 2 July, 2025; originally announced July 2025.

Comments: 16 pages

A Fully Data-Driven Value Iteration for Stochastic LQR: Convergence, Robustness and Stability

Authors: Leilei Cui, Zhong-Ping Jiang, Petter N. Kolm, Grégoire G. Macqueron

Abstract: Unlike traditional model-based reinforcement learning approaches that extract the underlying system structure by estimating parameters from data, non-model-based data-driven control learns the optimal policy directly from input-state data without any intermediate model identification. Although this direct reinforcement learning approach offers increased adaptability and resilience to model misspec… ▽ More Unlike traditional model-based reinforcement learning approaches that extract the underlying system structure by estimating parameters from data, non-model-based data-driven control learns the optimal policy directly from input-state data without any intermediate model identification. Although this direct reinforcement learning approach offers increased adaptability and resilience to model misspecification, its reliance on raw data leaves it vulnerable to system noise and disturbances that may undermine convergence, robustness, and stability. In this article, we establish the convergence, robustness, and stability of value iteration (VI) for data-driven control of stochastic linear quadratic (LQ) systems in discrete-time with entirely unknown dynamics and cost. Our contributions are three-fold. First, we prove that VI is globally exponentially stable for any positive semidefinite initial value matrix in noise-free settings, thereby significantly relaxing restrictive assumptions on initial value functions in existing literature. Second, we extend our analysis to scenarios with external disturbances, proving that VI maintains small-disturbance input-to-state stability (ISS) and converges within a small neighborhood of the optimal solution when disturbances are sufficiently small. Third, we propose a new non-model-based robust adaptive dynamic programming (ADP) algorithm for adaptive optimal controller design, which, unlike existing procedures, requires no prior knowledge of an initial admissible control policy. Numerical experiments on a ``data center cooling'' problem demonstrate the convergence and stability of the algorithm compared to established methods, highlighting its robustness and adaptability for data-driven control in noisy environments. Finally, we present a fully data-driven solution to dynamic portfolio allocation, an important problem in quantitative finance. △ Less

Submitted 5 May, 2025; originally announced May 2025.

On cleanness of AW*-algebras

Authors: Lu Cui, Minghui Ma

Abstract: A ring is called clean if every element is the sum of an invertible element and an idempotent. This paper investigates the cleanness of AW*-algebras. We prove that all finite AW*-algebras are clean, affirmatively solving a question posed by Vas. We also prove that all countably decomposable infinite AW*-factors are clean. A *-ring is called almost *-clean if every element can be expressed as the s… ▽ More A ring is called clean if every element is the sum of an invertible element and an idempotent. This paper investigates the cleanness of AW*-algebras. We prove that all finite AW*-algebras are clean, affirmatively solving a question posed by Vas. We also prove that all countably decomposable infinite AW*-factors are clean. A *-ring is called almost *-clean if every element can be expressed as the sum of a non-zero-divisor and a projection. We show that an AW*-algebra is almost *-clean if and only if it is finite. △ Less

Submitted 18 April, 2025; originally announced April 2025.

Remarks on the Polyak-Lojasiewicz inequality and the convergence of gradient systems

Authors: Arthur Castello B. de Oliveira, Leilei Cui, Eduardo D. Sontag

Abstract: This work explores generalizations of the Polyak-Lojasiewicz inequality (PLI) and their implications for the convergence behavior of gradient flows in optimization problems. Motivated by the continuous-time linear quadratic regulator (CT-LQR) policy optimization problem -- where only a weaker version of the PLI is characterized in the literature -- this work shows that while weaker conditions are… ▽ More This work explores generalizations of the Polyak-Lojasiewicz inequality (PLI) and their implications for the convergence behavior of gradient flows in optimization problems. Motivated by the continuous-time linear quadratic regulator (CT-LQR) policy optimization problem -- where only a weaker version of the PLI is characterized in the literature -- this work shows that while weaker conditions are sufficient for global convergence to, and optimality of the set of critical points of the cost function, the "profile" of the gradient flow solution can change significantly depending on which "flavor" of inequality the cost satisfies. After a general theoretical analysis, we focus on fitting the CT-LQR policy optimization problem to the proposed framework, showing that, in fact, it can never satisfy a PLI in its strongest form. We follow up our analysis with a brief discussion on the difference between continuous- and discrete-time LQR policy optimization, and end the paper with some intuition on the extension of this framework to optimization problems with L1 regularization and solved through proximal gradient flows. △ Less

Submitted 30 March, 2025; originally announced March 2025.

Optimal radio labeling for the Cartesian product of square mesh networks and stars

Authors: Linlin Cui, Feng Li

Abstract: As the most critical component in the communication process, channels have a great impact on the communication quality of network. With the continuous expansion of network scale, the limited channel resources lead to the limitation of communication network scale. Therefore, achieving reasonable channel assignment and utilization becomes an extremely challenging problem. In order to solve this issu… ▽ More As the most critical component in the communication process, channels have a great impact on the communication quality of network. With the continuous expansion of network scale, the limited channel resources lead to the limitation of communication network scale. Therefore, achieving reasonable channel assignment and utilization becomes an extremely challenging problem. In order to solve this issue effectively, the channel assignment problem in communication networks can be transformed into a graph labeling problem, utilizing graphs to simulate the communication networks. In this paper, the topologies of mesh networks and stars are studied by constructing Cartesian product, and the lower bound and exact value of the optimal radio label of the Cartesian product of square mesh network and star $G=P(m,m)\Box K_{1,n}$ are obtained, where $m\geq 2$. △ Less

Submitted 28 June, 2024; originally announced June 2024.

An inexact Bregman proximal point method and its acceleration version for unbalanced optimal transport

Authors: Xiang Chen, Faqiang Wang, Jun Liu, Li Cui

Abstract: The Unbalanced Optimal Transport (UOT) problem plays increasingly important roles in computational biology, computational imaging and deep learning. Scaling algorithm is widely used to solve UOT due to its convenience and good convergence properties. However, this algorithm has lower accuracy for large regularization parameters, and due to stability issues, small regularization parameters can easi… ▽ More The Unbalanced Optimal Transport (UOT) problem plays increasingly important roles in computational biology, computational imaging and deep learning. Scaling algorithm is widely used to solve UOT due to its convenience and good convergence properties. However, this algorithm has lower accuracy for large regularization parameters, and due to stability issues, small regularization parameters can easily lead to numerical overflow. We address this challenge by developing an inexact Bregman proximal point method for solving UOT. This algorithm approximates the proximal operator using the Scaling algorithm at each iteration. The algorithm (1) converges to the true solution of UOT, (2) has theoretical guarantees and robust regularization parameter selection, (3) mitigates numerical stability issues, and (4) can achieve comparable computational complexity to the Scaling algorithm in specific practice. Building upon this, we develop an accelerated version of inexact Bregman proximal point method for solving UOT by using acceleration techniques of Bregman proximal point method and provide theoretical guarantees and experimental validation of convergence and acceleration. △ Less

Submitted 26 February, 2024; originally announced February 2024.

Small-Disturbance Input-to-State Stability of Perturbed Gradient Flows: Applications to LQR Problem

Authors: Leilei Cui, Zhong-Ping Jiang, Eduardo D. Sontag

Abstract: This paper studies the effect of perturbations on the gradient flow of a general nonlinear programming problem, where the perturbation may arise from inaccurate gradient estimation in the setting of data-driven optimization. Under suitable conditions on the objective function, the perturbed gradient flow is shown to be small-disturbance input-to-state stable (ISS), which implies that, in the prese… ▽ More This paper studies the effect of perturbations on the gradient flow of a general nonlinear programming problem, where the perturbation may arise from inaccurate gradient estimation in the setting of data-driven optimization. Under suitable conditions on the objective function, the perturbed gradient flow is shown to be small-disturbance input-to-state stable (ISS), which implies that, in the presence of a small-enough perturbation, the trajectories of the perturbed gradient flow must eventually enter a small neighborhood of the optimum. This work was motivated by the question of robustness of direct methods for the linear quadratic regulator problem, and specifically the analysis of the effect of perturbations caused by gradient estimation or round-off errors in policy optimization. We show small-disturbance ISS for three of the most common optimization algorithms: standard gradient flow, natural gradient flow, and Newton gradient flow. △ Less

Submitted 16 April, 2024; v1 submitted 4 October, 2023; originally announced October 2023.

Comments: 20 pages

Affine Toda system of $\mathbf{A}$ and $\mathbf{C}^t$ type: compactness and affine Weyl group

Authors: Leilei Cui, Zhaohu Nie, Wen Yang

Abstract: The local mass is a fundamental quantized information that characterizes the blow-up solution to the Toda system and has a profound relationship with its underlying algebraic structure. In \cite{Lin-Yang-Zhong-2020}, it was observed that the associated Weyl group can be employed to represent this information for the $\mathbf{A}_n$, $\mathbf{B}_n$, $\mathbf{C}_n$ and $\mathbf{G}_2$ type Toda system… ▽ More The local mass is a fundamental quantized information that characterizes the blow-up solution to the Toda system and has a profound relationship with its underlying algebraic structure. In \cite{Lin-Yang-Zhong-2020}, it was observed that the associated Weyl group can be employed to represent this information for the $\mathbf{A}_n$, $\mathbf{B}_n$, $\mathbf{C}_n$ and $\mathbf{G}_2$ type Toda systems. The relationship between the local mass of blow-up solution and the corresponding affine Weyl group is further explored for some affine $\mathbf{B}$ type Toda systems in \cite{Cui-Wei-Yang-Zhang-2022}, where the possible local masses are explicitly expressed in terms of $8$ types. The current work presents a comprehensive study of the general affine $\mathbf{A}$ and $\mathbf{C}^t$ type Toda systems with arbitrary rank. At each stage of the blow-up process (via scaling), we can employ certain elements (known as "set chains") in the corresponding affine Weyl group to measure the variation of local mass. Consequently, we obtain the a priori estimate of the affine $\mathbf{A}$ and $\mathbf{C}^t$ type Toda systems with arbitrary number of singularities. △ Less

Submitted 2 May, 2023; originally announced May 2023.

Comments: 40 pages

Normalized solutions for a Kirchhoff type equations with potential in $\mathbb{R}^3$

Authors: Leilei Cui, Qihan He, Zongyan Lv, Xuexiu Zhong

Abstract: In the present paper, we study the existence of normalized solutions to the following Kirchhoff type equations \begin{equation*} -\left(a+b\int_{\R^3}|\nabla u|^2\right)Δu+V(x)u+λu=g(u)~\hbox{in}~\R^3 \end{equation*} satisfying the normalized constraint $\displaystyle\int_{\R^3}u^2=c$, where $a,b,c>0$ are prescribed constants, and the nonlinearities $g(u)$ are very general and of mass super-critic… ▽ More In the present paper, we study the existence of normalized solutions to the following Kirchhoff type equations \begin{equation*} -\left(a+b\int_{\R^3}|\nabla u|^2\right)Δu+V(x)u+λu=g(u)~\hbox{in}~\R^3 \end{equation*} satisfying the normalized constraint $\displaystyle\int_{\R^3}u^2=c$, where $a,b,c>0$ are prescribed constants, and the nonlinearities $g(u)$ are very general and of mass super-critical. Under some suitable assumptions on $V(x)$ and $g(u)$, we can prove the existence of ground state normalized solutions $(u_c, λ_c)\in H^1(\R^3)\times\mathbb{R}$, for any given $c>0$. Due to the presence of the nonlocal term, the weak limit $u$ of any $(PS)_C$ sequence $\{w_n\}$ may not belong to the corresponding Pohozaev manifold, which is different from the local problem. So we have to overcome some new difficulties to gain the compactness of a $(PS)_C$ sequence. △ Less

Submitted 14 April, 2023; originally announced April 2023.

Comments: 21 pages

Quantum radial basis function method for the Poisson equation

Authors: Lingxia Cui, Zongming Wu, Hua Xiang

Abstract: The radial basis function (RBF) method is used for the numerical solution of the Poisson problem in high dimension. The approximate solution can be found by solving a large system of linear equations. Here we investigate the extent to which the RBF method can be accelerated using an efficient quantum algorithm for linear equations. We compare the theoretical performance of our quantum algorithm wi… ▽ More The radial basis function (RBF) method is used for the numerical solution of the Poisson problem in high dimension. The approximate solution can be found by solving a large system of linear equations. Here we investigate the extent to which the RBF method can be accelerated using an efficient quantum algorithm for linear equations. We compare the theoretical performance of our quantum algorithm with that of a standard classical algorithm, the conjugate gradient method. We find that the quantum algorithm can achieve a polynomial speedup. △ Less

Submitted 15 January, 2023; originally announced January 2023.

Reconstruction of gene regulatory network via sparse optimization

Authors: Jiashu Lou, Leyi Cui, Wenxuan Qiu

Abstract: In this paper, we tested several sparse optimization algorithms based on the public dataset of the DREAM5 Gene Regulatory Network Inference Challenge. And we find that introducing 20% of the regulatory network as a priori known data can provide a basis for parameter selection of inference algorithms, thus improving prediction efficiency and accuracy. In addition to testing common sparse optimizati… ▽ More In this paper, we tested several sparse optimization algorithms based on the public dataset of the DREAM5 Gene Regulatory Network Inference Challenge. And we find that introducing 20% of the regulatory network as a priori known data can provide a basis for parameter selection of inference algorithms, thus improving prediction efficiency and accuracy. In addition to testing common sparse optimization methods, we also developed voting algorithms by bagging them. Experiments on the DREAM5 dataset show that the sparse optimization-based inference of the moderation relation works well, achieving better results than the official DREAM5 results on three datasets. However, the performance of traditional independent algorithms varies greatly in the face of different datasets, while our voting algorithm achieves the best results on three of the four datasets. △ Less

Submitted 11 November, 2022; originally announced November 2022.

Newton Like Iterative Method without Derivative for Solving Nonlinear Equations Based on Dynamical Systems

Authors: Yonglong Liao, Limin Cui

Abstract: The iterative problem of solving nonlinear equations is studied. A new Newton like iterative method with adjustable parameters is designed based on the dynamic system theory. In order to avoid the derivative function in the iterative scheme, the difference quotient is used instead of the derivative. Different from the existing methods, the difference quotient scheme in this paper has higher accura… ▽ More The iterative problem of solving nonlinear equations is studied. A new Newton like iterative method with adjustable parameters is designed based on the dynamic system theory. In order to avoid the derivative function in the iterative scheme, the difference quotient is used instead of the derivative. Different from the existing methods, the difference quotient scheme in this paper has higher accuracy. Thus, the new iterative method is suitable for a wider range of initial values. Finally, several numerical examples are given to verify the practicability and superiority of the method. △ Less

Submitted 8 November, 2022; v1 submitted 6 November, 2022; originally announced November 2022.

Comments: 7pages,under review

The Blow-up Analysis on $\mathbf{B}_2^{(1)}$ Affine Toda system: Local mass and Affine Weyl group

Authors: Leilei Cui, Jun-cheng Wei, Wen Yang, Lei Zhang

Abstract: It has been established that the local mass of blow-up solutions to Toda systems associated with the simple Lie algebras $\mathbf{A}_n,~\mathbf{B}_n,~\mathbf{C}_n$ and $\mathbf{G}_2$ can be represented by a finite Weyl group. In particular, at each blow-up point, after a sequence of bubbling steps (via scaling) is performed, the transformation of the local mass at each step corresponds to the acti… ▽ More It has been established that the local mass of blow-up solutions to Toda systems associated with the simple Lie algebras $\mathbf{A}_n,~\mathbf{B}_n,~\mathbf{C}_n$ and $\mathbf{G}_2$ can be represented by a finite Weyl group. In particular, at each blow-up point, after a sequence of bubbling steps (via scaling) is performed, the transformation of the local mass at each step corresponds to the action of an element in the Weyl group. In this article, we present the results in the same spirit for the affine $\mathbf{B}_2^{(1)}$ Toda system with singularities. Compared with the Toda system with simple Lie algebras, the computation of local masses is more challenging due to the infinite number of elements of the {affine Weyl group of type $\mathbf{B}_{2}^{(1)}$}. In order to give an explicit expression for the local mass formula we introduce two free integers and write down all the possibilities into 8 types. This shows a striking difference to previous results on Toda systems with simple Lie algebras. The main result of this article seems to provide the first major advance in understanding the relation between the blow-up analysis of affine Toda system and the {affine Weyl group} of the associated Lie algebras. △ Less

Submitted 21 June, 2022; originally announced June 2022.

Comments: 39 pages

Image Segmentation with Adaptive Spatial Priors from Joint Registration

Authors: Haifeng Li, Weihong Guo, Jun Liu, Li Cui, Dongxing Xie

Abstract: Image segmentation is a crucial but challenging task that has many applications. In medical imaging for instance, intensity inhomogeneity and noise are common. In thigh muscle images, different muscles are closed packed together and there are often no clear boundaries between them. Intensity based segmentation models cannot separate one muscle from another. To solve such problems, in this work we… ▽ More Image segmentation is a crucial but challenging task that has many applications. In medical imaging for instance, intensity inhomogeneity and noise are common. In thigh muscle images, different muscles are closed packed together and there are often no clear boundaries between them. Intensity based segmentation models cannot separate one muscle from another. To solve such problems, in this work we present a segmentation model with adaptive spatial priors from joint registration. This model combines segmentation and registration in a unified framework to leverage their positive mutual influence. The segmentation is based on a modified Gaussian mixture model (GMM), which integrates intensity inhomogeneity and spacial smoothness. The registration plays the role of providing a shape prior. We adopt a modified sum of squared difference (SSD) fidelity term and Tikhonov regularity term for registration, and also utilize Gaussian pyramid and parametric method for robustness. The connection between segmentation and registration is guaranteed by the cross entropy metric that aims to make the segmentation map (from segmentation) and deformed atlas (from registration) as similar as possible. This joint framework is implemented within a constraint optimization framework, which leads to an efficient algorithm. We evaluate our proposed model on synthetic and thigh muscle MR images. Numerical results show the improvement as compared to segmentation and registration performed separately and other joint models. △ Less

Submitted 29 March, 2022; originally announced March 2022.

On the relaxed greedy deterministic row and column iterative methods

Authors: Nian-Ci Wu, Ling-Xia Cui, Qian Zuo

Abstract: For solving the large-scale linear system by iteration methods, we utilize the Petrov-Galerkin conditions and relaxed greedy index selection technique and provide two relaxed greedy deterministic row (RGDR) and column (RGDC) iterative methods, in which one special case of RGDR reduces to the fast deterministic block Kaczmarz method proposed in Chen and Huang (Numer. Algor., 89: 1007-1029, 2021). O… ▽ More For solving the large-scale linear system by iteration methods, we utilize the Petrov-Galerkin conditions and relaxed greedy index selection technique and provide two relaxed greedy deterministic row (RGDR) and column (RGDC) iterative methods, in which one special case of RGDR reduces to the fast deterministic block Kaczmarz method proposed in Chen and Huang (Numer. Algor., 89: 1007-1029, 2021). Our convergence analyses reveal that the resulting algorithms all have the linear convergence rates, which are bounded by the explicit expressions. Numerical examples show that the proposed algorithms are more effective than the relaxed greedy randomized row and column iterative methods. △ Less

Submitted 28 March, 2022; originally announced March 2022.

Report number: 2203.15186

Journal ref: Applied Mathematics and Computation, 2022

Quantum radial basis function methods for scattered data fitting

Authors: Lingxia Cui, Hua Xiang

Abstract: Scattered data fitting is a frequently encountered problem for reconstructing an unknown function from given scattered data. Radial basis function (RBF) methods have proven to be highly useful to deal with this problem. We describe two quantum algorithms to efficiently fit scattered data based on globally and compactly supported RBFs respectively. For the globally supported RBF method, the core of… ▽ More Scattered data fitting is a frequently encountered problem for reconstructing an unknown function from given scattered data. Radial basis function (RBF) methods have proven to be highly useful to deal with this problem. We describe two quantum algorithms to efficiently fit scattered data based on globally and compactly supported RBFs respectively. For the globally supported RBF method, the core of the quantum algorithm relies on using coherent states to calculate the radial functions and a nonsparse matrix exponentiation technique for efficiently performing a matrix inversion. A quadratic speedup is achieved in the number of data over the classical algorithms. For the compactly supported RBF method, we mainly use the HHL algorithm as a subroutine to design an efficient quantum procedure that runs in time logarithmic in the number of data, achieving an exponential improvement over the classical methods. △ Less

Submitted 19 December, 2021; originally announced December 2021.

On arithmetic properties of Cantor sets

Authors: Lu Cui, Minghui Ma

Abstract: Three types of Cantor sets are studied.For any integer $m\ge 4$, we show that every real number in $[0,k]$ is the sum of at most $k$ $m$-th powers of elements in the Cantor ternary set $C$ for some positive integer $k$, and the smallest such $k$ is $2^m$.Moreover, we generalize this result to middle-$\frac 1α$ Cantor set for $1<α<2+\sqrt{5}$ and $m$ sufficiently large.For the naturally embedded im… ▽ More Three types of Cantor sets are studied.For any integer $m\ge 4$, we show that every real number in $[0,k]$ is the sum of at most $k$ $m$-th powers of elements in the Cantor ternary set $C$ for some positive integer $k$, and the smallest such $k$ is $2^m$.Moreover, we generalize this result to middle-$\frac 1α$ Cantor set for $1<α<2+\sqrt{5}$ and $m$ sufficiently large.For the naturally embedded image $W$ of the Cantor dust $C\times C$ into the complex plane $\mathbb{C}$, we prove that for any integer $m\ge 3$, every element in the closed unit disk in $\mathbb C$ can be written as the sum of at most $2^{m+8}$ $m$-th powers of elements in $W$.At last, some similar results on $p$-adic Cantor sets are also obtained. △ Less

Submitted 9 November, 2021; originally announced November 2021.

MSC Class: 28A80; 11P05

On cleanness of von Neumann algebras

Authors: Lu Cui, Linzhe Huang, Wenming Wu, Wei Yuan, Hanbin Zhang

Abstract: A unital ring is called clean (resp. strongly clean) if every element can be written as the sum of an invertible element and an idempotent (resp. an invertible element and an idempotent that commutes). T.Y. Lam proposed a question: which von Neumann algebras are clean as rings? In this paper, we characterize strongly clean von Neumann algebras and prove that all finite von Neumann algebras and all… ▽ More A unital ring is called clean (resp. strongly clean) if every element can be written as the sum of an invertible element and an idempotent (resp. an invertible element and an idempotent that commutes). T.Y. Lam proposed a question: which von Neumann algebras are clean as rings? In this paper, we characterize strongly clean von Neumann algebras and prove that all finite von Neumann algebras and all separable infinite factors are clean. △ Less

Submitted 12 January, 2022; v1 submitted 9 April, 2021; originally announced April 2021.

Comments: 19 pages(A citation mistake is corrected)

MSC Class: 47C15(Primary) 16U99; 46L10; 47A65(Secondary)

Metacirculants and split weak metacirculants

Authors: Li Cui, Jin-Xin Zhou

Abstract: Metacirculants are a rich resource of many families of interesting graphs, and weak metacirculants are generalizations of them. A graph is called a {\em split weak metacirculant} if it has a vertex-transitive split metacyclic automorphism group. In two recent papers, it is shown that a graph of prime power order is a metacirculant if and only if it is a split weak metacirculant. Let $m$ is a posit… ▽ More Metacirculants are a rich resource of many families of interesting graphs, and weak metacirculants are generalizations of them. A graph is called a {\em split weak metacirculant} if it has a vertex-transitive split metacyclic automorphism group. In two recent papers, it is shown that a graph of prime power order is a metacirculant if and only if it is a split weak metacirculant. Let $m$ is a positive integer. In this paper, we first give a sufficient condition for the existence of split weak metacirculants of order $m$ which are not metacirculants. This is then used to give a sufficient and necessary condition for the existence of split weak metacirculants of order $n$ which are not metacirculants, where $n$ is a product of two prime-powers. As byproducts, we construct infinitely many split weak metacirculant graphs which are not metacirculant graphs, and answer an open question reported in the literature. △ Less

Submitted 2 October, 2018; v1 submitted 4 April, 2018; originally announced April 2018.

Comments: We find that there are some flaws in the proof of the main theorem. More precisely, the flaw is in the proof of the necessary condition for the existence of split weak metacirculants of order $n$ which are not metacirculants, where $n$ is a product of two prime-powers. We will try to find some new method to correct these flaws

Absolutely split metacyclic groups and weak metacirculants

Authors: Li Cui, Jin-Xin Zhou

Abstract: Let $m,n,r$ be positive integers, and let $G=\langle a\rangle: \langle b\rangle \cong \mathbb{Z}_n: \mathbb{Z}_m$ be a split metacyclic group such that $b^{-1}ab=a^r$. We say that $G$ is {\em absolutely split with respect to $\langle a\rangle$} provided that for any $x\in G$, if $\langle x\rangle\cap\langle a\rangle=1$, then there exists $y\in G$ such that $x\in\langle y\rangle$ and… ▽ More Let $m,n,r$ be positive integers, and let $G=\langle a\rangle: \langle b\rangle \cong \mathbb{Z}_n: \mathbb{Z}_m$ be a split metacyclic group such that $b^{-1}ab=a^r$. We say that $G$ is {\em absolutely split with respect to $\langle a\rangle$} provided that for any $x\in G$, if $\langle x\rangle\cap\langle a\rangle=1$, then there exists $y\in G$ such that $x\in\langle y\rangle$ and $G=\langle a\rangle: \langle y\rangle$. In this paper, we give a sufficient and necessary condition for the group $G$ being absolutely split. This generalizes a result of Sanming Zhou and the second author in [arXiv: 1611.06264v1]. We also use this result to investigate the relationship between metacirculants and weak metacirculants. Metacirculants were introduced by Alspach and Parsons in $1982$ and have been a rich source of various topics since then. As a generalization of this classes of graphs, Maru\v si\v c and \v Sparl in 2008 posed the so called weak metacirculants. A graph is called a {\em weak metacirculant} if it has a vertex-transitive metacyclic automorphism group. In this paper, it is proved that a weak metacirculant of $2$-power order is a metacirculant if and only if it has a vertex-transitive split metacyclic automorphism group. This provides a partial answer to an open question in the literature. △ Less

Submitted 26 January, 2018; originally announced January 2018.

Multivariate Lagrange Interpolation and an Application of Cayley-Bacharach Theorem For it

Authors: Xue-Zhang Liang, Jie-Lin Zhang, Ming Zhang, Li-Hong Cui

Abstract: In this paper,we deeply research Lagrange interpolation of n-variables and give an application of Cayley-Bacharach theorem for it. We pose the concept of sufficient intersection about s algebraic hypersurfaces in n-dimensional complex Euclidean space and discuss the Lagrange interpolation along the algebraic manifold of sufficient intersection. By means of some theorems (such as Bezout theorem,… ▽ More In this paper,we deeply research Lagrange interpolation of n-variables and give an application of Cayley-Bacharach theorem for it. We pose the concept of sufficient intersection about s algebraic hypersurfaces in n-dimensional complex Euclidean space and discuss the Lagrange interpolation along the algebraic manifold of sufficient intersection. By means of some theorems (such as Bezout theorem, Macaulay theorem and so on) we prove the dimension for the polynomial space P(n) m along the algebraic manifold S of sufficient intersection and give a convenient expression for dimension calculation by using the backward difference operator. According to Mysovskikh theorem, we give a proof of the existence and a characterizing condition of properly posed set of nodes of arbitrary degree for interpolation along an algebraic manifold of sufficient intersection. Further we point out that for s algebraic hypersurfaces of sufficient intersection, the set of polynomials must constitute the H-base of ideal. As a main result of this paper, we deduce a general method of constructing properly posed set of nodes for Lagrange interpolation along an algebraic manifold, namely the superposition interpolation process. At the end of the paper, we use the extended Cayley-Bacharach theorem to resolve some problems of Lagrange interpolation along the 0-dimensional and 1-dimensional algebraic manifold. Just the application of Cayley-Bacharach theorem constitutes the start point of constructing properly posed set of nodes along the high dimensional algebraic manifold by using the superposition interpolation process. △ Less

Submitted 12 August, 2006; v1 submitted 3 August, 2006; originally announced August 2006.

Comments: 21 pages, 3 figures

MSC Class: 41A05; 65D05