Showing 1–50 of 144 results for author: Zha, S

Strategic A/B testing via Maximum Probability-driven Two-armed Bandit

Authors: Yu Zhang, Shanshan Zhao, Bokui Wan, Jinjuan Wang, Xiaodong Yan

Abstract: Detecting a minor average treatment effect is a major challenge in large-scale applications, where even minimal improvements can have a significant economic impact. Traditional methods, reliant on normal distribution-based or expanded statistics, often fail to identify such minor effects because of their inability to handle small discrepancies with sufficient sensitivity. This work leverages a cou… ▽ More Detecting a minor average treatment effect is a major challenge in large-scale applications, where even minimal improvements can have a significant economic impact. Traditional methods, reliant on normal distribution-based or expanded statistics, often fail to identify such minor effects because of their inability to handle small discrepancies with sufficient sensitivity. This work leverages a counterfactual outcome framework and proposes a maximum probability-driven two-armed bandit (TAB) process by weighting the mean volatility statistic, which controls Type I error. The implementation of permutation methods further enhances the robustness and efficacy. The established strategic central limit theorem (SCLT) demonstrates that our approach yields a more concentrated distribution under the null hypothesis and a less concentrated one under the alternative hypothesis, greatly improving statistical power. The experimental results indicate a significant improvement in the A/B testing, highlighting the potential to reduce experimental costs while maintaining high statistical power. △ Less

Submitted 27 June, 2025; originally announced June 2025.

Comments: 25 pages, 14 figures

Endpoint estimates for the fractal circular maximal function and related local smoothing

Authors: Sanghyuk Lee, Luz Roncal, Feng Zhang, Shuijiang Zhao

Abstract: Sharp $L^p$--$L^q$ estimates for the spherical maximal function over dilation sets of fractal dimensions, including the endpoint estimates, were recently proved by Anderson--Hughes--Roos--Seeger. More intricate $L^p$--$L^q$ estimates for the fractal circular maximal function were later established in the sharp range by Roos--Seeger, but the endpoint estimates have been left open, particularly when… ▽ More Sharp $L^p$--$L^q$ estimates for the spherical maximal function over dilation sets of fractal dimensions, including the endpoint estimates, were recently proved by Anderson--Hughes--Roos--Seeger. More intricate $L^p$--$L^q$ estimates for the fractal circular maximal function were later established in the sharp range by Roos--Seeger, but the endpoint estimates have been left open, particularly when the fractal dimension of the dilation set lies in $[1/2, 1)$. In this work, we prove these missing endpoint estimates for the circular maximal function. We also study the closely related $L^p$--$L^q$ local smoothing estimates for the wave operator over fractal dilation sets, which were recently investigated by Beltran--Roos--Rutar--Seeger and Wheeler. Making use of a bilinear approach, we also extend the range of $p,q$, for which the optimal estimate holds. △ Less

Submitted 25 June, 2025; originally announced June 2025.

MSC Class: 35L05 (primary); 42B20; 28A80 (secondary)

On the Characteristic Polynomial of Linearized Polynomials

Authors: Luca Bastioni, Giacomo Micheli, Shujun Zhao

Abstract: Let $k$ be a finite field, and $L$ be a $q$-linearized polynomial defined over $k$ of $q$-degree $r$ ($L=\sum^r_{i=0}a_iZ^{q^i}$, with $a_i\in k$). This paper provides an algorithm to compute a characteristic polynomial of $L$ over a large extension field $\mathbb F_{q^n}\supseteq k$. Our algorithm has computational complexity of $O(n(\log(n))^4)$ in terms of $\mathbb F_q$ operations with the impl… ▽ More Let $k$ be a finite field, and $L$ be a $q$-linearized polynomial defined over $k$ of $q$-degree $r$ ($L=\sum^r_{i=0}a_iZ^{q^i}$, with $a_i\in k$). This paper provides an algorithm to compute a characteristic polynomial of $L$ over a large extension field $\mathbb F_{q^n}\supseteq k$. Our algorithm has computational complexity of $O(n(\log(n))^4)$ in terms of $\mathbb F_q$ operations with the implied constant depending only on $k$ and $r$. Up to logarithmic factors, and for linear maps represented by low degree polynomials, this provides a square root improvement over generic algorithms. △ Less

Submitted 20 June, 2025; originally announced June 2025.

MSC Class: 11B83; 11Y16; 11T06; 68Q25

DOVA-PATBM: An Intelligent, Adaptive, and Scalable Framework for Optimizing Large-Scale EV Charging Infrastructure

Authors: Chuan Li, Shunyu Zhao, Vincent Gauthier, Hassine Moungla

Abstract: The accelerating uptake of battery-electric vehicles demands infrastructure planning tools that are both data-rich and geographically scalable. Whereas most prior studies optimise charging locations for single cities, state-wide and national networks must reconcile the conflicting requirements of dense metropolitan cores, car-dependent exurbs, and power-constrained rural corridors. We present DO… ▽ More The accelerating uptake of battery-electric vehicles demands infrastructure planning tools that are both data-rich and geographically scalable. Whereas most prior studies optimise charging locations for single cities, state-wide and national networks must reconcile the conflicting requirements of dense metropolitan cores, car-dependent exurbs, and power-constrained rural corridors. We present DOVA-PATBM (Deployment Optimisation with Voronoi-oriented, Adaptive, POI-Aware Temporal Behaviour Model), a geo-computational framework that unifies these contexts in a single pipeline. The method rasterises heterogeneous data (roads, population, night lights, POIs, and feeder lines) onto a hierarchical H3 grid, infers intersection importance with a zone-normalised graph neural network centrality model, and overlays a Voronoi tessellation that guarantees at least one five-port DC fast charger within every 30 km radius. Hourly arrival profiles, learned from loop-detector and floating-car traces, feed a finite M/M/c queue to size ports under feeder-capacity and outage-risk constraints. A greedy maximal-coverage heuristic with income-weighted penalties then selects the minimum number of sites that satisfy coverage and equity targets. Applied to the State of Georgia, USA, DOVA-PATBM (i) increases 30 km tile coverage by 12 percentage points, (ii) halves the mean distance that low-income residents travel to the nearest charger, and (iii) meets sub-transmission headroom everywhere -- all while remaining computationally tractable for national-scale roll-outs. These results demonstrate that a tightly integrated, GNN-driven, multi-resolution approach can bridge the gap between academic optimisation and deployable infrastructure policy. △ Less

Submitted 18 June, 2025; originally announced June 2025.

Extreme values of derivatives of the Dedekind zeta function of a cyclotomic field

Authors: Zhonghua Li, Yutong Song, Qiyu Yang, Shengbo Zhao

Abstract: In this paper, we establish a lower bound for the maximum of derivatives of the Dedekind zeta function of a cyclotomic field on the critical line. Employing a double version convolution formula and combing special GCD sums, our result generalizes the work of Bondarenko et al. and Fonga in 2023. We also set a lower bound by the resonance method when the real part is near the critical line, both of… ▽ More In this paper, we establish a lower bound for the maximum of derivatives of the Dedekind zeta function of a cyclotomic field on the critical line. Employing a double version convolution formula and combing special GCD sums, our result generalizes the work of Bondarenko et al. and Fonga in 2023. We also set a lower bound by the resonance method when the real part is near the critical line, both of the above results refine part of Yang's work in 2022. △ Less

Submitted 14 June, 2025; originally announced June 2025.

MSC Class: 11M06; 11M26; 11N37

Fourth-order Adaptive Mesh Refinement both in space and in time for incompressible Navier-Stokes equations with Dirichlet boundary conditions

Authors: Shubo Zhao, Qinghai Zhang

Abstract: We present a fourth-order projection method with adaptive mesh refinement (AMR) for numerically solving the incompressible Navier-Stokes equations (INSE) with subcycling in time. Our method features (i) a reformulation of INSE so that the velocity divergence decays exponentially on the coarsest level, (ii) a derivation of coarse-fine interface conditions that preserves the decay of velocity diverg… ▽ More We present a fourth-order projection method with adaptive mesh refinement (AMR) for numerically solving the incompressible Navier-Stokes equations (INSE) with subcycling in time. Our method features (i) a reformulation of INSE so that the velocity divergence decays exponentially on the coarsest level, (ii) a derivation of coarse-fine interface conditions that preserves the decay of velocity divergence on any refinement level of the AMR hierarchy, (iii) an approximation of the coarse-fine interface conditions via spatiotemporal interpolations to facilitate subcycling in time, (iv) enforcing to machine precision solvability conditions of elliptic equations over each connected component of the subdomain covered by any refinement level, (v) a composite projection for synchronizing multiple levels, and (vi) geometric multigrid for solving linear systems with optimal complexity. Different from current block-structured AMR algorithms, our method never adopts refluxing at the coarse-fine interface, nor is fine-to-coarse averaging applied to projected velocities. Results of numerical tests demonstrate the high accuracy and efficiency of the proposed method. △ Less

Submitted 3 June, 2025; originally announced June 2025.

MSC Class: 76D05; 65M50; 76M12

On a Conjecture About the Sum-Freedom of the Binary Multiplicative Inverse Function

Authors: Xiang-dong Hou, Shujun Zhao

Abstract: A recent conjecture by C. Carlet on the sum-freedom of the binary multiplicative inverse function can be stated as follows: For each pair of positive integers $(n,k)$ with $3\le k\le n-3$, there is a $k$-dimensional $\Bbb F_2$-subspace $E$ of $\Bbb F_{2^n}$ such that $\sum_{0\ne\in E}1/u=0$. We confirm this conjecture when $n$ is not a prime. A recent conjecture by C. Carlet on the sum-freedom of the binary multiplicative inverse function can be stated as follows: For each pair of positive integers $(n,k)$ with $3\le k\le n-3$, there is a $k$-dimensional $\Bbb F_2$-subspace $E$ of $\Bbb F_{2^n}$ such that $\sum_{0\ne\in E}1/u=0$. We confirm this conjecture when $n$ is not a prime. △ Less

Submitted 30 April, 2025; originally announced April 2025.

Comments: 6 pages

MSC Class: 11G20; 11T06; 11T71; 94D10

A Sensor-Driven Optimization Framework for Asset Management in Energy Systems: Implications for Full and Partial Digital Transformation in Hydro Fleets

Authors: Farnaz Fallahi, Murat Yildirim, Shijia Zhao, Feng Qiu

Abstract: This paper proposes a novel prognostics-driven approach to optimize operations and maintenance (O&M) decisions in hydropower systems. Our approach harnesses the insights from sensor data to accurately predict the remaining lifetime distribution of critical generation assets in hydropower systems, i.e., thrust bearings, and use these predictions to optimally schedule O&M actions for a fleet of hydr… ▽ More This paper proposes a novel prognostics-driven approach to optimize operations and maintenance (O&M) decisions in hydropower systems. Our approach harnesses the insights from sensor data to accurately predict the remaining lifetime distribution of critical generation assets in hydropower systems, i.e., thrust bearings, and use these predictions to optimally schedule O&M actions for a fleet of hydro generators. We consider complex interdependencies across hydro generator failure risks, reservoir, production, and demand management decisions. We propose a stochastic joint O&M scheduling model to tackle the unique challenges of hydropower O&M including the interdependency of generation capacities, the nonlinear nature of power production, operational requirements, and uncertainties. We develop a two-level decomposition-based solution algorithm to effectively handle large-scale cases. The algorithm incorporates a combination of Benders optimality cuts and integer cuts to solve the problem in an efficient manner. We design an experimental framework to evaluate the proposed prognostics-driven O&M scheduling framework, using real-world condition monitoring data from hydropower systems, historical market prices, and water inflow data. The developed framework can be partially implemented for a phased-in approach. Our experiments demonstrate the significant benefits of the sensor-driven O&M framework in improving reliability, availability, effective usage of resources, and system profitability, especially when gradually shifting from traditional time-based maintenance policies to condition-based prognostics-driven maintenance policies. △ Less

Submitted 21 April, 2025; originally announced April 2025.

Comments: 35 pages, 8 figures

Interpretable Deep Regression Models with Interval-Censored Failure Time Data

Authors: Changhui Yuan, Shishun Zhao, Shuwei Li, Xinyuan Song, Zhao Chen

Abstract: Deep neural networks (DNNs) have become powerful tools for modeling complex data structures through sequentially integrating simple functions in each hidden layer. In survival analysis, recent advances of DNNs primarily focus on enhancing model capabilities, especially in exploring nonlinear covariate effects under right censoring. However, deep learning methods for interval-censored data, where t… ▽ More Deep neural networks (DNNs) have become powerful tools for modeling complex data structures through sequentially integrating simple functions in each hidden layer. In survival analysis, recent advances of DNNs primarily focus on enhancing model capabilities, especially in exploring nonlinear covariate effects under right censoring. However, deep learning methods for interval-censored data, where the unobservable failure time is only known to lie in an interval, remain underexplored and limited to specific data type or model. This work proposes a general regression framework for interval-censored data with a broad class of partially linear transformation models, where key covariate effects are modeled parametrically while nonlinear effects of nuisance multi-modal covariates are approximated via DNNs, balancing interpretability and flexibility. We employ sieve maximum likelihood estimation by leveraging monotone splines to approximate the cumulative baseline hazard function. To ensure reliable and tractable estimation, we develop an EM algorithm incorporating stochastic gradient descent. We establish the asymptotic properties of parameter estimators and show that the DNN estimator achieves minimax-optimal convergence. Extensive simulations demonstrate superior estimation and prediction accuracy over state-of-the-art methods. Applying our method to the Alzheimer's Disease Neuroimaging Initiative dataset yields novel insights and improved predictive performance compared to traditional approaches. △ Less

Submitted 25 March, 2025; originally announced March 2025.

Remainder terms, profile decomposition and sharp quantitative stability in the fractional nonlocal Sobolev-type inequality with $n>2s$

Authors: Qikai Lu, Minbo Yang, Shunneng Zhao

Abstract: In this paper, we study the following fractional nonlocal Sobolev-type inequality \begin{equation*} C_{HLS}\bigg(\int_{\mathbb{R}^n}\big(|x|^{-μ} \ast |u|^{p_s}\big)|u|^{p_s} dx\bigg)^{\frac{1}{p_s}}\leq\|u\|_{\dot{H}^s(\mathbb{R}^n)}^2\quad \mbox{for all}~~u\in \dot{H}^s(\mathbb{R}^n), \end{equation*} induced by the classical fractional Sobolev inequality and Hardy-Littlewood-Sobolev ineq… ▽ More In this paper, we study the following fractional nonlocal Sobolev-type inequality \begin{equation*} C_{HLS}\bigg(\int_{\mathbb{R}^n}\big(|x|^{-μ} \ast |u|^{p_s}\big)|u|^{p_s} dx\bigg)^{\frac{1}{p_s}}\leq\|u\|_{\dot{H}^s(\mathbb{R}^n)}^2\quad \mbox{for all}~~u\in \dot{H}^s(\mathbb{R}^n), \end{equation*} induced by the classical fractional Sobolev inequality and Hardy-Littlewood-Sobolev inequality for $s\in(0,\frac{n}{2})$, $μ\in(0,n)$ and where $p_{s}=\frac{2n-μ}{n-2s}\geq2$ is energy-critical exponent. The $C_{HLS}>0$ is a constant depending on the dimension $n$, parameters $s$ and $μ$, which can be achieved by $W(x)$, and up to translation and scaling, $W(x)$ is the unique positive and radially symmetric extremal function of the nonlocal Sobolev-type inequality. It is well-known that, up to a suitable scaling, \begin{equation*} (-Δ)^{s}u=(|x|^{-μ}\ast |u|^{p_s})|u|^{p_s-2}u\quad \mbox{for all}~~u\in\dot{H}^s(\mathbb{R}^n), \end{equation*} is the Euler-Lagrange equation corresponding to the associated minimization problem. In this paper, we first prove the non-degeneracy of positive solutions to the critical Hartree equation for all $s\in(0,\frac{n}{2})$, $μ\in(0,n)$ with $0<μ\leq4s$. Furthermore, we show the existence of a gradient type remainder term and, as a corollary, derive the existence of a remainder term in the weak $L^{\frac{n}{n-2s}}$-norm for functions supported in domains of finite measure, under the condition $s\in(0,\frac{n}{2})$. Finally, we establish a Struwe-type profile decomposition and quantitative stability estimates for critical points of the above inequality in the parameter region $s\in(0,\frac{n}{2})$ with the number of bubbles $κ\geq1$, and for $μ\in(0,n)$ with $0<μ\leq4s$. In particular, we provide an example to illustrate the sharpness of our result for $n=6s$ and $μ=4s$. △ Less

Submitted 9 March, 2025; originally announced March 2025.

MSC Class: Primary 35A23; 35R11; Secondly 35B35; 35J08

Two Absolutely Irreducible Polynomials over $\Bbb F_2$ and Their Applications to a Conjecture by Carlet

Authors: Xiang-dong Hou, Shujun Zhao

Abstract: Two polynomials $F_k(X_1,\dots,X_k)$ and $Θ_k(X_1,\dots,X_k)$ over $\Bbb F_2$ arose from the study of a conjecture by C. Carlet about the sum-freedom of the multiplicative inverse function of $\Bbb F_{2^n}$. Both $F_k$ and $Θ_k$ are homogeneous and symmetric with $\text{deg}\,F_k=2^k-2$ and $\text{deg}\,Θ_k=2^{k-1}$. It is known that $F_k$ is absolutely irreducible for $k\ge 3$. Using the Lang-Wei… ▽ More Two polynomials $F_k(X_1,\dots,X_k)$ and $Θ_k(X_1,\dots,X_k)$ over $\Bbb F_2$ arose from the study of a conjecture by C. Carlet about the sum-freedom of the multiplicative inverse function of $\Bbb F_{2^n}$. Both $F_k$ and $Θ_k$ are homogeneous and symmetric with $\text{deg}\,F_k=2^k-2$ and $\text{deg}\,Θ_k=2^{k-1}$. It is known that $F_k$ is absolutely irreducible for $k\ge 3$. Using the Lang-Weil bound and a curious connection between $F_k$ and $Θ_k$, we show that $Θ_k$ ($k\ge 3$) is also absolutely irreducible. This conclusion allows us to improve several existing results about Carlet's conjecture. △ Less

Submitted 6 February, 2025; originally announced February 2025.

Comments: 14 pages

MSC Class: 11G25; 11T06; 11T71; 94D10

Efficient Gradient Tracking Algorithms for Distributed Optimization Problems with Inexact Communication

Authors: Shengchao Zhao, Yongchao Liu

Abstract: Distributed optimization problems usually face inexact communication issues induced by communication quantization, differential privacy protection, or channels noise. Most existing algorithms need two-timescale setting of the stepsize of gradient descent and the parameter of noise suppression to ensure the convergence to the optimal solution. In this paper, we propose two single-timescale algorith… ▽ More Distributed optimization problems usually face inexact communication issues induced by communication quantization, differential privacy protection, or channels noise. Most existing algorithms need two-timescale setting of the stepsize of gradient descent and the parameter of noise suppression to ensure the convergence to the optimal solution. In this paper, we propose two single-timescale algorithms, VRA-DGT and VRA--DSGT, for distributed deterministic and stochastic optimization problems with inexact communication respectively. VRA-DGT integrates the Variance-Reduced Aggregation (VRA) mechanism with the distributed gradient tracking framework, which achieves a convergence rate of $\mathcal{O}\left(k^{-1}\right)$ in the mean-square sense when the objective function is strongly convex and smooth. For distributed stochastic optimization problem,VRA-DSGT, where a hybrid variance reduction technique has been introduced in VRA-DGT, VRA-DGT,, maintains the convergence rate of $\mathcal{O}\left(k^{-1}\right)$ for strongly convex and smooth objective function. Simulated experiments on logistic regression problem with real-world data verify the effectiveness of the proposed algorithms. △ Less

Submitted 13 January, 2025; v1 submitted 10 January, 2025; originally announced January 2025.

Stability estimates for critical points of a nonlocal Sobolev-type inequality

Authors: Minbo Yang, Shunneng Zhao

Abstract: In this paper, we study the stability of the following nonlocal Soblev-type inequality \begin{equation*} C_{HLS}\big(\int_{\mathbb{R}^n}\big(|x|^{-μ} \ast u^{p}\big)u^{p} dx\big)^{\frac{1}{p}}\leq\int_{\mathbb{R}^n}|\nabla u|^2 dx , \quad \forall~u\in D^{1,2}(\mathbb{R}^n), \end{equation*} which is induced by the classical Sobolev inequality and the Hardy-Littlewood-Sobolev inequality, where… ▽ More In this paper, we study the stability of the following nonlocal Soblev-type inequality \begin{equation*} C_{HLS}\big(\int_{\mathbb{R}^n}\big(|x|^{-μ} \ast u^{p}\big)u^{p} dx\big)^{\frac{1}{p}}\leq\int_{\mathbb{R}^n}|\nabla u|^2 dx , \quad \forall~u\in D^{1,2}(\mathbb{R}^n), \end{equation*} which is induced by the classical Sobolev inequality and the Hardy-Littlewood-Sobolev inequality, where $p=\frac{2n-μ}{n-2}$, $n\geq3$ and $μ\in(0,n)$, is energy-critical exponent and $C_{HLS}$ is the best constant depending on $n$ and $μ$. Up to translation and scaling, the best constant of the nonlocal Soblev inequality can be achieved by a unique family of positive and radially symmetric extremal function $W(x)$ that satisfies, up to a suitable scaling, the classical critical Hartree equation \begin{equation*} Δu+(|x|^{-μ}\ast u^{p})u^{p-1}=0 \quad \mbox{in}\quad \mathbb{R}^n. \end{equation*} Recently, Piccione, Yang and Zhao in \cite{p-y-z24} established a nonlocal version of Struwe's profile decomposition and they only proved the nonlocal version of the quantitative stability for the one bubble case without dimension restriction and the multiple bubbles case $κ\geq2$ if dimension $3\leq n<6-μ$ and $μ\in(0,n)$ with $μ\in(0,4]$ in Ciraolo-Figalli-Maggi \cite{CFM18} and Figalli-Glaudo \cite{FG20}. We establish the quantitative stability estimates for critical point of the nonlocal Soblev inequality for $n\geq6-μ$ and $μ\in(0,4)$, which is an extension of the recent works by Deng-Sun-Wei in \cite{DSW21} for the classical Sobolev inequality. △ Less

Submitted 5 February, 2025; v1 submitted 3 January, 2025; originally announced January 2025.

$L^p$-improving bounds for spherical maximal operators over restricted dilation sets: radial improvement

Authors: Shuijiang Zhao

Abstract: In this paper, we study the spherical maximal operator $ M_E $ over $ E\subset [1,2]$, restricted to radial functions. In higher dimensions $ d\geq 3$, we establish a complete range of $ L^p-$improving estimates for $ M_E $. In two dimensions, sharp results are also obtained for quasi-Assouad regular sets $E$. A notable feature is that the high-dimensional results depend solely on the upper Minkow… ▽ More In this paper, we study the spherical maximal operator $ M_E $ over $ E\subset [1,2]$, restricted to radial functions. In higher dimensions $ d\geq 3$, we establish a complete range of $ L^p-$improving estimates for $ M_E $. In two dimensions, sharp results are also obtained for quasi-Assouad regular sets $E$. A notable feature is that the high-dimensional results depend solely on the upper Minkowski dimension, while the two-dimensional results also involve other concepts in fractal geometry such as the Assouad spectrum. Additionally, the geometric shapes of the regions corresponding to the sharp $ L^p-$improving bounds differ significantly between the two cases. △ Less

Submitted 13 December, 2024; originally announced December 2024.

Comments: 27 pages, 4 figures

MSC Class: 42B25

Covariate Adjustment in Randomized Experiments Motivated by Higher-Order Influence Functions

Authors: Sihui Zhao, Xinbo Wang, Lin Liu, Xin Zhang

Abstract: Higher-Order Influence Functions (HOIF), developed in a series of papers over the past twenty years, is a fundamental theoretical device for constructing rate-optimal causal-effect estimators from observational studies. However, the value of HOIF for analyzing well-conducted randomized controlled trials (RCTs) has not been explicitly explored. In the recent U.S. Food and Drug Administration (FDA)… ▽ More Higher-Order Influence Functions (HOIF), developed in a series of papers over the past twenty years, is a fundamental theoretical device for constructing rate-optimal causal-effect estimators from observational studies. However, the value of HOIF for analyzing well-conducted randomized controlled trials (RCTs) has not been explicitly explored. In the recent U.S. Food and Drug Administration (FDA) and European Medicines Agency (EMA) guidelines on the practice of covariate adjustment in analyzing RCTs, in addition to the simple, unadjusted difference-in-mean estimator, it was also recommended to report the estimator adjusting for baseline covariates via a simple parametric working model, such as a linear model. In this paper, we show that a HOIF-motivated estimator for the treatment-specific mean has significantly improved statistical properties compared to popular adjusted estimators in practice when the number of baseline covariates $p$ is relatively large compared to the sample size $n$. We also characterize the conditions under which the HOIF-motivated estimator improves upon the unadjusted one. Furthermore, we demonstrate that a novel debiased adjusted estimator proposed recently by Lu et al. is, in fact, another HOIF-motivated estimator in disguise. Numerical and empirical studies are conducted to corroborate our theoretical findings. △ Less

Submitted 11 December, 2024; v1 submitted 13 November, 2024; originally announced November 2024.

Comments: 73 pages, 13 figures, 1 table

On Sum-Free Functions

Authors: Alyssa Ebeling, Xiang-dong Hou, Ashley Rydell, Shujun Zhao

Abstract: A function from $\Bbb F_{2^n}$ to $\Bbb F_{2^n}$ is said to be {\em $k$th order sum-free} if the sum of its values over each $k$-dimensional $\Bbb F_2$-affine subspace of $\Bbb F_{2^n}$ is nonzero. This notion was recently introduced by C. Carlet as, among other things, a generalization of APN functions. At the center of this new topic is a conjecture about the sum-freedom of the multiplicative in… ▽ More A function from $\Bbb F_{2^n}$ to $\Bbb F_{2^n}$ is said to be {\em $k$th order sum-free} if the sum of its values over each $k$-dimensional $\Bbb F_2$-affine subspace of $\Bbb F_{2^n}$ is nonzero. This notion was recently introduced by C. Carlet as, among other things, a generalization of APN functions. At the center of this new topic is a conjecture about the sum-freedom of the multiplicative inverse function $f_{\text{\rm inv}}(x)=x^{-1}$ (with $0^{-1}$ defined to be $0$). It is known that $f_{\text{\rm inv}}$ is 2nd order (equivalently, $(n-2)$th order) sum-free if and only if $n$ is odd, and it is conjectured that for $3\le k\le n-3$, $f_{\text{\rm inv}}$ is never $k$th order sum-free. The conjecture has been confirmed for even $n$ but remains open for odd $n$. In the present paper, we show that the conjecture holds under each of the following conditions: (1) $n=13$; (2) $3\mid n$; (3) $5\mid n$; (4) the smallest prime divisor $l$ of $n$ satisfies $(l-1)(l+2)\le (n+1)/2$. We also determine the ``right'' $q$-ary generalization of the binary multiplicative inverse function $f_{\text{\rm inv}}$ in the context of sum-freedom. This $q$-ary generalization not only maintains most results for its binary version, but also exhibits some extraordinary phenomena that are not observed in the binary case. △ Less

Submitted 14 October, 2024; originally announced October 2024.

Comments: 25 pages

MSC Class: 11G25; 11T06; 11T71; 94D10

Relative Trace Formula and Uniform non-vanishing of Central $L$-values of Hilbert Modular Forms

Authors: Zhining Wei, Liyang Yang, Shifan Zhao

Abstract: Let $\mathcal{F}(\mathbf{k},\mathfrak{q})$ be the set of normalized Hilbert newforms of weight $\mathbf{k}$ and prime level $\mathfrak{q}$. In this paper, utilizing regularized relative trace formulas, we establish a positive proportion of $\#\{π\in\mathcal{F}(\mathbf{k},\mathfrak{q}):L(1/2,π)\neq 0\}$ as $\#\mathcal{F}(\mathbf{k},\mathfrak{q})\to+\infty$. Moreover, our result matches the strength… ▽ More Let $\mathcal{F}(\mathbf{k},\mathfrak{q})$ be the set of normalized Hilbert newforms of weight $\mathbf{k}$ and prime level $\mathfrak{q}$. In this paper, utilizing regularized relative trace formulas, we establish a positive proportion of $\#\{π\in\mathcal{F}(\mathbf{k},\mathfrak{q}):L(1/2,π)\neq 0\}$ as $\#\mathcal{F}(\mathbf{k},\mathfrak{q})\to+\infty$. Moreover, our result matches the strength of the best known results in both the level and weight aspects. △ Less

Submitted 12 October, 2024; originally announced October 2024.

Comments: 66 pages

Spectral extrema of graphs with fixed size: forbidden fan graph,friendship graph or theta graph

Authors: Shuchao Li, Sishu Zhao, Lantao Zou

Abstract: It is well-known that Brualdi-Hoffman-Turán-type problem asks what is the maximum spectral radius $λ(G)$ of an $F$-free graph $G$ with $m$ edges? It can be viewed as a spectral characterization on the existence of the subgraph $F$ in $G.$ A nice contribution on the above problem is due to Nikiforov (2002), which states that $λ(G)\leqslant \sqrt{2m(1-1/r)}$ for every $K_{r+1}$-free graph of size… ▽ More It is well-known that Brualdi-Hoffman-Turán-type problem asks what is the maximum spectral radius $λ(G)$ of an $F$-free graph $G$ with $m$ edges? It can be viewed as a spectral characterization on the existence of the subgraph $F$ in $G.$ A nice contribution on the above problem is due to Nikiforov (2002), which states that $λ(G)\leqslant \sqrt{2m(1-1/r)}$ for every $K_{r+1}$-free graph of size $m$. Let $θ_{1,p,q}$ be the theta graph, which is obtained by connecting two vertices with 3 internally disjoint paths of lengths $1,p,q$, respectively. Let $F_k$ be the fan graph, i.e., the join of a $K_1$ and a path $P_{k-1}$, and let $F_{k,3}$ be the friendship graph obtained from $k$ triangles by sharing a common vertex. In this paper, we use $k$-core method and spectral techniques to resolve some spectral extrema of graphs with fixed size. Firstly, we show that, for $k\geqslant3$ and $m\geqslant \frac{9}{4}k^6+6k^5+46k^4+56k^3+196k^2$, if $G$ is $F_{2k+2}$-free, then $λ(G)\leqslant\frac{k-1+\sqrt{4m-k^2+1}}{2},$ equality holds if and only if $G \cong K_k\vee(\frac{m}{k}-\frac{k-1}{2})K_1.$ Secondly, we show that, for $k\geqslant 3$ and $m\geqslant \frac{9}{4}k^6+6k^5+46k^4+56k^3+196k^2$, if $G$ is $F_{k,3}$-free of size $m$, then $λ(G)\leqslant\frac{k-1+\sqrt{4m-k^2+1}}{2},$ equality holds if and only if $G\cong K_k\vee(\frac{m}{k}-\frac{k-1}{2})K_1$. This confirms a conjecture proposed by Li, Lu and Peng [Discrete Math. 346(2023)113680]. Finally, we identify the $θ_{1,p,q}$-free graph of size $m$ having the largest spectral radius, where $q\geqslant p\geqslant 3$ and $p+q\geqslant 2k+1.$ Some further research problems are also proposed. △ Less

Submitted 24 September, 2024; originally announced September 2024.

Comments: 20 pages

MSC Class: 05C50; 05C35

A constrained optimization approach to improve robustness of neural networks

Authors: Shudian Zhao, Jan Kronqvist

Abstract: In this paper, we present a novel nonlinear programming-based approach to fine-tune pre-trained neural networks to improve robustness against adversarial attacks while maintaining high accuracy on clean data. Our method introduces adversary-correction constraints to ensure correct classification of adversarial data and minimizes changes to the model parameters. We propose an efficient cutting-plan… ▽ More In this paper, we present a novel nonlinear programming-based approach to fine-tune pre-trained neural networks to improve robustness against adversarial attacks while maintaining high accuracy on clean data. Our method introduces adversary-correction constraints to ensure correct classification of adversarial data and minimizes changes to the model parameters. We propose an efficient cutting-plane-based algorithm to iteratively solve the large-scale nonconvex optimization problem by approximating the feasible region through polyhedral cuts and balancing between robustness and accuracy. Computational experiments on standard datasets such as MNIST and CIFAR10 demonstrate that the proposed approach significantly improves robustness, even with a very small set of adversarial data, while maintaining minimal impact on accuracy. △ Less

Submitted 25 October, 2024; v1 submitted 18 September, 2024; originally announced September 2024.

Comments: 29 pages, 4 figures, 5 tables

GePUP-ES: High-order Energy-stable Projection Methods for the Incompressible Navier-Stokes Equations with No-slip Conditions

Authors: Yang Li, Xu Wu, Jiatu Yan, Jiang Yang, Qinghai Zhang, Shubo Zhao

Abstract: Inspired by the unconstrained PPE (UPPE) formulation [Liu, Liu, & Pego 2007 Comm. Pure Appl. Math., 60 pp. 1443], we previously proposed the GePUP formulation [Zhang 2016 J. Sci. Comput., 67 pp. 1134] for numerically solving the incompressible Navier-Stokes equations (INSE) on no-slip domains. In this paper, we propose GePUP-E and GePUP-ES, variants of GePUP that feature (a) electric boundary cond… ▽ More Inspired by the unconstrained PPE (UPPE) formulation [Liu, Liu, & Pego 2007 Comm. Pure Appl. Math., 60 pp. 1443], we previously proposed the GePUP formulation [Zhang 2016 J. Sci. Comput., 67 pp. 1134] for numerically solving the incompressible Navier-Stokes equations (INSE) on no-slip domains. In this paper, we propose GePUP-E and GePUP-ES, variants of GePUP that feature (a) electric boundary conditions with no explicit enforcement of the no-penetration condition, (b) equivalence to the no-slip INSE, (c) exponential decay of the divergence of an initially non-solenoidal velocity, and (d) monotonic decrease of the kinetic energy. Different from UPPE, the GePUP-E and GePUP-ES formulations are of strong forms and are designed for finite volume/difference methods under the framework of method of lines. Furthermore, we develop semi-discrete algorithms that preserve (c) and (d) and fully discrete algorithms that are fourth-order accurate for velocity both in time and in space. These algorithms employ algebraically stable time integrators in a black-box manner and only consist of solving a sequence of linear equations in each time step. Results of numerical tests confirm our analysis. △ Less

Submitted 17 September, 2024; originally announced September 2024.

Comments: Yang Li and Shubo Zhao are co-first authors with equal contributions, 37 pages

MSC Class: 76D05(Primary); 65M20(Primary)

Temporal and Spacial Studies of Infectious Diseases: Mathematical Models and Numerical Solvers

Authors: Md Abu Talha, Yongjia Xu, Shan Zhao, Weihua Geng

Abstract: The SIR model is a classical model characterizing the spreading of infectious diseases. This model describes the time-dependent quantity changes among Susceptible, Infectious, and Recovered groups. By introducing space-depend effects such as diffusion and creation in addition to the SIR model, the Fisher's model is in fact a more advanced and comprehensive model. However, the Fisher's model is muc… ▽ More The SIR model is a classical model characterizing the spreading of infectious diseases. This model describes the time-dependent quantity changes among Susceptible, Infectious, and Recovered groups. By introducing space-depend effects such as diffusion and creation in addition to the SIR model, the Fisher's model is in fact a more advanced and comprehensive model. However, the Fisher's model is much less popular than the SIR model in simulating infectious disease numerically due to the difficulties from the parameter selection, the involvement of 2-d/3-d spacial effects, the configuration of the boundary conditions, etc. This paper aim to address these issues by providing numerical algorithms involving space and time finite difference schemes and iterative methods, and its open-source Python code for solving the Fisher's model. This 2-D Fisher's solver is second order in space and up to the second order in time, which is rigorously verified using test cases with analytical solutions. Numerical algorithms such as SOR, implicit Euler, Staggered Crank-Nicolson, and ADI are combined to improve the efficiency and accuracy of the solver. It can handle various boundary conditions subject to different physical descriptions. In addition, real-world data of Covid-19 are used by the model to demonstrate its practical usage in providing prediction and inferences. △ Less

Submitted 5 September, 2024; originally announced September 2024.

A Finite Element Method by Patch Reconstruction for the Quad-Curl Problem Using Mixed Formulations

Authors: Ruo Li, Qicheng Liu, Shuhai Zhao

Abstract: We develop a high order reconstructed discontinuous approximation (RDA) method for solving a mixed formulation of the quad-curl problem in two and three dimensions. This mixed formulation is established by adding an auxiliary variable to control the divergence of the field. The approximation space for the original variables is constructed by patch reconstruction with exactly one degree of freedom… ▽ More We develop a high order reconstructed discontinuous approximation (RDA) method for solving a mixed formulation of the quad-curl problem in two and three dimensions. This mixed formulation is established by adding an auxiliary variable to control the divergence of the field. The approximation space for the original variables is constructed by patch reconstruction with exactly one degree of freedom per element in each dimension and the auxiliary variable is approximated by the piecewise constant space. We prove the optimal convergence rate under the energy norm and also suboptimal $L^2$ convergence using a duality approach. Numerical results are provided to verify the theoretical analysis. △ Less

Submitted 10 July, 2024; v1 submitted 10 July, 2024; originally announced July 2024.

A Note on Improved bounds for the Oriented Radius of Mixed Multigraphs

Authors: Hengzhe Li, Zhiwei Ding, Jianbing Liu, Yanhong Gao, Shuli Zhao

Abstract: For a positive integer $r$, let $f(r)$ denote the smallest number such that any 2-edge connected mixed graph with radius $r$ has an oriented radius of at most $f(r)$. Recently, Babu, Benson, and Rajendraprasad significantly improved the upper bound of $f(r)$ by establishing that $f(r) \leq 1.5r^2 + r + 1$, see [Improved bounds for the oriented radius of mixed multigraphs, J. Graph Theory, 103 (202… ▽ More For a positive integer $r$, let $f(r)$ denote the smallest number such that any 2-edge connected mixed graph with radius $r$ has an oriented radius of at most $f(r)$. Recently, Babu, Benson, and Rajendraprasad significantly improved the upper bound of $f(r)$ by establishing that $f(r) \leq 1.5r^2 + r + 1$, see [Improved bounds for the oriented radius of mixed multigraphs, J. Graph Theory, 103 (2023), 674-689]. Additionally, they demonstrated that if each edge of a graph $G$ is contained within a cycle of length at most $η$, then the oriented radius of $G$ is at most $1.5rη$. The authors' results were derived through Observation 1, which served as the foundation for the development of Algorithm ORIENTOUT and Algorithm ORIENTIN. By integrating these algorithms, they obtained the improved bounds. However, an error has been identified in Observation 1, necessitating revisions to Algorithm ORIENTOUT and Algorithm ORIENTIN. In this note, we address the error and propose the necessary modifications to both algorithms, thereby ensuring the correctness of the conclusions. △ Less

Submitted 27 June, 2024; originally announced July 2024.

Comments: 7 pages, 1 figure

MSC Class: 05C12; 05C40

An arbitrary order Reconstructed Discontinuous Approximation to Fourth-order Curl Problem

Authors: Ruo Li, Qicheng Liu, Shuhai Zhao

Abstract: We present an arbitrary order discontinuous Galerkin finite element method for solving the fourth-order curl problem using a reconstructed discontinuous approximation method. It is based on an arbitrarily high-order approximation space with one unknown per element in each dimension. The discrete problem is based on the symmetric IPDG method. We prove a priori error estimates under the energy norm… ▽ More We present an arbitrary order discontinuous Galerkin finite element method for solving the fourth-order curl problem using a reconstructed discontinuous approximation method. It is based on an arbitrarily high-order approximation space with one unknown per element in each dimension. The discrete problem is based on the symmetric IPDG method. We prove a priori error estimates under the energy norm and the L^2 norm and show numerical results to verify the theoretical analysis. △ Less

Submitted 8 June, 2024; originally announced June 2024.

Comments: arXiv admin note: substantial text overlap with arXiv:2305.03430

Sharp convergence rate on Schrödinger type operators

Authors: Meng Wang, Shuijiang Zhao

Abstract: For Schrödinger type operators in one dimension, we consider the relationship between the convergence rate and the regularity for initial data. By establishing the associated frequency-localized maximal estimates, we prove sharp results up to the endpoints. The optimal range for the wave operator in all dimensions is also obtained. For Schrödinger type operators in one dimension, we consider the relationship between the convergence rate and the regularity for initial data. By establishing the associated frequency-localized maximal estimates, we prove sharp results up to the endpoints. The optimal range for the wave operator in all dimensions is also obtained. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Comments: 13 pages, 2 figures

MSC Class: 42B25

Efficient Two-Stage Gaussian Process Regression Via Automatic Kernel Search and Subsampling

Authors: Shifan Zhao, Jiaying Lu, Ji Yang, Edmond Chow, Yuanzhe Xi

Abstract: Gaussian Process Regression (GPR) is widely used in statistics and machine learning for prediction tasks requiring uncertainty measures. Its efficacy depends on the appropriate specification of the mean function, covariance kernel function, and associated hyperparameters. Severe misspecifications can lead to inaccurate results and problematic consequences, especially in safety-critical application… ▽ More Gaussian Process Regression (GPR) is widely used in statistics and machine learning for prediction tasks requiring uncertainty measures. Its efficacy depends on the appropriate specification of the mean function, covariance kernel function, and associated hyperparameters. Severe misspecifications can lead to inaccurate results and problematic consequences, especially in safety-critical applications. However, a systematic approach to handle these misspecifications is lacking in the literature. In this work, we propose a general framework to address these issues. Firstly, we introduce a flexible two-stage GPR framework that separates mean prediction and uncertainty quantification (UQ) to prevent mean misspecification, which can introduce bias into the model. Secondly, kernel function misspecification is addressed through a novel automatic kernel search algorithm, supported by theoretical analysis, that selects the optimal kernel from a candidate set. Additionally, we propose a subsampling-based warm-start strategy for hyperparameter initialization to improve efficiency and avoid hyperparameter misspecification. With much lower computational cost, our subsampling-based strategy can yield competitive or better performance than training exclusively on the full dataset. Combining all these components, we recommend two GPR methods-exact and scalable-designed to match available computational resources and specific UQ requirements. Extensive evaluation on real-world datasets, including UCI benchmarks and a safety-critical medical case study, demonstrates the robustness and precision of our methods. △ Less

Submitted 19 September, 2024; v1 submitted 22 May, 2024; originally announced May 2024.

ACM Class: G.3; J.3

Omega Theorems for Logarithmic Derivatives of Zeta and L-functions Near the 1-line

Authors: Zhonghua Li, Shengbo Zhao

Abstract: We establish an omega theorem for logarithmic derivative of the Riemann zeta function near the 1-line by resonance method. We show that the inequality $\left| ζ^{\prime}\left(σ_A+it\right)/ζ\left(σ_A+it\right) \right| \geqslant \left(\left(e^A-1\right)/A\right)\log_2 T + O\left(\log_2 T / \log_3 T\right)$ has a solution $t \in [T^β, T]$ for all sufficiently large $T,$ where… ▽ More We establish an omega theorem for logarithmic derivative of the Riemann zeta function near the 1-line by resonance method. We show that the inequality $\left| ζ^{\prime}\left(σ_A+it\right)/ζ\left(σ_A+it\right) \right| \geqslant \left(\left(e^A-1\right)/A\right)\log_2 T + O\left(\log_2 T / \log_3 T\right)$ has a solution $t \in [T^β, T]$ for all sufficiently large $T,$ where $σ_A = 1 - A / \log_2 {T}.$Furthermore, we give a conditional lower bound for the measure of the set of $t$ for which the logarithmic derivative of the Riemann zeta function is large. Moreover, similar results can be generalized to Dirichlet $L$-functions. △ Less

Submitted 26 April, 2024; originally announced April 2024.

On the biases and asymptotics of partitions with finite choices of parts

Authors: Jiyou Li, Sicheng Zhao

Abstract: Biases in integer partitions have been studied recently. For three disjoint subsets $R,S,I$ of positive integers, let $p_{RSI}(n)$ be the number of partitions of $n$ with parts from $R\cup S\cup I$ and $p_{R>S,I}(n)$ be the number of such partitions with more parts from $R$ than that from $S$. In this paper, in the case that $R,S,I$ are finite we obtain a concrete formula of the asymptotic ratio o… ▽ More Biases in integer partitions have been studied recently. For three disjoint subsets $R,S,I$ of positive integers, let $p_{RSI}(n)$ be the number of partitions of $n$ with parts from $R\cup S\cup I$ and $p_{R>S,I}(n)$ be the number of such partitions with more parts from $R$ than that from $S$. In this paper, in the case that $R,S,I$ are finite we obtain a concrete formula of the asymptotic ratio of $p_{R>S,I}(n)$ to $p_{RSI}(n)$. We also propose a conjecture in the case that $R,S$ are certain infinite arithmetic progressions. △ Less

Submitted 6 April, 2024; originally announced April 2024.

Comments: 15 pages

MSC Class: 05A17 11P81

Weighted low-lying zeros of L-functions attached to Siegel modular forms

Authors: Shifan Zhao

Abstract: In this paper, we study weighted low-lying zeros of spinor and standard $L$-functions attached to degree 2 Siegel modular forms. We show the symmetry type of weighted low-lying zeros of spinor $L$-functions is symplectic, for test functions whose Fourier transform have support in $(-1,1)$, extending the previous range $(-\frac{4}{15},\frac{4}{15})$ by E. Kowalski, A. Saha and J. Tsimerman . We the… ▽ More In this paper, we study weighted low-lying zeros of spinor and standard $L$-functions attached to degree 2 Siegel modular forms. We show the symmetry type of weighted low-lying zeros of spinor $L$-functions is symplectic, for test functions whose Fourier transform have support in $(-1,1)$, extending the previous range $(-\frac{4}{15},\frac{4}{15})$ by E. Kowalski, A. Saha and J. Tsimerman . We then show the symmetry type of weighted low-lying zeros of standard $L$-functions is also symplectic. We further extend the range of support by performing an average over weight. As an application, we discuss non-vanishing of central values of those $L$-functions. △ Less

Submitted 1 March, 2024; originally announced March 2024.

Comments: 21 pages

MSC Class: Primary 11F46; 11F66; 11F72

Journal ref: Pacific J. Math. 335 (2025) 183-210

Subsampling for Big Data Linear Models with Measurement Errors

Authors: Jiangshan Ju, Mingqiu Wang, Shengli Zhao

Abstract: Subsampling algorithms for various parametric regression models with massive data have been extensively investigated in recent years. However, all existing studies on subsampling heavily rely on clean massive data. In practical applications, the observed covariates may suffer from inaccuracies due to measurement errors. To address the challenge of large datasets with measurement errors, this study… ▽ More Subsampling algorithms for various parametric regression models with massive data have been extensively investigated in recent years. However, all existing studies on subsampling heavily rely on clean massive data. In practical applications, the observed covariates may suffer from inaccuracies due to measurement errors. To address the challenge of large datasets with measurement errors, this study explores two subsampling algorithms based on the corrected likelihood approach: the optimal subsampling algorithm utilizing inverse probability weighting and the perturbation subsampling algorithm employing random weighting assuming a perfectly known distribution. Theoretical properties for both algorithms are provided. Numerical simulations and two real-world examples demonstrate the effectiveness of these proposed methods compared to other uncorrected algorithms. △ Less

Submitted 9 June, 2025; v1 submitted 7 March, 2024; originally announced March 2024.

Some inequalities for adjointable operators on Hilbert $C^*$-modules

Authors: Mohammad Sababheh, Hamid Reza Moradi, Qingxiang Xu, Shuo Zhao

Abstract: The main purpose of this paper is, in the general setting of the adjointable operators on Hilbert $C^*$-modules, to develop two new tools that can be applied to deal with the positive solutions of certain operator equations, the operator norm as well as the numerical radius, respectively. Among other things, the positivity of a $2\times 2$ block operator matrix is clarified without any preconditio… ▽ More The main purpose of this paper is, in the general setting of the adjointable operators on Hilbert $C^*$-modules, to develop two new tools that can be applied to deal with the positive solutions of certain operator equations, the operator norm as well as the numerical radius, respectively. Among other things, the positivity of a $2\times 2$ block operator matrix is clarified without any preconditions on its entries, and a generalized version of the mixed Schwarz inequality with a parameter is derived. Numerical examples are provided to illustrate the non-triviality of this newly obtained inequality. △ Less

Submitted 12 June, 2024; v1 submitted 20 February, 2024; originally announced February 2024.

Fukushima Nuclear Wastewater Discharge: An Evolutionary Game Theory Approach to International and Domestic Interaction and Strategic Decision-Making

Authors: Mingyang Li, Han Pengsihua, Songqing Zhao, Zejun Wang, Limin Yang, Weian Liu

Abstract: On August 24, 2023, Japan controversially decided to discharge nuclear wastewater from the Fukushima Daiichi Nuclear Power Plant into the ocean, sparking intense domestic and global debates. This study uses evolutionary game theory to analyze the strategic dynamics between Japan, other countries, and the Japan Fisheries Association. By incorporating economic, legal, international aid, and environm… ▽ More On August 24, 2023, Japan controversially decided to discharge nuclear wastewater from the Fukushima Daiichi Nuclear Power Plant into the ocean, sparking intense domestic and global debates. This study uses evolutionary game theory to analyze the strategic dynamics between Japan, other countries, and the Japan Fisheries Association. By incorporating economic, legal, international aid, and environmental factors, the research identifies three evolutionarily stable strategies, analyzing them via numerical simulations. The focus is on Japan's shift from wastewater release to its cessation, exploring the myriad factors influencing this transition and their effects on stakeholders' decisions. Key insights highlight the need for international cooperation, rigorous scientific research, public education, and effective wastewater treatment methods. Offering both a fresh theoretical perspective and practical guidance, this study aims to foster global consensus on nuclear wastewater management, crucial for marine conservation and sustainable development. △ Less

Submitted 11 February, 2024; originally announced February 2024.

Disease Transmission on Random Graphs Using Edge-Based Percolation

Authors: S. Zhao, F. M. G. Magpantay

Abstract: Edge-based percolation methods can be used to analyze disease transmission on complex social networks. This allows us to include complex social heterogeneity in our models while maintaining tractability. Here we review the seminal works on this field by Newman et al (2001); Newman (2002, 2003), and Miller et al (2012). We present a systematic discussion of the theoretical background behind these m… ▽ More Edge-based percolation methods can be used to analyze disease transmission on complex social networks. This allows us to include complex social heterogeneity in our models while maintaining tractability. Here we review the seminal works on this field by Newman et al (2001); Newman (2002, 2003), and Miller et al (2012). We present a systematic discussion of the theoretical background behind these models, including an extensive derivation of the major results. We also connect these results relate back to the classical literature in random graph theory Molloy and Reed (1995, 1998). Finally, we also present an accompanying R package that takes epidemic and network parameters as input and generates estimates of the epidemic trajectory and final size. This manuscript and the R package was developed to help researchers easily understand and use network models to investigate the interaction between different community structures and disease transmission. △ Less

Submitted 27 May, 2024; v1 submitted 12 January, 2024; originally announced January 2024.

MSC Class: 00A71; 37N25; 92D25; 92D30

Journal ref: Math. Meth. Appl. Sci. (2025)

On regular 2-path Hamiltonian graphs

Authors: Xia Li, Weihua Yang, Bo Zhang, Shuang Zhao

Abstract: Kronk introduced the $l$-path hamiltonianicity of graphs in 1969. A graph is $l$-path Hamiltonian if every path of length not exceeding $l$ is contained in a Hamiltonian cycle. We have shown that if $P=uvz$ is a 2-path of a 2-connected, $k$-regular graph on at most $2k$ vertices and $G - V(P)$ is connected, then there must exist a Hamiltonian cycle in $G$ that contains the 2-path $P$. In this pape… ▽ More Kronk introduced the $l$-path hamiltonianicity of graphs in 1969. A graph is $l$-path Hamiltonian if every path of length not exceeding $l$ is contained in a Hamiltonian cycle. We have shown that if $P=uvz$ is a 2-path of a 2-connected, $k$-regular graph on at most $2k$ vertices and $G - V(P)$ is connected, then there must exist a Hamiltonian cycle in $G$ that contains the 2-path $P$. In this paper, we characterize a class of graphs that illustrate the sharpness of the bound $2k$. Additionally, we show that by excluding the class of graphs, both 2-connected, $k$-regular graphs on at most $2k + 1$ vertices and 3-connected, $k$-regular graphs on at most $3k-6$ vertices satisfy that there is a Hamiltonian cycle containing the 2-path $P$ if $G\setminus V(P)$ is connected. △ Less

Submitted 1 November, 2023; originally announced November 2023.

Comments: 20. arXiv admin note: text overlap with arXiv:2203.04345

Berkovich dynamics of twisted rational maps

Authors: Hongming Nie, Shengyuan Zhao

Abstract: A twisted rational map over a non-archimedean field $K$ is the composition of a rational function over $K$ and a continuous automorphism of $K$. We explore the dynamics of some twisted rational maps on the Berkovich projective line. A twisted rational map over a non-archimedean field $K$ is the composition of a rational function over $K$ and a continuous automorphism of $K$. We explore the dynamics of some twisted rational maps on the Berkovich projective line. △ Less

Submitted 4 November, 2023; originally announced November 2023.

Comments: 24 pages

MSC Class: 37P40; 37P50

GeNIOS: an (almost) second-order operator-splitting solver for large-scale convex optimization

Authors: Theo Diamandis, Zachary Frangella, Shipu Zhao, Bartolomeo Stellato, Madeleine Udell

Abstract: We introduce the GEneralized Newton Inexact Operator Splitting solver (GeNIOS) for large-scale convex optimization. GeNIOS speeds up ADMM by approximately solving approximate subproblems: it uses a second-order approximation to the most challenging ADMM subproblem and solves it inexactly with a fast randomized solver. Despite these approximations, GeNIOS retains the convergence rate of classic ADM… ▽ More We introduce the GEneralized Newton Inexact Operator Splitting solver (GeNIOS) for large-scale convex optimization. GeNIOS speeds up ADMM by approximately solving approximate subproblems: it uses a second-order approximation to the most challenging ADMM subproblem and solves it inexactly with a fast randomized solver. Despite these approximations, GeNIOS retains the convergence rate of classic ADMM and can detect primal and dual infeasibility from the algorithm iterates. At each iteration, the algorithm solves a positive-definite linear system that arises from a second-order approximation of the first subproblem and computes an approximate proximal operator. GeNIOS solves the linear system using an indirect solver with a randomized preconditioner, making it particularly useful for large-scale problems with dense data. Our high-performance open-source implementation in Julia allows users to specify convex optimization problems directly (with or without conic reformulation) and allows extensive customization. We illustrate GeNIOS's performance on a variety of problem types. Notably, GeNIOS is more than ten times faster than existing solvers on large-scale, dense problems. △ Less

Submitted 12 October, 2023; originally announced October 2023.

PROMISE: Preconditioned Stochastic Optimization Methods by Incorporating Scalable Curvature Estimates

Authors: Zachary Frangella, Pratik Rathore, Shipu Zhao, Madeleine Udell

Abstract: This paper introduces PROMISE ($\textbf{Pr}$econditioned Stochastic $\textbf{O}$ptimization $\textbf{M}$ethods by $\textbf{I}$ncorporating $\textbf{S}$calable Curvature $\textbf{E}$stimates), a suite of sketching-based preconditioned stochastic gradient algorithms for solving large-scale convex optimization problems arising in machine learning. PROMISE includes preconditioned versions of SVRG, SAG… ▽ More This paper introduces PROMISE ($\textbf{Pr}$econditioned Stochastic $\textbf{O}$ptimization $\textbf{M}$ethods by $\textbf{I}$ncorporating $\textbf{S}$calable Curvature $\textbf{E}$stimates), a suite of sketching-based preconditioned stochastic gradient algorithms for solving large-scale convex optimization problems arising in machine learning. PROMISE includes preconditioned versions of SVRG, SAGA, and Katyusha; each algorithm comes with a strong theoretical analysis and effective default hyperparameter values. In contrast, traditional stochastic gradient methods require careful hyperparameter tuning to succeed, and degrade in the presence of ill-conditioning, a ubiquitous phenomenon in machine learning. Empirically, we verify the superiority of the proposed algorithms by showing that, using default hyperparameter values, they outperform or match popular tuned stochastic gradient optimizers on a test bed of $51$ ridge and logistic regression problems assembled from benchmark machine learning repositories. On the theoretical side, this paper introduces the notion of quadratic regularity in order to establish linear convergence of all proposed methods even when the preconditioner is updated infrequently. The speed of linear convergence is determined by the quadratic regularity ratio, which often provides a tighter bound on the convergence rate compared to the condition number, both in theory and in practice, and explains the fast global linear convergence of the proposed methods. △ Less

Submitted 13 March, 2024; v1 submitted 5 September, 2023; originally announced September 2023.

Comments: 52 pages, 9 Figures

The Existence of Hamilton Cycle in n-Balanced k-Partite Graphs

Authors: Zongyuan Yang, Yi Zhang, Shichang Zhao

Abstract: Let $G_{k,n}$ be the $n$-balanced $k$-partite graph, whose vertex set can be partitioned into $k$ parts, each has $n$ vertices. In this paper, we prove that if $k \geq 2,n \geq 1$, for the edge set $E(G)$ of $G_{k,n}$ $$|E(G)| \geq\left\{\begin{array}{cc} 1 & \text { if } k=2, n=1 n^{2} C_{k}^{2}-(k-1) n+2 & \text { other } \end{array}\right.$$ then $G_{k,n}$ is hamiltonian. And the result may be… ▽ More Let $G_{k,n}$ be the $n$-balanced $k$-partite graph, whose vertex set can be partitioned into $k$ parts, each has $n$ vertices. In this paper, we prove that if $k \geq 2,n \geq 1$, for the edge set $E(G)$ of $G_{k,n}$ $$|E(G)| \geq\left\{\begin{array}{cc} 1 & \text { if } k=2, n=1 n^{2} C_{k}^{2}-(k-1) n+2 & \text { other } \end{array}\right.$$ then $G_{k,n}$ is hamiltonian. And the result may be the best. △ Less

Submitted 31 August, 2023; originally announced September 2023.

On Möbius functions from automorphic forms and a generalized Sarnak's conjecture

Authors: Zhining Wei, Shifan Zhao

Abstract: In this paper, we consider Möbius functions associated with two types of $L$-functions: Rankin-Selberg $L$-functions of symmetric powers of distinct holomorphic cusp forms and $L$-functions of Maass cusp forms. We show that these Möbius functions are weakly orthogonal to bounded sequences. As a direct corollary, a generalized Sarnak's conjecture holds for these two types of Möbius functions. In this paper, we consider Möbius functions associated with two types of $L$-functions: Rankin-Selberg $L$-functions of symmetric powers of distinct holomorphic cusp forms and $L$-functions of Maass cusp forms. We show that these Möbius functions are weakly orthogonal to bounded sequences. As a direct corollary, a generalized Sarnak's conjecture holds for these two types of Möbius functions. △ Less

Submitted 21 August, 2023; originally announced August 2023.

Comments: 13 pages

MSC Class: 11F66; 11F30

A Variance-Reduced Aggregation Based Gradient Tracking method for Distributed Optimization over Directed Networks

Authors: Shengchao Zhao, Siyuan Song, Yongchao Liu

Abstract: This paper studies the distributed optimization problem over directed networks with noisy information-sharing. To resolve the imperfect communication issue over directed networks, a series of noise-robust variants of Push-Pull/AB method have been developed. These methods improve the robustness of Push-Pull method against the information-sharing noise through adding small factors on weight matrices… ▽ More This paper studies the distributed optimization problem over directed networks with noisy information-sharing. To resolve the imperfect communication issue over directed networks, a series of noise-robust variants of Push-Pull/AB method have been developed. These methods improve the robustness of Push-Pull method against the information-sharing noise through adding small factors on weight matrices and replacing the global gradient tracking with the cumulative gradient tracking. Based on the two techniques, we propose a new variant of the Push-Pull method by presenting a novel mechanism of inter-agent information aggregation, named variance-reduced aggregation (VRA). VRA helps us to release some conditions on the objective function and networks. When the objective function is convex and the sharing-information noise is variance-unbounded, it can be shown that the proposed method converges to the optimal solution almost surely. When the objective function is strongly convex and the sharing-information noise is variance-bounded, the proposed method achieves the convergence rate of $\mathcal{O}\left(k^{-(1-ε)}\right)$ in the mean square sense, where $ε$ could be close to 0 infinitely. Simulated experiments on ridge regression problems verify the effectiveness of the proposed method. △ Less

Submitted 27 July, 2023; originally announced July 2023.

Boundary integrated neural networks (BINNs) for acoustic radiation and scattering

Authors: Wenzhen Qu, Yan Gu, Shengdong Zhao, Fajie wang

Abstract: This paper presents a novel approach called the boundary integrated neural networks (BINNs) for analyzing acoustic radiation and scattering. The method introduces fundamental solutions of the time-harmonic wave equation to encode the boundary integral equations (BIEs) within the neural networks, replacing the conventional use of the governing equation in physics-informed neural networks (PINNs). T… ▽ More This paper presents a novel approach called the boundary integrated neural networks (BINNs) for analyzing acoustic radiation and scattering. The method introduces fundamental solutions of the time-harmonic wave equation to encode the boundary integral equations (BIEs) within the neural networks, replacing the conventional use of the governing equation in physics-informed neural networks (PINNs). This approach offers several advantages. Firstly, the input data for the neural networks in the BINNs only require the coordinates of "boundary" collocation points, making it highly suitable for analyzing acoustic fields in unbounded domains. Secondly, the loss function of the BINNs is not a composite form, and has a fast convergence. Thirdly, the BINNs achieve comparable precision to the PINNs using fewer collocation points and hidden layers/neurons. Finally, the semi-analytic characteristic of the BIEs contributes to the higher precision of the BINNs. Numerical examples are presented to demonstrate the performance of the proposed method. △ Less

Submitted 19 July, 2023; originally announced July 2023.

Quantitative stability of a nonlocal Sobolev inequality

Authors: Paolo Piccione, Minbo Yang, Shuneng Zhao

Abstract: In this paper, we study the quantitative stability of the nonlocal Soblev inequality \begin{equation*} S_{HL}\left(\int_{\mathbb{R}^N}\big(|x|^{-μ} \ast |u|^{2_μ^{\ast}}\big)|u|^{2_μ^{\ast}} dx\right)^{\frac{1}{2_μ^{\ast}}}\leq\int_{\mathbb{R}^N}|\nabla u|^2 dx , \quad \forall~u\in \mathcal{D}^{1,2}(\mathbb{R}^N), \end{equation*} where $2_μ^{\ast}=\frac{2N-μ}{N-2}$ and $S_{HL}$ is a positive… ▽ More In this paper, we study the quantitative stability of the nonlocal Soblev inequality \begin{equation*} S_{HL}\left(\int_{\mathbb{R}^N}\big(|x|^{-μ} \ast |u|^{2_μ^{\ast}}\big)|u|^{2_μ^{\ast}} dx\right)^{\frac{1}{2_μ^{\ast}}}\leq\int_{\mathbb{R}^N}|\nabla u|^2 dx , \quad \forall~u\in \mathcal{D}^{1,2}(\mathbb{R}^N), \end{equation*} where $2_μ^{\ast}=\frac{2N-μ}{N-2}$ and $S_{HL}$ is a positive constant depending only on $N$ and $μ$. For $N\geq3$, and $0<μ<N$, it is well-known that, up to translation and scaling, the nonlocal Soblev inequality has a unique extremal function $W[ξ,λ]$ which is positive and radially symmetric. We first prove a result of quantitative stability of the nonlocal Soblev inequality with the level of gradients. Secondly, we also establish the stability of profile decomposition to the Euler-Lagrange equation of the above inequality for nonnegative functions. Finally we study the stability of the nonlocal Soblev inequality \begin{equation*} \Big\|\nabla u-\sum_{i=1}^κ\nabla W[ξ_i,λ_i]\Big\|_{L^2}\leq C\Big\|Δu+\left(\frac{1}{|x|^μ}\ast |u|^{2_μ^{\ast}}\right)|u|^{2_μ^{\ast}-2}u\Big\|_{(\mathcal{D}^{1,2}(\mathbb{R}^N))^{-1}} \end{equation*} with the parameter region $κ\geq2$, $3\leq N<6-μ$, $μ\in(0,N)$ satisfying $0<μ\leq4$, or dimension $N\geq3$ and $κ=1$, $μ\in(0,N)$ satisfying $0<μ\leq4$. △ Less

Submitted 29 June, 2023; originally announced June 2023.

State estimation for one-dimensional agro-hydrological processes with model mismatch

Authors: Zhuangyu Liu, Jinfeng Liu, Shunyi Zhao, Xiaoli Luan, Fei Liu

Abstract: The importance of accurate soil moisture data for the development of modern closed-loop irrigation systems cannot be overstated. Due to the diversity of soil, it is difficult to obtain an accurate model for agro-hydrological system. In this study, soil moisture estimation in 1D agro-hydrological systems with model mismatch is the focus. To address the problem of model mismatch, a nonlinear state-s… ▽ More The importance of accurate soil moisture data for the development of modern closed-loop irrigation systems cannot be overstated. Due to the diversity of soil, it is difficult to obtain an accurate model for agro-hydrological system. In this study, soil moisture estimation in 1D agro-hydrological systems with model mismatch is the focus. To address the problem of model mismatch, a nonlinear state-space model derived from the Richards equation is utilized, along with additive unknown inputs. The determination of the number of sensors required is achieved through sensitivity analysis and the orthogonalization projection method. To estimate states and unknown inputs in real-time, a recursive expectation maximization (EM) algorithm derived from the conventional EM algorithm is employed. During the E-step, the extended Kalman filter (EKF) is used to compute states and covariance in the recursive Q-function, while in the M-step, unknown inputs are updated by locally maximizing the recursive Q-function. The estimation performance is evaluated using comprehensive simulations. Through this method, accurate soil moisture estimation can be obtained, even in the presence of model mismatch. △ Less

Submitted 24 May, 2023; originally announced June 2023.

NLTGCR: A class of Nonlinear Acceleration Procedures based on Conjugate Residuals

Authors: Huan He, Ziyuan Tang, Shifan Zhao, Yousef Saad, Yuanzhe Xi

Abstract: This paper develops a new class of nonlinear acceleration algorithms based on extending conjugate residual-type procedures from linear to nonlinear equations. The main algorithm has strong similarities with Anderson acceleration as well as with inexact Newton methods - depending on which variant is implemented. We prove theoretically and verify experimentally, on a variety of problems from simulat… ▽ More This paper develops a new class of nonlinear acceleration algorithms based on extending conjugate residual-type procedures from linear to nonlinear equations. The main algorithm has strong similarities with Anderson acceleration as well as with inexact Newton methods - depending on which variant is implemented. We prove theoretically and verify experimentally, on a variety of problems from simulation experiments to deep learning applications, that our method is a powerful accelerated iterative algorithm. △ Less

Submitted 30 March, 2024; v1 submitted 31 May, 2023; originally announced June 2023.

Journal ref: SIAM Journal on Matrix Analysis and Applications, Volume 45, Issue 1, pp. 1-827 (2024)

Remainder terms of a nonlocal Sobolev inequality1

Authors: Shengbing Deng, Xingliang Tian, Minbo Yang, Shunneng Zhao

Abstract: In this note we study a nonlocal version of the Sobolev inequality \begin{equation*} \int_{\mathbb{R}^N}|\nabla u|^2 dx \geq S_{HLS}\left(\int_{\mathbb{R}^N}\big(|x|^{-α} \ast u^{2_α^{\ast}}\big)u^{2_α^{\ast}} dx\right)^{\frac{1}{2_α^{\ast}}}, \quad \forall u\in \mathcal{D}^{1,2}(\mathbb{R}^N), \end{equation*} where $S_{HLS}$ is the best constant, $\ast$ denotes the standard convolution and… ▽ More In this note we study a nonlocal version of the Sobolev inequality \begin{equation*} \int_{\mathbb{R}^N}|\nabla u|^2 dx \geq S_{HLS}\left(\int_{\mathbb{R}^N}\big(|x|^{-α} \ast u^{2_α^{\ast}}\big)u^{2_α^{\ast}} dx\right)^{\frac{1}{2_α^{\ast}}}, \quad \forall u\in \mathcal{D}^{1,2}(\mathbb{R}^N), \end{equation*} where $S_{HLS}$ is the best constant, $\ast$ denotes the standard convolution and $\mathcal{D}^{1,2}(\mathbb{R}^N)$ denotes the classical Sobolev space with respect to the norm $\|u\|_{\mathcal{D}^{1,2}(\mathbb{R}^N)}=\|\nabla u\|_{L^2(\mathbb{R}^N)}$. By using the nondegeneracy property of the extremal functions, we prove that the existence of the gradient type remainder term and a reminder term in the weak $L^{\frac{N}{N-2}}$-norm of above inequality for all $0<α<N$. △ Less

Submitted 26 May, 2023; originally announced May 2023.

Comments: 15 pages

MSC Class: 35P30; 35J20

Ground truth clustering is not the optimum clustering

Authors: Lucia Absalom Bautista, Timotej Hrga, Janez Povh, Shudian Zhao

Abstract: The clustering of data is one of the most important and challenging topics in data science. The minimum sum-of-squares clustering (MSSC) problem asks to cluster the data points into $k$ clusters such that the sum of squared distances between the data points and their cluster centers (centroids) is minimized. This problem is NP-hard, but there exist exact solvers that can solve such problem to opti… ▽ More The clustering of data is one of the most important and challenging topics in data science. The minimum sum-of-squares clustering (MSSC) problem asks to cluster the data points into $k$ clusters such that the sum of squared distances between the data points and their cluster centers (centroids) is minimized. This problem is NP-hard, but there exist exact solvers that can solve such problem to optimality for small or medium size instances. In this paper, we use a branch-and-bound solver based on semidefinite programming relaxations called SOS-SDP to compute the optimum solutions of the MSSC problem for various $k$ and for multiple datasets, with real and artificial data, for which the data provider has provided ground truth clustering. Next, we use several extrinsic and intrinsic measures to evaluate how the optimum clustering and ground truth clustering matches, and how well these clusterings perform with respect to the criteria underlying the intrinsic measures. Our calculations show that the ground truth clusterings are generally far from the optimum solution to the MSSC problem. Moreover, the intrinsic measures evaluated on the ground truth clusterings are generally significantly worse compared to the optimum clusterings. However, when the ground truth clustering is in the form of convex sets, e.g., ellipsoids, that are well separated from each other, the ground truth clustering comes very close to the optimum clustering. △ Less

Submitted 22 May, 2023; originally announced May 2023.

Comments: 23 pages; 2 figures, 5 tables

Alternating mixed-integer programming and neural network training for approximating stochastic two-stage problems

Authors: Jan Kronqvist, Boda Li, Jan Rolfes, Shudian Zhao

Abstract: The presented work addresses two-stage stochastic programs (2SPs), a broadly applicable model to capture optimization problems subject to uncertain parameters with adjustable decision variables. In case the adjustable or second-stage variables contain discrete decisions, the corresponding 2SPs are known to be NP-complete. The standard approach of forming a single-stage deterministic equivalent pro… ▽ More The presented work addresses two-stage stochastic programs (2SPs), a broadly applicable model to capture optimization problems subject to uncertain parameters with adjustable decision variables. In case the adjustable or second-stage variables contain discrete decisions, the corresponding 2SPs are known to be NP-complete. The standard approach of forming a single-stage deterministic equivalent problem can be computationally challenging even for small instances, as the number of variables and constraints scales with the number of scenarios. To avoid forming a potentially huge MILP problem, we build upon an approach of approximating the expected value of the second-stage problem by a neural network (NN) and encoding the resulting NN into the first-stage problem. The proposed algorithm alternates between optimizing the first-stage variables and retraining the NN. We demonstrate the value of our approach with the example of computing operating points in power systems by showing that the alternating approach provides improved first-stage decisions and a tighter approximation between the expected objective and its neural network approximation. △ Less

Submitted 19 July, 2023; v1 submitted 11 May, 2023; originally announced May 2023.

Comments: 16 pages, 2 figures

MSC Class: 90C15; 90C11; 90-10

An Adaptive Factorized Nyström Preconditioner for Regularized Kernel Matrices

Authors: Shifan Zhao, Tianshi Xu, Hua Huang, Edmond Chow, Yuanzhe Xi

Abstract: The spectrum of a kernel matrix significantly depends on the parameter values of the kernel function used to define the kernel matrix. This makes it challenging to design a preconditioner for a regularized kernel matrix that is robust across different parameter values. This paper proposes the Adaptive Factorized Nyström (AFN) preconditioner. The preconditioner is designed for the case where the ra… ▽ More The spectrum of a kernel matrix significantly depends on the parameter values of the kernel function used to define the kernel matrix. This makes it challenging to design a preconditioner for a regularized kernel matrix that is robust across different parameter values. This paper proposes the Adaptive Factorized Nyström (AFN) preconditioner. The preconditioner is designed for the case where the rank k of the Nyström approximation is large, i.e., for kernel function parameters that lead to kernel matrices with eigenvalues that decay slowly. AFN deliberately chooses a well-conditioned submatrix to solve with and corrects a Nyström approximation with a factorized sparse approximate matrix inverse. This makes AFN efficient for kernel matrices with large numerical ranks. AFN also adaptively chooses the size of this submatrix to balance accuracy and cost. △ Less

Submitted 9 April, 2024; v1 submitted 11 April, 2023; originally announced April 2023.

GBO:AMulti-Granularity Optimization Algorithm via Granular-ball for Continuous Problems

Authors: Shuyin Xia, Xinyu Lin, Guan Wang, De-Gang Chen, Sen Zhao, Guoyin Wang, Jing Liang

Abstract: Optimization problems aim to find the optimal solution, which is becoming increasingly complex and difficult to solve. Traditional evolutionary optimization methods always overlook the granular characteristics of solution space. In the real scenario of numerous optimizations, the solution space is typically partitioned into sub-regions characterized by varying degree distributions. These sub-regio… ▽ More Optimization problems aim to find the optimal solution, which is becoming increasingly complex and difficult to solve. Traditional evolutionary optimization methods always overlook the granular characteristics of solution space. In the real scenario of numerous optimizations, the solution space is typically partitioned into sub-regions characterized by varying degree distributions. These sub-regions present different granularity characteristics at search potential and difficulty. Considering the granular characteristics of the solution space, the number of coarse-grained regions is smaller than the number of points, so the calculation is more efficient. On the other hand, coarse-grained characteristics are not easily affected by fine-grained sample points, so the calculation is more robust. To this end, this paper proposes a new multi-granularity evolutionary optimization method, namely the Granular-ball Optimization (GBO) algorithm, which characterizes and searches the solution space from coarse to fine. Specifically, using granular-balls instead of traditional points for optimization increases the diversity and robustness of the random search process. At the same time, the search range in different iteration processes is limited by the radius of granular-balls, covering the solution space from large to small. The mechanism of granular-ball splitting is applied to continuously split and evolve the large granular-balls into smaller ones for refining the solution space. Extensive experiments on commonly used benchmarks have shown that GBO outperforms popular and advanced evolutionary algorithms. The code can be found in the supporting materials. △ Less

Submitted 18 February, 2025; v1 submitted 18 March, 2023; originally announced March 2023.

Comments: 12 pages, 30 figures

Characterizing bearing equivalence in directed graphs

Authors: Zhiyong Sun, Shiyu Zhao, Daniel Zelazo

Abstract: In this paper, we study bearing equivalence in directed graphs. We first give a strengthened definition of bearing equivalence based on the \textit{kernel equivalence} relationship between bearing rigidity matrix and bearing Laplacian matrix. We then present several conditions to characterize bearing equivalence for both directed acyclic and cyclic graphs. These conditions involve the spectrum and… ▽ More In this paper, we study bearing equivalence in directed graphs. We first give a strengthened definition of bearing equivalence based on the \textit{kernel equivalence} relationship between bearing rigidity matrix and bearing Laplacian matrix. We then present several conditions to characterize bearing equivalence for both directed acyclic and cyclic graphs. These conditions involve the spectrum and null space of the associated bearing Laplacian matrix for a directed bearing formation. For directed acyclic graphs, all eigenvalues of the associated bearing Laplacian are real and nonnegative, while for directed graphs containing cycles, the bearing Laplacian can have eigenvalues with negative real parts. Several examples of bearing equivalent and bearing non-equivalent formations are given to illustrate these conditions. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Comments: Accepted by the 22nd World Congress of the International Federation of Automatic Control