Showing 1–50 of 92 results for author: Wu, M

Pseudoskew category algebras and modules over representations of small categories

Authors: Mawei Wu

Abstract: Let $\mathcal {C}$ be a small category and let $R$ be a representation of the category $\mathcal {C}$, that is, a pseudofunctor from a small category to the category of small preadditive categories. In this paper, we mainly study the category $\mbox{Mod-} R$ of right modules over $R$. We characterize it both as a category of the Abelian group valued functors on $Gr(R)$ and as a category of modules… ▽ More Let $\mathcal {C}$ be a small category and let $R$ be a representation of the category $\mathcal {C}$, that is, a pseudofunctor from a small category to the category of small preadditive categories. In this paper, we mainly study the category $\mbox{Mod-} R$ of right modules over $R$. We characterize it both as a category of the Abelian group valued functors on $Gr(R)$ and as a category of modules over a new family of algebras: the pseudoskew category algebras $R[{\mathcal C}]$, where $Gr(R)$ is the linear Grothendieck construction of $R$. Moreover, we also classify the hereditary torsion pairs in $\mbox{Mod-} R$ and reprove Theorem 3.18 of the paper (S. Estrada and S. Virili. Cartesian modules over representations of small categories. Adv. in Math. 310: 557-609, 2017) of Estrada and Virili. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: 16 pages

Adaptive Incentive Design with Learning Agents

Authors: Chinmay Maheshwari, Kshitij Kulkarni, Manxi Wu, Shankar Sastry

Abstract: How can the system operator learn an incentive mechanism that achieves social optimality based on limited information about the agents' behavior, who are dynamically updating their strategies? To answer this question, we propose an \emph{adaptive} incentive mechanism. This mechanism updates the incentives of agents based on the feedback of each agent's externality, evaluated as the difference betw… ▽ More How can the system operator learn an incentive mechanism that achieves social optimality based on limited information about the agents' behavior, who are dynamically updating their strategies? To answer this question, we propose an \emph{adaptive} incentive mechanism. This mechanism updates the incentives of agents based on the feedback of each agent's externality, evaluated as the difference between the player's marginal cost and society's marginal cost at each time step. The proposed mechanism updates the incentives on a slower timescale compared to the agents' learning dynamics, resulting in a two-timescale coupled dynamical system. Notably, this mechanism is agnostic to the specific learning dynamics used by agents to update their strategies. We show that any fixed point of this adaptive incentive mechanism corresponds to the optimal incentive mechanism, ensuring that the Nash equilibrium coincides with the socially optimal strategy. Additionally, we provide sufficient conditions that guarantee the convergence of the adaptive incentive mechanism to a fixed point. Our results apply to both atomic and non-atomic games. To demonstrate the effectiveness of our proposed mechanism, we verify the convergence conditions in two practically relevant games: atomic networked quadratic aggregative games and non-atomic network routing games. △ Less

Submitted 26 May, 2024; originally announced May 2024.

Comments: 33 pages

Nonlinear kernel-free quadratic hyper-surface support vector machine with 0-1 loss function

Authors: Mingyang Wu, Zhixia Yang, Junyou Ye

Abstract: For the binary classification problem, a novel nonlinear kernel-free quadratic hyper-surface support vector machine with 0-1 loss function (QSSVM$_{0/1}$) is proposed. Specifically, the task of QSSVM$_{0/1}$ is to seek a quadratic separating hyper-surface to divide the samples into two categories. And it has better interpretability than the methods using kernel functions, since each feature of the… ▽ More For the binary classification problem, a novel nonlinear kernel-free quadratic hyper-surface support vector machine with 0-1 loss function (QSSVM$_{0/1}$) is proposed. Specifically, the task of QSSVM$_{0/1}$ is to seek a quadratic separating hyper-surface to divide the samples into two categories. And it has better interpretability than the methods using kernel functions, since each feature of the sample acts both independently and synergistically. By introducing the 0-1 loss function to construct the optimization model makes the model obtain strong sample sparsity. The proximal stationary point of the optimization problem is defined by the proximal operator of the 0-1 loss function, which figures out the problem of non-convex discontinuity of the optimization problem due to the 0-1 loss function. A new iterative algorithm based on the alternating direction method of multipliers (ADMM) framework is designed to solve the optimization problem, which relates to the working set defined by support vectors. The computational complexity and convergence of the algorithm are discussed. Numerical experiments on 4 artificial datasets and 14 benchmark datasets demonstrate that our QSSVM$_{0/1}$ achieves higher classification accuracy, fewer support vectors and less CPU time cost than other state-of-the-art methods. △ Less

Submitted 16 April, 2024; originally announced April 2024.

Complex generalized Gauss-Radau quadrature rules for Hankel transforms of integer order

Authors: Haiyong Wang, Menghan Wu

Abstract: Complex Gaussian quadrature rules for oscillatory integral transforms have the advantage that they can achieve optimal asymptotic order. However, their existence for Hankel transform can only be guaranteed when the order of the transform belongs to $[0,1/2]$. In this paper we consider the construction of generalized Gauss-Radau quadrature rules for Hankel transform. We show that, if adding certain… ▽ More Complex Gaussian quadrature rules for oscillatory integral transforms have the advantage that they can achieve optimal asymptotic order. However, their existence for Hankel transform can only be guaranteed when the order of the transform belongs to $[0,1/2]$. In this paper we consider the construction of generalized Gauss-Radau quadrature rules for Hankel transform. We show that, if adding certain value and derivative information at the left endpoint, then complex generalized Gauss-Radau quadrature rules for Hankel transform of integer order can be constructed with theoretical guarantees. Orthogonal polynomials that are closely related to such quadrature rules are investigated and their existence for even degrees is proved. Numerical experiments are presented to confirm our findings. △ Less

Submitted 28 March, 2024; originally announced March 2024.

Comments: 24 pages

MSC Class: 65R10; 65D32

Torsion Pairs in Categories of Modules on Ringed Finite Sites

Authors: Mawei Wu

Abstract: Let $\mathcal{C}$ be a small category. In this paper, we mainly study the category of modules $\mathfrak{M}\mbox{od-}\mathfrak{R}$ on ringed sites $(\mathbf{C},\mathfrak{R})$. We firstly reprove the Theorem A of the paper (M. Wu and F. Xu. Skew category algebras and modules on ringed finite sites. J. A. 631, 2023), then we characterize $\mathfrak{M}\mbox{od-}\mathfrak{R}$ in terms of the torsion p… ▽ More Let $\mathcal{C}$ be a small category. In this paper, we mainly study the category of modules $\mathfrak{M}\mbox{od-}\mathfrak{R}$ on ringed sites $(\mathbf{C},\mathfrak{R})$. We firstly reprove the Theorem A of the paper (M. Wu and F. Xu. Skew category algebras and modules on ringed finite sites. J. A. 631, 2023), then we characterize $\mathfrak{M}\mbox{od-}\mathfrak{R}$ in terms of the torsion presheaves on $Gr(\mathfrak{R})$, where $Gr(\mathfrak{R})$ is the linear Grothendieck construction of $\mathfrak{R}$. Finally, we investigate the hereditary torsion pairs, TTF triples and Abelian recollements of $\mathfrak{M}\mbox{od-}\mathfrak{R}$. When $\mathcal{C}$ is finite, the complete classifications of all these are given respectively. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Comments: 15 pages

MUSIC: Accelerated Convergence for Distributed Optimization With Inexact and Exact Methods

Authors: Mou Wu, Haibin Liao, Zhengtao Ding, Yonggang Xiao

Abstract: Gradient-type distributed optimization methods have blossomed into one of the most important tools for solving a minimization learning task over a networked agent system. However, only one gradient update per iteration is difficult to achieve a substantive acceleration of convergence. In this paper, we propose an accelerated framework named as MUSIC allowing each agent to perform multiple local up… ▽ More Gradient-type distributed optimization methods have blossomed into one of the most important tools for solving a minimization learning task over a networked agent system. However, only one gradient update per iteration is difficult to achieve a substantive acceleration of convergence. In this paper, we propose an accelerated framework named as MUSIC allowing each agent to perform multiple local updates and a single combination in each iteration. More importantly, we equip inexact and exact distributed optimization methods into this framework, thereby develo** two new algorithms that exhibit accelerated linear convergence and high communication efficiency. Our rigorous convergence analysis reveals the sources of steady-state errors arising from inexact policies and offers effective solutions. Numerical results based on synthetic and real datasets demonstrate both our theoretical motivations and analysis, as well as performance advantages. △ Less

Submitted 4 March, 2024; originally announced March 2024.

A Hessian-based energy-optimization study of morphoelasticity

Authors: Min Wu

Abstract: Morphoelasticity describes a family of nonlinear PDE system and has been widely applied to understand growth and morphogenesis in living and nonliving structures. Most previous studies depend on locally linearizing either the PDE system or its discretized numerical counterpart. This involves conducting a linear stability analysis for a trivial solution or utilizing Newton-Raphson iteration on the… ▽ More Morphoelasticity describes a family of nonlinear PDE system and has been widely applied to understand growth and morphogenesis in living and nonliving structures. Most previous studies depend on locally linearizing either the PDE system or its discretized numerical counterpart. This involves conducting a linear stability analysis for a trivial solution or utilizing Newton-Raphson iteration on the force residual equations derived from finite element approximation, respectively. The paper presents a numerical approach that frames the search for solutions as the optimization of a discretized energy functional, similar to Tallinen et al., PRL, 2013. In contrast to Tallinen et al., we utilize the Hessian matrix of the energy to develop a gradient descent algorithm that ensures energy stability, which allows us to search solutions robustly in different types of bifurcations. The solutions are further refined locally by Newton-Raphson iterations. We showcase the effectiveness of our approach by studying shape transitions induced by the growth in the interior layer of a bilayer annulus, with the outer layer constrained at its outermost boundary. By investigating three cases with varying elastic-moduli ratios between the two layers, we illustrate that our new method can not only identify and characterize supercritical bifurcations leading to smooth wrinkles but also capture subcritical transitions from smooth solutions to non-smooth crease-forming solutions. Moreover, it reveals aperiodic solutions, both smooth and non-smooth, that have not been previously reported. △ Less

Submitted 28 January, 2024; originally announced February 2024.

Van der Corput and metric theorems for geometric progressions for self-similar measures

Authors: Amir Algom, Yuanyang Chang, Meng Wu, Yu-Liang Wu

Abstract: We prove a van der Corput lemma for non-atomic self-similar measures $μ$. As an application, we show that the correlations of all finite orders of $( x^n \mod 1 )_{n\geq 1}$ converge to the Poissonian model for $μ$-a.e. $x$, assuming $x>1$. We also complete a recent result of Algom, Rodriguez Hertz, and Wang (obtained simultaneously by Baker and Banaji), showing that any self-conformal measure wit… ▽ More We prove a van der Corput lemma for non-atomic self-similar measures $μ$. As an application, we show that the correlations of all finite orders of $( x^n \mod 1 )_{n\geq 1}$ converge to the Poissonian model for $μ$-a.e. $x$, assuming $x>1$. We also complete a recent result of Algom, Rodriguez Hertz, and Wang (obtained simultaneously by Baker and Banaji), showing that any self-conformal measure with respect to a non-affine real analytic IFS has polynomial Fourier decay. △ Less

Submitted 2 January, 2024; originally announced January 2024.

Orisometry formalism reveals duality and exotic nonuniform response in origami sheets

Authors: Michael Czajkowski, James McInerney, Andrew M. Wu, D. Zeb Rocklin

Abstract: Origami metamaterial design enables drastic qualitative changes in the response properties of a thin sheet via the addition of a repeating pattern of folds based around a rigid folding motion. Known also as a mechanism, this folding motion will have a very small energy cost when applied uniformly; and yet uniform activation of such remains highly difficult to observe, these sheets instead generica… ▽ More Origami metamaterial design enables drastic qualitative changes in the response properties of a thin sheet via the addition of a repeating pattern of folds based around a rigid folding motion. Known also as a mechanism, this folding motion will have a very small energy cost when applied uniformly; and yet uniform activation of such remains highly difficult to observe, these sheets instead generically displaying nonuniform response patterns which are not yet well understood. Here, we present a purely geometric continuum theory which captures the nonuniform, nonlinear response to generic loading as composed locally of the planar mechanism, as well as previously identified ``twist'' and ``bend'' modes which enable the patterned sheet to curve out of the plane across long distances. Our numerical analysis confirms that these three modes govern the observed nonuniform response, varying smoothly across the sheet according to three PDEs which guarantee compatibility. In analogy with the recently solved case of planar mechanism metamaterials, these ``Orisometries'' (origami + isometries, so named by us) are subextensive but infinite in number, with each mode displaying, in the linear limit, ``sheared analytic'' spatial patterns which are controlled by the Poisson's ratio of the uniform folding mechanism. Furthermore, the ``planar'' mechanism-based deformation patterns superimpose with a mathematically dual space of ``non-planar'' twist/bend deformations to span the available soft linear response. Together, our findings furnish the first quantification of the number of soft response modes available, as well as the first intuitive quantification of their spatial distribution. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Comments: 7 pages + 17 pages appendices, 5 figures

Ensemble linear interpolators: The role of ensembling

Authors: Mingqi Wu, Qiang Sun

Abstract: Interpolators are unstable. For example, the mininum $\ell_2$ norm least square interpolator exhibits unbounded test errors when dealing with noisy data. In this paper, we study how ensemble stabilizes and thus improves the generalization performance, measured by the out-of-sample prediction risk, of an individual interpolator. We focus on bagged linear interpolators, as bagging is a popular rando… ▽ More Interpolators are unstable. For example, the mininum $\ell_2$ norm least square interpolator exhibits unbounded test errors when dealing with noisy data. In this paper, we study how ensemble stabilizes and thus improves the generalization performance, measured by the out-of-sample prediction risk, of an individual interpolator. We focus on bagged linear interpolators, as bagging is a popular randomization-based ensemble method that can be implemented in parallel. We introduce the multiplier-bootstrap-based bagged least square estimator, which can then be formulated as an average of the sketched least square estimators. The proposed multiplier bootstrap encompasses the classical bootstrap with replacement as a special case, along with a more intriguing variant which we call the Bernoulli bootstrap. Focusing on the proportional regime where the sample size scales proportionally with the feature dimensionality, we investigate the out-of-sample prediction risks of the sketched and bagged least square estimators in both underparametrized and overparameterized regimes. Our results reveal the statistical roles of sketching and bagging. In particular, sketching modifies the aspect ratio and shifts the interpolation threshold of the minimum $\ell_2$ norm estimator. However, the risk of the sketched estimator continues to be unbounded around the interpolation threshold due to excessive variance. In stark contrast, bagging effectively mitigates this variance, leading to a bounded limiting out-of-sample prediction risk. To further understand this stability improvement property, we establish that bagging acts as a form of implicit regularization, substantiated by the equivalence of the bagged estimator with its explicitly regularized counterpart. We also discuss several extensions. △ Less

Submitted 6 September, 2023; originally announced September 2023.

Comments: 30-page main text including figures and tables, 50-page appendix

Scaling limits of self-conformal measures

Authors: Balázs Bárány, Antti Käenmäki, Aleksi Pyörälä, Meng Wu

Abstract: We show that any self-conformal measure $μ$ on $\mathbb{R}$ is uniformly scaling and generates an ergodic fractal distribution. This generalizes existing results by removing the need for any separation condition. We also obtain applications to the prevalence of normal numbers in self-conformal sets, the resonance between self-conformal measures on the line, and projections of self-affine measures… ▽ More We show that any self-conformal measure $μ$ on $\mathbb{R}$ is uniformly scaling and generates an ergodic fractal distribution. This generalizes existing results by removing the need for any separation condition. We also obtain applications to the prevalence of normal numbers in self-conformal sets, the resonance between self-conformal measures on the line, and projections of self-affine measures on carpets. △ Less

Submitted 22 August, 2023; originally announced August 2023.

Comments: 25 pages

MSC Class: Primary 28A80; Secondary 28A33; 37A10; 37C45

SDE driven by cylindrical $α$-stable process with distributional drift and application

Authors: Mingyan Wu, Zimo Hao

Abstract: For $α\in (1,2)$, we study the following stochastic differential equation driven by a non-degenerate symmetric $α$-stable process in ${\mathbb R}^d$: \begin{align*} {\mathord{\rm d}} X_t=b(t,X_t){\mathord{\rm d}} t+σ(t,X_{t-}){\mathord{\rm d}} L_t^{(α)},\ \ X_0 =x \in {\mathbb R}^d, \end{align*} where $b$ belongs to $ L^\infty({\mathbb R}_+;{\mathbf B}_{\infty,\infty}^{-β}({\mathbb R}^d))$ with… ▽ More For $α\in (1,2)$, we study the following stochastic differential equation driven by a non-degenerate symmetric $α$-stable process in ${\mathbb R}^d$: \begin{align*} {\mathord{\rm d}} X_t=b(t,X_t){\mathord{\rm d}} t+σ(t,X_{t-}){\mathord{\rm d}} L_t^{(α)},\ \ X_0 =x \in {\mathbb R}^d, \end{align*} where $b$ belongs to $ L^\infty({\mathbb R}_+;{\mathbf B}_{\infty,\infty}^{-β}({\mathbb R}^d))$ with some $β\in(0,\frac{α-1}{2})$, and $σ:{\mathbb R}_+\times {\mathbb R}^d \to {\mathbb R}^d \otimes {\mathbb R}^d$ is a $d \times d $ matrix-valued measurable function. We point out that the noise could be a cylindrical $α$-stable process. We first show the generalized martingale problems and then establish the stability estimates of solutions. As an application, we give the weak convergence rate of the Euler scheme for additive noises with drift coefficient $b=b(x)$. △ Less

Submitted 29 May, 2023; originally announced May 2023.

Markov $α$-Potential Games

Authors: Xin Guo, Xinyu Li, Chinmay Maheshwari, Shankar Sastry, Manxi Wu

Abstract: This paper proposes a new framework of Markov $α$-potential games to study Markov games. In this new framework, Markov games are shown to be Markov $α$-potential games, and the existence of an associated $α$-potential function is established. Any optimizer of an $α$-potential function is shown to be an $α$-stationary NE. Two important classes of practically significant Markov games, Markov congest… ▽ More This paper proposes a new framework of Markov $α$-potential games to study Markov games. In this new framework, Markov games are shown to be Markov $α$-potential games, and the existence of an associated $α$-potential function is established. Any optimizer of an $α$-potential function is shown to be an $α$-stationary NE. Two important classes of practically significant Markov games, Markov congestion games and the perturbed Markov team games, are studied via this framework of Markov $α$-potential games, with explicit characterization of an upper bound for $α$ and its relation to game parameters. Additionally, a semi-infinite linear programming based formulation is presented to obtain an upper bound for $α$ for any Markov game. Furthermore, two equilibrium approximation algorithms, namely the projected gradient-ascent algorithm and the sequential maximum improvement algorithm, are presented along with their Nash regret analysis, and corroborated by numerical experiments. △ Less

Submitted 9 March, 2024; v1 submitted 21 May, 2023; originally announced May 2023.

Comments: 32 pages, 3 figures

MSC Class: 91A68; 91A50; 91A15; 91A14; 91A10

Large slices through self affine carpets

Authors: Amir Algom, Meng Wu

Abstract: Let $F\subseteq [0,1]^2$ be a Bedford-McMullen carpet defined by exponents $m>n$, that projects to $[0,1]$ on the $y$-axis. We show that under mild conditions on $F$, there are many non principle lines $\ell$ such that $\dim^* F\cap \ell = \dim^* F -1$, where $\dim^*$ is Furstenberg's star dimension (maximal dimension of a microset). This exhibits the sharpness of recent Furstenberg-type slicing t… ▽ More Let $F\subseteq [0,1]^2$ be a Bedford-McMullen carpet defined by exponents $m>n$, that projects to $[0,1]$ on the $y$-axis. We show that under mild conditions on $F$, there are many non principle lines $\ell$ such that $\dim^* F\cap \ell = \dim^* F -1$, where $\dim^*$ is Furstenberg's star dimension (maximal dimension of a microset). This exhibits the sharpness of recent Furstenberg-type slicing theorems obtained by Algom (2020) about upper bounds on the dimension of every such slice. △ Less

Submitted 30 March, 2023; originally announced March 2023.

Comments: Submitted to the Proceedings of Fractals and Related Fields 4

Soy: An Efficient MILP Solver for Piecewise-Affine Systems

Authors: Haoze Wu, Min Wu, Dorsa Sadigh, Clark Barrett

Abstract: Piecewise-affine (PWA) systems are widely used for modeling and control of robotics problems including modeling contact dynamics. A common approach is to encode the control problem of the PWA system as a Mixed-Integer Convex Program (MICP), which can be solved by general-purpose off-the-shelf MICP solvers. To mitigate the scalability challenge of solving these MICP problems, existing work focuses… ▽ More Piecewise-affine (PWA) systems are widely used for modeling and control of robotics problems including modeling contact dynamics. A common approach is to encode the control problem of the PWA system as a Mixed-Integer Convex Program (MICP), which can be solved by general-purpose off-the-shelf MICP solvers. To mitigate the scalability challenge of solving these MICP problems, existing work focuses on devising efficient and strong formulations of the problems, while less effort has been spent on exploiting their specific structure to develop specialized solvers. The latter is the theme of our work. We focus on efficiently handling one-hot constraints, which are particularly relevant when encoding PWA dynamics. We have implemented our techniques in a tool, Soy, which organically integrates logical reasoning, arithmetic reasoning, and stochastic local search. For a set of PWA control benchmarks, Soy solves more problems, faster, than two state-of-the-art MICP solvers. △ Less

Submitted 15 August, 2023; v1 submitted 23 March, 2023; originally announced March 2023.

Comments: Same version published at IROS'2023

Neural Frailty Machine: Beyond proportional hazard assumption in neural survival regressions

Authors: Ruofan Wu, Jiawei Qiao, Mingzhe Wu, Wen Yu, Ming Zheng, Tengfei Liu, Tianyi Zhang, Weiqiang Wang

Abstract: We present neural frailty machine (NFM), a powerful and flexible neural modeling framework for survival regressions. The NFM framework utilizes the classical idea of multiplicative frailty in survival analysis to capture unobserved heterogeneity among individuals, at the same time being able to leverage the strong approximation power of neural architectures for handling nonlinear covariate depende… ▽ More We present neural frailty machine (NFM), a powerful and flexible neural modeling framework for survival regressions. The NFM framework utilizes the classical idea of multiplicative frailty in survival analysis to capture unobserved heterogeneity among individuals, at the same time being able to leverage the strong approximation power of neural architectures for handling nonlinear covariate dependence. Two concrete models are derived under the framework that extends neural proportional hazard models and nonparametric hazard regression models. Both models allow efficient training under the likelihood objective. Theoretically, for both proposed models, we establish statistical guarantees of neural function approximation with respect to nonparametric components via characterizing their rate of convergence. Empirically, we provide synthetic experiments that verify our theoretical statements. We also conduct experimental evaluations over $6$ benchmark datasets of different scales, showing that the proposed NFM models outperform state-of-the-art survival models in terms of predictive performance. Our code is publicly availabel at https://github.com/Rorschach1989/nfm △ Less

Submitted 4 October, 2023; v1 submitted 18 March, 2023; originally announced March 2023.

Statistical inferences for complex dependence of multimodal imaging data

Authors: **yuan Chang, **g He, Jian Kang, Mingcong Wu

Abstract: Statistical analysis of multimodal imaging data is a challenging task, since the data involves high-dimensionality, strong spatial correlations and complex data structures. In this paper, we propose rigorous statistical testing procedures for making inferences on the complex dependence of multimodal imaging data. Motivated by the analysis of multi-task fMRI data in the Human Connectome Project (HC… ▽ More Statistical analysis of multimodal imaging data is a challenging task, since the data involves high-dimensionality, strong spatial correlations and complex data structures. In this paper, we propose rigorous statistical testing procedures for making inferences on the complex dependence of multimodal imaging data. Motivated by the analysis of multi-task fMRI data in the Human Connectome Project (HCP) study, we particularly address three hypothesis testing problems: (a) testing independence among imaging modalities over brain regions, (b) testing independence between brain regions within imaging modalities, and (c) testing independence between brain regions across different modalities. Considering a general form for all the three tests, we develop a global testing procedure and a multiple testing procedure controlling the false discovery rate. We study theoretical properties of the proposed tests and develop a computationally efficient distributed algorithm. The proposed methods and theory are general and relevant for many statistical problems of testing independence structure among the components of high-dimensional random vectors with arbitrary dependence structures. We also illustrate our proposed methods via extensive simulations and analysis of five task fMRI contrast maps in the HCP study. △ Less

Submitted 6 March, 2023; originally announced March 2023.

Weather2K: A Multivariate Spatio-Temporal Benchmark Dataset for Meteorological Forecasting Based on Real-Time Observation Data from Ground Weather Stations

Authors: Xun Zhu, Yutong Xiong, Ming Wu, Gaozhen Nie, Bin Zhang, Ziheng Yang

Abstract: Weather forecasting is one of the cornerstones of meteorological work. In this paper, we present a new benchmark dataset named Weather2K, which aims to make up for the deficiencies of existing weather forecasting datasets in terms of real-time, reliability, and diversity, as well as the key bottleneck of data quality. To be specific, our Weather2K is featured from the following aspects: 1) Reliabl… ▽ More Weather forecasting is one of the cornerstones of meteorological work. In this paper, we present a new benchmark dataset named Weather2K, which aims to make up for the deficiencies of existing weather forecasting datasets in terms of real-time, reliability, and diversity, as well as the key bottleneck of data quality. To be specific, our Weather2K is featured from the following aspects: 1) Reliable and real-time data. The data is hourly collected from 2,130 ground weather stations covering an area of 6 million square kilometers. 2) Multivariate meteorological variables. 20 meteorological factors and 3 constants for position information are provided with a length of 40,896 time steps. 3) Applicable to diverse tasks. We conduct a set of baseline tests on time series forecasting and spatio-temporal forecasting. To the best of our knowledge, our Weather2K is the first attempt to tackle weather forecasting task by taking full advantage of the strengths of observation data from ground weather stations. Based on Weather2K, we further propose Meteorological Factors based Multi-Graph Convolution Network (MFMGCN), which can effectively construct the intrinsic correlation among geographic locations based on meteorological factors. Sufficient experiments show that MFMGCN improves both the forecasting performance and temporal robustness. We hope our Weather2K can significantly motivate researchers to develop efficient and accurate algorithms to advance the task of weather forecasting. The dataset can be available at https://github.com/bycnfz/weather2k/. △ Less

Submitted 21 February, 2023; originally announced February 2023.

A topological version of Furstenberg-Kesten theorem

Authors: Aihua Fan, Meng Wu

Abstract: Let $A(x): =(A_{i, j}(x))$ be a continuous function defined on some subshift of $Ω:= \{0,1, \cdots, m-1\}^\mathbb{N}$, taking $d\times d$ non-negative matrices as values and let $ν$ be an ergodic $σ$-invariant measure on the subshift where $σ$ is the shift map. Under the condition that $ A(x)A(σx)\cdots A(σ^{\ell-1} x)$ is a positive matrix for some point $ x$ in the support of $ν$ and some intege… ▽ More Let $A(x): =(A_{i, j}(x))$ be a continuous function defined on some subshift of $Ω:= \{0,1, \cdots, m-1\}^\mathbb{N}$, taking $d\times d$ non-negative matrices as values and let $ν$ be an ergodic $σ$-invariant measure on the subshift where $σ$ is the shift map. Under the condition that $ A(x)A(σx)\cdots A(σ^{\ell-1} x)$ is a positive matrix for some point $ x$ in the support of $ν$ and some integer $\ell\ge 1$ and that every entry function $A_{i,j}(\cdot)$ is either identically zero or bounded from below by a positive number which is independent of $i$ and $j$, it is proved that for any $ν$-generic point $ω\in Ω$, the limit defining the Lyapunov exponent $\lim_{n\to \infty} n^{-1} \log \|A(ω) A(σω)\cdots A(σ^{n-1}ω)\|$ exists. △ Less

Submitted 25 December, 2022; originally announced December 2022.

Comments: 24 pages

Multiday User Equilibrium with Strategic Commuters

Authors: Minghui Wu, Yafeng Yin, Jerome P. Lynch

Abstract: In the era of connected and automated mobility, commuters will possess strong computation power, enabling them to strategically make sequential travel choices over a planning horizon. This paper investigates the multiday traffic patterns that arise from such decision-making behavior. In doing so, we frame the commute problem as a mean-field Markov game and introduce a novel concept of multiday use… ▽ More In the era of connected and automated mobility, commuters will possess strong computation power, enabling them to strategically make sequential travel choices over a planning horizon. This paper investigates the multiday traffic patterns that arise from such decision-making behavior. In doing so, we frame the commute problem as a mean-field Markov game and introduce a novel concept of multiday user equilibrium to capture the steady state of commuters' interactions. The proposed model is general and can be tailored to various travel choices such as route or departure time. We explore a range of properties of the multiday user equilibrium under mild conditions. The study reveals the fingerprint of user inertia on network flow patterns, particularly for foresighted commuters, causing between-day variations even at a steady state. Furthermore, our analysis establishes critical connections between the multiday user equilibrium and conventional Wardrop equilibrium. △ Less

Submitted 22 December, 2023; v1 submitted 23 December, 2022; originally announced December 2022.

Skew category algebras and modules on ringed finite sites

Authors: Mawei Wu, Fei Xu

Abstract: Let $\mathcal{C}$ be a small category. We investigate ringed sites $(\mathbf{C},\mathfrak{R})$ on $\mathcal{C}$ and the resulting module categories $\mathfrak{M}{\rm od}\text{-}\mathfrak{R}$. When $\mathcal{C}$ is finite, based on Grothendieck and Verdier's classification of finite topoi, we prove that each $\mathfrak{M}{\rm od}\text{-}\mathfrak{R}$ is equivalent to… ▽ More Let $\mathcal{C}$ be a small category. We investigate ringed sites $(\mathbf{C},\mathfrak{R})$ on $\mathcal{C}$ and the resulting module categories $\mathfrak{M}{\rm od}\text{-}\mathfrak{R}$. When $\mathcal{C}$ is finite, based on Grothendieck and Verdier's classification of finite topoi, we prove that each $\mathfrak{M}{\rm od}\text{-}\mathfrak{R}$ is equivalent to ${\rm Mod}\text{-}\mathfrak{R}|_{\mathcal{D}}[\mathcal{D}]$, where $\mathfrak{R}|_{\mathcal{D}}[\mathcal{D}]$ is the skew category algebra, canonically defined on $(\mathbf{C},\mathfrak{R})$, for a uniquely determined full subcategory $\mathcal{D}\subset\mathcal{C}$ and the restriction $\mathfrak{R}|_{\mathcal{D}}$ of $\mathfrak{R}$ to $\mathcal{D}$. △ Less

Submitted 11 July, 2022; originally announced July 2022.

MSC Class: 20C05; 18F10; 18A25; 18F20

Journal ref: Journal of Algebra 2023

Order preserving and order reversing operators on the class of $L^0$-convex functions in complete random normed modules

Authors: Mingzhi Wu, Tiexin Guo, Long Long

Abstract: Based on both the fundamental theorem of affine geometry in regular $L^0$-modules and the recent progress in random convex analysis, this paper characterizes the stable fully order preserving and order reversing operators acting on the class of proper lower semicontinuous $L^0$-convex functions in complete random normed modules. Based on both the fundamental theorem of affine geometry in regular $L^0$-modules and the recent progress in random convex analysis, this paper characterizes the stable fully order preserving and order reversing operators acting on the class of proper lower semicontinuous $L^0$-convex functions in complete random normed modules. △ Less

Submitted 13 June, 2022; originally announced June 2022.

Comments: 24

The eigenvector-eigenvalue identity for the quaternion matrix with its algorithm and computer program

Authors: Yuchao He, Mengda Wu, Yonghui Xia

Abstract: Peter Denton, Stephen Parke, Terence Tao and Xining Zhang [arxiv 2019] presented a basic and important identity in linear commutative algebra, so-called {\bf the eigenvector-eigenvalue identity} (formally named in [BAMS, 2021]), which is a convenient and powerful tool to succinctly determine eigenvectors from eigenvalues. The identity relates the eigenvector component to the eigenvalues of $A$ and… ▽ More Peter Denton, Stephen Parke, Terence Tao and Xining Zhang [arxiv 2019] presented a basic and important identity in linear commutative algebra, so-called {\bf the eigenvector-eigenvalue identity} (formally named in [BAMS, 2021]), which is a convenient and powerful tool to succinctly determine eigenvectors from eigenvalues. The identity relates the eigenvector component to the eigenvalues of $A$ and the minor $M_j$, which is formulated in an elegant form as \[ \lvert v_{i,j} \rvert^2\prod_{k=1;k\ne i}^{n-1}({λ_i}(A)-{λ_k}(A))=\prod_{k=1}^{n-1}({λ_i}(A)-{λ_k}(M_j)). \,\,\,%\mbox{(\cite{tao-eig,D-P-T-Z})} \] In fact, it has been widely applied in various fields such as numerical linear algebra, random matrix theory, inverse eigenvalue problem, graph theory, neutrino physics and so on. In this paper, we extend the eigenvector-eigenvalue identity to the quaternion division ring, which is non-commutative. A version of eigenvector-eigenvalue identity for the quaternion matrix is established. Furthermore, we give a new method and algorithm to compute the eigenvectors from the right eigenvalues for the quaternion Hermitian matrix. A program is designed to realize the algorithm to compute the eigenvectors. An open problem ends the paper. Some examples show a good performance of the algorithm and the program. △ Less

Submitted 8 July, 2022; v1 submitted 16 February, 2022; originally announced March 2022.

Dimensions of certain sets of continued fractions with non-decreasing partial quotients

Authors: Lulu Fang, Jihua Ma, Kunkun Song, Min Wu

Abstract: Let $[a_1(x),a_2(x),a_3(x),\cdots]$ be the continued fraction expansion of $x\in (0,1)$. This paper is concerned with certain sets of continued fractions with non-decreasing partial quotients. As a main result, we obtain the Hausdorff dimension of the set \[\left\{x\in(0,1): a_1(x)\leq a_2(x)\leq \cdots,\ \limsup\limits_{n\to\infty}\frac{\log a_n(x)}{ψ(n)}=1\right\}\] for any… ▽ More Let $[a_1(x),a_2(x),a_3(x),\cdots]$ be the continued fraction expansion of $x\in (0,1)$. This paper is concerned with certain sets of continued fractions with non-decreasing partial quotients. As a main result, we obtain the Hausdorff dimension of the set \[\left\{x\in(0,1): a_1(x)\leq a_2(x)\leq \cdots,\ \limsup\limits_{n\to\infty}\frac{\log a_n(x)}{ψ(n)}=1\right\}\] for any $ψ:\mathbb{N}\rightarrow\mathbb{R}^+$ satisfying $ψ(n)\to\infty$ as $n\to\infty$. △ Less

Submitted 30 January, 2022; originally announced January 2022.

Comments: 14 pages

MSC Class: 11K50; 28A80

Floquet multipliers and the stability of periodic linear differential equations: a unified algorithm and its computer realization

Authors: Mengda Wu, Yonghui Xia, Ziyi Xu

Abstract: Floquet multipliers (characteristic multipliers) play significant role in the stability of the periodic equations. Based on the iterative method, we provide a unified algorithm to compute the Floquet multipliers (characteristic multipliers) and determine the stability of the periodic linear differential equations on time scales unifying discrete, continuous, and hybrid dynamics. Our approach is ba… ▽ More Floquet multipliers (characteristic multipliers) play significant role in the stability of the periodic equations. Based on the iterative method, we provide a unified algorithm to compute the Floquet multipliers (characteristic multipliers) and determine the stability of the periodic linear differential equations on time scales unifying discrete, continuous, and hybrid dynamics. Our approach is based on calculating the value of A and B (see Theorem 3.1), which are the sum and product of all Floquet multipliers (characteristic multipliers) of the system, respectively. We obtain an explicit expression of A (see Theorem 4.1) by the method of variation and approximation theory and an explicit expression of B by Liouville's formula. Furthermore, a computer program is designed to realize our algorithm. Specifically, you can determine the stability of a second order periodic linear system, whether they are discrete, continuous or hybrid, as long as you enter the program codes associated with the parameters of the equation. In fact, few literatures have dealt with the algorithm to compute the Floquet multipliers, not mention to design the program for its computer realization. Our algorithm gives the explicit expressions of all Floquet multipliers and our computer program is based on the approximations of these explicit expressions. In particular, on an arbitrary discrete periodic time scale, we can do a finite number of calculations to get the explicit value of Floquet multipliers (see Theorem 4.2). Therefore, for any discrete periodic system, we can accurately determine the stability of the system even without computer! Finally, in Section 6, several examples are presented to illustrate the effectiveness of our algorithm. △ Less

Submitted 2 November, 2022; v1 submitted 12 January, 2022; originally announced January 2022.

Gaussian quadrature rules for composite highly oscillatory integrals

Authors: Menghan Wu, Haiyong Wang

Abstract: Highly oscillatory integrals of composite type arise in electronic engineering and their calculations is a challenging problem. In this paper, we propose two Gaussian quadrature rules for computing such integrals. The first one is constructed based on the classical theory of orthogonal polynomials and its nodes and weights can be computed efficiently by using tools of numerical linear algebra. We… ▽ More Highly oscillatory integrals of composite type arise in electronic engineering and their calculations is a challenging problem. In this paper, we propose two Gaussian quadrature rules for computing such integrals. The first one is constructed based on the classical theory of orthogonal polynomials and its nodes and weights can be computed efficiently by using tools of numerical linear algebra. We show that the rate of convergence of this rule depends solely on the regularity of the non-oscillatory part of the integrand. The second one is constructed with respect to a sign-changing function and the classical theory of Gaussian quadrature can not be used anymore. We explore theoretical properties of this Gaussian quadrature, including the trajectories of the quadrature nodes and the convergence rate of these nodes to the endpoints of the integration interval, and prove its asymptotic error estimate under suitable hypotheses. Numerical experiments are presented to demonstrate the performance of the proposed methods. △ Less

Submitted 7 June, 2023; v1 submitted 28 December, 2021; originally announced December 2021.

Comments: Math. Comp., to appear, 2023

MSC Class: 65D30

Well-posedness of density dependent SDE driven by $α$-stable process with Hölder drifts

Authors: Mingyan Wu, Zimo Hao

Abstract: In this paper, we show the weak and strong well-posedness of density dependent stochastic differential equations driven by $α$-stable processes with $α\in(1,2)$. The existence part is based on Euler's approximation as \cite{HRZ20}, while, the uniqueness is based on the Schauder estimates in Besov spaces for nonlocal Fokker-Planck equations. For the existence, we only assume the drift being continu… ▽ More In this paper, we show the weak and strong well-posedness of density dependent stochastic differential equations driven by $α$-stable processes with $α\in(1,2)$. The existence part is based on Euler's approximation as \cite{HRZ20}, while, the uniqueness is based on the Schauder estimates in Besov spaces for nonlocal Fokker-Planck equations. For the existence, we only assume the drift being continuous in the density variable. For the weak uniqueness, the drift is assumed to be Lipschitz in the density variable, while for the strong uniqueness, we also need to assume the drift being $β_0$-order Hölder continuous in the spatial variable, where $β_0\in(1-α/2,1)$. △ Less

Submitted 13 December, 2021; originally announced December 2021.

Comments: 27 pages

On upper and lower fast Knintchine spectra of continued fractions

Authors: Lulu Fang, Lei Shang, Min Wu

Abstract: Let $ψ:\mathbb{N}\to \mathbb{R}^+$ be a function satisfying $φ(n)/n\to \infty$ as $n \to \infty$. We investigate from a multifractal analysis point of view the growth rate of the sums $\sum^n_{k=1}\log a_k(x)$ relative to $ψ(n)$, where $[a_1(x),a_2(x), a_3(x)\cdots]$ denotes the continued fraction expansion of $x\in (0,1)$. The upper (resp. lower) fast Khintchine spectrum is defined by the Hausdor… ▽ More Let $ψ:\mathbb{N}\to \mathbb{R}^+$ be a function satisfying $φ(n)/n\to \infty$ as $n \to \infty$. We investigate from a multifractal analysis point of view the growth rate of the sums $\sum^n_{k=1}\log a_k(x)$ relative to $ψ(n)$, where $[a_1(x),a_2(x), a_3(x)\cdots]$ denotes the continued fraction expansion of $x\in (0,1)$. The upper (resp. lower) fast Khintchine spectrum is defined by the Hausdorff dimension of the set of all points $x$ for which the upper (resp. lower) limit of $\frac{1}{ψ(n)}\sum^n_{k=1}\log a_k(x)$ is $1$. The precise formulas of these two spectra are completely determined, which strengthens a result of Liao and Rams (2016). △ Less

Submitted 2 October, 2021; originally announced October 2021.

The fundamental theorem of affine geometry in regular $L^0$-modules

Authors: Mingzhi Wu, Tiexin Guo, Long Long

Abstract: Let $(Ω,{\mathcal F},P)$ be a probability space and $L^0({\mathcal F})$ the algebra of equivalence classes of real-valued random variables defined on $(Ω,{\mathcal F},P)$. A left module $M$ over the algebra $L^0({\mathcal F})$(briefly, an $L^0({\mathcal F})$-module) is said to be regular if $x=y$ for any given two elements $x$ and $y$ in $M$ such that there exists a countable partition… ▽ More Let $(Ω,{\mathcal F},P)$ be a probability space and $L^0({\mathcal F})$ the algebra of equivalence classes of real-valued random variables defined on $(Ω,{\mathcal F},P)$. A left module $M$ over the algebra $L^0({\mathcal F})$(briefly, an $L^0({\mathcal F})$-module) is said to be regular if $x=y$ for any given two elements $x$ and $y$ in $M$ such that there exists a countable partition $\{A_n,n\in \mathbb N\}$ of $Ω$ to $\mathcal F$ such that ${\tilde I}_{A_n}\cdot x={\tilde I}_{A_n}\cdot y$ for each $n\in \mathbb N$, where $I_{A_n}$ is the characteristic function of $A_n$ and ${\tilde I}_{A_n}$ its equivalence class. The purpose of this paper is to establish the fundamental theorem of affine geometry in regular $L^0({\mathcal F})$-modules: let $V$ and $V^\prime$ be two regular $L^0({\mathcal F})$-modules such that $V$ contains a free $L^0({\mathcal F})$-submodule of rank $2$, if $T:V\to V^\prime$ is stable and invertible and maps each $L^0$-line segment to an $L^0$-line segment, then $T$ must be $L^0$-affine. △ Less

Submitted 3 November, 2021; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: 20 pages

Improved versions of some Furstenberg type slicing Theorems for self-affine carpets

Authors: Amir Algom, Meng Wu

Abstract: Let $F$ be a Bedford-McMullen carpet defined by independent integer exponents. We prove that for every line $\ell \subseteq \mathbb{R}^2$ not parallel to the major axes, $$ \dim_H (\ell \cap F) \leq \max \left\lbrace 0,\, \frac{\dim_H F}{\dim^* F} \cdot (\dim^* F-1) \right\rbrace$$ and $$ \dim_P (\ell \cap F) \leq \max \left\lbrace 0,\, \frac{\dim_P F}{\dim^* F} \cdot (\dim^* F-1) \right\rbrace$$… ▽ More Let $F$ be a Bedford-McMullen carpet defined by independent integer exponents. We prove that for every line $\ell \subseteq \mathbb{R}^2$ not parallel to the major axes, $$ \dim_H (\ell \cap F) \leq \max \left\lbrace 0,\, \frac{\dim_H F}{\dim^* F} \cdot (\dim^* F-1) \right\rbrace$$ and $$ \dim_P (\ell \cap F) \leq \max \left\lbrace 0,\, \frac{\dim_P F}{\dim^* F} \cdot (\dim^* F-1) \right\rbrace$$ where $\dim^*$ is Furstenberg's star dimension (maximal dimension of microsets). This improves the state of art results on Furstenberg type slicing Theorems for affine invariant carpets. △ Less

Submitted 5 July, 2021; originally announced July 2021.

On the exponent of convergence of Engel series

Authors: Lei Shang, Min Wu

Abstract: For $x\in (0,1)$, let $\langle d_1(x),d_2(x),d_3(x),\cdots \rangle$ be the Engel series expansion of $x$. Denote by $λ(x)$ the exponent of convergence of the sequence $\{d_n(x)\}$, namely \begin{equation*} λ(x)= \inf\left\{s \geq 0: \sum_{n \geq 1} d^{-s}_n(x)<\infty\right\}. \end{equation*} It follows from Erdős, Rényi and Szüsz (1958) that $λ(x) =0$ for Lebesgue almost all $x\in (0,1)$. This pap… ▽ More For $x\in (0,1)$, let $\langle d_1(x),d_2(x),d_3(x),\cdots \rangle$ be the Engel series expansion of $x$. Denote by $λ(x)$ the exponent of convergence of the sequence $\{d_n(x)\}$, namely \begin{equation*} λ(x)= \inf\left\{s \geq 0: \sum_{n \geq 1} d^{-s}_n(x)<\infty\right\}. \end{equation*} It follows from Erdős, Rényi and Szüsz (1958) that $λ(x) =0$ for Lebesgue almost all $x\in (0,1)$. This paper is concerned with the topological and fractal properties of the level set $\{x\in (0,1): λ(x) =α\}$ for $α\in [0,\infty]$. For the topological properties, it is proved that each level set is uncountable and dense in $(0,1)$. Furthermore, the level set is of the first Baire category for $α\in [0,\infty)$ but residual for $α=\infty$. For the fractal properties, we prove that the Hausdorff dimension of the level set is as follows: \[ \dim_{\rm H} \big\{x \in (0,1): λ(x) =α\big\}=\dim_{\rm H} \big\{x \in (0,1): λ(x) \geqα\big\}= \left\{ \begin{array}{ll} 1-α, & \hbox{$0\leq α\leq1$;} 0, & \hbox{$1<α\leq \infty$.} \end{array} \right. \] △ Less

Submitted 27 April, 2021; originally announced April 2021.

Comments: 15 pages

Central limit theorems for high dimensional dependent data

Authors: **yuan Chang, Xiaohui Chen, Mingcong Wu

Abstract: Motivated by statistical inference problems in high-dimensional time series data analysis, we first derive non-asymptotic error bounds for Gaussian approximations of sums of high-dimensional dependent random vectors on hyper-rectangles, simple convex sets and sparsely convex sets. We investigate the quantitative effect of temporal dependence on the rates of convergence to a Gaussian random vector… ▽ More Motivated by statistical inference problems in high-dimensional time series data analysis, we first derive non-asymptotic error bounds for Gaussian approximations of sums of high-dimensional dependent random vectors on hyper-rectangles, simple convex sets and sparsely convex sets. We investigate the quantitative effect of temporal dependence on the rates of convergence to a Gaussian random vector over three different dependency frameworks ($α$-mixing, $m$-dependent, and physical dependence measure). In particular, we establish new error bounds under the $α$-mixing framework and derive faster rate over existing results under the physical dependence measure. To implement the proposed results in practical statistical inference problems, we also derive a data-driven parametric bootstrap procedure based on a kernel estimator for the long-run covariance matrices. We apply the unified Gaussian and bootstrap approximation results to test mean vectors with combined $\ell^2$ and $\ell^\infty$ type statistics, change point detection, and construction of confidence regions for covariance and precision matrices, all for time series data. △ Less

Submitted 23 March, 2023; v1 submitted 26 April, 2021; originally announced April 2021.

Journal ref: Bernoulli 2024, Vol. 30, pp. 712-742

How rotational invariance of common kernels prevents generalization in high dimensions

Authors: Konstantin Donhauser, Mingqi Wu, Fanny Yang

Abstract: Kernel ridge regression is well-known to achieve minimax optimal rates in low-dimensional settings. However, its behavior in high dimensions is much less understood. Recent work establishes consistency for kernel regression under certain assumptions on the ground truth function and the distribution of the input data. In this paper, we show that the rotational invariance property of commonly studie… ▽ More Kernel ridge regression is well-known to achieve minimax optimal rates in low-dimensional settings. However, its behavior in high dimensions is much less understood. Recent work establishes consistency for kernel regression under certain assumptions on the ground truth function and the distribution of the input data. In this paper, we show that the rotational invariance property of commonly studied kernels (such as RBF, inner product kernels and fully-connected NTK of any depth) induces a bias towards low-degree polynomials in high dimensions. Our result implies a lower bound on the generalization error for a wide range of distributions and various choices of the scaling for kernels with different eigenvalue decays. This lower bound suggests that general consistency results for kernel ridge regression in high dimensions require a more refined analysis that depends on the structure of the kernel beyond its eigenvalue decay. △ Less

Submitted 9 April, 2021; originally announced April 2021.

On dimensions of visible parts of self-similar sets with finite rotation groups

Authors: Esa Järvenpää, Maarit Järvenpää, Ville Suomala, Meng Wu

Abstract: We derive an upper bound for the Assouad dimension of visible parts of self-similar sets generated by iterated function systems with finite rotation groups and satisfying the open set condition. The bound is valid for all visible parts and it depends on the penetrable part of the set, which is a concept defined in this paper. As a corollary, we obtain in the planar case that if the projection is a… ▽ More We derive an upper bound for the Assouad dimension of visible parts of self-similar sets generated by iterated function systems with finite rotation groups and satisfying the open set condition. The bound is valid for all visible parts and it depends on the penetrable part of the set, which is a concept defined in this paper. As a corollary, we obtain in the planar case that if the projection is a finite or countable union of intervals then the visible part is 1-dimensional. We also prove that the Assouad dimension of a visible part is strictly smaller than the Hausdorff dimension of the set provided the projection contains interior points. △ Less

Submitted 18 March, 2022; v1 submitted 4 January, 2021; originally announced January 2021.

Comments: Changes to the previous version: Theorems 2.4 and 2.11 are proved assuming only the weak separation condition. Theorem 2.11 is proved using a simplified argument

MSC Class: 28A80

A Topological Approach to Inferring the Intrinsic Dimension of Convex Sensing Data

Authors: Min-Chun Wu, Vladimir Itskov

Abstract: We consider a common measurement paradigm, where an unknown subset of an affine space is measured by unknown continuous quasi-convex functions. Given the measurement data, can one determine the dimension of this space? In this paper, we develop a method for inferring the intrinsic dimension of the data from measurements by quasi-convex functions, under natural generic assumptions. The dimension… ▽ More We consider a common measurement paradigm, where an unknown subset of an affine space is measured by unknown continuous quasi-convex functions. Given the measurement data, can one determine the dimension of this space? In this paper, we develop a method for inferring the intrinsic dimension of the data from measurements by quasi-convex functions, under natural generic assumptions. The dimension inference problem depends only on discrete data of the ordering of the measured points of space, induced by the sensor functions. We introduce a construction of a filtration of Dowker complexes, associated to measurements by quasi-convex functions. Topological features of these complexes are then used to infer the intrinsic dimension. We prove convergence theorems that guarantee obtaining the correct intrinsic dimension in the limit of large data, under natural generic assumptions. We also illustrate the usability of this method in simulations. △ Less

Submitted 7 July, 2020; originally announced July 2020.

MSC Class: 62R40 (Primary) 55N31; 92B99 (Secondary)

Covering the Sierpiński carpet with tubes

Authors: Aleksi Pyörälä, Pablo Shmerkin, Ville Suomala, Meng Wu

Abstract: We show that non-trivial $\times N$-invariant sets in $[0,1]^d$, such as the Sierpiński carpet and the Sierpiński sponge, are tube-null, that is, they can be covered by a union of tubular neighbourhoods of lines of arbitrarily small total volume. This introduces a new class of tube-null sets of dimension strictly between $d-1$ and $d$. We utilize ergodic-theoretic methods to decompose the set into… ▽ More We show that non-trivial $\times N$-invariant sets in $[0,1]^d$, such as the Sierpiński carpet and the Sierpiński sponge, are tube-null, that is, they can be covered by a union of tubular neighbourhoods of lines of arbitrarily small total volume. This introduces a new class of tube-null sets of dimension strictly between $d-1$ and $d$. We utilize ergodic-theoretic methods to decompose the set into finitely many parts, each of which projects onto a set of Hausdorff dimension less than $1$ in some direction. We also discuss coverings by tubes for other self-similar sets, and present various applications. △ Less

Submitted 31 May, 2020; originally announced June 2020.

Comments: 24 pages, 2 figures

MSC Class: Primary 37C45; Secondary 28A80

Schauder's estimates for nonlocal equations with singular Lévy measures

Authors: Zimo Hao, Zhen Wang, Mingyan Wu

Abstract: In this paper, we establish Schauder's estimates for the following non-local equations in \mR^d : $$ \partial_tu=\mathscr L^{(α)}_{κ,σ} u+b\cdot\nabla u+f,\ u(0)=0, $$ where $α\in(1/2,2)$ and $ b:\mathbb R_+\times\mathbb R^d\to\mathbb R$ is an unbounded local $β$-order Hölder function in $ x $ uniformly in $ t $, and $\mathscr L^{(α)}_{κ,σ}$ is a non-local $α$-stable-like operator with form: \be… ▽ More In this paper, we establish Schauder's estimates for the following non-local equations in \mR^d : $$ \partial_tu=\mathscr L^{(α)}_{κ,σ} u+b\cdot\nabla u+f,\ u(0)=0, $$ where $α\in(1/2,2)$ and $ b:\mathbb R_+\times\mathbb R^d\to\mathbb R$ is an unbounded local $β$-order Hölder function in $ x $ uniformly in $ t $, and $\mathscr L^{(α)}_{κ,σ}$ is a non-local $α$-stable-like operator with form: \begin{align*} {\mathscr L}^{(α)}_{κ,σ}u(t,x):=\int_{\mathbb R^d}\Big(u(t,x+σ(t,x)z)-u(t,x)-σ(t,x)z^{(α)}\cdot\nabla u(t,x)\Big)κ(t,x,z)ν^{(α)}(\mathord{\rm d} z), \end{align*} where $z^{(α)}=z\mathbf{1}_{α\in(1,2)}+z\mathbf{1}_{|z|\leq 1}\mathbf{1}_{α=1}$, $ κ:\mathbb R_+\times\mathbb R^{2d}\to\mathbb R_+ $ is bounded from above and below, $ σ:\mathbb R_+\times\mathbb R^{d}\to \mathbb R^d\otimes \mathbb R^d$ is a $ γ$-order Hölder continuous function in $ x $ uniformly in $ t $, and $ ν^{(α)} $ is a singular non-degenerate $ α$-stable Lévy measure. △ Less

Submitted 23 February, 2020; originally announced February 2020.

Fast Polynomial Kernel Classification for Massive Data

Authors: **shan Zeng, Minrun Wu, Shao-Bo Lin, Ding-Xuan Zhou

Abstract: In the era of big data, it is desired to develop efficient machine learning algorithms to tackle massive data challenges such as storage bottleneck, algorithmic scalability, and interpretability. In this paper, we develop a novel efficient classification algorithm, called fast polynomial kernel classification (FPC), to conquer the scalability and storage challenges. Our main tools are a suitable s… ▽ More In the era of big data, it is desired to develop efficient machine learning algorithms to tackle massive data challenges such as storage bottleneck, algorithmic scalability, and interpretability. In this paper, we develop a novel efficient classification algorithm, called fast polynomial kernel classification (FPC), to conquer the scalability and storage challenges. Our main tools are a suitable selected feature map** based on polynomial kernels and an alternating direction method of multipliers (ADMM) algorithm for a related non-smooth convex optimization problem. Fast learning rates as well as feasibility verifications including the efficiency of an ADMM solver with convergence guarantees and the selection of center points are established to justify theoretical behaviors of FPC. Our theoretical assertions are verified by a series of simulations and real data applications. Numerical results demonstrate that FPC significantly reduces the computational burden and storage memory of existing learning schemes such as support vector machines, Nyström and random feature methods, without sacrificing their generalization abilities much. △ Less

Submitted 11 November, 2022; v1 submitted 24 November, 2019; originally announced November 2019.

Comments: arXiv admin note: text overlap with arXiv:1402.4735 by other authors

Uniform recurrence properties for beta-transformation

Authors: Lixuan Zheng, Min Wu

Abstract: For any $β> 1$, let $T_β: [0,1)\rightarrow [0,1)$ be the $β$-transformation defined by $T_βx=βx \mod 1$. We study the uniform recurrence properties of the orbit of a point under the $β$-transformation to the point itself. The size of the set of points with prescribed uniform recurrence rate is obtained. More precisely, for any $0\leq \hat{r}\leq +\infty$, the set… ▽ More For any $β> 1$, let $T_β: [0,1)\rightarrow [0,1)$ be the $β$-transformation defined by $T_βx=βx \mod 1$. We study the uniform recurrence properties of the orbit of a point under the $β$-transformation to the point itself. The size of the set of points with prescribed uniform recurrence rate is obtained. More precisely, for any $0\leq \hat{r}\leq +\infty$, the set $$\left\{x \in [0,1): \forall\ N\gg1, \exists\ 1\leq n \leq N, {\rm\ s.t.}\ |T^n_βx-x|\leq β^{-\hat{r}N}\right\}$$ is of Hausdorff dimension $\left(\frac{1-\hat{r}}{1+\hat{r}}\right)^2$ if $0\leq \hat{r}\leq 1$ and is countable if $\hat{r}>1$. △ Less

Submitted 19 June, 2019; originally announced June 2019.

Comments: 19 pages, 2 thoerems

MSC Class: 11A63; 11K55; 28A80

Schauder's estimate for nonlocal kinetic equations and its applications

Authors: Zimo Hao, Mingyan Wu, Xicheng Zhang

Abstract: In this paper we develop a new method based on Littlewood-Paley's decomposition and heat kernel estimates of integral form, to establish Schauder's estimate for the following degenerate nonlocal equation in $\mathbb R^{2d}$ with Hölder coefficients: $$ \partial_tu=\mathscr L^{(α)}_{κ;{\rm v}} u+b\cdot\nabla u+f,\ u_0=0, $$ where $u=u(t,x,{\rm v})$ and $\mathscr L^{(α)}_{κ;{\rm v}}$ is a nonlocal… ▽ More In this paper we develop a new method based on Littlewood-Paley's decomposition and heat kernel estimates of integral form, to establish Schauder's estimate for the following degenerate nonlocal equation in $\mathbb R^{2d}$ with Hölder coefficients: $$ \partial_tu=\mathscr L^{(α)}_{κ;{\rm v}} u+b\cdot\nabla u+f,\ u_0=0, $$ where $u=u(t,x,{\rm v})$ and $\mathscr L^{(α)}_{κ;{\rm v}}$ is a nonlocal $α$-stable-like operator with $α\in(1,2)$ and kernel function $κ$, which acts on the variable ${\rm v}$. As an application, we show the strong well-posedness to the following degenerate stochastic differential equation with Hölder drift $b$: $$ {\rm d}Z_t=b(t,Z_t){\rm d}t+(0,σ(t,Z_t){\rm d}L^{(α)}_t),\ \ Z_0=(x,{\rm v})\in\mathbb R^{2d}, $$ where $L^{(α)}_t$ is a $d$-dimensional rotationally invariant and symmetric $α$-stable process with $α\in(1,2)$, and $b:\mathbb R_+\times\mathbb R^{2d}\to\mathbb R^{2d}$ is a $(γ,β)$-Hölder continuous function in $(x,{\rm v})$ with $γ\in\big(\frac{2+α}{2(1+α)},1\big)$ and $β\in\big(1-\fracα{2},1\big)$, $σ:\mathbb R_+\times\mathbb R^{2d}\to\mathbb R^d\otimes\mathbb R^d$ is a Lipschitz function. Moreover, we also show that for almost all $ω$, the following random transport equation has a unique $C^1_b$-solution: $$ \partial_tu(t,x,ω)+(b(t,x)+L^{(α)}_t(ω))\cdot\nabla_x u(t,x,ω)=0,\ \ u(0,x)=\varphi(x), $$ where $\varphi\in C^1_b(\mathbb R^d)$ and $b:\mathbb R_+\times\mathbb R^d\to\mathbb R^d$ is a bounded continuous function in $(t,x)$ and $γ$-order Hölder continuous in $x$ uniformly in $t$ with $γ\in\big(\frac{2+α}{2(1+α)},1\big)$. △ Less

Submitted 24 March, 2019; originally announced March 2019.

Comments: 36pages

MSC Class: 35K65; 60H10

On $L^0$-convex compactness in random locally convex modules

Authors: Mingzhi Wu, Xiaolin Zeng, Shien Zhao

Abstract: For the study of some typical problems in finance and economics, Žitković %[G. Žitković, Convex compactness and its applications, Math. Finan. Eco., 3(1)(2010) 1--12] introduced convex compactness and gave many remarkable applications. Recently, motivated by random convex optimization and random variational inequalities, Guo, et al introduced $L^0$-convex compactness, developed the related theory… ▽ More For the study of some typical problems in finance and economics, Žitković %[G. Žitković, Convex compactness and its applications, Math. Finan. Eco., 3(1)(2010) 1--12] introduced convex compactness and gave many remarkable applications. Recently, motivated by random convex optimization and random variational inequalities, Guo, et al introduced $L^0$-convex compactness, developed the related theory of $L^0$-convex compactness in random normed modules and further applied it to backward stochastic equations. %[T.X. Guo, et al, Two fixed point theorems in complete random normed modules and their applications to backward stochastic equations, J. Math. Anal. Appl., 483(2020) 123644]. In this paper, we extensively study $L^0$-convexly compact sets in random locally convex modules so that a series of fundamental results are obtained. First, we show that every $L^0$-convexly compact set is complete (hence is also closed and has the countable concatenation property). Then, we prove that any $L^0$-convexly compact set is linearly homeomorphic to a weakly compact subset of some locally convex space, and simultaneously establish the equivalence between $L^0$-convex compactness and convex compactness for a closed $L^0$-convex set. Finally, we establish Tychonoff type, James type and Banach-Alaoglu type theorems for $L^0$-convex compactness, respectively. △ Less

Submitted 23 March, 2022; v1 submitted 6 January, 2019; originally announced January 2019.

Comments: 14 pages

The fundamental theorem of affine geometry in $(L^0)^n$

Authors: Mingzhi Wu, Long Long

Abstract: Let $L^0$ be the algebra of equivalence classes of real valued random variables on a given probability space, and $(L^0)^n$ the $n$-ary Cartesian power of $L^0$ for each integer $n\geq 2$. We consider $(L^0)^n$ as a free module over $L^0$ and study affine geometry in $(L^0)^n$. One of our main results states that: an injective map** $T: (L^0)^n\to (L^0)^n$ which is local and maps each $L^0$-line… ▽ More Let $L^0$ be the algebra of equivalence classes of real valued random variables on a given probability space, and $(L^0)^n$ the $n$-ary Cartesian power of $L^0$ for each integer $n\geq 2$. We consider $(L^0)^n$ as a free module over $L^0$ and study affine geometry in $(L^0)^n$. One of our main results states that: an injective map** $T: (L^0)^n\to (L^0)^n$ which is local and maps each $L^0$-line onto an $L^0$-line must be an $L^0$-affine linear map**. The other main result states that: a bijective map** $T: (L^0)^n\to (L^0)^n$ which is local and maps each $L^0$-line segment onto an $L^0$-line segment must be an $L^0$-affine linear map**. These results extend the fundamental theorem of affine geometry from $\mathbb R^n$ to $(L^0)^n$. △ Less

Submitted 13 June, 2021; v1 submitted 20 December, 2018; originally announced December 2018.

Comments: 10 pages

Convergence Analysis of a Cooperative Diffusion Gauss-Newton Strategy

Authors: Mou Wu, Naixue Xiong, Liansheng Tan

Abstract: In this paper, we investigate the convergence performance of a cooperative diffusion Gauss-Newton (GN) method, which is widely used to solve the nonlinear least squares problems (NLLS) due to the low computation cost compared with Newton's method. This diffusion GN collects the diversity of temporalspatial information over the network, which is used on local updates. In order to address the challe… ▽ More In this paper, we investigate the convergence performance of a cooperative diffusion Gauss-Newton (GN) method, which is widely used to solve the nonlinear least squares problems (NLLS) due to the low computation cost compared with Newton's method. This diffusion GN collects the diversity of temporalspatial information over the network, which is used on local updates. In order to address the challenges on convergence analysis, we firstly consider to form a global recursion relation over spatial and temporal scales since the traditional GN is a time iterative method and the network-wide NLLS need to be solved. Secondly, the derived recursion related to the networkwide deviation between the successive two iterations is ambiguous due to the uncertainty of descent discrepancy in GN update step between two versions of cooperation and non-cooperation. Thus, an important work is to derive the boundedness conditions of this discrepancy. Finally, based on the temporal-spatial recursion relation and the steady-state equilibria theory for discrete dynamical systems, we obtain the sufficient conditions for algorithm convergence, which require the good initial guesses, reasonable step size values and network connectivity. Such analysis provides a guideline for the applications based on this diffusion GN method. △ Less

Submitted 5 March, 2019; v1 submitted 29 November, 2018; originally announced November 2018.

Lower Assouad type dimensions of uniformly perfect sets in doubling metric spaces

Authors: Haipeng Chen, Min Wu, Yuanyang Chang

Abstract: In this paper, we are concerned with the relationship among the lower Assouad type dimensions. For uniformly perfect sets in doubling metric spaces, we obtain a variational result between two different but closely related lower Assouad spectra. As an application, we show that the limit of the lower Assouad spectrum as $θ$ tends to 1 equals to the quasi-lower Assouad dimension, which provides an eq… ▽ More In this paper, we are concerned with the relationship among the lower Assouad type dimensions. For uniformly perfect sets in doubling metric spaces, we obtain a variational result between two different but closely related lower Assouad spectra. As an application, we show that the limit of the lower Assouad spectrum as $θ$ tends to 1 equals to the quasi-lower Assouad dimension, which provides an equivalent definition to the latter. On the other hand, although the limit of the lower Assouad spectrum as $θ$ tends to 0 exists, there exist uniformly perfect sets such that this limit is not equal to the lower box-counting dimension. Moreover, by the example of Cantor cut-out sets, we show that the new definition of quasi lower Assouad dimension is more accessible, and indicate that the lower Assouad dimension could be strictly smaller than the lower spectra and the quasi lower Assouad dimension. △ Less

Submitted 4 March, 2020; v1 submitted 30 July, 2018; originally announced July 2018.

Comments: 19 pages, no figures. Presentation was improved upon reviewers' comments

MSC Class: 28A80; 54E35

On $p$-Harmonic Measures in Half Spaces

Authors: J. G. Llorente, J. J. Manfredi, W. C. Troy, J. M. Wu

Abstract: For all $1<p<\infty$ and $N\ge 2$ we prove that there is a constant $α(p,N)>0$ such that the $p$-harmonic measure in $\R^N_+$ of a ball of radius $0 < δ\leq 1$ in $\R^{N-1}$ is bounded above and below by a constant times $δ^{α(p.N)}$. We provide explicit estimates for the exponent $α(p,N)$ For all $1<p<\infty$ and $N\ge 2$ we prove that there is a constant $α(p,N)>0$ such that the $p$-harmonic measure in $\R^N_+$ of a ball of radius $0 < δ\leq 1$ in $\R^{N-1}$ is bounded above and below by a constant times $δ^{α(p.N)}$. We provide explicit estimates for the exponent $α(p,N)$ △ Less

Submitted 26 July, 2018; originally announced July 2018.

Comments: 24 pages

MSC Class: 34B40; 34C11; 35J60

Empirical Investigation of Non-Convexities in Optimal Power Flow Problems

Authors: Mohammad Rasoul Narimani, Daniel K. Molzahn Dan Wu, Mariesa L. Crow

Abstract: Optimal power flow (OPF) is a central problem in the operation of electric power systems. An OPF problem optimizes a specified objective function subject to constraints imposed by both the non-linear power flow equations and engineering limits. These constraints can yield non-convex feasible spaces that result in significant computational challenges. Despite these non-convexities, local solution a… ▽ More Optimal power flow (OPF) is a central problem in the operation of electric power systems. An OPF problem optimizes a specified objective function subject to constraints imposed by both the non-linear power flow equations and engineering limits. These constraints can yield non-convex feasible spaces that result in significant computational challenges. Despite these non-convexities, local solution algorithms actually find the global optima of some practical OPF problems. This suggests that OPF problems have a range of difficulty: some problems appear to have convex or "nearly convex" feasible spaces in terms of the voltage magnitudes and power injections, while other problems can exhibit significant non-convexities. Understanding this range of problem difficulty is helpful for creating new test cases for algorithmic benchmarking purposes. Leveraging recently developed computational tools for exploring OPF feasible spaces, this paper first describes an empirical study that aims to characterize non-convexities for small OPF problems. This paper then proposes and analyzes several medium-size test cases that challenge a variety of solution algorithms. △ Less

Submitted 11 April, 2018; originally announced April 2018.

Quantitative recurrence properties and homogeneous self-similar sets

Authors: Yuanyang Chang, Min Wu, Wen Wu

Abstract: Let $K$ be a homogeneous self-similar set satisfying the strong separation condition. This paper is concerned with the quantitative recurrence properties of the natural map $T: K\rightarrow K$ induced by the shift. Let $μ$ be the natural self-similar measure supported on $K$. For a positive function $\varphi$ defined on $\mathbb{N}$, we show that the $μ$-measure of the following set \begin{equatio… ▽ More Let $K$ be a homogeneous self-similar set satisfying the strong separation condition. This paper is concerned with the quantitative recurrence properties of the natural map $T: K\rightarrow K$ induced by the shift. Let $μ$ be the natural self-similar measure supported on $K$. For a positive function $\varphi$ defined on $\mathbb{N}$, we show that the $μ$-measure of the following set \begin{equation*} R(\varphi):=\{x\in K: |T^n x-x|<\varphi(n) \; \text{for infinitely many} \; n\in\mathbb{N}\} \end{equation*} is null or full according to convergence or divergence of a certain series. Moreover, a similar dichotomy law holds for the general Hausdorff measure, which completes the metric theory of this set. △ Less

Submitted 31 January, 2018; originally announced January 2018.

Comments: 12 pages

MSC Class: 28A80; 28D05; 11K55

On Assouad dimension and arithmetic progressions in sets defined by digit restrictions

Authors: **jun Li, Min Wu, Ying Xiong

Abstract: We show that the set defined by digit restrictions contains arbitrarily long arithmetic progressions if and only if its Assouad dimension is one. Moreover, we show that for any $0\le s\le 1$, there exists some set on $\mathbb{R}$ with Hausdorff dimension $s$ whose Fourier dimension is zero and it contains arbitrarily long arithmetic progressions. We show that the set defined by digit restrictions contains arbitrarily long arithmetic progressions if and only if its Assouad dimension is one. Moreover, we show that for any $0\le s\le 1$, there exists some set on $\mathbb{R}$ with Hausdorff dimension $s$ whose Fourier dimension is zero and it contains arbitrarily long arithmetic progressions. △ Less

Submitted 1 July, 2018; v1 submitted 19 October, 2017; originally announced October 2017.

Comments: 12 pages, 1 figures. We consider more general model and gave a new proof for Proposition 3.1

MSC Class: 28A80; 42A38

$L^0$--convex compactness and its applications to random convex optimization and random variational inequalities

Authors: Tiexin Guo, Erxin Zhang, Yachao Wang, Mingzhi Wu

Abstract: In 2010, Gordan Žitković introduced the notion of convex compactness for a convex subset of a linear topological space and gave some important applications to both nonlinear analysis and mathematical economics in [ Gordan Žitković, Convex compactness and its applications, Math. Finance Econom. 3(1) (2010) 1--12 ]. Motivated by Gordan Žitković's idea, in this paper we introduce the notion of $L^0$-… ▽ More In 2010, Gordan Žitković introduced the notion of convex compactness for a convex subset of a linear topological space and gave some important applications to both nonlinear analysis and mathematical economics in [ Gordan Žitković, Convex compactness and its applications, Math. Finance Econom. 3(1) (2010) 1--12 ]. Motivated by Gordan Žitković's idea, in this paper we introduce the notion of $L^0$--convex compactness for an $L^0$--convex subset of a topological module over the topological algebra $L^0(\mathcal{F},K)$, where $L^0(\mathcal{F},K)$ is the algebra of equivalence classes of random variables from a probability space $(Ω,\mathcal{F},P)$ to the scalar field $K$ of real numbers or complex numbers, endowed with the topology of convergence in probability. This paper continues to develop the theory of $L^0$--convex compactness by establishing various kinds of characterization theorems for $L^0$--convex subsets of a class of important topological modules--complete random normed modules, in particular, we make use of the theory of random conjugate spaces to give a characterization theorem of James type for a closed $L^0$--convex subset of a complete random normed module. As applications, we successfully generalize some basic theorems of classical convex optimization and variational inequalities from a convex function on a reflexive Banach space to an $L^0$--convex function on a random reflexive random normed module. Since the usual weak compactness method fails in the random setting of this paper and in particular, since the difficulties caused by the partial order structure of the range of an $L^0$--valued function also frequently occurs in the study of problems involved in this paper, we are forced to discover a series of new skills to meet the needs of this paper. △ Less

Submitted 10 August, 2019; v1 submitted 20 September, 2017; originally announced September 2017.

Comments: 28 pages

MSC Class: 46A16; 46A19; 46A20; 46H25; 54A41; 60H25

From Random Walks to Random Leaps: Generalizing Classic Markov Chains for Big Data Applications

Authors: Bala Rajaratnam, Narut Sereewattanawoot, Doug Sparks, Meng-Hsuan Wu

Abstract: Simple random walks are a basic staple of the foundation of probability theory and form the building block of many useful and complex stochastic processes. In this paper we study a natural generalization of the random walk to a process in which the allowed step sizes take values in the set $\{\pm1,\pm2,\ldots,\pm k\}$, a process we call a random leap. The need to analyze such models arises natural… ▽ More Simple random walks are a basic staple of the foundation of probability theory and form the building block of many useful and complex stochastic processes. In this paper we study a natural generalization of the random walk to a process in which the allowed step sizes take values in the set $\{\pm1,\pm2,\ldots,\pm k\}$, a process we call a random leap. The need to analyze such models arises naturally in modern-day data science and so-called "big data" applications. We provide closed-form expressions for quantities associated with first passage times and absorption events of random leaps. These expressions are formulated in terms of the roots of the characteristic polynomial of a certain recurrence relation associated with the transition probabilities. Our analysis shows that the expressions for absorption probabilities for the classical simple random walk are a special case of a universal result that is very elegant. We also consider an important variant of a random leap: the reflecting random leap. We demonstrate that the reflecting random leap exhibits more interesting behavior in regard to the existence of a stationary distribution and properties thereof. Questions relating to recurrence/transience are also addressed, as well as an application of the random leap. △ Less

Submitted 10 August, 2017; originally announced August 2017.

MSC Class: 60J10 (Primary); 65Q30 (Secondary)