Showing 1–50 of 573 results for author: Wang, Q

Whittaker modules over the loop Virasoro algebra

Authors: Zhiqiang Li, Shaobin Tan, Qing Wang

Abstract: In this paper, we first study two classes of Whittaker modules over the loop Witt algebra ${\mathfrak g}:=\mathcal{W}\otimes\mathcal{A}$, where $\mathcal{W}=\text{Der}({\mathbb{C}}[t])$, $\mathcal{A}={\mathbb{C}}[t,t^{-1}]$. The necessary and sufficient conditions for these Whittaker modules being simple are determined. Furthermore, we study a family of Whittaker modules over the loop Virasoro alg… ▽ More In this paper, we first study two classes of Whittaker modules over the loop Witt algebra ${\mathfrak g}:=\mathcal{W}\otimes\mathcal{A}$, where $\mathcal{W}=\text{Der}({\mathbb{C}}[t])$, $\mathcal{A}={\mathbb{C}}[t,t^{-1}]$. The necessary and sufficient conditions for these Whittaker modules being simple are determined. Furthermore, we study a family of Whittaker modules over the loop Virasoro algebra $\mathfrak{L}:=Vir\otimes\mathcal{A}$, where $Vir$ is the Virasoro algebra. The irreducibility criterion for these Whittaker modules are obtained. As an application, we give the irreducibility criterion for universal Whittaker modules of the affine Lie algebra $\widehat{\mathfrak{sl}_{2}}$. △ Less

Submitted 29 September, 2025; originally announced September 2025.

Comments: 24 pages

Relative higher index theory on quotients of Roe algebras and positive scalar curvature at infinity

Authors: Liang Guo, Qin Wang, Chen Zhang

Abstract: In this paper, we employ quotients of Roe algebras as index containers for elliptic differential operators to study the existence problem of Riemannian metrics with positive scalar curvature on non-compact complete Riemannian manifolds. The non-vanishing of such an index locates the precise direction at infinity of the obstructions to positive scalar curvature, and may be viewed as a refinement of… ▽ More In this paper, we employ quotients of Roe algebras as index containers for elliptic differential operators to study the existence problem of Riemannian metrics with positive scalar curvature on non-compact complete Riemannian manifolds. The non-vanishing of such an index locates the precise direction at infinity of the obstructions to positive scalar curvature, and may be viewed as a refinement of the positive scalar curvature problem. To achieve this, we formulate the relative coarse Baum-Connes conjecture and the relative coarse Novikov conjecture, together with their maximal versions, for general metric spaces as a program to compute the $K$-theory of the quotients of the Roe algebras relative to specific ideals. We show that if the metric space admits a relative fibred coarse embedding into Hilbert space or an $\ell^p$-space, certain cases of these conjectures can be verified, which yield obstructions to the existence of uniformly positive scalar curvature metrics in specified directions at infinity. As an application, we prove that the maximal coarse Baum-Connes conjecture holds for finite products of certain expander graphs that fail to admit fibred coarse embeddings into Hilbert space. △ Less

Submitted 27 September, 2025; originally announced September 2025.

MSC Class: 19K56; 46L80

Skew Gradient Embedding for Thermodynamically Consistent Systems

Authors: Xuelong Gu, Qi Wang

Abstract: We propose a novel Skew Gradient Embedding (SGE) framework for systematically reformulating thermodynamically consistent partial differential equation (PDE) models-capturing both reversible and irreversible processes-as generalized gradient flows. These models include a wide spectrum of models in classical electrodynamics, fluid mechanics, quantum mechanics, rheology of complex fluids, solid mecha… ▽ More We propose a novel Skew Gradient Embedding (SGE) framework for systematically reformulating thermodynamically consistent partial differential equation (PDE) models-capturing both reversible and irreversible processes-as generalized gradient flows. These models include a wide spectrum of models in classical electrodynamics, fluid mechanics, quantum mechanics, rheology of complex fluids, solid mechanics, and statistical physics. Exploiting the intrinsic structure of generalized gradient flow models, especially, the skew symmetric component expressed by the exterior 2-form, we develop a unified stabilization strategy for constructing numerical schemes that either preserve the energy dissipation rate or ensure discrete energy stability. This stabilization strategy enables the design of both first- and second-order schemes, highlighting the flexibility and generality of the SGE approach in algorithm development. A key strength of SGE is its flexible treatment of skew-gradient (zero-energy-contribution) terms arising from reversible dynamics either implicitly or explicitly. While treated explicitly, it often leads to a natural decoupling of the governing equations in multiphysics systems, thereby improving computational efficiency without compromising stability or accuracy. Numerical experiments confirm the robustness, accuracy, and performance advantages of the proposed schemes. △ Less

Submitted 22 September, 2025; originally announced September 2025.

Global Bifurcations and Pattern Formation in Target-Offender-Guardian Crime Models

Authors: Madi Yerlanov, Qi Wang, Nancy Rodriguez

Abstract: We study a reaction-advection-diffusion model of a target-offender-guardian system designed to capture interactions between urban crime and policing. Using Crandall-Rabinowitz bifurcation theory and spectral analysis, we establish rigorous conditions for both steady-state and Hopf bifurcations. These results identify critical thresholds of policing intensity at which spatially uniform equilibria l… ▽ More We study a reaction-advection-diffusion model of a target-offender-guardian system designed to capture interactions between urban crime and policing. Using Crandall-Rabinowitz bifurcation theory and spectral analysis, we establish rigorous conditions for both steady-state and Hopf bifurcations. These results identify critical thresholds of policing intensity at which spatially uniform equilibria lose stability, leading either to persistent heterogeneous hotspots or oscillatory crime-policing cycles. From a criminological perspective, such thresholds represent tipping points in guardian mobility: once crossed, they can lock neighborhoods into stable clusters of criminal activity or trigger recurrent waves of hotspot formation. Numerical simulations complement the theory, exhibiting stationary patterns, periodic oscillations, and chaotic dynamics. By explicitly incorporating law enforcement as a third interacting component, our framework extends classical two-equation models. It offers new tools for analyzing nonlinear interactions, bifurcations, and pattern formation in multi-agent social systems. △ Less

Submitted 15 September, 2025; originally announced September 2025.

Comments: 22 figures, 33 pages

MSC Class: 35B36 (Primary); 70K50; 91D99 (Secondary)

On traveling wave solutions of water-wave equations in curved annular domains

Authors: Liang Li, Quan Wang

Abstract: This paper presents a pioneering investigation into the existence of traveling wave solutions for the two-dimensional Euler equations with constant vorticity in a curved annular domain, where gravity acts radially inward. This configuration is highly relevant to astrophysical and equatorial oceanic flows, such as those found in planetary rings and equatorial currents. Unlike traditional water wave… ▽ More This paper presents a pioneering investigation into the existence of traveling wave solutions for the two-dimensional Euler equations with constant vorticity in a curved annular domain, where gravity acts radially inward. This configuration is highly relevant to astrophysical and equatorial oceanic flows, such as those found in planetary rings and equatorial currents. Unlike traditional water wave models that assume flat beds and vertical gravity, our study more accurately captures the centripetal effects and boundary-driven vorticity inherent in these complex systems. Our main results establish both local and global bifurcation of traveling waves, marking a significant advancement in the field. First, through a local bifurcation analysis near a trivial solution, we identify a critical parameter \(α_c\) and prove the existence of a smooth branch of small-amplitude solutions. The bifurcation is shown to be pitchfork-type, with its direction (subcritical or supercritical) determined by the sign of an explicit parameter \(\mathcal{O}\). This finding provides a nuanced understanding of the wave behavior under varying conditions. Second, we obtain a global bifurcation result using a modified Leray-Schauder degree theory. This result demonstrates that the local branch extends to large-amplitude waves. This comprehensive analysis offers a holistic view of the traveling wave solutions in this complex domain. Finally, numerical examples illustrate the theoretical bifurcation types, confirming both supercritical and subcritical regimes. These examples highlight the practical applicability of our results. △ Less

Submitted 19 September, 2025; originally announced September 2025.

Information-Theoretic Lower Bounds for Approximating Monomials via Optimal Quantum Tsallis Entropy Estimation

Authors: Qisheng Wang

Abstract: This paper reveals a conceptually new connection from information theory to approximation theory via quantum algorithms for entropy estimation. Specifically, we provide an information-theoretic lower bound $Ω(\sqrt{n})$ on the approximate degree of the monomial $x^n$, compared to the analytic lower bounds shown in Newman and Rivlin (Aequ. Math. 1976) via Fourier analysis and in Sachdeva and Vishno… ▽ More This paper reveals a conceptually new connection from information theory to approximation theory via quantum algorithms for entropy estimation. Specifically, we provide an information-theoretic lower bound $Ω(\sqrt{n})$ on the approximate degree of the monomial $x^n$, compared to the analytic lower bounds shown in Newman and Rivlin (Aequ. Math. 1976) via Fourier analysis and in Sachdeva and Vishnoi (Found. Trends Theor. Comput. Sci. 2014) via the Markov brothers' inequality. This is done by relating the polynomial approximation of monomials to quantum Tsallis entropy estimation. This further implies a quantum algorithm that estimates to within additive error $\varepsilon$ the Tsallis entropy of integer order $q \geq 2$ of an unknown probability distribution $p$ or an unknown quantum state $ρ$, using $\widetilde Θ(\frac{1}{\sqrt{q}\varepsilon})$ queries to the quantum oracle that produces a sample from $p$ or prepares a copy of $ρ$, improving the prior best $O(\frac{1}{\varepsilon})$ via the Shift test due to Ekert, Alves, Oi, Horodecki, Horodecki and Kwek (Phys. Rev. Lett. 2002). To the best of our knowledge, this is the first quantum entropy estimator with optimal query complexity (up to polylogarithmic factors) for all parameters simultaneously. △ Less

Submitted 3 September, 2025; originally announced September 2025.

Comments: Submitted to CCC 2025. 36 pages, 1 figure, 1 algorithm

Accelerated Proximal Dogleg Majorization for Sparse Regularized Quadratic Optimization Problem

Authors: Feifei Zhao, Qingsong Wang, Mingcai Ding, Zheng Peng

Abstract: This paper addresses the problems of minimizing the sum of a quadratic function and a proximal-friendly nonconvex nonsmooth function. While the existing Proximal Dogleg Opportunistic Majorization (PDOM) algorithm for these problems offers computational efficiency by minimizing opportunistic majorization subproblems along mixed Newton directions and requiring only a single Hessian inversion, its co… ▽ More This paper addresses the problems of minimizing the sum of a quadratic function and a proximal-friendly nonconvex nonsmooth function. While the existing Proximal Dogleg Opportunistic Majorization (PDOM) algorithm for these problems offers computational efficiency by minimizing opportunistic majorization subproblems along mixed Newton directions and requiring only a single Hessian inversion, its convergence rate is limited due to the nonconvex nonsmooth regularization term, and its theoretical analysis is restricted to local convergence. To overcome these limitations, we firstly propose a novel algorithm named PDOM with extrapolation (PDOME). Its core innovations lie in two key aspects: (1) the integration of an extrapolation strategy into the construction of the hybrid Newton direction, and (2) the enhancement of the line search mechanism. Furthermore, we establish the global convergence of the entire sequence generated by PDOME to a critical point and derive its convergence rate under the Kurdyka-Lojasiewicz (KL) property. Numerical experiments demonstrate that PDOME achieves faster convergence and tends to converge to a better local optimum compared to the original PDOM. △ Less

Submitted 30 August, 2025; originally announced September 2025.

The Geometry of Gaussian Random Curves

Authors: Qingsong Wang, A. A. Dorogovtsev, K. V. Hlyniana, Naoufel Salhi

Abstract: In this paper, we investigate some geometric properties of non-smooth random curves within a stochastic flow. We consider a polygonal line $Γ(\vec{u}_{1},\cdots,\vec{u}_{n})$, which connects the points \(\vec{u}_{1},\cdots,\vec{u}_{n}\in{\mathbb{R}^{d}}\) and is inscribed in a Brownian trajectory. Subsequently, we estimate the probability that a polygonal line is almost inscribed in a Brownian tra… ▽ More In this paper, we investigate some geometric properties of non-smooth random curves within a stochastic flow. We consider a polygonal line $Γ(\vec{u}_{1},\cdots,\vec{u}_{n})$, which connects the points \(\vec{u}_{1},\cdots,\vec{u}_{n}\in{\mathbb{R}^{d}}\) and is inscribed in a Brownian trajectory. Subsequently, we estimate the probability that a polygonal line is almost inscribed in a Brownian trajectory. Next, we turn to the study of the self-intersection local time of Brownian motion and demonstrate the asymptotic result of its conditional expectation as the size of the polygonal line increases. Finally, taking such a Brownian trajectory as the initial curve, we let it evolve according to the solution of the equation with interaction. Then, we prove that its visitation density exhibits an intermittency phenomenon. △ Less

Submitted 22 August, 2025; originally announced August 2025.

UGM2N: An Unsupervised and Generalizable Mesh Movement Network via M-Uniform Loss

Authors: Zhichao Wang, Xinhai Chen, Qinglin Wang, Xiang Gao, Qingyang Zhang, Menghan Jia, Xiang Zhang, Jie Liu

Abstract: Partial differential equations (PDEs) form the mathematical foundation for modeling physical systems in science and engineering, where numerical solutions demand rigorous accuracy-efficiency tradeoffs. Mesh movement techniques address this challenge by dynamically relocating mesh nodes to rapidly-varying regions, enhancing both simulation accuracy and computational efficiency. However, traditional… ▽ More Partial differential equations (PDEs) form the mathematical foundation for modeling physical systems in science and engineering, where numerical solutions demand rigorous accuracy-efficiency tradeoffs. Mesh movement techniques address this challenge by dynamically relocating mesh nodes to rapidly-varying regions, enhancing both simulation accuracy and computational efficiency. However, traditional approaches suffer from high computational complexity and geometric inflexibility, limiting their applicability, and existing supervised learning-based approaches face challenges in zero-shot generalization across diverse PDEs and mesh topologies.In this paper, we present an Unsupervised and Generalizable Mesh Movement Network (UGM2N). We first introduce unsupervised mesh adaptation through localized geometric feature learning, eliminating the dependency on pre-adapted meshes. We then develop a physics-constrained loss function, M-Uniform loss, that enforces mesh equidistribution at the nodal level.Experimental results demonstrate that the proposed network exhibits equation-agnostic generalization and geometric independence in efficient mesh adaptation. It demonstrates consistent superiority over existing methods, including robust performance across diverse PDEs and mesh geometries, scalability to multi-scale resolutions and guaranteed error reduction without mesh tangling. △ Less

Submitted 11 August, 2025; originally announced August 2025.

Stability and bifurcation of Navier-Stokes equations in an annular domain with mixed boundary conditions

Authors: Zhibo Hou, Liang Li, Quan Wang

Abstract: We study the existence and stability of non-trivial steady-state solutions to the two-dimensional incompressible Navier-Stokes equations in an annular domain $Ω= B(0,b) \setminus \overline{B(0,a)}$ with radii $b>a>0$.The outer boundary $\partial B(0, b)$ is subject to the free condition, while the inner boundary $\partial B(0, a)$ obeys a Navier-slip condition with effective slip length $α> 0$. Ou… ▽ More We study the existence and stability of non-trivial steady-state solutions to the two-dimensional incompressible Navier-Stokes equations in an annular domain $Ω= B(0,b) \setminus \overline{B(0,a)}$ with radii $b>a>0$.The outer boundary $\partial B(0, b)$ is subject to the free condition, while the inner boundary $\partial B(0, a)$ obeys a Navier-slip condition with effective slip length $α> 0$. Our main results are fourfold. First, we establish global-in-time strong solutions and derive a sharp energy estimate that underpins the subsequent nonlinear instability analysis. Second, for $α> 0$, we compute an explicit critical viscosity $μ_c:=μ_c(α, a,b,μ)$ that separates qualitatively different dynamical behaviours. Third, we precisely characterize the stability properties of the trivial solution in three distinct regimes. The zero solution is globally asymptotically stable in $H^2$ if $μ> μ_c$. If $μ= μ_c$, we prove an alternative theorem that completely describes the local dynamics near the trivial state. If $μ< μ_c$, the trivial solution is nonlinearly unstable in every $L^p (p \geq 1)$.Finally, we demonstrate that for $μ< μ_c$, the system undergoes a pitchfork bifurcation that generates an infinite family of non-trivial steady states. For generic choices of $(α,b)$, this bifurcation is supercritical; a measurable subset of parameter space yields subcritical transitions. Notably, all bifurcating solutions share the same topological pattern-a single row of counter-rotating vortices-despite their mathematical non-uniqueness. △ Less

Submitted 11 August, 2025; originally announced August 2025.

Onsager Principle-Based Domain Embedding for Thermodynamically Consistent Cahn-Hilliard Model in Arbitrary Domain

Authors: Wenkai Yu, Qi Wang, Zhen Zhang, Tiezheng Qian

Abstract: The original Cahn-Hilliard model in an arbitrary domain with two prescribed boundary conditions is extended to a Cahn-Hilliard-type model in a larger, regular domain with homogeneous Neumann boundary conditions. The extension is based on the Onsager principle-based domain embedding (OPBDE) method, which has been developed as a systematic domain embedding framework to ensure thermodynamic consisten… ▽ More The original Cahn-Hilliard model in an arbitrary domain with two prescribed boundary conditions is extended to a Cahn-Hilliard-type model in a larger, regular domain with homogeneous Neumann boundary conditions. The extension is based on the Onsager principle-based domain embedding (OPBDE) method, which has been developed as a systematic domain embedding framework to ensure thermodynamic consistency. By introducing a modified conservation law, the flux at the boundary of the original domain is incorporated into the conservation law as a source term. Our variational approach demonstrates that, even without a prior knowledge on the specific form of the rate of free energy pumped into the system, the Onsager principle remains an effective instrument in deriving the constitutive equation of the extended system. This approach clarifies the intrinsic structure of the extended model in the perspectives of free energy and its dissipation. Asymptotic analysis is carried out for the extended OPBDE Cahn-Hilliard model, demonstrating that the original Cahn-Hilliard model, including its boundary conditions, can be fully recovered. To validate our approach, a structure-preserving numerical scheme is developed to discretize the extended model. Numerical results show that the OPBDE Cahn-Hilliard model is accurate, effective, and robust, highlighting the capability of the OPBDE method in handling gradient flow problems in arbitrary domain geometries. △ Less

Submitted 9 August, 2025; originally announced August 2025.

Energy-Stable Swarm-Based Inertial Algorithms for Optimization

Authors: Xuelong Gu, Qi Wang

Abstract: We formulate the swarming optimization problem as a weakly coupled, dissipative dynamical system governed by a controlled energy dissipation rate and initial velocities that adhere to the nonequilibrium Onsager principle. In this framework, agents' inertia, positions, and masses are dynamically coupled. To numerically solve the system, we develop a class of efficient, energy-stable algorithms that… ▽ More We formulate the swarming optimization problem as a weakly coupled, dissipative dynamical system governed by a controlled energy dissipation rate and initial velocities that adhere to the nonequilibrium Onsager principle. In this framework, agents' inertia, positions, and masses are dynamically coupled. To numerically solve the system, we develop a class of efficient, energy-stable algorithms that either preserve or enhance energy dissipation at the discrete level. At equilibrium, the system tends to converge toward one of the lowest local minima explored by the agents, thereby improving the likelihood of identifying the global minimum. Numerical experiments confirm the effectiveness of the proposed approach, demonstrating significant advantages over traditional swarm-based gradient descent methods, especially when operating with a limited number of agents. △ Less

Submitted 14 July, 2025; originally announced July 2025.

Energy Dissipation Rate Guided Adaptive Sampling for Physics-Informed Neural Networks: Resolving Surface-Bulk Dynamics in Allen-Cahn Systems

Authors: Chunyan Li, Wenkai Yu, Qi Wang

Abstract: We introduce the Energy Dissipation Rate guided Adaptive Sampling (EDRAS) strategy, a novel method that substantially enhances the performance of Physics-Informed Neural Networks (PINNs) in solving thermodynamically consistent partial differential equations (PDEs) over arbitrary domains. EDRAS leverages the local energy dissipation rate density as a guiding metric to identify and adaptively re-sam… ▽ More We introduce the Energy Dissipation Rate guided Adaptive Sampling (EDRAS) strategy, a novel method that substantially enhances the performance of Physics-Informed Neural Networks (PINNs) in solving thermodynamically consistent partial differential equations (PDEs) over arbitrary domains. EDRAS leverages the local energy dissipation rate density as a guiding metric to identify and adaptively re-sample critical collocation points from both the interior and boundary of the computational domain. This dynamical sampling approach improves the accuracy of residual-based PINNs by aligning the training process with the underlying physical structure of the system. In this study, we demonstrate the effectiveness of EDRAS using the Allen-Cahn phase field model in irregular geometries, achieving up to a sixfold reduction in the relative mean square error compared to traditional residual-based adaptive refinement (RAR) methods. Moreover, we compare EDRAS with other residual-based adaptive sampling approaches and show that EDRAS is not only computationally more efficient but also more likely to identify high-impact collocation points. Through numerical solutions of the Allen-Cahn equation with both static (Neumann) and dynamic boundary conditions in 2D disk- and ellipse-shaped domains solved using PINN coupled with EDRAS, we gain significant insights into how dynamic boundary conditions influence bulk phase evolution and thermodynamic behavior. The proposed approach offers an effective, physically informed enhancement to PINN frameworks for solving thermodynamically consistent models, making PINN a robust and versatile computational tool for investigating complex thermodynamic processes in arbitrary geometries. △ Less

Submitted 13 July, 2025; originally announced July 2025.

Comments: 32 pages, 22 figures

MSC Class: 35K57; 68T07

Robust Vehicle Rebalancing with Deep Uncertainty in Autonomous Mobility-on-Demand Systems

Authors: Xinling Li, Xiaotong Guo, Qingyi Wang, Gioele Zardini, Jinhua Zhao

Abstract: Autonomous Mobility-on-Demand (AMoD) services offer an opportunity for improving passenger service while reducing pollution and energy consumption through effective vehicle coordination. A primary challenge in the autonomous fleets coordination is to tackle the inherent issue of supply-demand imbalance. A key strategy in resolving this is vehicle rebalancing, strategically directing idle vehicles… ▽ More Autonomous Mobility-on-Demand (AMoD) services offer an opportunity for improving passenger service while reducing pollution and energy consumption through effective vehicle coordination. A primary challenge in the autonomous fleets coordination is to tackle the inherent issue of supply-demand imbalance. A key strategy in resolving this is vehicle rebalancing, strategically directing idle vehicles to areas with anticipated future demand. Traditional research focuses on deterministic optimization using specific demand forecasts, but the unpredictable nature of demand calls for methods that can manage this uncertainty. This paper introduces the Deep Uncertainty Robust Optimization (DURO), a framework specifically designed for vehicle rebalancing in AMoD systems amidst uncertain demand based on neural networks for robust optimization. DURO forecasts demand uncertainty intervals using a deep neural network, which are then integrated into a robust optimization model. We assess DURO against various established models, including deterministic optimization with refined demand forecasts and Distributionally Robust Optimization (DRO). Based on real-world data from New York City (NYC), our findings show that DURO surpasses traditional deterministic models in accuracy and is on par with DRO, but with superior computational efficiency. The DURO framework is a promising approach for vehicle rebalancing in AMoD systems that is proven to be effective in managing demand uncertainty, competitive in performance, and more computationally efficient than other optimization models. △ Less

Submitted 6 July, 2025; originally announced July 2025.

StructMG: A Fast and Scalable Structured Algebraic Multigrid

Authors: Yi Zong, Peinan Yu, Haopeng Huang, Zhengding Hu, Xinliang Wang, Qin Wang, Chensong Zhang, Xiaowen Xu, Jian Sun, Yongxiao Zhou, Wei Xue

Abstract: Parallel multigrid is widely used as preconditioners in solving large-scale sparse linear systems. However, the current multigrid library still needs more satisfactory performance for structured grid problems regarding speed and scalability. Based on the classical 'multigrid seesaw', we derive three necessary principles for an efficient structured multigrid, which instructs our design and implemen… ▽ More Parallel multigrid is widely used as preconditioners in solving large-scale sparse linear systems. However, the current multigrid library still needs more satisfactory performance for structured grid problems regarding speed and scalability. Based on the classical 'multigrid seesaw', we derive three necessary principles for an efficient structured multigrid, which instructs our design and implementation of StructMG, a fast and scalable algebraic multigrid that constructs hierarchical grids automatically. As a preconditioner, StructMG can achieve both low cost per iteration and good convergence when solving large-scale linear systems with iterative methods in parallel. A stencil-based triple-matrix product via symbolic derivation and code generation is proposed for multi-dimensional Galerkin coarsening to reduce grid complexity, operator complexity, and implementation effort. A unified parallel framework of sparse triangular solver is presented to achieve fast convergence and high parallel efficiency for smoothers, including dependence-preserving Gauss-Seidel and incomplete LU methods. Idealized and real-world problems from radiation hydrodynamics, petroleum reservoir simulation, numerical weather prediction, and solid mechanics, are evaluated on ARM and X86 platforms to show StructMG's effectiveness. In comparison to \textit{hypre}'s structured and general multigrid preconditioners, StructMG achieves the fastest time-to-solutions in all cases with average speedups of 15.5x, 5.5x, 6.7x, 7.3x over SMG, PFMG, SysPFMG, and BoomerAMG, respectively. StructMG also significantly improves strong and weak scaling efficiencies. △ Less

Submitted 27 June, 2025; originally announced June 2025.

Asymptotic expansion for groupoids and Roe type algebras

Authors: Xulong Lu, Qin Wang, Jiawen Zhang

Abstract: In this paper, we introduce a notion of expansion for groupoids, which recovers the classical notion of expander graphs by a family of pair groupoids and expanding actions in measure by transformation groupoids. We also consider an asymptotic version for expansion and establish structural theorems, showing that asymptotic expansion can be approximated by domains of expansions. On the other hand, w… ▽ More In this paper, we introduce a notion of expansion for groupoids, which recovers the classical notion of expander graphs by a family of pair groupoids and expanding actions in measure by transformation groupoids. We also consider an asymptotic version for expansion and establish structural theorems, showing that asymptotic expansion can be approximated by domains of expansions. On the other hand, we introduce dynamical propagation and quasi-locality for operators on groupoids and the associated Roe type algebras. Our main results characterise when these algebras possess block-rank-one projections by means of asymptotic expansion, which generalises the crucial ingredients in previous works to provide counterexamples to the coarse Baum-Connes conjecture. △ Less

Submitted 20 June, 2025; originally announced June 2025.

DR-SAC: Distributionally Robust Soft Actor-Critic for Reinforcement Learning under Uncertainty

Authors: Mingxuan Cui, Duo Zhou, Yuxuan Han, Grani A. Hanasusanto, Qiong Wang, Huan Zhang, Zhengyuan Zhou

Abstract: Deep reinforcement learning (RL) has achieved significant success, yet its application in real-world scenarios is often hindered by a lack of robustness to environmental uncertainties. To solve this challenge, some robust RL algorithms have been proposed, but most are limited to tabular settings. In this work, we propose Distributionally Robust Soft Actor-Critic (DR-SAC), a novel algorithm designe… ▽ More Deep reinforcement learning (RL) has achieved significant success, yet its application in real-world scenarios is often hindered by a lack of robustness to environmental uncertainties. To solve this challenge, some robust RL algorithms have been proposed, but most are limited to tabular settings. In this work, we propose Distributionally Robust Soft Actor-Critic (DR-SAC), a novel algorithm designed to enhance the robustness of the state-of-the-art Soft Actor-Critic (SAC) algorithm. DR-SAC aims to maximize the expected value with entropy against the worst possible transition model lying in an uncertainty set. A distributionally robust version of the soft policy iteration is derived with a convergence guarantee. For settings where nominal distributions are unknown, such as offline RL, a generative modeling approach is proposed to estimate the required nominal distributions from data. Furthermore, experimental results on a range of continuous control benchmark tasks demonstrate our algorithm achieves up to $9.8$ times the average reward of the SAC baseline under common perturbations. Additionally, compared with existing robust reinforcement learning algorithms, DR-SAC significantly improves computing efficiency and applicability to large-scale problems. △ Less

Submitted 14 June, 2025; originally announced June 2025.

Comments: 24 Pages

On the cross-correlation properties of large-size families of Costas arrays

Authors: Runfeng Liu, Qi Wang

Abstract: Costas arrays have been an interesting combinatorial object for decades because of their optimal aperiodic auto-correlation properties. Meanwhile, it is interesting to find families of Costas arrays or extended arrays with small maximal cross-correlation values, since for applications in multi-user systems, the cross-interferences between different signals should also be small. The objective of th… ▽ More Costas arrays have been an interesting combinatorial object for decades because of their optimal aperiodic auto-correlation properties. Meanwhile, it is interesting to find families of Costas arrays or extended arrays with small maximal cross-correlation values, since for applications in multi-user systems, the cross-interferences between different signals should also be small. The objective of this paper is to study several large-size families of Costas arrays or extended arrays, and their values of maximal cross-correlation are partially bounded for some cases of horizontal shifts $u$ and vertical shifts $v$. Given a prime $p \geq 5$, in particular, a large-size family of Costas arrays over $\{1, \ldots, p-1\}$ is investigated, including both the exponential Welch Costas arrays and logarithmic Welch Costas arrays. An upper bound on the maximal cross-correlation of this family for arbitrary $u$ and $v$ is given. We also show that the maximal cross-correlation of the family of power permutations over $\{1, \ldots, p-1\}$ for $u = 0$ and $v \neq 0$ is bounded by $\frac{1}{2}+\sqrt{p-1}$. Furthermore, we give the first nontrivial upper bound of $(p-1)/t$ on the maximal cross-correlation of the larger family including both exponential Welch Costas arrays and power permutations over $\{1, \ldots, p-1\}$ for arbitrary $u$ and $v=0$, where $t$ is the smallest prime divisor of $(p-1)/2$. △ Less

Submitted 14 June, 2025; originally announced June 2025.

Sobolev regularity for the $\bar{\partial}$--Neumann operator and transverse vector fields

Authors: Qianyun Wang, Yuan Yuan, Xu Zhang

Abstract: On a smooth, bounded, pseudoconvex domain in $\mathbb{C}^n$ with $n >2$, inspired by the compactness conditions introduced by Yue Zhang, we present new sufficient conditions for the exact regularity of the $\overline{\partial}$--Neumann operator. On a smooth, bounded, pseudoconvex domain in $\mathbb{C}^n$ with $n >2$, inspired by the compactness conditions introduced by Yue Zhang, we present new sufficient conditions for the exact regularity of the $\overline{\partial}$--Neumann operator. △ Less

Submitted 12 June, 2025; originally announced June 2025.

Large Deviations for Sequential Tests of Statistical Sequence Matching

Authors: Lin Zhou, Qianyun Wang, Yun Wei, Jingjing Wang

Abstract: We revisit the problem of statistical sequence matching initiated by Unnikrishnan (TIT 2015) and derive theoretical performance guarantees for sequential tests that have bounded expected stopping times. Specifically, in this problem, one is given two databases of sequences and the task is to identify all matched pairs of sequences. In each database, each sequence is generated i.i.d. from a distinc… ▽ More We revisit the problem of statistical sequence matching initiated by Unnikrishnan (TIT 2015) and derive theoretical performance guarantees for sequential tests that have bounded expected stopping times. Specifically, in this problem, one is given two databases of sequences and the task is to identify all matched pairs of sequences. In each database, each sequence is generated i.i.d. from a distinct distribution and a pair of sequences is said matched if they are generated from the same distribution. The generating distribution of each sequence is \emph{unknown}. We first consider the case where the number of matches is known and derive the exact exponential decay rate of the mismatch (error) probability, a.k.a. the mismatch exponent, under each hypothesis for optimal sequential tests. Our results reveal the benefit of sequentiality by showing that optimal sequential tests have larger mismatch exponent than fixed-length tests by Zhou \emph{et al.} (TIT 2024). Subsequently, we generalize our achievability result to the case of unknown number of matches. In this case, two additional error probabilities arise: false alarm and false reject probabilities. We propose a corresponding sequential test, show that the test has bounded expected stopping time under certain conditions, and characterize the tradeoff among the exponential decay rates of three error probabilities. Furthermore, we reveal the benefit of sequentiality over the two-step fixed-length test by Zhou \emph{et al.} (TIT 2024) and propose an one-step fixed-length test that has no worse performance than the fixed-length test by Zhou \emph{et al.} (TIT 2024). When specialized to the case where either database contains a single sequence, our results specialize to large deviations of sequential tests for statistical classification, the binary case of which was recently studied by Hsu, Li and Wang (ITW 2022). △ Less

Submitted 4 June, 2025; originally announced June 2025.

Holes in Latent Space: Topological Signatures Under Adversarial Influence

Authors: Aideen Fay, Inés García-Redondo, Qiquan Wang, Haim Dubossarsky, Anthea Monod

Abstract: Understanding how adversarial conditions affect language models requires techniques that capture both global structure and local detail within high-dimensional activation spaces. We propose persistent homology (PH), a tool from topological data analysis, to systematically characterize multiscale latent space dynamics in LLMs under two distinct attack modes -- backdoor fine-tuning and indirect prom… ▽ More Understanding how adversarial conditions affect language models requires techniques that capture both global structure and local detail within high-dimensional activation spaces. We propose persistent homology (PH), a tool from topological data analysis, to systematically characterize multiscale latent space dynamics in LLMs under two distinct attack modes -- backdoor fine-tuning and indirect prompt injection. By analyzing six state-of-the-art LLMs, we show that adversarial conditions consistently compress latent topologies, reducing structural diversity at smaller scales while amplifying dominant features at coarser ones. These topological signatures are statistically robust across layers, architectures, model sizes, and align with the emergence of adversarial effects deeper in the network. To capture finer-grained mechanisms underlying these shifts, we introduce a neuron-level PH framework that quantifies how information flows and transforms within and across layers. Together, our findings demonstrate that PH offers a principled and unifying approach to interpreting representational dynamics in LLMs, particularly under distributional shift. △ Less

Submitted 26 May, 2025; originally announced May 2025.

Machine learning-based parameter optimization for Müntz spectral methods

Authors: Wei Zeng, Chuanju Xu, Yiming Lu, Qian Wang

Abstract: Spectral methods employing non-standard polynomial bases, such as Müntz polynomials, have proven effective for accurately solving problems with solutions exhibiting low regularity, notably including sub-diffusion equations. However, due to the absence of theoretical guidance, the key parameters controlling the exponents of Müntz polynomials are usually determined empirically through extensive nume… ▽ More Spectral methods employing non-standard polynomial bases, such as Müntz polynomials, have proven effective for accurately solving problems with solutions exhibiting low regularity, notably including sub-diffusion equations. However, due to the absence of theoretical guidance, the key parameters controlling the exponents of Müntz polynomials are usually determined empirically through extensive numerical experiments, leading to a time-consuming tuning process. To address this issue, we propose a novel machine learning-based optimization framework for the Müntz spectral method. As an illustrative example, we optimize the parameter selection for solving time-fractional partial differential equations (PDEs). Specifically, an artificial neural network (ANN) is employed to predict optimal parameter values based solely on the time-fractional order as input. The ANN is trained by minimizing solution errors on a one-dimensional time-fractional convection-diffusion equation featuring manufactured exact solutions that manifest singularities of varying intensity, covering a comprehensive range of sampled fractional orders. Numerical results for time-fractional PDEs in both one and two dimensions demonstrate that the ANN-based parameter prediction significantly improves the accuracy of the Müntz spectral method. Moreover, the trained ANN generalizes effectively from one-dimensional to two-dimensional cases, highlighting its robustness across spatial dimensions. Additionally, we verify that the ANN substantially outperforms traditional function approximators, such as spline interpolation, in both prediction accuracy and training efficiency. The proposed optimization framework can be extended beyond fractional PDEs, offering a versatile and powerful approach for spectral methods applied to various low-regularity problems. △ Less

Submitted 21 May, 2025; originally announced May 2025.

The Restricted Three-Body Problem as a Perturbed Duffing Equation

Authors: Rongchang Liu, Qiudong Wang

Abstract: This paper investigates the restricted circular planar three-body problem. We prove that for every negative Jacobi constant of sufficiently large magnitude, the surface of unperturbed parabolic solutions breaks to induce homoclinic tangle for all but at most finitely many mass ratios of primaries. This result is not covered by \cite{G} as the required large magnitude of the Jacobi constant is unif… ▽ More This paper investigates the restricted circular planar three-body problem. We prove that for every negative Jacobi constant of sufficiently large magnitude, the surface of unperturbed parabolic solutions breaks to induce homoclinic tangle for all but at most finitely many mass ratios of primaries. This result is not covered by \cite{G} as the required large magnitude of the Jacobi constant is uniform across the mass ratios. Our approach consists of three main ingredients. First, by introducing new coordinate transformations, we reformulate the restricted three-body problem as a perturbed Duffing equation. Second, we adopt the method recently introduced in \cite{CW} to derive integral equations for the primary stable and unstable solutions. This enables us to effectively capture the order of the singularities involved and to further establish the existence and analytic dependence of the invariant manifolds on the mass ratio of the primaries and the Jacobi constant. Third, in evaluating the Poincaré-Melnikov integral, we take advantage of the explicit homoclinic solution of the unperturbed Duffing equation. Compared to existing works, our proof is significantly simpler and more direct. Moreover, the paper is self-contained: we do not rely on McGehee's analysis in \cite{Mc} to justify the applicability of the Poincaré-Melnikov method. △ Less

Submitted 11 May, 2025; originally announced May 2025.

Comments: 35 pages

Coarse Geometry of Free Products of Metric Spaces

Authors: Qin Wang, Jvbin Yao

Abstract: Recently, a notion of the free product $X \ast Y$ of two metric spaces $X$ and $Y$ has been introduced by T. Fukaya and T. Matsuka. In this paper, we study coarse geometric permanence properties of the free product $X \ast Y$. We show that if $X$ and $Y$ satisfy any of the following conditions, then $X \ast Y$ also satisfies that condition: (1) they are coarsely embeddable into a Hilbert space or… ▽ More Recently, a notion of the free product $X \ast Y$ of two metric spaces $X$ and $Y$ has been introduced by T. Fukaya and T. Matsuka. In this paper, we study coarse geometric permanence properties of the free product $X \ast Y$. We show that if $X$ and $Y$ satisfy any of the following conditions, then $X \ast Y$ also satisfies that condition: (1) they are coarsely embeddable into a Hilbert space or a uniformly convex Banach space; (2) they have Yu's Property A; (3) they are hyperbolic spaces. These generalize the corresponding results for discrete groups to the case of metric spaces. △ Less

Submitted 17 May, 2025; v1 submitted 7 May, 2025; originally announced May 2025.

Geometric Banach property (T) for metric spaces via Banach representations of Roe algebras

Authors: Liang Guo, Qin Wang

Abstract: In this paper, we introduce a notion of geometric Banach property (T) for metric spaces, which jointly generalizes Banach property (T) for groups and geometric property (T) for metric spaces. Our framework is achieved by Banach representations of Roe algebras of metric spaces. We show that geometric Banach property (T) is a coarse geometric invariant, and it is equivalent to the existence of the K… ▽ More In this paper, we introduce a notion of geometric Banach property (T) for metric spaces, which jointly generalizes Banach property (T) for groups and geometric property (T) for metric spaces. Our framework is achieved by Banach representations of Roe algebras of metric spaces. We show that geometric Banach property (T) is a coarse geometric invariant, and it is equivalent to the existence of the Kazhdan projections in the Banach-Roe algebras. Further, we study the implications of this property for sequences of finite Cayley graphs, establishing two key results: 1. geometric Banach property (T) of such sequences implies Banach property (T) for their limit groups; 2. while the Banach coarse fixed point property implies geometric Banach property (T), the converse fails. Additionally, we provide a geometric characterization of V. Lafforgue's strong Banach property (T) for a residually finite group in terms of geometric Banach property (T) of its box spaces. △ Less

Submitted 3 June, 2025; v1 submitted 4 May, 2025; originally announced May 2025.

MSC Class: 47L10; 51F30; 22D55

Computer-assisted construction of $SU(2)$-invariant negative Einstein metrics

Authors: Qiu Shi Wang

Abstract: We construct a 2-parameter family of new triaxial $SU(2)$-invariant complete negative Einstein metrics on the complex line bundle $\mathcal{O}(-4)$ over $\mathbb{C}P^1$. The metrics are conformally compact and generically neither Kähler nor self-dual. The proof involves using rigorous numerics to produce an approximate Einstein metric to high precision in a bounded region containing the singular o… ▽ More We construct a 2-parameter family of new triaxial $SU(2)$-invariant complete negative Einstein metrics on the complex line bundle $\mathcal{O}(-4)$ over $\mathbb{C}P^1$. The metrics are conformally compact and generically neither Kähler nor self-dual. The proof involves using rigorous numerics to produce an approximate Einstein metric to high precision in a bounded region containing the singular orbit or "bolt", which is then perturbed to a genuine Einstein metric using fixed-point methods. At the boundary of this region, the latter metric is sufficiently close to hyperbolic space for us to show that it indeed extends to a complete, asymptotically hyperbolic Einstein metric. △ Less

Submitted 30 April, 2025; originally announced April 2025.

Comments: 34 pages

MSC Class: 53C25; 65D15

Disjoint Ces$\grave{a}$ro-hypercyclic operators

Authors: Qing Wang, Yonglu Shu

Abstract: In this paper, we investigate the properties of disjoint Ces$\grave{a}$ro-hypercyclic operators. First, the definition of disjoint Ces$\grave{a}$ro-hypercyclic operators is provided, and disjoint Ces$\grave{a}$ro-Hypercyclicity Criterion is proposed. Later, two methods are used to prove that operators satisfying this criterion possess disjoint Ces$\grave{a}$ro-hypercyclicity. Finally, this paper f… ▽ More In this paper, we investigate the properties of disjoint Ces$\grave{a}$ro-hypercyclic operators. First, the definition of disjoint Ces$\grave{a}$ro-hypercyclic operators is provided, and disjoint Ces$\grave{a}$ro-Hypercyclicity Criterion is proposed. Later, two methods are used to prove that operators satisfying this criterion possess disjoint Ces$\grave{a}$ro-hypercyclicity. Finally, this paper further investigates weighted shift operators and provides detailed characterizations of the weight sequences for disjoint Ces$\grave{a}$ro-hypercyclic unilateral and bilateral weighted shift operators on sequence spaces. △ Less

Submitted 28 May, 2025; v1 submitted 16 April, 2025; originally announced April 2025.

Comments: revise example space(example 1.1, 1.2, 1.3), definition 3.4 adds a condition that the sequence $(n_k)$ is increasing, theorem 4.1(complex scalar field)

Counting irreducible representations of general linear groups and unitary groups

Authors: Qiutong Wang

Abstract: Let $G$ be a general linear group over $\BR$, $\BC$, or $\BH$, or a real unitary group. In this paper, we precisely describe the number of isomorphism classes of irreducible Casselman-Wallach representations of $G$ with a given infinitesimal character and a given associated variety, expressed in terms of certain combinatorial data called painted Young diagrams and assigned Young diagrams. Let $G$ be a general linear group over $\BR$, $\BC$, or $\BH$, or a real unitary group. In this paper, we precisely describe the number of isomorphism classes of irreducible Casselman-Wallach representations of $G$ with a given infinitesimal character and a given associated variety, expressed in terms of certain combinatorial data called painted Young diagrams and assigned Young diagrams. △ Less

Submitted 15 May, 2025; v1 submitted 15 April, 2025; originally announced April 2025.

Large-time behavior of solutions to the Boussinesq equations with partial dissipation and influence of rotation

Authors: Song Jiang, Quan Wang

Abstract: This paper investigates the stability and large-time behavior of solutions to the rotating Boussinesq system under the influence of a general gravitational potential $Ψ$, which is widely used to model the dynamics of stratified geophysical fluids on the $f-$plane. Our main results are threefold: First, by imposing physically realistic boundary conditions and viscosity constraints, we prove that th… ▽ More This paper investigates the stability and large-time behavior of solutions to the rotating Boussinesq system under the influence of a general gravitational potential $Ψ$, which is widely used to model the dynamics of stratified geophysical fluids on the $f-$plane. Our main results are threefold: First, by imposing physically realistic boundary conditions and viscosity constraints, we prove that the solutions of the system smust necessarily take the following steady-state form $(ρ,u,v,w,p)=(ρ_s,0,v_s,0, p_s)$. These solutions are characterized by both geostrophic balance, given by $fv_s-\frac{\partial p_s}{\partial x}=ρ_s\frac{\partial Ψ}{\partial x}$ and hydrostatic balance, expressed as $-\frac{\partial p_s}{\partial z}=ρ_s\frac{\partial Ψ}{\partial z}$. Second, we establish that any steady-state solution satisfying the conditions $\nabla ρ_s=δ(x,z)\nabla Ψ$ with $v_s(x,z)=a_0x+a_1$ is linearly unstable when the conditions $δ(x,z)|_{(x_0,z_0)}>0$ and $(f+α_0)\leq 0$ are simultaneously satisfied. This instability under the condition $δ(x,z)|_{(x_0,z_0)}>0$ corresponds to the well-known Rayleigh-Taylor instability. Third, although the inherent Rayleigh-Taylor instability could potentially amplify the velocity around unstable steady-state solutions (heavier density over lighter one), we rigorously demonstrate that for any sufficiently smooth initial data, the solutions of the system asymptotically converge to a neighborhood of a steady-state solution in which both the zonal and vertical velocity components vanish. Finally, under a moderate additional assumption, we demonstrate that the system converges to a specific steady-state solution. In this state, the density profile is given by $ρ=-γΨ+β$, where $γ$ and $β$ are positive constants, and the meridional velocity $v$ depends solely and linearly on $x$ variable. △ Less

Submitted 14 April, 2025; originally announced April 2025.

Confidence Bands for Multiparameter Persistence Landscapes

Authors: Inés García-Redondo, Anthea Monod, Qiquan Wang

Abstract: Multiparameter persistent homology is a generalization of classical persistent homology, a central and widely-used methodology from topological data analysis, which takes into account density estimation and is an effective tool for data analysis in the presence of noise. Similar to its classical single-parameter counterpart, however, it is challenging to compute and use in practice due to its comp… ▽ More Multiparameter persistent homology is a generalization of classical persistent homology, a central and widely-used methodology from topological data analysis, which takes into account density estimation and is an effective tool for data analysis in the presence of noise. Similar to its classical single-parameter counterpart, however, it is challenging to compute and use in practice due to its complex algebraic construction. In this paper, we study a popular and tractable invariant for multiparameter persistent homology in a statistical setting: the multiparameter persistence landscape. We derive a functional central limit theorem for multiparameter persistence landscapes, from which we compute confidence bands, giving rise to one of the first statistical inference methodologies for multiparameter persistence landscapes. We provide an implementation of confidence bands and demonstrate their application in a machine learning task on synthetic data. △ Less

Submitted 1 April, 2025; originally announced April 2025.

Comments: 11 pages, 1 figure

Efficient QR-Based CP Decomposition Acceleration via Dimension Tree and Extrapolation

Authors: Wenchao Xie, Jiawei Xu, Zheng Peng, Qingsong Wang

Abstract: The canonical polyadic (CP) decomposition is one of the most widely used tensor decomposition techniques. The conventional CP decomposition algorithm combines alternating least squares (ALS) with the normal equation. However, the normal equation is susceptible to numerical ill-conditioning, which can adversely affect the decomposition results. To mitigate this issue, ALS combined with QR decomposi… ▽ More The canonical polyadic (CP) decomposition is one of the most widely used tensor decomposition techniques. The conventional CP decomposition algorithm combines alternating least squares (ALS) with the normal equation. However, the normal equation is susceptible to numerical ill-conditioning, which can adversely affect the decomposition results. To mitigate this issue, ALS combined with QR decomposition has been proposed as a more numerically stable alternative. Although this method enhances stability, its iterative process involves tensor-times-matrix (TTM) operations, which typically result in higher computational costs. To reduce this cost, we propose branch reutilization of dimension tree, which increases the reuse of intermediate tensors and reduces the number of TTM operations. This strategy achieves a $33\%$ reduction in computational complexity for third and fourth order tensors. Additionally, we introduce a specialized extrapolation method in CP-ALS-QR algorithm, leveraging the unique structure of the matrix $\mathbf{Q}_0$ to further enhance convergence. By integrating both techniques, we develop a novel CP decomposition algorithm that significantly improves efficiency. Numerical experiments on five real-world datasets show that our proposed algorithm reduces iteration costs and enhances fitting accuracy compared to the CP-ALS-QR algorithm. △ Less

Submitted 24 March, 2025; originally announced March 2025.

Linear hypermaps--modelling linear hypergraphs on surfaces

Authors: Kai Yuan, Qi Wang, Rongquan Feng, Yan Wang

Abstract: A hypergraph is linear if each pair of distinct vertices appears in at most one common edge. We say $\varGamma=(V,E)$ is an associated graph of a linear hypergraph $\mathcal{H}=(V, X)$ if for any $x\in X$, the induced subgraph $\varGamma[x]$ is a cycle, and for any $e\in E$, there exists a unique edge $y\in X$ such that $e\subseteq y$. A linear hypermap $\mathcal{M}$ is a $2$-cell embedding of a c… ▽ More A hypergraph is linear if each pair of distinct vertices appears in at most one common edge. We say $\varGamma=(V,E)$ is an associated graph of a linear hypergraph $\mathcal{H}=(V, X)$ if for any $x\in X$, the induced subgraph $\varGamma[x]$ is a cycle, and for any $e\in E$, there exists a unique edge $y\in X$ such that $e\subseteq y$. A linear hypermap $\mathcal{M}$ is a $2$-cell embedding of a connected linear hypergraph $\mathcal{H}$'s associated graph $\varGamma$ on a compact connected surface, such that for any edge $x\in E(\mathcal{H})$, $\varGamma[x]$ is the boundary of a $2$-cell and for any $e\in E(\varGamma)$, $e$ is incident with two distinct $2$-cells. In this paper, we introduce linear hypermaps to model linear hypergraphs on surfaces and regular linear hypermaps modelling configurations on the surfaces. As an application, we classify regular linear hypermaps on the sphere and determine the total number of proper regular linear hypermaps of genus 2 to 101. △ Less

Submitted 24 March, 2025; originally announced March 2025.

An Efficient Alternating Algorithm for ReLU-based Symmetric Matrix Decomposition

Authors: Qingsong Wang

Abstract: Symmetric matrix decomposition is an active research area in machine learning. This paper focuses on exploiting the low-rank structure of non-negative and sparse symmetric matrices via the rectified linear unit (ReLU) activation function. We propose the ReLU-based nonlinear symmetric matrix decomposition (ReLU-NSMD) model, introduce an accelerated alternating partial Bregman (AAPB) method for its… ▽ More Symmetric matrix decomposition is an active research area in machine learning. This paper focuses on exploiting the low-rank structure of non-negative and sparse symmetric matrices via the rectified linear unit (ReLU) activation function. We propose the ReLU-based nonlinear symmetric matrix decomposition (ReLU-NSMD) model, introduce an accelerated alternating partial Bregman (AAPB) method for its solution, and present the algorithm's convergence results. Our algorithm leverages the Bregman proximal gradient framework to overcome the challenge of estimating the global $L$-smooth constant in the classic proximal gradient algorithm. Numerical experiments on synthetic and real datasets validate the effectiveness of our model and algorithm. △ Less

Submitted 27 April, 2025; v1 submitted 21 March, 2025; originally announced March 2025.

Comments: 7 pages, 2 figures. The paper is under consideration at Pattern Recognition Letters

Pre-Lie 2-bialgebras and 2-grade classical Yang-Baxter equations

Authors: Jiefeng Liu, Tongtong Yue, Qi Wang

Abstract: We introduce a notion of a para-Kähler strict Lie 2-algebra, which can be viewed as a categorification of a para-Kähler Lie algebra. In order to study para-Kähler strict Lie 2-algebra in terms of strict pre-Lie 2-algebras, we introduce the Manin triples, matched pairs and bialgebra theory for strict pre-Lie 2-algebras and the equivalent relationships between them are also established. By means of… ▽ More We introduce a notion of a para-Kähler strict Lie 2-algebra, which can be viewed as a categorification of a para-Kähler Lie algebra. In order to study para-Kähler strict Lie 2-algebra in terms of strict pre-Lie 2-algebras, we introduce the Manin triples, matched pairs and bialgebra theory for strict pre-Lie 2-algebras and the equivalent relationships between them are also established. By means of the cohomology theory of Lie 2-algebras, we study the coboundary strict pre-Lie 2-algebras and introduce 2-graded classical Yang-Baxter equations in strict pre-Lie 2-algebras. The solutions of the 2-graded classical Yang-Baxter equations are useful to construct strict pre-Lie 2-algebras and para-Kähler strict Lie 2-algebras. In particular, there is a natural construction of strict pre-Lie 2-bialgebras from the strict pre-Lie 2-algebras. △ Less

Submitted 18 March, 2025; originally announced March 2025.

Comments: 33 pages

MSC Class: 17D25; 17B38; 18A05

A linear HDG scheme for the diffusion type Peterlin viscoelastic problem

Authors: Sibang Gou, Jingyan Hu, Qi Wang, Feifei Jing, Guanyu Zhou

Abstract: A linear semi-implicit hybridizable discontinuous Galerkin (HDG) scheme is proposed to solve the diffusive Peterlin viscoelastic model, allowing the diffusion coefficient $\ep$ of the conformation tensor to be arbitrarily small. We investigate the well-posedness, stability, and error estimates of the scheme. In particular, we demonstrate that the $L^2$-norm error of the conformation tensor is inde… ▽ More A linear semi-implicit hybridizable discontinuous Galerkin (HDG) scheme is proposed to solve the diffusive Peterlin viscoelastic model, allowing the diffusion coefficient $\ep$ of the conformation tensor to be arbitrarily small. We investigate the well-posedness, stability, and error estimates of the scheme. In particular, we demonstrate that the $L^2$-norm error of the conformation tensor is independent of the reciprocal of $\ep$. Numerical experiments are conducted to validate the theoretical convergence rates. Our numerical examples show that the HDG scheme performs better in preserving the positive definiteness of the conformation tensor compared to the ordinary finite element method (FEM). △ Less

Submitted 11 March, 2025; originally announced March 2025.

On the Stability and Instability of Non-Homogeneous Fluid in a Bounded Domain Under the Influence of a General Potential

Authors: Liang Li, Tao Tan, Quan Wang

Abstract: We investigate the instability and stability of specific steady-state solutions of the two-dimensional non-homogeneous, incompressible, and viscous Navier-Stokes equations under the influence of a general potential $f$. This potential is commonly used to model fluid motions in celestial bodies. First, we demonstrate that the system admits only steady-state solutions of the form… ▽ More We investigate the instability and stability of specific steady-state solutions of the two-dimensional non-homogeneous, incompressible, and viscous Navier-Stokes equations under the influence of a general potential $f$. This potential is commonly used to model fluid motions in celestial bodies. First, we demonstrate that the system admits only steady-state solutions of the form $\left(ρ,\mathbf{V},p\right)=\left(ρ_{0},\mathbf{0},P_{0}\right)$, where $P_0$ and $ρ_0$ satisfy the hydrostatic balance condition $\nabla P_{0}=-ρ_{0}\nabla f$. Additionally, the relationship between $ρ_0$ and the potential function $f$ is constrained by the condition $\left(\partial_{y}ρ_{0}, \partial_{x}ρ_{0}\right)\cdot\left(\partial_{x}f,\partial_{y}f\right)=0$, which allows us to express $\nablaρ_{0}$ as $h\left(x,y\right)\nabla f$. Second, when there exists a point $\left(x_{0},y_{0}\right)$ such that $h\left(x_{0},y_{0}\right)>0$, we establish the linear instability of these solutions. Furthermore, we demonstrate their nonlinear instability in both the Lipschitz and Hadamard senses through detailed nonlinear energy estimates. This instability aligns with the well-known Rayleigh-Taylor instability. Our study signficantly extends and generalizes the existing mathematical results, which have predominantly focused on the scenarios involving a uniform gravitational field characterized by $\nabla f=(0,g)$. Finally, we show that these steady states are linearly stable provided that $h\left(x,y\right)<0$ holds throughout the domain. Moreover, they exhibit nonlinear stability when $h\left(x,y\right)$ is a negative constant. △ Less

Submitted 10 March, 2025; originally announced March 2025.

Finiteness of non-degenerate central configurations of the planar $n$-body problem with a homogeneous potential

Authors: Julius Natrup, Qun Wang, Yuchen Wang

Abstract: We show that there exist an upper bound and a lower bound for the number of non-degenerate central configurations of the n-body problem in the plane with a homogeneous potential. In particular, both bounds are independent of the homogeneous degree of the potential under consideration. We show that there exist an upper bound and a lower bound for the number of non-degenerate central configurations of the n-body problem in the plane with a homogeneous potential. In particular, both bounds are independent of the homogeneous degree of the potential under consideration. △ Less

Submitted 27 February, 2025; originally announced February 2025.

MSC Class: 70F10; 70G5F; 37N05; 37N10

On the global stability and large time behavior of solutions of the Boussinesq equations

Authors: Song Jiang, Quan Wang

Abstract: We study the two-dimensional viscous Boussinesq equations, which model the motion of stratified flows in a circular domain influenced by a general gravitational potential $f$. First, we demonstrate that the Boussinesq equations admit steady-state solutions only in the form of hydrostatic equilibria, given by $(\mathbf{u},ρ,p)=(0,ρ_s,p_s)$, where the pressure gradient satisfies… ▽ More We study the two-dimensional viscous Boussinesq equations, which model the motion of stratified flows in a circular domain influenced by a general gravitational potential $f$. First, we demonstrate that the Boussinesq equations admit steady-state solutions only in the form of hydrostatic equilibria, given by $(\mathbf{u},ρ,p)=(0,ρ_s,p_s)$, where the pressure gradient satisfies $\nabla p_s=-ρ_s\nabla f$. Subsequently, we establish that any hydrostatic equilibrium satisfying the condition $\nabla ρ_s=δ(x,y)\nabla f$ is linearly unstable if $δ(x,y)$ is positive at some point $(x,y)=(x_0,y_0)$, This instability corresponds to the well-known Rayleigh-Taylor instability. Thirdly, by employing a series of regularity estimates, we reveal that although the presence of the Rayleigh-Taylor instability increases the velocity, the system ultimately converges to a state of hydrostatic equilibrium. This result is achieved by analyzing perturbations around any state of hydrostatic equilibrium, including both stable and unstable configurations. Specifically, the state of hydrostatic equilibrium can be expressed as $ρ=-γf+β$,where $γ$ and $β$ are positive constants, provided that the global perturbation satisfies additional conditions. This highlights the system's tendency to stabilize into a hydrostatic state despite the presence of instabilities. △ Less

Submitted 22 February, 2025; originally announced February 2025.

Solutions for a critical elliptic system with periodic boundary condition

Authors: Qingfang Wang, Wenju Wu, Mingxue Zhai

Abstract: In this paper, we consider the following nonlinear critical Schrödinger system: \begin{eqnarray*}\begin{cases} -Δu=K_1(y)u^{2^*-1}+\frac{1}{2} u^{\frac{2^*}{2}-1}v^\frac{2^*}{2}, \,\,\,\,\,y\inΩ,\,\,\,\,\,u>0,\cr -Δv=K_2(y)v^{2^*-1}+\frac{1}{2} v^{\frac{2^*}{2}-1}u^\frac{2^*}{2}, \,\,\,\,\,y\inΩ,\,\,\,\,\,v>0,\cr u(y'+Le_j,y'')=u(y), \,\,\,\,\,\frac{\partial u(y'+Le_j,y'')}{\partial y_j}=\frac{\pa… ▽ More In this paper, we consider the following nonlinear critical Schrödinger system: \begin{eqnarray*}\begin{cases} -Δu=K_1(y)u^{2^*-1}+\frac{1}{2} u^{\frac{2^*}{2}-1}v^\frac{2^*}{2}, \,\,\,\,\,y\inΩ,\,\,\,\,\,u>0,\cr -Δv=K_2(y)v^{2^*-1}+\frac{1}{2} v^{\frac{2^*}{2}-1}u^\frac{2^*}{2}, \,\,\,\,\,y\inΩ,\,\,\,\,\,v>0,\cr u(y'+Le_j,y'')=u(y), \,\,\,\,\,\frac{\partial u(y'+Le_j,y'')}{\partial y_j}=\frac{\partial u(y)}{\partial y_j}, \,\,\,\,\,if\,\, y'=-\frac{L}{2}e_j,\,\,\,j=1, \ldots, k,\cr v(y'+Le_j,y'')=v(y), \,\,\,\,\,\frac{\partial v(y'+Le_j,y'')}{\partial y_j}=\frac{\partial v(y)}{\partial y_j}, \,\,\,\,\,if\,\, y'=-\frac{L}{2}e_j,\,\,\,j=1, \ldots, k,\cr u,v \to 0 \,\,as \,\,|y''|\to \infty, \end{cases} \end{eqnarray*} where $K_1(y),\,K_2(y)$ satisfy some periodic conditions and $Ω$ is a strip. Under some conditions which are weaker than Li, Wei and Xu(J. Reine Angew. Math. 743: 163-211, 2018), we prove that there exists a single bubbling solution for the above system. Moreover, as the appearance of the coupling terms, we construct different forms of solutions, which makes it more interesting. Since there are periodic boundary conditions, this expansion for the difference between the standard bubbles and the approximate bubble can not be obtained by using the comparison theorem as one usually does for Dirichlet boundary condition. To overcome this difficulty, we will use the Green's function of $-Δ$ in $Ω$ with periodic boundary conditions which helps us find the approximate bubble. Due to the lack of the Sobolev inequality, we will introduce a suitable weighted space to carry out the reduction. △ Less

Submitted 16 February, 2025; originally announced February 2025.

Ideal approximation theory in Frobenius categories

Authors: Dandan Sun, Zhongsheng Tan, Qikai Wang, Haiyan Zhu

Abstract: Let $\mathcal{A}$ be a Frobenius category and $ω$ the full subcategory consisting of projective objects. The relations between special precovering (resp., precovering) ideals in $\mathcal{A}$ and special precovering (resp., preenveloping) ideals in the stable category $\mathcal{A}/ω$ are explored. In combination with a result due to Breaz and Modoi, we conclude that every precovering or preenvelop… ▽ More Let $\mathcal{A}$ be a Frobenius category and $ω$ the full subcategory consisting of projective objects. The relations between special precovering (resp., precovering) ideals in $\mathcal{A}$ and special precovering (resp., preenveloping) ideals in the stable category $\mathcal{A}/ω$ are explored. In combination with a result due to Breaz and Modoi, we conclude that every precovering or preenveloping ideal $\mathcal{I}$ in $\mathcal{A}$ with $1_{X}\in{\mathcal{I}}$ for any $X\inω$ is special. As a consequence, it is proved that an ideal cotorsion pair $(\mathcal{I},\mathcal{J})$ in $\mathcal{A}$ is complete if and only if $\mathcal{I}$ is precovering if and only if $\mathcal{J}$ is preenveloping. This leads to an ideal version of the Bongartz-Eklof-Trlifaj Lemma in $\mathcal{A}/ω$, which states that an ideal cotorsion pair in $\mathcal{A}/ω$ generated by a set of morphisms is complete. As another consequence, we provide some partial answers to the question about the completeness of cotorsion pairs posed by Fu, Guil Asensio, Herzog and Torrecillas. △ Less

Submitted 16 February, 2025; originally announced February 2025.

MSC Class: 18G10; 18G25; 16D90

Testing degree heterogeneity in directed networks

Authors: Lu Pan, Qiuping Wang, Ting Yan

Abstract: We are concerned with the likelihood ratio tests in the $p_0$ model for testing degree heterogeneity in directed networks. It is an exponential family distribution on directed graphs with the out-degree sequence and the in-degree sequence as naturally sufficient statistics. For two growing dimensional null hypotheses: a specified null $H_{0}: θ_{i}=θ_{i}^{0}$ for $i=1,\ldots,r$ and a homogenous nu… ▽ More We are concerned with the likelihood ratio tests in the $p_0$ model for testing degree heterogeneity in directed networks. It is an exponential family distribution on directed graphs with the out-degree sequence and the in-degree sequence as naturally sufficient statistics. For two growing dimensional null hypotheses: a specified null $H_{0}: θ_{i}=θ_{i}^{0}$ for $i=1,\ldots,r$ and a homogenous null $H_{0}: θ_{1}=\cdots=θ_{r}$, we reveal high dimensional Wilks' phenomena that the normalized log-likelihood ratio statistic, $[2\{\ell(\widehat{\bsθ})-\ell(\widehat{\bsθ}^{0})\}-r]/(2r)^{1/2}$, converges in distribution to a standard normal distribution as $r\rightarrow \infty$. Here, $\ell( \bsθ)$ is the log-likelihood function, $\widehat{\bsθ}$ is the unrestricted maximum likelihood estimator (MLE) of $\bsθ$, and $\widehat{\bsθ}^0$ is the restricted MLE for $\bsθ$ under the null $H_{0}$. For the homogenous null $H_0: θ_1=\cdots=θ_r$ with a fixed $r$, we establish the Wilks-type theorem that $2\{\ell(\widehat{\bsθ}) - \ell(\widehat{\bsθ}^0)\}$ converges in distribution to a chi-square distribution with $r-1$ degrees of freedom as $n\rightarrow \infty$, not depending on the nuisance parameters. These results extend a recent work by \cite{yan2023likelihood} to directed graphs. Simulation studies and real data analyses illustrate the theoretical results. △ Less

Submitted 13 February, 2025; originally announced February 2025.

Comments: 30 pages, 2 figures. arXiv admin note: substantial text overlap with arXiv:2211.10055; text overlap with arXiv:2311.05806

On uniqueness of functions in the extended Selberg class with moving targets

Authors: Jun Wang, Qiongyan Wang, Xiao Yao

Abstract: We study the question of when two functions L_1,L_2 in the extended Selberg class are identical in terms of the zeros of L_i-h(i=1,2). Here, the meromorphic function h is called moving target. With the assumption on the growth order of h, we prove that L_1\equiv L_2 if L_1-h and L_2-h have the same zeros counting multiplicities. Moreover, we also construct some examples to show that the assumption… ▽ More We study the question of when two functions L_1,L_2 in the extended Selberg class are identical in terms of the zeros of L_i-h(i=1,2). Here, the meromorphic function h is called moving target. With the assumption on the growth order of h, we prove that L_1\equiv L_2 if L_1-h and L_2-h have the same zeros counting multiplicities. Moreover, we also construct some examples to show that the assumption is necessary. Compared with the known methods in the literature of this area, we developed a new strategy which is based on the transcendental directions first proposed in the study of distribution of Julia set in complex dynamical system. This may be of independent interest. △ Less

Submitted 13 February, 2025; originally announced February 2025.

Comments: 14pages

MSC Class: 11M36; 30D20

An Improved Optimal Proximal Gradient Algorithm for Non-Blind Image Deblurring

Authors: Qingsong Wang, Shengze Xu, Xiaojiao Tong, Tieyong Zeng

Abstract: Image deblurring remains a central research area within image processing, critical for its role in enhancing image quality and facilitating clearer visual representations across diverse applications. This paper tackles the optimization problem of image deblurring, assuming a known blurring kernel. We introduce an improved optimal proximal gradient algorithm (IOptISTA), which builds upon the optima… ▽ More Image deblurring remains a central research area within image processing, critical for its role in enhancing image quality and facilitating clearer visual representations across diverse applications. This paper tackles the optimization problem of image deblurring, assuming a known blurring kernel. We introduce an improved optimal proximal gradient algorithm (IOptISTA), which builds upon the optimal gradient method and a weighting matrix, to efficiently address the non-blind image deblurring problem. Based on two regularization cases, namely the $l_1$ norm and total variation norm, we perform numerical experiments to assess the performance of our proposed algorithm. The results indicate that our algorithm yields enhanced PSNR and SSIM values, as well as a reduced tolerance, compared to existing methods. △ Less

Submitted 11 February, 2025; originally announced February 2025.

On the dynamical Rayleigh-Taylor instability of non-homogeneous fluid in annular region with Naiver-slip boundary

Authors: Liang Li, Quan Wang

Abstract: This paper investigates the well-posedness and Rayleigh-Taylor (R-T) instability for a system of two-dimensional nonhomogeneous incompressible fluid, subject to the non-slip and Naiver-slip boundary conditions at the outer and inner boundaries, respectively, in an annular region. In order to effectively utilize the domain shape, we analyze this system in polar coordinates. First, for the well-pose… ▽ More This paper investigates the well-posedness and Rayleigh-Taylor (R-T) instability for a system of two-dimensional nonhomogeneous incompressible fluid, subject to the non-slip and Naiver-slip boundary conditions at the outer and inner boundaries, respectively, in an annular region. In order to effectively utilize the domain shape, we analyze this system in polar coordinates. First, for the well-posedness to this system, based on the spectral properties of Stokes operator, Sobolev embedding inequalities and Stokes' estimate in the context of the specified boundary conditions, etc, we obtain the local existence of weak and strong solutions using semi-Galerkin method and prior estimates. Second, for the density profile with the property that it is increasing along radial radius in certain region, we demonstrate that it is linear instability (R-T instability) through Fourier series and the settlement of a family of modified variational problems. Furthermore, based on the existence of the linear solutions exhibiting exponential growth over time, we confirm the nonlinear instability of this steady state in both Lipschitz and Hadamard senses by nonlinear energy estimates. △ Less

Submitted 8 February, 2025; originally announced February 2025.

Several generalized Bohr-type inequalities with two parameters

Authors: Wanqing Hou, Qihan Wang, Boyong Long

Abstract: In this paper, several Bohr-type inequalities are generalized to the form with two parameters for the bounded analytic function. Most of the results are sharp. In this paper, several Bohr-type inequalities are generalized to the form with two parameters for the bounded analytic function. Most of the results are sharp. △ Less

Submitted 4 February, 2025; originally announced February 2025.

MSC Class: 30A10; 30B10

Some Bohr-type inequalities with two parameters for bounded analytic functions

Authors: Jianying Zhou, Qihan Wang, Boyong Long

Abstract: In this article, some Bohr inequalities for analytical functions on the unit disk are generalized to the forms with two parameters. One of our results is sharp. In this article, some Bohr inequalities for analytical functions on the unit disk are generalized to the forms with two parameters. One of our results is sharp. △ Less

Submitted 10 August, 2025; v1 submitted 4 February, 2025; originally announced February 2025.

MSC Class: 30A10; 30B10

MultiPDENet: PDE-embedded Learning with Multi-time-stepping for Accelerated Flow Simulation

Authors: Qi Wang, Yuan Mi, Haoyun Wang, Yi Zhang, Ruizhi Chengze, Hongsheng Liu, Ji-Rong Wen, Hao Sun

Abstract: Solving partial differential equations (PDEs) by numerical methods meet computational cost challenge for getting the accurate solution since fine grids and small time steps are required. Machine learning can accelerate this process, but struggle with weak generalizability, interpretability, and data dependency, as well as suffer in long-term prediction. To this end, we propose a PDE-embedded netwo… ▽ More Solving partial differential equations (PDEs) by numerical methods meet computational cost challenge for getting the accurate solution since fine grids and small time steps are required. Machine learning can accelerate this process, but struggle with weak generalizability, interpretability, and data dependency, as well as suffer in long-term prediction. To this end, we propose a PDE-embedded network with multiscale time stepping (MultiPDENet), which fuses the scheme of numerical methods and machine learning, for accelerated simulation of flows. In particular, we design a convolutional filter based on the structure of finite difference stencils with a small number of parameters to optimize, which estimates the equivalent form of spatial derivative on a coarse grid to minimize the equation's residual. A Physics Block with a 4th-order Runge-Kutta integrator at the fine time scale is established that embeds the structure of PDEs to guide the prediction. To alleviate the curse of temporal error accumulation in long-term prediction, we introduce a multiscale time integration approach, where a neural network is used to correct the prediction error at a coarse time scale. Experiments across various PDE systems, including the Navier-Stokes equations, demonstrate that MultiPDENet can accurately predict long-term spatiotemporal dynamics, even given small and incomplete training data, e.g., spatiotemporally down-sampled datasets. MultiPDENet achieves the state-of-the-art performance compared with other neural baseline models, also with clear speedup compared to classical numerical methods. △ Less

Submitted 27 January, 2025; originally announced January 2025.

Complexity and Algorithm for the Matching vertex-cutset Problem

Authors: Hengzhe Li, Qiong Wang, Jianbing Liu, Yanhong Gao

Abstract: In 1985, Chvátal introduced the concept of star cutsets as a means to investigate the properties of perfect graphs, which inspired many researchers to study cutsets with some specific structures, for example, star cutsets, clique cutsets, stable cutsets. In recent years, approximation algorithms have developed rapidly, the computational complexity associated with determining the minimum vertex cut… ▽ More In 1985, Chvátal introduced the concept of star cutsets as a means to investigate the properties of perfect graphs, which inspired many researchers to study cutsets with some specific structures, for example, star cutsets, clique cutsets, stable cutsets. In recent years, approximation algorithms have developed rapidly, the computational complexity associated with determining the minimum vertex cut possessing a particular structural property have attracted considerable academic attention. In this paper, we demonstrate that determining whether there is a matching vertex-cutset in $H$ with size at most $k$, is $\mathbf{NP}$-complete, where $k$ is a given positive integer and $H$ is a connected graph. Furthermore, we demonstrate that for a connected graph $H$, there exists a $2$-approximation algorithm in $O(nm^2)$ for us to find a minimum matching vertex-cutset. Finally, we show that every plane graph $H$ satisfying $H\not\in\{K_2, K_4\}$ contains a matching vertex-cutset with size at most three, and this bound is tight. △ Less

Submitted 22 January, 2025; originally announced January 2025.

Permutation polynomials, projective polynomials, and bijections between $μ_{\frac{q^n-1}{q-1}}$ and $PG(n-1,q)$

Authors: Tong Lin, Qiang Wang

Abstract: Using arbitrary bases for the finite field $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}$, we obtain the generalized Möbius transformations (GMTs), which are a class of bijections between the projective geometry $PG(n-1,q)$ and the set of roots of unity $μ_{\frac{q^n-1}{q-1}}\subseteq\mathbb{F}_{q^n}$, where $n\geq 2$ is any integer. We also introduce a class of projective polynomials, using the propert… ▽ More Using arbitrary bases for the finite field $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}$, we obtain the generalized Möbius transformations (GMTs), which are a class of bijections between the projective geometry $PG(n-1,q)$ and the set of roots of unity $μ_{\frac{q^n-1}{q-1}}\subseteq\mathbb{F}_{q^n}$, where $n\geq 2$ is any integer. We also introduce a class of projective polynomials, using the properties of which we determine the inverses of the GMTs. Moreover, we study the roots of those projective polynomials, which lead to a three-way correspondence between partitions of $\mathbb{F}_{q^n}^\ast,μ_{\frac{q^n-1}{q-1}}$ and $PG(n-1,q)$. Through this correspondence and the GMTs, we construct permutation polynomials of index $\frac{q^n-1}{q-1}$ over $\mathbb{F}_{q^n}$. △ Less

Submitted 30 May, 2025; v1 submitted 20 January, 2025; originally announced January 2025.

MSC Class: 11T06

Proximal Quasi-Newton Method for Composite Optimization over the Stiefel Manifold

Authors: Qinsi Wang, Wei Hong Yang

Abstract: In this paper, we consider the composite optimization problems over the Stiefel manifold. A successful method to solve this class of problems is the proximal gradient method proposed by Chen et al. Motivated by the proximal Newton-type techniques in the Euclidean space, we present a Riemannian proximal quasi-Newton method, named ManPQN, to solve the composite optimization problems. The global conv… ▽ More In this paper, we consider the composite optimization problems over the Stiefel manifold. A successful method to solve this class of problems is the proximal gradient method proposed by Chen et al. Motivated by the proximal Newton-type techniques in the Euclidean space, we present a Riemannian proximal quasi-Newton method, named ManPQN, to solve the composite optimization problems. The global convergence of the ManPQN method is proved and iteration complexity for obtaining an $ε$-stationary point is analyzed. Under some mild conditions, we also establish the local linear convergence result of the ManPQN method. Numerical results are encouraging, which shows that the proximal quasi-Newton technique can be used to accelerate the proximal gradient method. △ Less

Submitted 16 January, 2025; originally announced January 2025.

Comments: 37 pages, 12 figures

MSC Class: 90C53