-
Energy-Aware Model Predictive Control for Batch Manufacturing System Scheduling Under Different Electricity Pricing Strategies
Authors:
Hongliang Li,
Herschel C. Pangborn,
Ilya Kovalenko
Abstract:
Manufacturing industries are among the highest energy-consuming sectors, facing increasing pressure to reduce energy costs. This paper presents an energy-aware Model Predictive Control (MPC) framework to dynamically schedule manufacturing processes in response to time-varying electricity prices without compromising production goals or violating production constraints. A network-based manufacturing…
▽ More
Manufacturing industries are among the highest energy-consuming sectors, facing increasing pressure to reduce energy costs. This paper presents an energy-aware Model Predictive Control (MPC) framework to dynamically schedule manufacturing processes in response to time-varying electricity prices without compromising production goals or violating production constraints. A network-based manufacturing system model is developed to capture complex material flows, batch processing, and capacities of buffers and machines. The scheduling problem is formulated as a Mixed-Integer Quadratic Program (MIQP) that balances energy costs, buffer levels, and production requirements. A case study evaluates the proposed MPC framework under four industrial electricity pricing schemes. Numerical results demonstrate that the approach reduces energy usage expenses while satisfying production goals and adhering to production constraints. The findings highlight the importance of considering the detailed electricity cost structure in manufacturing scheduling decisions and provide practical insights for manufacturers when selecting among different electricity pricing strategies.
△ Less
Submitted 28 June, 2025;
originally announced June 2025.
-
Robust and Flexible Microtransit Design: Chance-Constrained Dial-a-Ride Problem with Soft Time Windows
Authors:
Hongli Li,
Zengxiang Lei,
Xinwu Qian,
Satish V. Ukkusuri
Abstract:
Microtransit offers a promising blend of rideshare flexibility and public transit efficiency. In practice, it faces unanticipated but spatially aligned requests, passengers seeking to join ongoing schedules, leading to underutilized capacity and degraded service if not properly managed. At the same time, it must accommodate diverse passenger needs, from routine errands to time-sensitive trips such…
▽ More
Microtransit offers a promising blend of rideshare flexibility and public transit efficiency. In practice, it faces unanticipated but spatially aligned requests, passengers seeking to join ongoing schedules, leading to underutilized capacity and degraded service if not properly managed. At the same time, it must accommodate diverse passenger needs, from routine errands to time-sensitive trips such as medical appointments. To meet these expectations, incorporating time flexibility is essential. However, existing models seldom consider both spontaneous and heterogeneous demand, limiting their real-world applicability. We propose a robust and flexible microtransit framework that integrates time flexibility and demand uncertainty via a Chance-Constrained Dial-A-Ride Problem with Soft Time Windows (CCDARP-STW). Demand uncertainty is captured through nonlinear chance constraints with controllable violation probabilities, while time flexibility is modeled with soft time windows and penalized cost. We develop a bounded-support relaxation using limited statistical information to linearize the chance constraints and solve the model using a tailored Branch-and-Cut-and-Price (BCP) algorithm with a probabilistic dominance rule. This rule improves computational efficiency, reducing explored labels by 17.40% and CPU time by 22.27% in robust cases. A case study based on real-world Chicago data shows our framework yields 11.55 minutes and 11.13 miles of savings versus conventional microtransit, and achieves the highest service reliability (96.46%) among robust models.
△ Less
Submitted 25 June, 2025;
originally announced June 2025.
-
Fast convergence of a primal-dual dynamical system with implicit Hessian damping and Tikhonov regularization
Authors:
Hong-lu Li,
Xin He,
Yi-bin Xiao
Abstract:
This paper proposes two primal-dual dynamical systems for solving linear equality constrained convex optimization problems: one with implicit Hessian damping only, and the other further incorporating Tikhonov regularization. We analyze the fast convergence properties of both dynamical systems and show that they achieve the same convergence rates. Moreover, we show that the trajectory generated by…
▽ More
This paper proposes two primal-dual dynamical systems for solving linear equality constrained convex optimization problems: one with implicit Hessian damping only, and the other further incorporating Tikhonov regularization. We analyze the fast convergence properties of both dynamical systems and show that they achieve the same convergence rates. Moreover, we show that the trajectory generated by the dynamical system with Tikhonov regularization converges strongly to the minimum-norm solution of the underlying problem. Finally, numerical experiments are conducted to validate the theoretical findings. Interestingly, the trajectories exhibit smooth behavior even when the objective function is only continuously differentiable.
△ Less
Submitted 26 June, 2025; v1 submitted 24 June, 2025;
originally announced June 2025.
-
Causal Sufficiency and Necessity Improves Chain-of-Thought Reasoning
Authors:
Xiangning Yu,
Zhuohan Wang,
Linyi Yang,
Haoxuan Li,
Anjie Liu,
Xiao Xue,
Jun Wang,
Mengyue Yang
Abstract:
Chain-of-Thought (CoT) prompting plays an indispensable role in endowing large language models (LLMs) with complex reasoning capabilities. However, CoT currently faces two fundamental challenges: (1) Sufficiency, which ensures that the generated intermediate inference steps comprehensively cover and substantiate the final conclusion; and (2) Necessity, which identifies the inference steps that are…
▽ More
Chain-of-Thought (CoT) prompting plays an indispensable role in endowing large language models (LLMs) with complex reasoning capabilities. However, CoT currently faces two fundamental challenges: (1) Sufficiency, which ensures that the generated intermediate inference steps comprehensively cover and substantiate the final conclusion; and (2) Necessity, which identifies the inference steps that are truly indispensable for the soundness of the resulting answer. We propose a causal framework that characterizes CoT reasoning through the dual lenses of sufficiency and necessity. Incorporating causal Probability of Sufficiency and Necessity allows us not only to determine which steps are logically sufficient or necessary to the prediction outcome, but also to quantify their actual influence on the final reasoning outcome under different intervention scenarios, thereby enabling the automated addition of missing steps and the pruning of redundant ones. Extensive experimental results on various mathematical and commonsense reasoning benchmarks confirm substantial improvements in reasoning efficiency and reduced token usage without sacrificing accuracy. Our work provides a promising direction for improving LLM reasoning performance and cost-effectiveness.
△ Less
Submitted 11 June, 2025;
originally announced June 2025.
-
Resonant frequencies distribution for multiple closely spaced subwavelength resonators
Authors:
Haigang Li,
Junhua Zhang
Abstract:
In this paper, we investigate a resonant system comprising $N$ closely packed spherical resonators ($N>2$). We analyze how the spatial arrangement of these resonators influences the distribution of resonant frequencies, focusing on leading-order terms. Furthermore, we characterize the asymptotic behavior of resonant modes linked to their respective frequencies. Our results demonstrate distinct tre…
▽ More
In this paper, we investigate a resonant system comprising $N$ closely packed spherical resonators ($N>2$). We analyze how the spatial arrangement of these resonators influences the distribution of resonant frequencies, focusing on leading-order terms. Furthermore, we characterize the asymptotic behavior of resonant modes linked to their respective frequencies. Our results demonstrate distinct trends across configurations: For single-row alignment, the system exhibits $N$ clearly separated resonant frequencies; For multi-row arrangements, the resonant frequency range broadens, though the total number of frequencies may diminish; while for ring configurations, comparable frequency ranges to chain arrangements emerge, but with fewer resonant frequencies. We derive explicit analytical expressions to quantify these frequency distributions. Regarding resonant modes, we identify that at specific frequencies, the gradient of these modes may exhibit different asymptotic behavior between different resonators.
△ Less
Submitted 10 June, 2025;
originally announced June 2025.
-
The combinatorics of identities involving overpartitions with distinct parts
Authors:
Haijun Li
Abstract:
Recently, Andrews and EI Bachraoui discovered several companions for some famous $q$-series formulas, and derived some new identities involving partitions and overpartitions with distinct parts. In this paper, we shall refine their results by the number of parts of partitions and furthermore, we will also provide the combinatorial proofs for those partition identities.
Recently, Andrews and EI Bachraoui discovered several companions for some famous $q$-series formulas, and derived some new identities involving partitions and overpartitions with distinct parts. In this paper, we shall refine their results by the number of parts of partitions and furthermore, we will also provide the combinatorial proofs for those partition identities.
△ Less
Submitted 16 June, 2025; v1 submitted 6 June, 2025;
originally announced June 2025.
-
PDHCG: A Scalable First-Order Method for Large-Scale Competitive Market Equilibrium Computation
Authors:
Huikang Liu,
Yicheng Huang,
Hongpei Li,
Dongdong Ge,
Yinyu Ye
Abstract:
Large-scale competitive market equilibrium problems arise in a wide range of important applications, including economic decision-making and intelligent manufacturing. Traditional solution methods, such as interior-point algorithms and certain projection-based approaches, often fail to scale effectively to large problem instances. In this paper, we propose an efficient computational framework that…
▽ More
Large-scale competitive market equilibrium problems arise in a wide range of important applications, including economic decision-making and intelligent manufacturing. Traditional solution methods, such as interior-point algorithms and certain projection-based approaches, often fail to scale effectively to large problem instances. In this paper, we propose an efficient computational framework that integrates the primal-dual hybrid conjugate gradient (PDHCG) algorithm with GPU-based parallel computing to solve large-scale Fisher market equilibrium problems. By exploiting the underlying mathematical structure of the problem, we establish a theoretical guarantee of linear convergence for the proposed algorithm. Furthermore, the proposed framework can be extended to solve large-scale Arrow-Debreu market equilibrium problems through a fixed-point iteration scheme. Extensive numerical experiments conducted on GPU platforms demonstrate substantial improvements in computational efficiency, significantly expanding the practical solvable scale and applicability of market equilibrium models.
△ Less
Submitted 6 June, 2025;
originally announced June 2025.
-
BenLOC: A Benchmark for Learning to Configure MIP Optimizers
Authors:
Hongpei Li,
Ziyan He,
Yufei Wang,
Wenting Tu,
Shanwen Pu,
Qi Deng,
Dongdong Ge
Abstract:
The automatic configuration of Mixed-Integer Programming (MIP) optimizers has become increasingly critical as the large number of configurations can significantly affect solver performance. Yet the lack of standardized evaluation frameworks has led to data leakage and over-optimistic claims, as prior studies often rely on homogeneous datasets and inconsistent experimental setups. To promote a fair…
▽ More
The automatic configuration of Mixed-Integer Programming (MIP) optimizers has become increasingly critical as the large number of configurations can significantly affect solver performance. Yet the lack of standardized evaluation frameworks has led to data leakage and over-optimistic claims, as prior studies often rely on homogeneous datasets and inconsistent experimental setups. To promote a fair evaluation process, we present BenLOC, a comprehensive benchmark and open-source toolkit, which not only offers an end-to-end pipeline for learning instance-wise MIP optimizer configurations, but also standardizes dataset selection, train-test splits, feature engineering and baseline choice for unbiased and comprehensive evaluations. Leveraging this framework, we conduct an empirical analysis on five well-established MIP datasets and compare classical machine learning models with handcrafted features against state-of-the-art deep-learning techniques. The results demonstrate the importance of datasets, features and baseline criteria proposed by BenLOC and the effectiveness of BenLOC in providing unbiased and comprehensive evaluations.
△ Less
Submitted 3 June, 2025;
originally announced June 2025.
-
Solving the Pod Repositioning Problem with Deep Reinforced Adaptive Large Neighborhood Search
Authors:
Lin Xie,
Hanyi Li
Abstract:
The Pod Repositioning Problem (PRP) in Robotic Mobile Fulfillment Systems (RMFS) involves selecting optimal storage locations for pods returning from pick stations. This work presents an improved solution method that integrates Adaptive Large Neighborhood Search (ALNS) with Deep Reinforcement Learning (DRL). A DRL agent dynamically selects destroy and repair operators and adjusts key parameters su…
▽ More
The Pod Repositioning Problem (PRP) in Robotic Mobile Fulfillment Systems (RMFS) involves selecting optimal storage locations for pods returning from pick stations. This work presents an improved solution method that integrates Adaptive Large Neighborhood Search (ALNS) with Deep Reinforcement Learning (DRL). A DRL agent dynamically selects destroy and repair operators and adjusts key parameters such as destruction degree and acceptance thresholds during the search. Specialized heuristics for both operators are designed to reflect PRP-specific characteristics, including pod usage frequency and movement costs. Computational results show that this DRL-guided ALNS outperforms traditional approaches such as cheapest-place, fixed-place, binary integer programming, and static heuristics. The method demonstrates strong solution quality and illustrating the benefit of learning-driven control within combinatorial optimization for warehouse systems.
△ Less
Submitted 3 June, 2025;
originally announced June 2025.
-
Critical points of the Moser-Trudinger functional on conical singular surfaces, I: compactness
Authors:
Zhijie Chen,
Houwang Li
Abstract:
Let $(Σ, g_1)$ be a compact Riemann surface with conical singularites of angles in $(0, 2π)$, and $f: Σ\to\mathbb R$ be a positive smooth function. In this paper, by establishing a sharp quantization result, we prove the compactness of the set of positive critical points for the Moser-Trudinger functional
\[F_1(u)=\int_Σ(e^{u^2}-1)f dv_{g_1}\] constrained to…
▽ More
Let $(Σ, g_1)$ be a compact Riemann surface with conical singularites of angles in $(0, 2π)$, and $f: Σ\to\mathbb R$ be a positive smooth function. In this paper, by establishing a sharp quantization result, we prove the compactness of the set of positive critical points for the Moser-Trudinger functional
\[F_1(u)=\int_Σ(e^{u^2}-1)f dv_{g_1}\] constrained to $u\in\mathcal E_β:=\{u\in H^1(Σ,g_1) : \|u\|_{H^1(Σ,g_1)}^2=β\}$ for any $β>0$. This result is a generalization of the compactness result for the Moser-Trudinger functional on regular compact surfaces, proved by De Marchis-Malchiodi-Martinazzi-Thizy (Inventiones Mathematicae, 2022, 230: 1165-1248). The presence of conical singularities brings many additional difficulties and we need to develop different ideas and techniques. The compactness lays the foundation for proving the existence of critical points of the Moser-Trudinger functional on conical singular surfaces in a sequel work.
△ Less
Submitted 18 May, 2025;
originally announced May 2025.
-
On the $O(\frac{\sqrt{d}}{K^{1/4}})$ Convergence Rate of AdamW Measured by $\ell_1$ Norm
Authors:
Huan Li,
Yiming Dong,
Zhouchen Lin
Abstract:
As the default optimizer for training large language models, AdamW has achieved remarkable success in deep learning. However, its convergence behavior is not theoretically well-understood. This paper establishes the convergence rate $\frac{1}{K}\sum_{k=1}^KE\left[\|\nabla f(x^k)\|_1\right]\leq O(\frac{\sqrt{d}C}{K^{1/4}})$ for AdamW measured by $\ell_1$ norm, where $K$ represents the iteration num…
▽ More
As the default optimizer for training large language models, AdamW has achieved remarkable success in deep learning. However, its convergence behavior is not theoretically well-understood. This paper establishes the convergence rate $\frac{1}{K}\sum_{k=1}^KE\left[\|\nabla f(x^k)\|_1\right]\leq O(\frac{\sqrt{d}C}{K^{1/4}})$ for AdamW measured by $\ell_1$ norm, where $K$ represents the iteration number, $d$ denotes the model dimension, and $C$ matches the constant in the optimal convergence rate of SGD. Theoretically, we have $E\left[\|\nabla f(x)\|_1\right]\geq\sqrt{\frac{2d}π}E\left[\|\nabla f(x)\|_2\right]$ when each element of $\nabla f(x)$ is generated from Gaussian distribution $\mathcal N(0,1)$. Empirically, our experimental results on real-world deep learning tasks reveal $\|\nabla f(x)\|_1=\varTheta(\sqrt{d})\|\nabla f(x)\|_2$. Both support that our convergence rate can be considered to be analogous to the optimal $\frac{1}{K}\sum_{k=1}^KE\left[\|\nabla f(x^k)\|_2\right]\leq O(\frac{C}{K^{1/4}})$ convergence rate of SGD.
△ Less
Submitted 17 May, 2025;
originally announced May 2025.
-
Subgradient Regularization: A Descent-Oriented Subgradient Method for Nonsmooth Optimization
Authors:
Hanyang Li,
Ying Cui
Abstract:
In nonsmooth optimization, a negative subgradient is not necessarily a descent direction, making the design of convergent descent methods based on zeroth-order and first-order information a challenging task. The well-studied bundle methods and gradient sampling algorithms construct descent directions by aggregating subgradients at nearby points in seemingly different ways, and are often complicate…
▽ More
In nonsmooth optimization, a negative subgradient is not necessarily a descent direction, making the design of convergent descent methods based on zeroth-order and first-order information a challenging task. The well-studied bundle methods and gradient sampling algorithms construct descent directions by aggregating subgradients at nearby points in seemingly different ways, and are often complicated or lack deterministic guarantees. In this work, we identify a unifying principle behind these approaches, and develop a general framework of descent methods under the abstract principle that provably converge to stationary points. Within this framework, we introduce a simple yet effective technique, called subgradient regularization, to generate stable descent directions for a broad class of nonsmooth marginal functions, including finite maxima or minima of smooth functions. When applied to the composition of a convex function with a smooth map, the method naturally recovers the prox-linear method and, as a byproduct, provides a new dual interpretation of this classical algorithm. Numerical experiments demonstrate the effectiveness of our methods on several challenging classes of nonsmooth optimization problems, including the minimization of Nesterov's nonsmooth Chebyshev-Rosenbrock function.
△ Less
Submitted 11 May, 2025;
originally announced May 2025.
-
Semi-log-convexity of ${\rm M}/{\rm M}/\infty$ queues on $\mathbb{Z}_+$
Authors:
Huige Chen,
Huaiqian Li
Abstract:
We solve the problem left in the recent paper by N. Gozlan et al [Potential Analysis 58, 2023, 123--158], establishing the semi-log-convexity of semigroups associated with ${\rm M}/{\rm M}/\infty$ queuing processes on the set of non-negative integers. Our approach is global in nature and yields the sharp constant.
We solve the problem left in the recent paper by N. Gozlan et al [Potential Analysis 58, 2023, 123--158], establishing the semi-log-convexity of semigroups associated with ${\rm M}/{\rm M}/\infty$ queuing processes on the set of non-negative integers. Our approach is global in nature and yields the sharp constant.
△ Less
Submitted 26 April, 2025;
originally announced April 2025.
-
A New Approach to Inspect Weakly Coupled Logistic Systems and their Asymptotic Behavior
Authors:
Haoyu Li,
Liliane Maia,
Mayra Soares
Abstract:
We consider the weakly coupled elliptic system of logistic type, \begin{equation}\label{LS}
\begin{cases}
-Δu &=λ_1 u- |u|^{p-2}u+ β|u|^{\frac{p}{2}-2}u |v|{^{\frac{p}{2}-1}}v\mbox{ in }Ω,
-Δv & =λ_2 v- |v|^{p-2}v+β|u|^{\frac{p}{2}-1}u|v|^{\frac{p}{2}-2}v \mbox{ in }Ω,
\ \ u,v &\in H_0^1(Ω),
\end{cases} \tag{$LS$} \end{equation}
where $Ω\subset\mathbb{R}^N$ is a bounded domain with…
▽ More
We consider the weakly coupled elliptic system of logistic type, \begin{equation}\label{LS}
\begin{cases}
-Δu &=λ_1 u- |u|^{p-2}u+ β|u|^{\frac{p}{2}-2}u |v|{^{\frac{p}{2}-1}}v\mbox{ in }Ω,
-Δv & =λ_2 v- |v|^{p-2}v+β|u|^{\frac{p}{2}-1}u|v|^{\frac{p}{2}-2}v \mbox{ in }Ω,
\ \ u,v &\in H_0^1(Ω),
\end{cases} \tag{$LS$} \end{equation}
where $Ω\subset\mathbb{R}^N$ is a bounded domain with $N\geq 2$, $2< p < 2^*$, and $λ_1(Ω)< λ_1 \leq λ_2$. We say the system is competitive if $β<0$ and cooperative if $β>0$, for $β\in \mathbb{R}$.
We prove the existence and multiplicity of solutions to the problem \eqref{LS} in alternative variational frameworks, depending on the range of the parameter $β.$ We do not rely on bifurcation or degree theory, which have been used in the literature for logistic-type problems. Instead, the novelty is to obtain min-max type solutions by exploiting the different geometry of the functional associated with the logistic problem. In case $N\geq 2$ and suitable values of $p$, we extend the existence results, for all $β$ in the whole line, and possibly for the classical case $N=3$ and $p=4$. Furthermore, we analyze the asymptotic behavior of such solutions as $β\to 0$ or $β\to \pm \infty.$} \bigskip \newline \textsc{Key words: Logistic System, Ground State Solution, Linking structure, seminodal Solution.}{\small}
△ Less
Submitted 25 April, 2025;
originally announced April 2025.
-
Stable localized orthogonal decomposition in Raviart-Thomas spaces
Authors:
Patrick Henning,
Hao Li,
Timo Sprekeler
Abstract:
This work proposes a computational multiscale method for the mixed formulation of a second-order linear elliptic equation subject to a homogeneous Neumann boundary condition, based on a stable localized orthogonal decomposition (LOD) in Raviart-Thomas finite element spaces. In the spirit of numerical homogenization, the construction provides low-dimensional coarse approximation spaces that incorpo…
▽ More
This work proposes a computational multiscale method for the mixed formulation of a second-order linear elliptic equation subject to a homogeneous Neumann boundary condition, based on a stable localized orthogonal decomposition (LOD) in Raviart-Thomas finite element spaces. In the spirit of numerical homogenization, the construction provides low-dimensional coarse approximation spaces that incorporate fine-scale information from the heterogeneous coefficients by solving local patch problems on a fine mesh. The resulting numerical scheme is accompanied by a rigorous error analysis, and it is applicable beyond periodicity and scale-separation in spatial dimensions two and three. In particular, this novel realization circumvents the presence of pollution terms observed in a previous LOD construction for elliptic problems in mixed formulation. Finally, various numerical experiments are provided that demonstrate the performance of the method.
△ Less
Submitted 25 April, 2025;
originally announced April 2025.
-
On Hopf hypersurfaces of the complex quadric with constant principal curvatures
Authors:
Haizhong Li,
Hiroshi Tamaru,
Zeke Yao
Abstract:
In this paper, we classify the Hopf hypersurfaces of the complex quadric $Q^m=SO_{m+2}/(SO_2SO_m)$ ($m\geq3$) with at most five distinct constant principal curvatures. We also classify the Hopf hypersurfaces of $Q^m$ ($m=3,4,5$) with constant principal curvatures. All these real hypersurfaces are open parts of homogeneous examples.
In this paper, we classify the Hopf hypersurfaces of the complex quadric $Q^m=SO_{m+2}/(SO_2SO_m)$ ($m\geq3$) with at most five distinct constant principal curvatures. We also classify the Hopf hypersurfaces of $Q^m$ ($m=3,4,5$) with constant principal curvatures. All these real hypersurfaces are open parts of homogeneous examples.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
Authors:
Haoyu Li,
Xiangru Zhong,
Bin Hu,
Huan Zhang
Abstract:
Contraction metrics are crucial in control theory because they provide a powerful framework for analyzing stability, robustness, and convergence of various dynamical systems. However, identifying these metrics for complex nonlinear systems remains an open challenge due to the lack of scalable and effective tools. This paper explores the approach of learning verifiable contraction metrics parametri…
▽ More
Contraction metrics are crucial in control theory because they provide a powerful framework for analyzing stability, robustness, and convergence of various dynamical systems. However, identifying these metrics for complex nonlinear systems remains an open challenge due to the lack of scalable and effective tools. This paper explores the approach of learning verifiable contraction metrics parametrized as neural networks (NNs) for discrete-time nonlinear dynamical systems. While prior works on formal verification of contraction metrics for general nonlinear systems have focused on convex optimization methods (e.g. linear matrix inequalities, etc) under the assumption of continuously differentiable dynamics, the growing prevalence of NN-based controllers, often utilizing ReLU activations, introduces challenges due to the non-smooth nature of the resulting closed-loop dynamics. To bridge this gap, we establish a new sufficient condition for establishing formal neural contraction metrics for general discrete-time nonlinear systems assuming only the continuity of the dynamics. We show that from a computational perspective, our sufficient condition can be efficiently verified using the state-of-the-art neural network verifier $α,\!β$-CROWN, which scales up non-convex neural network verification via novel integration of symbolic linear bound propagation and branch-and-bound. Built upon our analysis tool, we further develop a learning method for synthesizing neural contraction metrics from sampled data. Finally, our approach is validated through the successful synthesis and verification of NN contraction metrics for various nonlinear examples.
△ Less
Submitted 23 April, 2025;
originally announced April 2025.
-
Operator Inference for Elliptic Eigenvalue Problems
Authors:
Haoqian Li,
Jiguang Sun,
Zhiwen Zhang
Abstract:
Eigenvalue problems for elliptic operators play an important role in science and engineering applications, where efficient and accurate numerical computation is essential. In this work, we propose a novel operator inference approach for elliptic eigenvalue problems based on neural network approximations that directly maps computational domains to their associated eigenvalues and eigenfunctions. Mo…
▽ More
Eigenvalue problems for elliptic operators play an important role in science and engineering applications, where efficient and accurate numerical computation is essential. In this work, we propose a novel operator inference approach for elliptic eigenvalue problems based on neural network approximations that directly maps computational domains to their associated eigenvalues and eigenfunctions. Motivated by existing neural network architectures and the mathematical characteristics of eigenvalue problems, we represent computational domains as pixelated images and decompose the task into two subtasks: eigenvalue prediction and eigenfunction prediction. For the eigenvalue prediction, we design a convolutional neural network (CNN), while for the eigenfunction prediction, we employ a Fourier Neural Operator (FNO). Additionally, we introduce a critical preprocessing module that integrates domain scaling, detailed boundary pixelization, and main-axis alignment. This preprocessing step not only simplifies the learning task but also enhances the performance of the neural networks. Finally, we present numerical results to demonstrate the effectiveness of the proposed method.
△ Less
Submitted 22 April, 2025;
originally announced April 2025.
-
Affine isoperimetric type inequalities for static convex domains in hyperbolic space
Authors:
Yingxiang Hu,
Haizhong Li,
Yao Wan,
Botong Xu
Abstract:
In this paper, the notion of hyperbolic ellipsoids in hyperbolic space is introduced. Using a natural orthogonal projection from hyperbolic space to Euclidean space, we establish affine isoperimetric type inequalities for static convex domains in hyperbolic space. Moreover, equality of such inequalities is characterized by these hyperbolic ellipsoids.
In this paper, the notion of hyperbolic ellipsoids in hyperbolic space is introduced. Using a natural orthogonal projection from hyperbolic space to Euclidean space, we establish affine isoperimetric type inequalities for static convex domains in hyperbolic space. Moreover, equality of such inequalities is characterized by these hyperbolic ellipsoids.
△ Less
Submitted 22 April, 2025;
originally announced April 2025.
-
New Heintze-Karcher type inequalities in sub-static warped product manifolds
Authors:
Haizhong Li,
Yong Wei,
Botong Xu
Abstract:
In this paper, we prove Heintze-Karcher type inequalities involving the shifted mean curvature for smooth bounded domains in certain sub-static warped product manifolds. In particular, we prove a Heintze-Karcher-type inequality for non mean-convex domains in the hyperbolic space. As applications, we obtain uniqueness results for hypersurfaces satisfying a class of curvature equations.
In this paper, we prove Heintze-Karcher type inequalities involving the shifted mean curvature for smooth bounded domains in certain sub-static warped product manifolds. In particular, we prove a Heintze-Karcher-type inequality for non mean-convex domains in the hyperbolic space. As applications, we obtain uniqueness results for hypersurfaces satisfying a class of curvature equations.
△ Less
Submitted 21 April, 2025;
originally announced April 2025.
-
Hexagonal and k-hexagonal graph's normalized Laplacian spectrum and applications
Authors:
Hao Li,
Xinyi Chen,
Hao Liu
Abstract:
Substituting each edge of a simple connected graph $G$ by a path of length 1 and $k$ paths of length 5 generates the $k$-hexagonal graph $H^k(G)$. Iterative graph $H^k_n(G)$ is produced when the preceding constructions are repeated $n$ times. According to the graph structure, we obtain a set of linear equations, and derive the entirely normalized Laplacian spectrum of $H^k_n(G)$ when $k = 1$ and…
▽ More
Substituting each edge of a simple connected graph $G$ by a path of length 1 and $k$ paths of length 5 generates the $k$-hexagonal graph $H^k(G)$. Iterative graph $H^k_n(G)$ is produced when the preceding constructions are repeated $n$ times. According to the graph structure, we obtain a set of linear equations, and derive the entirely normalized Laplacian spectrum of $H^k_n(G)$ when $k = 1$ and $k \geqslant 2$ respectively by analyzing the structure of the solutions of these linear equations. We find significant formulas to calculate the Kemeny's constant, multiplicative degree-Kirchhoff index and number of spanning trees of $H^k_n(G)$ as applications.
△ Less
Submitted 17 April, 2025;
originally announced April 2025.
-
Toward a Hazard Rate Framework for Regular and Rapid Variation
Authors:
Haijun Li
Abstract:
Regular and rapid variation have been extensively studied in the literature and applied across various fields, particularly in extreme value theory. In this paper, we examine regular and rapid variation through the lens of generalized hazard rates, with a focus on the behavior of survival and density functions of random variables. Motivated by the von Mises condition, our hazard rate based framewo…
▽ More
Regular and rapid variation have been extensively studied in the literature and applied across various fields, particularly in extreme value theory. In this paper, we examine regular and rapid variation through the lens of generalized hazard rates, with a focus on the behavior of survival and density functions of random variables. Motivated by the von Mises condition, our hazard rate based framework offers a unified approach that spans from slow to rapid variation, providing in particular new insights into the relationship between hazard rate functions and the right tail decays of random variables.
△ Less
Submitted 15 April, 2025;
originally announced April 2025.
-
Uncertainty modeling method for wind and solar power output in building integrated energy systems under continuous anomalous weather
Authors:
Deyi Shao,
Hongru Li,
Jingsheng Li,
Xia Yu,
Xiaoyu Sun,
Bowen Han
Abstract:
The increasing occurrence of continuous anomalous weather events has intensified the uncertainty in wind and photovoltaic power generation, posing significant challenges to the operation and optimization of building integrated energy systems. Existing studies often neglect the interdependence between successive anomalous weather events and their collective impact on wind and solar power output. Ad…
▽ More
The increasing occurrence of continuous anomalous weather events has intensified the uncertainty in wind and photovoltaic power generation, posing significant challenges to the operation and optimization of building integrated energy systems. Existing studies often neglect the interdependence between successive anomalous weather events and their collective impact on wind and solar power output. Additionally, conventional modeling approaches struggle to accurately capture the nonlinear fluctuations induced by these weather conditions. To address this gap, this study proposes an uncertainty modeling method based on stochastic optimization and scenario generation. The Weibull and Beta distributions characterize the probabilistic properties of wind speed and solar irradiance, respectively, while the Copula function captures the dependence between wind speed and precipitation, enabling the construction of a wind-solar power uncertainty model that incorporates the joint distribution of consecutive anomalous weather events. A Monte Carlo-based scenario generation approach is employed to construct a dataset representing anomalous weather characteristics, followed by a probabilistic distance-based scenario reduction technique to enhance modeling efficiency. Furthermore, the unscented transformation method is introduced to mitigate nonlinear propagation errors in wind and solar power state estimation. Case studies demonstrate that the proposed method effectively characterizes the fluctuation patterns of wind and solar power under continuous anomalous weather conditions while preserving the statistical properties of the original data. These findings provide a reliable basis for improving the operational resilience of building integrated energy systems under extreme weather scenarios.
△ Less
Submitted 15 April, 2025;
originally announced April 2025.
-
Resolving Adenwalla's conjecture related to a question of Erdős and Graham about covering systems
Authors:
Zhengkun Jia,
Huixi Li,
Yushuo Liu
Abstract:
Erdős and Graham posed the question of whether there exists an integer $n$ such that the divisors of $n$ greater than $1$ form a distinct covering system with pairwise coprime moduli for overlapping congruences. Adenwalla recently proved no such $n$ exists, introducing the concept of nice integers, those where such a system exists without necessarily covering all integers. Moreover, Adenwalla esta…
▽ More
Erdős and Graham posed the question of whether there exists an integer $n$ such that the divisors of $n$ greater than $1$ form a distinct covering system with pairwise coprime moduli for overlapping congruences. Adenwalla recently proved no such $n$ exists, introducing the concept of nice integers, those where such a system exists without necessarily covering all integers. Moreover, Adenwalla established a necessary condition for nice integers: if $n$ is nice and $p$ is its smallest prime divisor, then $n/p$ must have fewer than $p$ distinct prime factors. Adenwalla conjectured this condition is also sufficient. In this paper, we resolve this conjecture affirmatively by developing a novel constructive framework for residue assignments. Utilizing a hierarchical application of the Chinese Remainder Theorem, we demonstrate that every integer satisfying the condition indeed admits a good set of congruences. Our result completes the characterization of nice integers, resolving an interesting open problem in combinatorial number theory.
△ Less
Submitted 25 April, 2025; v1 submitted 13 April, 2025;
originally announced April 2025.
-
Littlewood--Paley--Stein Square Functions for the Fractional Discrete Laplacian on $\mathbb{Z}$
Authors:
Huaiqian Li,
Liying Mu
Abstract:
We investigate the boundedness of ``vertical'' Littlewood--Paley--Stein square functions for the nonlocal fractional discrete Laplacian on the lattice $\mathbb{Z}$, where the underlying graphs are not locally finite. When $q\in[2,\infty)$, we prove the $l^q$ boundedness of the square function by exploring the corresponding Markov jump process and applying the martingale inequality. When…
▽ More
We investigate the boundedness of ``vertical'' Littlewood--Paley--Stein square functions for the nonlocal fractional discrete Laplacian on the lattice $\mathbb{Z}$, where the underlying graphs are not locally finite. When $q\in[2,\infty)$, we prove the $l^q$ boundedness of the square function by exploring the corresponding Markov jump process and applying the martingale inequality. When $q\in (1,2]$, we consider a modified version of the square function and prove its $l^q$ boundedness through a careful in on the generalized carré du champ operator. A counterexample is constructed to show that it is necessary to consider the modified version. Moreover, we extend the study to a class of nonlocal Schrödinger operators for $q\in (1,2]$.
△ Less
Submitted 11 April, 2025;
originally announced April 2025.
-
The signless Laplacian spectral Turán problems for color-critical graphs
Authors:
Jian Zheng,
Yongtao Li,
Honghai Li
Abstract:
The well-known Turán theorem states that if $G$ is an $n$-vertex $K_{r+1}$-free graph, then $e(G)\le e(T_{n,r})$, with equality if and only if $G$ is the $r$-partite Turán graph $T_{n,r}$. A graph $F$ is called color-critical if it contains an edge whose deletion reduces its chromatic number. Extending the Turán theorem, Simonovits (1968) proved that for any color-critical graph $F$ with…
▽ More
The well-known Turán theorem states that if $G$ is an $n$-vertex $K_{r+1}$-free graph, then $e(G)\le e(T_{n,r})$, with equality if and only if $G$ is the $r$-partite Turán graph $T_{n,r}$. A graph $F$ is called color-critical if it contains an edge whose deletion reduces its chromatic number. Extending the Turán theorem, Simonovits (1968) proved that for any color-critical graph $F$ with $χ(F)=r+1$ and sufficiently large $n$, the Turán graph $T_{n,r}$ is the unique graph with maximum number of edges among all $n$-vertex $F$-free graphs. Subsequently, Nikiforov [Electron. J. Combin., 16 (1) (2009)] proved a spectral version of the Simonovits theorem in terms of the adjacency spectral radius. In this paper, we show an extension of the Simonovits theorem for the signless Laplacian spectral radius. We prove that for any color-critical graph $F$ with $χ(F)=r+1\ge 4$ and sufficiently large $n$, if $G$ is an $F$-free graph on $n$ vertices, then $q(G)\le q(T_{n,r})$, with equality if and only if $G=T_{n,r}$. Our approach is to establish a signless Laplacian spectral version of the criterion of Keevash, Lenz and Mubayi [SIAM J. Discrete Math., 28 (4) (2014)]. Consequently, we can determine the signless Laplacian spectral extremal graphs for generalized books and even wheels. As an application, our result gives an upper bound on the degree power of an $F$-free graph. We show that if $n$ is sufficiently large and $G$ is an $F$-free graph on $n$ vertices with $m$ edges, then $\sum_{v\in V(G)} d^2(v) \le 2(1- \frac{1}{r})mn$, with equality if and only if $G$ is a regular Turán graph $T_{n,r}$. This extends a result of Nikiforov and Rousseau [J. Combin. Theory Ser B 92 (2004)].
△ Less
Submitted 10 April, 2025;
originally announced April 2025.
-
Relaxed Weak Accelerated Proximal Gradient Method: a Unified Framework for Nesterov's Accelerations
Authors:
Hongda Li,
Xianfu Wang
Abstract:
This paper is devoted to the study of accelerated proximal gradient methods where the sequence that controls the momentum term doesn't follow Nesterov's rule. We propose a relaxed weak accelerated proximal gradient (R-WAPG) method, a generic algorithm that unifies the convergence results for strongly convex and convex problems where the extrapolation constant is characterized by a sequence that is…
▽ More
This paper is devoted to the study of accelerated proximal gradient methods where the sequence that controls the momentum term doesn't follow Nesterov's rule. We propose a relaxed weak accelerated proximal gradient (R-WAPG) method, a generic algorithm that unifies the convergence results for strongly convex and convex problems where the extrapolation constant is characterized by a sequence that is much weaker than Nesterov's rule. Our R-WAPG provides a unified framework for several notable Euclidean variants of FISTA and verifies their convergences. In addition, we provide the convergence rate of strongly convex objective with a constant momentum term. Without using the idea of restarting, we also reformulate R-WAPG as ``Free R-WAPG" so that it doesn't require any parameter. Explorative numerical experiments were conducted to show its competitive advantages.
△ Less
Submitted 9 April, 2025;
originally announced April 2025.
-
The Primitive Ideal Space of $C(X) \rtimes \mathbb{N}$
Authors:
Xiaohui Chen,
Hui Li
Abstract:
We describe the primitive ideal spaces and the Jacobson topologies of a special class of topological graph algebras.
We describe the primitive ideal spaces and the Jacobson topologies of a special class of topological graph algebras.
△ Less
Submitted 10 April, 2025; v1 submitted 8 April, 2025;
originally announced April 2025.
-
Multiple existence and qualitative property of nodal solutions for coupled elliptic equations
Authors:
Haoyu Li,
Zhi-Qiang Wang
Abstract:
The paper studies nodal solutions having prescribed componentwise nodal data for the following coupled nonlinear elliptic equations \begin{equation}
\left\{
\begin{array}{lr}
-Δu_{j}+ u_{j}= u^{3}_{j}+β\sum_{i=1, i\neq j}^N u_{j}u_{i}^{2} \,\,\,\,\,\,\, \mbox{in}\ Ω,\nonumber
u_{j}\in H_{0,r}^{1}(Ω), \,\,\,\,\,\,\,\,j=1,\dots,N.\nonumber
\end{array}
\right. \end{equation} Here,…
▽ More
The paper studies nodal solutions having prescribed componentwise nodal data for the following coupled nonlinear elliptic equations \begin{equation}
\left\{
\begin{array}{lr}
-Δu_{j}+ u_{j}= u^{3}_{j}+β\sum_{i=1, i\neq j}^N u_{j}u_{i}^{2} \,\,\,\,\,\,\, \mbox{in}\ Ω,\nonumber
u_{j}\in H_{0,r}^{1}(Ω), \,\,\,\,\,\,\,\,j=1,\dots,N.\nonumber
\end{array}
\right. \end{equation} Here, $Ω\subset\mathbb{R}^n$ is a bounded and radial domain with $n=2,3$. The coupling constant $β\leq-1$ is in the repulsive regime. We investigate the solution structure for both positive and nodal solutions, proving multiple existence of solutions with prescribed nodal data and providing qualitative estimates for the nodal numbers of the inter-componentwise differences of solutions with both upper and lower bounds. Our general framework is for nodal solutions though our results are new also for positive solutions.
△ Less
Submitted 2 April, 2025;
originally announced April 2025.
-
Derivative estimation by RKHS regularization for learning dynamics from time-series data
Authors:
Hailong Guo,
Haibo Li
Abstract:
Learning the governing equations from time-series data has gained increasing attention due to its potential to extract useful dynamics from real-world data. Despite significant progress, it becomes challenging in the presence of noise, especially when derivatives need to be calculated. To reduce the effect of noise, we propose a method that simultaneously fits both the derivative and trajectory fr…
▽ More
Learning the governing equations from time-series data has gained increasing attention due to its potential to extract useful dynamics from real-world data. Despite significant progress, it becomes challenging in the presence of noise, especially when derivatives need to be calculated. To reduce the effect of noise, we propose a method that simultaneously fits both the derivative and trajectory from noisy time-series data. Our approach formulates derivative estimation as an inverse problem involving integral operators within the forward model, and estimates the derivative function by solving a regularization problem in a vector-valued reproducing kernel Hilbert space (vRKHS). We derive an integral-form representer theorem, which enables the computation of the regularized solution by solving a finite-dimensional problem and facilitates efficiently estimating the optimal regularization parameter. By embedding the dynamics within a vRKHS and utilizing the fitted derivative and trajectory, we can recover the underlying dynamics from noisy data by solving a linear regularization problem. Several numerical experiments are conducted to validate the effectiveness and efficiency of our method.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
Limiting Behaviors of Besov Seminorms for Dunkl Operators
Authors:
Huaiqian Li,
Bingyao Wu
Abstract:
As $s\rightarrow0^+$, we establish limiting formulas of Besov seminorms and nonlocal perimeters associated with the Dunkl operator, a (nonlocal) differential-difference operator parameterized by multiplicity functions and finite reflection groups. Our results are further developments of both the Maz'ya--Shaposhnikova limiting formula for the Gagliardo seminorm and the asymptotic behavior of the (r…
▽ More
As $s\rightarrow0^+$, we establish limiting formulas of Besov seminorms and nonlocal perimeters associated with the Dunkl operator, a (nonlocal) differential-difference operator parameterized by multiplicity functions and finite reflection groups. Our results are further developments of both the Maz'ya--Shaposhnikova limiting formula for the Gagliardo seminorm and the asymptotic behavior of the (relative) fractional $s$-perimeter. The main contribution is twofold. On the one hand, to establish our dimension-free Maz'ya--Shaposhnikova limiting formula, we develop a simplified approach which do not depend on the density property of the corresponding Besov space and turns out to be quite robust. On the other hand, to derive the limiting formula of our nonlocal perimeter, we do not demand additional regularity on the (topological) boundary of the domain, and to obtain the converse assertion, our assumption on the boundary regularity of the domain, which allows for fractals, is much weaker than those in existing literatures.
△ Less
Submitted 25 March, 2025;
originally announced March 2025.
-
Numerical Stability Revisited: A Family of Benchmark Problems for the Analysis of Explicit Stochastic Differential Equation integrators
Authors:
Thomas Hudson,
Xingjie Helen Li,
Sarah Murphy
Abstract:
In this paper, we revisit the numerical stability of four well-established explicit stochastic integration schemes through a new generic benchmark stochastic differential equation (SDE) designed to assess asymptotic statistical accuracy and stability properties. This one-parameter benchmark equation is derived from a general one-dimensional first-order SDE using spatio-temporal nondimensionalizati…
▽ More
In this paper, we revisit the numerical stability of four well-established explicit stochastic integration schemes through a new generic benchmark stochastic differential equation (SDE) designed to assess asymptotic statistical accuracy and stability properties. This one-parameter benchmark equation is derived from a general one-dimensional first-order SDE using spatio-temporal nondimensionalization and is employed to evaluate the performance of (1) Euler-Maruyama (EM), (2) Milstein (Mil), (3) Stochastic Heun (SH), and (4) a three-stage Runge-Kutta scheme (RK3).
Our findings reveal that lower-order schemes can outperform higher-order ones over a range of time step sizes, depending on the benchmark parameters and application context. The theoretical results are validated through a series of numerical experiments, and we discuss their implications for more general applications, including a nonlinear example of particle transport in porous media under various conditions. Our results suggest that the insights obtained from the linear benchmark problem provide reliable guidance for time-stepping strategies when simulating nonlinear SDEs.
△ Less
Submitted 24 March, 2025;
originally announced March 2025.
-
Finite-Horizon Discrete-Time Optimal Control for Nonlinear Systems under State and Control Constraints
Authors:
Chuanzhi Lv,
Hongdan Li,
Huanshui Zhang
Abstract:
This paper addresses the optimal control problem of finite-horizon discrete-time nonlinear systems under state and control constraints. A novel numerical algorithm based on optimal control theory is proposed to achieve superior computational efficiency, with the novelty lying in establishing a unified framework that integrates all aspects of algorithm design through the solution of forward and bac…
▽ More
This paper addresses the optimal control problem of finite-horizon discrete-time nonlinear systems under state and control constraints. A novel numerical algorithm based on optimal control theory is proposed to achieve superior computational efficiency, with the novelty lying in establishing a unified framework that integrates all aspects of algorithm design through the solution of forward and backward difference equations (FBDEs). Firstly, the state and control constraints are transformed using an augmented Lagrangian method (ALM), thereby decomposing the original optimal control problem into several optimization subproblems. These subproblems are then reformulated as new optimal control problem, which are solved through the corresponding FBDEs, resulting in an algorithm with superlinear convergence rate. Furthermore, the gradient and Hessian matrix are computed by iteratively solving FBDEs, thereby accelerating the optimization process. The gradient is obtained through the standard Hamiltonian, while the Hessian matrix is derived by constructing a novel Hamiltonian specifically designed for second-order optimization, transforming each row into an iterative solution of a new set of FBDEs. Finally, the effectiveness of the algorithm is validated through simulation results in automatic guided vehicles (AGV) trajectory tracking control.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
Spectrally-Corrected and Regularized QDA Classifier for Spiked Covariance Model
Authors:
Wenya Luo,
Hua Li,
Zhidong Bai,
Zhijun Liu
Abstract:
Quadratic discriminant analysis (QDA) is a widely used method for classification problems, particularly preferable over Linear Discriminant Analysis (LDA) for heterogeneous data. However, QDA loses its effectiveness in high-dimensional settings, where the data dimension and sample size tend to infinity. To address this issue, we propose a novel QDA method utilizing spectral correction and regulari…
▽ More
Quadratic discriminant analysis (QDA) is a widely used method for classification problems, particularly preferable over Linear Discriminant Analysis (LDA) for heterogeneous data. However, QDA loses its effectiveness in high-dimensional settings, where the data dimension and sample size tend to infinity. To address this issue, we propose a novel QDA method utilizing spectral correction and regularization techniques, termed SR-QDA. The regularization parameters in our method are selected by maximizing the Fisher-discriminant ratio. We compare SR-QDA with QDA, regularized quadratic discriminant analysis (R-QDA), and several other competitors. The results indicate that SR-QDA performs exceptionally well, especially in moderate and high-dimensional situations. Empirical experiments across diverse datasets further support this conclusion.
△ Less
Submitted 17 March, 2025;
originally announced March 2025.
-
A filtered Lie splitting method for the Zakharov system with low regularity estimates
Authors:
Lun Ji,
Hang Li,
Chunmei Su
Abstract:
In this paper, we present an error estimate for the filtered Lie splitting scheme applied to the Zakharov system, characterized by solutions exhibiting very low regularity across all dimensions. Our findings are derived from the application of multilinear estimates established within the framework of discrete Bourgain spaces. Specifically, we demonstrate that when the solution…
▽ More
In this paper, we present an error estimate for the filtered Lie splitting scheme applied to the Zakharov system, characterized by solutions exhibiting very low regularity across all dimensions. Our findings are derived from the application of multilinear estimates established within the framework of discrete Bourgain spaces. Specifically, we demonstrate that when the solution $(E,z,z_t) \in H^{s+r+1/2}\times H^{s+r}\times H^{s+r-1}$, the error in $H^{r+1/2}\times H^{r}\times H^{r-1}$ is $\mathcal{O}(τ^{s/2})$ for $s\in(0,2]$, where $r=\max(0,\frac d2-1)$. To the best of our knowledge, this represents the first explicit error estimate for the splitting method based on the original Zakharov system, as well as the first instance where low regularity error estimates for coupled equations have been considered within the Bourgain framework. Furthermore, numerical experiments confirm the validity of our theoretical results.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
Fast Maxwell Solvers Based on Exact Discrete Eigen-Decompositions I. Two-Dimensional Case
Authors:
Lixiu Wang,
Lueling Jia,
Zijian Cao,
Huiyuan Li,
Zhimin Zhang
Abstract:
In this paper, we propose fast solvers for Maxwell's equations in rectangular domains. We first discretize the simplified Maxwell's eigenvalue problems by employing the lowest-order rectangular Nédélec elements and derive the discrete eigen-solutions explicitly, providing a Hodge-Helmholtz decomposition framework at the discrete level. Based on exact eigen-decompositions, we further design fast so…
▽ More
In this paper, we propose fast solvers for Maxwell's equations in rectangular domains. We first discretize the simplified Maxwell's eigenvalue problems by employing the lowest-order rectangular Nédélec elements and derive the discrete eigen-solutions explicitly, providing a Hodge-Helmholtz decomposition framework at the discrete level. Based on exact eigen-decompositions, we further design fast solvers for various Maxwell's source problems, guaranteeing either the divergence-free constraint or the Gauss's law at the discrete level. With the help of fast sine/cosine transforms, the computational time grows asymptotically as $\mathcal{O}(n^2\log n)$ with $n$ being the number of grids in each direction. Our fast Maxwell solvers outperform other existing Maxwell solvers in the literature and fully rival fast scalar Poisson/Helmholtz solvers based on trigonometric transforms in either efficiency, robustness, or storage complexity. It is also utilized to perform an efficient pre-conditioning for solving Maxwell's source problems with variable coefficients. Finally, numerical experiments are carried out to illustrate the effectiveness and efficiency of the proposed fast solver.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
A quantitative way to e-positivity of trees
Authors:
Ethan Y. H. Li
Abstract:
In 1997, Wolfgang proved that every connected graph having $e$-positive chromatic symmetric function must contain connected partitions of every type. In this paper, we refine this result by a quantitative way in the special case of trees. At first, we give a formula for calculating $e$-coefficients of trees in terms of their connected partitions. Based on this formula, we present several necessary…
▽ More
In 1997, Wolfgang proved that every connected graph having $e$-positive chromatic symmetric function must contain connected partitions of every type. In this paper, we refine this result by a quantitative way in the special case of trees. At first, we give a formula for calculating $e$-coefficients of trees in terms of their connected partitions. Based on this formula, we present several necessary conditions on the number of connected partitions or acyclic orientations for trees to be $e$-positive. As an application, we prove the non-$e$-positivity of a class of caterpillars which have connected partitions of all type. Moreover, we give a necessary condition for caterpillars to be $e$-positive, which may be applied to provide more evidence to the conjecture of Dahlberg, She, and van Willigenburg that every tree of maximum degree at least 4 is non-$e$-positive.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
Spectral Method for 1-D Neutron Transport Equation
Authors:
Haonan Zhang,
Huiyuan Li,
Zhimin Zhang
Abstract:
In this paper, we present an efficient fully spectral approximation scheme for exploring the one-dimensional steady-state neutron transport equation. Our methodology integrates the spectral-(Petrov-)Galerkin scheme in the spatial dimension with the Legendre-Gauss collocation scheme in the directional dimension. The directional integral in the original problem is discretized with Legendre-Gauss qua…
▽ More
In this paper, we present an efficient fully spectral approximation scheme for exploring the one-dimensional steady-state neutron transport equation. Our methodology integrates the spectral-(Petrov-)Galerkin scheme in the spatial dimension with the Legendre-Gauss collocation scheme in the directional dimension. The directional integral in the original problem is discretized with Legendre-Gauss quadrature. We furnish a rigorous proof of the solvability of this scheme and, to our best knowledge, conduct a comprehensive error analysis for the first time. Notably, the order of convergence is optimal in the directional dimension, while in the spatial dimension, it is suboptimal and, importantly, non-improvable. Finally, we verify the computational efficiency and error characteristics of the scheme through several numerical examples.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
Do Carmo's problem for CMC hypersurfaces in $\mathbb{R}^6$
Authors:
Jingche Chen,
Han Hong,
Haizhong Li
Abstract:
In this paper, we prove that complete noncompact constant mean curvature hypersurfaces in $\mathbb{R}^6$ with finite index must be minimal. This provides a positive answer to do Carmo's question in dimension $6$. The proof strategy is also applicable to $\mathbb{R}^4$ and $\mathbb{R}^5$, thereby providing alternative proofs for those previously resolved cases.
In this paper, we prove that complete noncompact constant mean curvature hypersurfaces in $\mathbb{R}^6$ with finite index must be minimal. This provides a positive answer to do Carmo's question in dimension $6$. The proof strategy is also applicable to $\mathbb{R}^4$ and $\mathbb{R}^5$, thereby providing alternative proofs for those previously resolved cases.
△ Less
Submitted 23 April, 2025; v1 submitted 11 March, 2025;
originally announced March 2025.
-
$(G,F)$-points on $\mathbb{Q}$-algebraic varieties
Authors:
Yangcheng Li,
Hongjian Li
Abstract:
Let $G\in \mathbb{Q}[x,y,z]$ be a polynomial, and let $V(G)$ be the $\mathbb{Q}$-algebraic variety corresponding to $G$, i.e., $V(G)=\{P\in\mathbb{Q}^3~|~G(P)=0\}$. Let \[\begin{split} F:\quad &\mathbb{Q}^3\rightarrow \mathbb{Q}^3,\\ &(x,y,z)\mapsto (f(x),f(y),f(z)) \end{split}\] be a vector function, where $f\in \mathbb{Q}[x]$. It is easy to know that the function obtained by the composition of…
▽ More
Let $G\in \mathbb{Q}[x,y,z]$ be a polynomial, and let $V(G)$ be the $\mathbb{Q}$-algebraic variety corresponding to $G$, i.e., $V(G)=\{P\in\mathbb{Q}^3~|~G(P)=0\}$. Let \[\begin{split} F:\quad &\mathbb{Q}^3\rightarrow \mathbb{Q}^3,\\ &(x,y,z)\mapsto (f(x),f(y),f(z)) \end{split}\] be a vector function, where $f\in \mathbb{Q}[x]$. It is easy to know that the function obtained by the composition of $G$ and $F$, denoted as $G\circ F$, is still in $\mathbb{Q}[x,y,z]$. Moreover, let $V(G\circ F)$ be the $\mathbb{Q}$-algebraic variety corresponding to $G\circ F$, i.e., $V(G\circ F)=\{P\in\mathbb{Q}^3~|~G\circ F(P)=0\}$. A rational point $P$ is called a $(G,F)$-point on $V(G)$ if $P$ belongs to the intersection of $V(G)$ and $V(G\circ F)$, that is $P\in V(G)\cap V(G\circ F)$. Denote $\langle G,F\rangle$ as the set consisting of all $(G,F)$-points on $V(G)$. Obviously, $\langle G,F\rangle$ is a $\mathbb{Q}$-algebraic variety. In this paper, we consider the algebraic variety $\langle G,F\rangle$ for some specific functions $G$ and $F$. For these specific functions $G$ and $F$, we prove that $\langle G,F\rangle$ will be isomorphic to a certain elliptic curve. We also analyze some properties of these elliptic curves.
△ Less
Submitted 22 February, 2025;
originally announced March 2025.
-
Construction of blowup solutions for Liouville systems
Authors:
Zetao Cheng,
Haoyu Li,
Lei Zhang
Abstract:
We study the following Liouville system defined on a flat torus \begin{equation}
\left\{
\begin{array}{lr}
-Δu_i=\sum_{j=1}^n a_{ij}ρ_j\Big(\frac{h_j e^{u_j}}{\int_Ωh_j e^{u_j}}-1\Big),\nonumber
u_j\in H_{per}^1(Ω)\mbox{ for }i\in I=\{1,\cdots,n\}\nonumber,
\end{array}
\right. \end{equation} where $h_j\in C^3(Ω)$, $h_j>0$, $ρ_j>0$ and $u=(u_1,..,u_n)$ is doubly periodic on $\partialΩ$.…
▽ More
We study the following Liouville system defined on a flat torus \begin{equation}
\left\{
\begin{array}{lr}
-Δu_i=\sum_{j=1}^n a_{ij}ρ_j\Big(\frac{h_j e^{u_j}}{\int_Ωh_j e^{u_j}}-1\Big),\nonumber
u_j\in H_{per}^1(Ω)\mbox{ for }i\in I=\{1,\cdots,n\}\nonumber,
\end{array}
\right. \end{equation} where $h_j\in C^3(Ω)$, $h_j>0$, $ρ_j>0$ and $u=(u_1,..,u_n)$ is doubly periodic on $\partialΩ$. The matrix $A=(a_{ij})_{n\times n}$ satisfies certain properties. One central problem about Liouville systems is whether multi-bubble solutions do exist. In this work we present a comprehensive construction of multi-bubble solutions in the most general setting.
△ Less
Submitted 10 March, 2025;
originally announced March 2025.
-
Two-arc-transitive non-solvable covers of the Petersen graph
Authors:
Jiyong Chen,
Cai Heng Li,
Ci Xuan Wu
Abstract:
In this paper, we prove that, for any $\{2,3\}$-generated perfect group $P$, there exists a 2-arc-transitive graph which has full automorphism group isomorphic to $P\wr A_5=P^5{:} A_5$ and is a cover of the Petersen graph. This particularly shows that there are infinitely many $2$-arc-transitive normal covers of the Petersen graph. To the best of our knowledge, these are the first known examples o…
▽ More
In this paper, we prove that, for any $\{2,3\}$-generated perfect group $P$, there exists a 2-arc-transitive graph which has full automorphism group isomorphic to $P\wr A_5=P^5{:} A_5$ and is a cover of the Petersen graph. This particularly shows that there are infinitely many $2$-arc-transitive normal covers of the Petersen graph. To the best of our knowledge, these are the first known examples of 2-arc-transitive non-trivial covers of 2-arc-transitive graphs with non-solvable transformation groups. Moreover, these graphs are non-Cayley graphs, and have girth 10.
△ Less
Submitted 10 March, 2025;
originally announced March 2025.
-
Optimal and fast online change point estimation in linear regression
Authors:
Annika Hüselitz,
Housen Li,
Axel Munk
Abstract:
We consider the problem of sequential estimation of a single change point in a piecewise linear regression model under a Gaussian setup. We demonstrate that a certain CUSUM-type statistic attains the minimax optimal rates for localizing the change point. Our minimax analysis unveils an interesting phase transition from a jump (discontinuity in values) to a kink (change in slope). Specifically, for…
▽ More
We consider the problem of sequential estimation of a single change point in a piecewise linear regression model under a Gaussian setup. We demonstrate that a certain CUSUM-type statistic attains the minimax optimal rates for localizing the change point. Our minimax analysis unveils an interesting phase transition from a jump (discontinuity in values) to a kink (change in slope). Specifically, for a jump, the minimax rate is of order $\log (n) / n$, whereas for a kink it scales as $\bigl(\log (n) / n\bigr)^{1/3}$, given that the sampling rate is of order $1/n$. We further introduce an algorithm for the proposed online change point detector, which requires constant computational steps and constant memory per incoming sample. Finally, the empirical performance of our method is examined on both simulated and real-world data sets. An implementation is available in the R package FLOC on GitHub.
△ Less
Submitted 7 March, 2025;
originally announced March 2025.
-
Fermat's and Catalan's equations over $M_2(\mathbb{Z})$
Authors:
Hongjian Li,
Pingzhi Yuan
Abstract:
Let $A=\begin{pmatrix} a & b \\ c & d \end{pmatrix}\in M_2\left(\mathbb{Z}\right)$ be a given matrix such that $bc\neq0$ and let $C(A)=\{B\in M_2(\mathbb{Z}): AB=BA\}$. In this paper, we give a necessary and sufficient condition for the solvability of the matrix equation $uX^i+vY^j=wZ^k,\, i,\, j,\, k\in\mathbb{N},\, X, \,Y,\, Z\in C(A)$, where $u,\, v,\, w$ are given nonzero integers such that…
▽ More
Let $A=\begin{pmatrix} a & b \\ c & d \end{pmatrix}\in M_2\left(\mathbb{Z}\right)$ be a given matrix such that $bc\neq0$ and let $C(A)=\{B\in M_2(\mathbb{Z}): AB=BA\}$. In this paper, we give a necessary and sufficient condition for the solvability of the matrix equation $uX^i+vY^j=wZ^k,\, i,\, j,\, k\in\mathbb{N},\, X, \,Y,\, Z\in C(A)$, where $u,\, v,\, w$ are given nonzero integers such that $\gcd\left(u,\, v,\, w\right)=1$. From this, we get a necessary and sufficient condition for the solvability of the Fermat's matrix equation in $C(A)$. Moreover, we show that the solvability of the Catalan's matrix equation in $M_2\left(\mathbb{Z}\right)$ can be reduced to the solvability of the Catalan's matrix equation in $C(A)$, and finally to the solvability of the Catalan's equation in quadratic fields.
△ Less
Submitted 5 March, 2025;
originally announced March 2025.
-
Adaptive monotonicity testing in sublinear time
Authors:
Housen Li,
Zhi Liu,
Axel Munk
Abstract:
Modern large-scale data analysis increasingly faces the challenge of achieving computational efficiency as well as statistical accuracy, as classical statistically efficient methods often fall short in the first regard. In the context of testing monotonicity of a regression function, we propose FOMT (Fast and Optimal Monotonicity Test), a novel methodology tailored to meet these dual demands. FOMT…
▽ More
Modern large-scale data analysis increasingly faces the challenge of achieving computational efficiency as well as statistical accuracy, as classical statistically efficient methods often fall short in the first regard. In the context of testing monotonicity of a regression function, we propose FOMT (Fast and Optimal Monotonicity Test), a novel methodology tailored to meet these dual demands. FOMT employs a sparse collection of local tests, strategically generated at random, to detect violations of monotonicity scattered throughout the domain of the regression function. This sparsity enables significant computational efficiency, achieving sublinear runtime in most cases, and quasilinear runtime (i.e., linear up to a log factor) in the worst case. In contrast, existing statistically optimal tests typically require at least quadratic runtime. FOMT's statistical accuracy is achieved through the precise calibration of these local tests and their effective combination, ensuring both sensitivity to violations and control over false positives. More precisely, we show that FOMT separates the null and alternative hypotheses at minimax optimal rates over Hölder function classes of smoothness order in $(0,2]$. Further, when the smoothness is unknown, we introduce an adaptive version of FOMT, based on a modified Lepskii principle, which attains statistical optimality and meanwhile maintains the same computational complexity as if the intrinsic smoothness were known. Extensive simulations confirm the competitiveness and effectiveness of both FOMT and its adaptive variant.
△ Less
Submitted 30 March, 2025; v1 submitted 4 March, 2025;
originally announced March 2025.
-
A spectral Levenberg-Marquardt-Deflation method for multiple solutions of semilinear elliptic systems
Authors:
Lin Li,
Yuheng Zhou,
Pengcheng Xie,
Huiyuan Li
Abstract:
Many nonlinear differential equations arising from practical problems may permit nontrivial multiple solutions relevant to applications, and these multiple solutions are helpful to deeply understand these practical problems and to improve some applications. Developing an efficient numerical method for finding multiple solutions is very necessary due to the nonlinearity and multiple solutions of th…
▽ More
Many nonlinear differential equations arising from practical problems may permit nontrivial multiple solutions relevant to applications, and these multiple solutions are helpful to deeply understand these practical problems and to improve some applications. Developing an efficient numerical method for finding multiple solutions is very necessary due to the nonlinearity and multiple solutions of these equations. Moreover, providing an efficient iteration plays an important role in successfully obtaining multiple solutions with fast and stable convergence. In the current paper, an efficient algorithm for finding multiple solutions of semilinear elliptic systems is proposed, where the trust region Levenberg-Marquardt method is firstly used to iterate the resulted nonlinear algebraic system. When the nonlinear term in these equations has only the first derivative, our algorithm can efficiently find multiple solutions as well. Several numerical experiments are tested to show the efficiency of our algorithm, and some solutions which have not been shown in the literature are also found and shown.
△ Less
Submitted 16 April, 2025; v1 submitted 1 March, 2025;
originally announced March 2025.
-
A strong second-order sequential optimality condition for nonlinear programming problems
Authors:
Huimin Li,
Yuya Yamakawa,
Ellen H. Fukuda,
Nobuo Yamashita
Abstract:
Most numerical methods developed for solving nonlinear programming problems are designed to find points that satisfy certain optimality conditions. While the Karush-Kuhn-Tucker conditions are well-known, they become invalid when constraint qualifications (CQ) are not met. Recent advances in sequential optimality conditions address this limitation in both first- and second-order cases, providing ge…
▽ More
Most numerical methods developed for solving nonlinear programming problems are designed to find points that satisfy certain optimality conditions. While the Karush-Kuhn-Tucker conditions are well-known, they become invalid when constraint qualifications (CQ) are not met. Recent advances in sequential optimality conditions address this limitation in both first- and second-order cases, providing genuine optimality guarantees at local optima, even when CQs do not hold. However, some second-order sequential optimality conditions still require some restrictive conditions on constraints in the recent literature. In this paper, we propose a new strong second-order sequential optimality condition without CQs. We also show that a penalty-type method and an augmented Lagrangian method generate points satisfying these new optimality conditions.
△ Less
Submitted 3 March, 2025;
originally announced March 2025.
-
Spectral (0,4)-tensor functionals and the noncommutative residue
Authors:
Hongfeng Li,
Yong Wang
Abstract:
In this paper, we derive some spectral (0,4)-tensor functionals by four one-forms and the Dirac operator and the noncommutative residue on even-dimensional compact spin manifolds without boundary. Then, we extend these spectral (0,4)-tensor functionals to a general spectral triple.
In this paper, we derive some spectral (0,4)-tensor functionals by four one-forms and the Dirac operator and the noncommutative residue on even-dimensional compact spin manifolds without boundary. Then, we extend these spectral (0,4)-tensor functionals to a general spectral triple.
△ Less
Submitted 2 March, 2025;
originally announced March 2025.
-
A Dynamic Bus Lane Strategy for Integrated Management of Human-Driven and Autonomous Vehicles
Authors:
Haoran Li,
Zhenzhou Yuan,
Rui Yue,
Guangchuan Yang,
Fan Zhang,
Zong Tian,
Chuang Zhu
Abstract:
This study introduces a dynamic bus lane (DBL) strategy, referred to as the dynamic bus priority lane (DBPL) strategy, designed for mixed traffic environments featuring both manual and automated vehicles. Unlike previous DBL strategies, this approach accounts for partially connected and autonomous vehicles (CAVs) capable of autonomous trajectory planning. By leveraging this capability, the strateg…
▽ More
This study introduces a dynamic bus lane (DBL) strategy, referred to as the dynamic bus priority lane (DBPL) strategy, designed for mixed traffic environments featuring both manual and automated vehicles. Unlike previous DBL strategies, this approach accounts for partially connected and autonomous vehicles (CAVs) capable of autonomous trajectory planning. By leveraging this capability, the strategy grants certain CAVs Right of Way (ROW) in bus lanes while utilizing their leading effects in general lanes to guide vehicle platoons through intersections, thereby indirectly influencing the trajectories of other vehicles. The ROW allocation is optimized using a mixed-integer linear programming (MILP) model, aimed at minimizing total vehicle travel time. Since different CAVs entering the bus lane affect other vehicles travel times, the model incorporates lane change effects when estimating the states of CAVs, human-driven vehicles (HDVs), and connected autonomous buses (CABs) as they approach the stop bar. A dynamic control framework with a rolling horizon procedure is established to ensure precise execution of the ROW optimization under varying traffic conditions. Simulation experiments across two scenarios assess the performance of the proposed DBPL strategy at different CAV market penetration rates (MPRs).
△ Less
Submitted 28 February, 2025;
originally announced February 2025.
-
Global smooth solutions to Navier-Stokes equations with large initial data in critical space
Authors:
Haina Li,
Yiran Xu
Abstract:
In this paper, we investigate the existence of a unique global smooth solution to the three-dimensional incompressible Navier-Stokes equations and provide a concise proof. We establish a new global well-posedness result that allows the initial data to be arbitrarily large within the critical space $\dot{B}^{-1}_{\infty,\infty}$, while still satisfying the nonlinear smallness condition.
In this paper, we investigate the existence of a unique global smooth solution to the three-dimensional incompressible Navier-Stokes equations and provide a concise proof. We establish a new global well-posedness result that allows the initial data to be arbitrarily large within the critical space $\dot{B}^{-1}_{\infty,\infty}$, while still satisfying the nonlinear smallness condition.
△ Less
Submitted 27 February, 2025; v1 submitted 27 February, 2025;
originally announced February 2025.
