-
On expectations and variances in the hard-core model on bounded degree graphs
Authors:
Ewan Davies,
Juspreet Singh Sandhu,
Brian Tan
Abstract:
We extend the study of the occupancy fraction of the hard-core model in two novel directions. One direction gives a tight lower bound in terms of individual vertex degrees, extending work of Sah, Sawhney, Stoner and Zhao which bounds the partition function. The other bounds the variance of the size of an independent set drawn from the model, which is strictly stronger than bounding the occupancy f…
▽ More
We extend the study of the occupancy fraction of the hard-core model in two novel directions. One direction gives a tight lower bound in terms of individual vertex degrees, extending work of Sah, Sawhney, Stoner and Zhao which bounds the partition function. The other bounds the variance of the size of an independent set drawn from the model, which is strictly stronger than bounding the occupancy fraction.
In the setting of triangle-free graphs, we make progress on a recent conjecture of Buys, van den Heuvel and Kang on extensions of Shearer's classic bounds on the independence number to the occupancy fraction of the hard-core model.
Sufficiently strong lower bounds on both the expectation and the variance in triangle-free graphs have the potential to improve the known bounds on the off-diagonal Ramsey number $R(3,t)$, and to shed light on the algorithmic barrier one observes for independent sets in sparse random graphs.
△ Less
Submitted 19 May, 2025;
originally announced May 2025.
-
Quantitative Matrix-Driven Diophantine approximation on $M_0$-sets
Authors:
Bo Tan,
Qing-Long Zhou
Abstract:
Let $E\subset [0,1)^{d}$ be a set supporting a probability measure $μ$ with Fourier decay $|\widehatμ({\bf{t}})|\ll (\log |{\bf{t}}|)^{-s}$ for some constant $s>d+1.$ Consider a sequence of expanding integral matrices $\mathcal{A}=(A_n)_{n\in\N}$ such that the minimal singular values of $A_{n+1}A_{n}^{-1}$ are uniformly bounded below by $K>1$. We prove a quantitative Schmidt-type counting theorem…
▽ More
Let $E\subset [0,1)^{d}$ be a set supporting a probability measure $μ$ with Fourier decay $|\widehatμ({\bf{t}})|\ll (\log |{\bf{t}}|)^{-s}$ for some constant $s>d+1.$ Consider a sequence of expanding integral matrices $\mathcal{A}=(A_n)_{n\in\N}$ such that the minimal singular values of $A_{n+1}A_{n}^{-1}$ are uniformly bounded below by $K>1$. We prove a quantitative Schmidt-type counting theorem under the following constraints: (1) the points of interest are restricted to $E$; (2) the denominators of the ``shifted'' rational approximations are drawn exclusively from $\mathcal{A}$. Our result extends the work of Pollington, Velani, Zafeiropoulos, and Zorin (2022) to the matrix setting, advancing the study of Diophantine approximation on fractals. Moreover, it strengthens the equidistribution property of the sequence $(A_n{\bf x})_{n\in\N}$ for $μ$-almost every ${\bf x}\in E.$ Applications include the normality of vectors and shrinking target problems on fractal sets.
△ Less
Submitted 30 April, 2025;
originally announced April 2025.
-
Fast MLE and MAPE-Based Device Activity Detection for Grant-Free Access via PSCA and PSCA-Net
Authors:
Bowen Tan,
Ying Cui
Abstract:
Fast and accurate device activity detection is the critical challenge in grant-free access for supporting massive machine-type communications (mMTC) and ultra-reliable low-latency communications (URLLC) in 5G and beyond. The state-of-the-art methods have unsatisfactory error rates or computation times. To address these outstanding issues, we propose new maximum likelihood estimation (MLE) and maxi…
▽ More
Fast and accurate device activity detection is the critical challenge in grant-free access for supporting massive machine-type communications (mMTC) and ultra-reliable low-latency communications (URLLC) in 5G and beyond. The state-of-the-art methods have unsatisfactory error rates or computation times. To address these outstanding issues, we propose new maximum likelihood estimation (MLE) and maximum a posterior estimation (MAPE) based device activity detection methods for known and unknown pathloss that achieve superior error rate and computation time tradeoffs using optimization and deep learning techniques. Specifically, we investigate four non-convex optimization problems for MLE and MAPE in the two pathloss cases, with one MAPE problem being formulated for the first time. For each non-convex problem, we develop an innovative parallel iterative algorithm using the parallel successive convex approximation (PSCA) method. Each PSCA-based algorithm allows parallel computations, uses up to the objective function's second-order information, converges to the problem's stationary points, and has a low per-iteration computational complexity compared to the state-of-the-art algorithms. Then, for each PSCA-based iterative algorithm, we present a deep unrolling neural network implementation, called PSCA-Net, to further reduce the computation time. Each PSCA-Net elegantly marries the underlying PSCA-based algorithm's parallel computation mechanism with the parallelizable neural network architecture and effectively optimizes its step sizes based on vast data samples to speed up the convergence. Numerical results demonstrate that the proposed methods can significantly reduce the error rate and computation time compared to the state-of-the-art methods, revealing their significant values for grant-free access.
△ Less
Submitted 23 March, 2025; v1 submitted 19 March, 2025;
originally announced March 2025.
-
Exact Diophantine approximation$\colon$ the simultaneous case in $\mathbb{R}^{2}$
Authors:
Bo Tan,
Qing-Long Zhou
Abstract:
We fill a gap in the study of the Hausdorff dimension of the set of exact approximation order considered by Fregoli [Proc. Amer. Math. Soc. 152 (2024), no. 8, 3177--3182].
We fill a gap in the study of the Hausdorff dimension of the set of exact approximation order considered by Fregoli [Proc. Amer. Math. Soc. 152 (2024), no. 8, 3177--3182].
△ Less
Submitted 27 November, 2024;
originally announced November 2024.
-
Non-Salem sets in multiplicative Diophantine approximation
Authors:
Bo Tan,
Qing-Long Zhou
Abstract:
In this paper, we answer a question of Cai-Hambrook in (arXiv$\colon$ 2403.19410). Furthermore, we compute the Fourier dimension of the multiplicative $ψ$-well approximable set $$M_2^{\times}(ψ)=\left\{(x_1,x_2)\in [0,1]^{2}\colon \|qx_1\|\|qx_2\|<ψ(q) \text{ for infinitely many } q\in \N\right\},$$ where $ψ\colon\N\to [0,\frac{1}{4})$ is a positive function satisfying…
▽ More
In this paper, we answer a question of Cai-Hambrook in (arXiv$\colon$ 2403.19410). Furthermore, we compute the Fourier dimension of the multiplicative $ψ$-well approximable set $$M_2^{\times}(ψ)=\left\{(x_1,x_2)\in [0,1]^{2}\colon \|qx_1\|\|qx_2\|<ψ(q) \text{ for infinitely many } q\in \N\right\},$$ where $ψ\colon\N\to [0,\frac{1}{4})$ is a positive function satisfying $\sum_qψ(q)\log\frac{1}{ψ(q)}<\infty.$ As a corollary, we show that the set $M_2^{\times}(q\mapsto q^{-τ})$ is non-Salem for $τ>1.$
△ Less
Submitted 19 September, 2024;
originally announced September 2024.
-
Quantitative Diophantine approximation and Fourier dimension of sets: Dirichlet non-improvable numbers versus well-approximable numbers
Authors:
Bo Tan,
Qing-Long Zhou
Abstract:
Let $E\subset [0,1]$ be a set that supports a probability measure $μ$ with the property that $|\widehatμ(t)|\ll (\log |t|)^{-A}$ for some constant $A>2.$ Let $\mathcal{A}=(q_n)_{n\in \N}$ be a positive, real-valued, lacunary sequence. We present a quantitative inhomogeneous Khintchine-type theorem in which the points of interest are restricted to $E$ and the denominators of the shifted fractions a…
▽ More
Let $E\subset [0,1]$ be a set that supports a probability measure $μ$ with the property that $|\widehatμ(t)|\ll (\log |t|)^{-A}$ for some constant $A>2.$ Let $\mathcal{A}=(q_n)_{n\in \N}$ be a positive, real-valued, lacunary sequence. We present a quantitative inhomogeneous Khintchine-type theorem in which the points of interest are restricted to $E$ and the denominators of the shifted fractions are restricted to $\mathcal{A}.$ Our result improves and extends a previous result in this direction obtained by Pollington-Velani-Zafeiropoulos-Zorin (2022). We also show that the Dirichlet non-improvable set VS well-approximable set is of positive Fourier dimension.
△ Less
Submitted 5 September, 2024;
originally announced September 2024.
-
On the Limitations of Fractal Dimension as a Measure of Generalization
Authors:
Charlie B. Tan,
Inés García-Redondo,
Qiquan Wang,
Michael M. Bronstein,
Anthea Monod
Abstract:
Bounding and predicting the generalization gap of overparameterized neural networks remains a central open problem in theoretical machine learning. There is a recent and growing body of literature that proposes the framework of fractals to model optimization trajectories of neural networks, motivating generalization bounds and measures based on the fractal dimension of the trajectory. Notably, the…
▽ More
Bounding and predicting the generalization gap of overparameterized neural networks remains a central open problem in theoretical machine learning. There is a recent and growing body of literature that proposes the framework of fractals to model optimization trajectories of neural networks, motivating generalization bounds and measures based on the fractal dimension of the trajectory. Notably, the persistent homology dimension has been proposed to correlate with the generalization gap. This paper performs an empirical evaluation of these persistent homology-based generalization measures, with an in-depth statistical analysis. Our study reveals confounding effects in the observed correlation between generalization and topological measures due to the variation of hyperparameters. We also observe that fractal dimension fails to predict generalization of models trained from poor initializations. We lastly reveal the intriguing manifestation of model-wise double descent in these topological generalization measures. Our work forms a basis for a deeper investigation of the causal relationships between fractal geometry, topological data analysis, and neural network optimization.
△ Less
Submitted 1 November, 2024; v1 submitted 4 June, 2024;
originally announced June 2024.
-
Dictionary Learning under Symmetries via Group Representations
Authors:
Subhroshekhar Ghosh,
Aaron Y. R. Low,
Yong Sheng Soh,
Zhuohang Feng,
Brendan K. Y. Tan
Abstract:
The dictionary learning problem can be viewed as a data-driven process to learn a suitable transformation so that data is sparsely represented directly from example data. In this paper, we examine the problem of learning a dictionary that is invariant under a pre-specified group of transformations. Natural settings include Cryo-EM, multi-object tracking, synchronization, pose estimation, etc. We s…
▽ More
The dictionary learning problem can be viewed as a data-driven process to learn a suitable transformation so that data is sparsely represented directly from example data. In this paper, we examine the problem of learning a dictionary that is invariant under a pre-specified group of transformations. Natural settings include Cryo-EM, multi-object tracking, synchronization, pose estimation, etc. We specifically study this problem under the lens of mathematical representation theory. Leveraging the power of non-abelian Fourier analysis for functions over compact groups, we prescribe an algorithmic recipe for learning dictionaries that obey such invariances. We relate the dictionary learning problem in the physical domain, which is naturally modelled as being infinite dimensional, with the associated computational problem, which is necessarily finite dimensional. We establish that the dictionary learning problem can be effectively understood as an optimization instance over certain matrix orbitopes having a particular block-diagonal structure governed by the irreducible representations of the group of symmetries. This perspective enables us to introduce a band-limiting procedure which obtains dimensionality reduction in applications. We provide guarantees for our computational ansatz to provide a desirable dictionary learning outcome. We apply our paradigm to investigate the dictionary learning problem for the groups SO(2) and SO(3). While the SO(2)-orbitope admits an exact spectrahedral description, substantially less is understood about the SO(3)-orbitope. We describe a tractable spectrahedral outer approximation of the SO(3)-orbitope, and contribute an alternating minimization paradigm to perform optimization in this setting. We provide numerical experiments to highlight the efficacy of our approach in learning SO(3)-invariant dictionaries, both on synthetic and on real world data.
△ Less
Submitted 25 July, 2023; v1 submitted 31 May, 2023;
originally announced May 2023.
-
Metrical properties for the large partial quotients with product forms in continued fractions
Authors:
Bo Tan,
Qing-Long Zhou
Abstract:
The metrical theory of the product of consecutive partial quotients is associated with the uniform Diophantine approximation, specifically to the improvements to Dirichlet's theorem. Achieving some variant forms of metrical theory in continued fractions, we study the distribution of the at least two large partial quotients with product forms among the first $n$ terms. More precisely, let…
▽ More
The metrical theory of the product of consecutive partial quotients is associated with the uniform Diophantine approximation, specifically to the improvements to Dirichlet's theorem. Achieving some variant forms of metrical theory in continued fractions, we study the distribution of the at least two large partial quotients with product forms among the first $n$ terms. More precisely, let $[a_1(x),a_2(x),\ldots]$ be the continued fraction expansion of an irrational number $x\in(0,1),$ and let $\varphi\colon \N\to\R$ be a non-decreasing function, we completely determine the size of the set \begin{align*} \mathcal{F}_2(\varphi)=\Big\{x\in[0,1)\colon \exists ~1\le k\neq l \le n, ~&a_{k}(x)a_{k+1}(x)\ge \varphi(n), \\&a_{l}(x)a_{l+1}(x)\ge \varphi(n) \text{ for infinitely many } n\in \N \Big\} \end{align*} in terms of Lebesgue measure and Hausdorff dimension.
△ Less
Submitted 18 September, 2023; v1 submitted 30 March, 2023;
originally announced March 2023.
-
To Define the Core Entropy for All Polynomials Having a Connected Julia Set
Authors:
Jun Luo,
Bo Tan,
Yi Yang,
Xiao-Ting Yao
Abstract:
The classical core entropy for a post critically finite (PCF) polynomial f with deg(f)>1 is defined to be the topological entropy of f restricted to its Hubbard tree. We fully generalize this notion by a new quantity, called the (general) core entropy, which is well defined whenever f has a connected Julia set. If f is PCF, the core entropy equals the classical version. If two polynomials are J-eq…
▽ More
The classical core entropy for a post critically finite (PCF) polynomial f with deg(f)>1 is defined to be the topological entropy of f restricted to its Hubbard tree. We fully generalize this notion by a new quantity, called the (general) core entropy, which is well defined whenever f has a connected Julia set. If f is PCF, the core entropy equals the classical version. If two polynomials are J-equivalent they share the same core entropy. If f is renormalizable there is a direct connection between the core entropy of f and that corresponding to the small Julia set. We also analyze the map that sends every parameter c in the Mandelbrot set to the core entropy of the polynomial z^2+c. In particular, the level set of this entropy map at log2 is of full harmonic measure and the Mandelbrot set is locally connected at each point in this level set.
△ Less
Submitted 17 April, 2024; v1 submitted 29 January, 2023;
originally announced January 2023.
-
Uniform Diophantine approximation and run-length function in continued fractions
Authors:
Bo Tan,
Qing-Long Zhou
Abstract:
We study the multifractal properties of the uniform approximation exponent and asymptotic approximation exponent in continued fractions. As a corollary, %given a nonnegative reals $\hatν,$ we calculate the Hausdorff dimension of the uniform Diophantine set $$\mathcal{U}(y,\hatν)=\Big\{x\in[0,1)\colon \forall N\gg1, \exists~ n\in[1,N], \text{ such that } |T^{n}(x)-y|<|I_{N}(y)|^{\hatν}\Big\}$$ for…
▽ More
We study the multifractal properties of the uniform approximation exponent and asymptotic approximation exponent in continued fractions. As a corollary, %given a nonnegative reals $\hatν,$ we calculate the Hausdorff dimension of the uniform Diophantine set $$\mathcal{U}(y,\hatν)=\Big\{x\in[0,1)\colon \forall N\gg1, \exists~ n\in[1,N], \text{ such that } |T^{n}(x)-y|<|I_{N}(y)|^{\hatν}\Big\}$$ for algebraic irrational points $y\in[0,1)$. These results contribute to the study of the uniform Diophantine approximation, and apply to investigating the multifractal properties of run-length function in continued fractions.
△ Less
Submitted 14 January, 2023;
originally announced January 2023.
-
Generalized ideal convergence on quasi-continuous domains
Authors:
Wu Wang,
Bin Tan,
Shun Zhang
Abstract:
In this paper,the concepts of generalized ideal inf-limit and generalized ideal final lower bound limit are introduced in the directed complete poset,and their relations with Scott topology and Lawson topology are studied. The main results are as follows: (1) On directed complete posets,generalized ideal inf-limit topology is consistent with Scott topology; (2) Generalized ideal inf-limiti converg…
▽ More
In this paper,the concepts of generalized ideal inf-limit and generalized ideal final lower bound limit are introduced in the directed complete poset,and their relations with Scott topology and Lawson topology are studied. The main results are as follows: (1) On directed complete posets,generalized ideal inf-limit topology is consistent with Scott topology; (2) Generalized ideal inf-limiti convergence is topological if and only if directed complete posets are quasi-continuous domains; (3) In quasi-continuous domain,generalized ideal final lower bound limit topology is consistent with Lawson topology;(4) In meet continuous directed complete posets,the generalized ideal final lower bound limit convergence is topological if and only if the directed complete poset is continuous.
△ Less
Submitted 15 November, 2022; v1 submitted 12 October, 2022;
originally announced October 2022.
-
Some progress in the Dixmier Conjecture
Authors:
Gang Han,
Bowen Tan
Abstract:
Let $p$ and $q$, where $pq-qp=1$, be the standard generators of the first Weyl algebra $A_1$ over a field of characteristic zero. Then the spectrum of the inner derivation $ad(pq)$ on $A_1$ are exactly the set of integers. The algebra $A_1$ is a $\mathbb{Z}$-graded algebra with each $i$-component being the $i$-eigenspace of $ad(pq)$, where $i\in \mathbb{Z}$. The Dixmier Conjecture says that if som…
▽ More
Let $p$ and $q$, where $pq-qp=1$, be the standard generators of the first Weyl algebra $A_1$ over a field of characteristic zero. Then the spectrum of the inner derivation $ad(pq)$ on $A_1$ are exactly the set of integers. The algebra $A_1$ is a $\mathbb{Z}$-graded algebra with each $i$-component being the $i$-eigenspace of $ad(pq)$, where $i\in \mathbb{Z}$. The Dixmier Conjecture says that if some elements $z$ and $w$ of $A_1$ satisfy $zw-wz=1$, then they generate $A_1$. We show that if either $z$ or $w$ possesses no component belonging to the negative spectrum of $ad(pq)$, then the Dixmier Conjecture holds. We give some generalization of this result, and some other useful criterions for $z$ and $w$ to generate $A_1$. An important tool in our proof is the Newton polygon for elements in $A_1$.
△ Less
Submitted 1 October, 2022;
originally announced October 2022.
-
Mahler's question for intrinsic Diophantine approximation on triadic Cantor set: the divergence theory
Authors:
Bo Tan,
Baowei Wang,
Jun Wu
Abstract:
In this paper, we consider the intrinsic Diophantine approximation on the triadic Cantor set $\mathcal{K}$, i.e. approximating the points in $\mathcal{K}$ by rational numbers inside $\mathcal{K}$, a question posed by K. Mahler. By using another height function of a rational number in $\mathcal{K}$, i.e. the denominator obtained from its periodic 3-adic expansion, a complete metric theory for this…
▽ More
In this paper, we consider the intrinsic Diophantine approximation on the triadic Cantor set $\mathcal{K}$, i.e. approximating the points in $\mathcal{K}$ by rational numbers inside $\mathcal{K}$, a question posed by K. Mahler. By using another height function of a rational number in $\mathcal{K}$, i.e. the denominator obtained from its periodic 3-adic expansion, a complete metric theory for this variant intrinsic Diophantine approximation is presented which yields the divergence theory of Mahler's original question.
△ Less
Submitted 28 February, 2021;
originally announced March 2021.
-
Self-adaptive-type CQ algorithms for split equality problems
Authors:
Songxiao Li,
Bing Tan,
Zheng Zhou
Abstract:
The purpose of this paper is concerned with the approximate solution of split equality problems. We introduce two types of algorithms and a new self-adaptive stepsize without prior knowledge of operator norms. The corresponding strong convergence theorems are obtained under mild conditions. Finally, some numerical experiments demonstrate the efficiency of our results and compare them with the exis…
▽ More
The purpose of this paper is concerned with the approximate solution of split equality problems. We introduce two types of algorithms and a new self-adaptive stepsize without prior knowledge of operator norms. The corresponding strong convergence theorems are obtained under mild conditions. Finally, some numerical experiments demonstrate the efficiency of our results and compare them with the existing results.
△ Less
Submitted 16 November, 2020;
originally announced November 2020.
-
Several self-adaptive inertial projection algorithms for solving split variational inclusion problems
Authors:
Zheng Zhou,
Bing Tan,
Songxiao Li
Abstract:
This paper is to analyze the approximation solution of a split variational inclusion problem in the framework of infinite dimensional Hilbert spaces. For this purpose, several inertial hybrid and shrinking projection algorithms are proposed under the effect of self-adaptive stepsizes which does not require information of the norms of the given operators. Some strong convergence properties of the p…
▽ More
This paper is to analyze the approximation solution of a split variational inclusion problem in the framework of infinite dimensional Hilbert spaces. For this purpose, several inertial hybrid and shrinking projection algorithms are proposed under the effect of self-adaptive stepsizes which does not require information of the norms of the given operators. Some strong convergence properties of the proposed algorithms are obtained under mild constraints. Finally, an experimental application is given to illustrate the performances of proposed methods by comparing existing results.
△ Less
Submitted 16 November, 2020;
originally announced November 2020.
-
Empirical likelihood and uniform convergence rates for dyadic kernel density estimation
Authors:
Harold D. Chiang,
Bing Yang Tan
Abstract:
This paper studies the asymptotic properties of and alternative inference methods for kernel density estimation (KDE) for dyadic data. We first establish uniform convergence rates for dyadic KDE. Secondly, we propose a modified jackknife empirical likelihood procedure for inference. The proposed test statistic is asymptotically pivotal regardless of presence of dyadic clustering. The results are f…
▽ More
This paper studies the asymptotic properties of and alternative inference methods for kernel density estimation (KDE) for dyadic data. We first establish uniform convergence rates for dyadic KDE. Secondly, we propose a modified jackknife empirical likelihood procedure for inference. The proposed test statistic is asymptotically pivotal regardless of presence of dyadic clustering. The results are further extended to cover the practically relevant case of incomplete dyadic data. Simulations show that this modified jackknife empirical likelihood-based inference procedure delivers precise coverage probabilities even with modest sample sizes and with incomplete dyadic data. Finally, we illustrate the method by studying airport congestion in the United States.
△ Less
Submitted 13 May, 2022; v1 submitted 17 October, 2020;
originally announced October 2020.
-
Strong convergence of an inertial Tseng's extragradient algorithm for pseudomonotone variational inequalities with applications to optimal control problems
Authors:
Bing Tan,
Xiaolong Qin
Abstract:
We investigate an inertial viscosity-type Tseng's extragradient algorithm with a new step size to solve pseudomonotone variational inequality problems in real Hilbert spaces. A strong convergence theorem of the algorithm is obtained without the prior information of the Lipschitz constant of the operator and also without any requirement of additional projections. Finally, several computational test…
▽ More
We investigate an inertial viscosity-type Tseng's extragradient algorithm with a new step size to solve pseudomonotone variational inequality problems in real Hilbert spaces. A strong convergence theorem of the algorithm is obtained without the prior information of the Lipschitz constant of the operator and also without any requirement of additional projections. Finally, several computational tests are carried out to demonstrate the reliability and benefits of the algorithm and compare it with the existing ones. Moreover, our algorithm is also applied to solve the variational inequality problem that appears in optimal control problems. The algorithm presented in this paper improves some known results in the literature.
△ Less
Submitted 22 July, 2020;
originally announced July 2020.
-
Strong convergence of inertial extragradient algorithms for solving variational inequalities and fixed point problems
Authors:
Bing Tan,
Liya Liu,
Xiaolong Qin
Abstract:
The paper investigates two inertial extragradient algorithms for seeking a common solution to a variational inequality problem involving a monotone and Lipschitz continuous mapping and a fixed point problem with a demicontractive mapping in real Hilbert spaces. Our algorithms only need to calculate the projection on the feasible set once in each iteration. Moreover, they can work well without the…
▽ More
The paper investigates two inertial extragradient algorithms for seeking a common solution to a variational inequality problem involving a monotone and Lipschitz continuous mapping and a fixed point problem with a demicontractive mapping in real Hilbert spaces. Our algorithms only need to calculate the projection on the feasible set once in each iteration. Moreover, they can work well without the prior information of the Lipschitz constant of the cost operator and do not contain any line search process. The strong convergence of the algorithms is established under suitable conditions. Some experiments are presented to illustrate the numerical efficiency of the suggested algorithms and compare them with some existing ones.
△ Less
Submitted 6 July, 2020;
originally announced July 2020.
-
Inertial extragradient algorithms for solving variational inequalities and fixed point problems
Authors:
Bing Tan,
Jingjing Fan,
Xiaolong Qin
Abstract:
The objective of this research is to explore a convex feasibility problem, which consists of a monotone variational inequality problem and a fixed point problem. We introduce four inertial extragradient algorithms that are motivated by the inertial method, the subgradient extragradient method, the Tseng's extragradient method and the Mann-type method endowed with a simple step size. Strong converg…
▽ More
The objective of this research is to explore a convex feasibility problem, which consists of a monotone variational inequality problem and a fixed point problem. We introduce four inertial extragradient algorithms that are motivated by the inertial method, the subgradient extragradient method, the Tseng's extragradient method and the Mann-type method endowed with a simple step size. Strong convergence theorems of the algorithms are established under some standard and suitable conditions enforced by the cost operators. Finally, we implement some computational tests to show the efficiency and advantages of the proposed algorithms and compare them with some existing ones.
△ Less
Submitted 30 June, 2020;
originally announced June 2020.
-
Self adaptive inertial extragradient algorithms for solving variational inequality problems
Authors:
Bing Tan,
Jingjing Fan,
Songxiao Li
Abstract:
In this paper, we study the strong convergence of two Mann-type inertial extragradient algorithms, which are devised with a new step size, for solving a variational inequality problem with a monotone and Lipschitz continuous operator in real Hilbert spaces. Strong convergence theorems for our algorithms are proved without the prior knowledge of the Lipschitz constant of the operator. Finally, we p…
▽ More
In this paper, we study the strong convergence of two Mann-type inertial extragradient algorithms, which are devised with a new step size, for solving a variational inequality problem with a monotone and Lipschitz continuous operator in real Hilbert spaces. Strong convergence theorems for our algorithms are proved without the prior knowledge of the Lipschitz constant of the operator. Finally, we provide some numerical experiments to illustrate the performances of the proposed algorithms and provide a comparison with related ones.
△ Less
Submitted 7 June, 2020;
originally announced June 2020.
-
An explicit extragradient algorithm for equilibrium problems on Hadamard manifolds
Authors:
Jingjing Fan,
Bing Tan,
Songxiao Li
Abstract:
In this paper, we investigate a new extragradient algorithm for solving pseudomonotone equilibrium problems on Hadamard manifolds. The algorithm uses a variable stepsize which is updated at each iteration and based on some previous iterates. The convergence analysis of the proposed algorithm is discussed under mild assumptions. In the case where the equilibrium bifunction is strongly pseudomonoton…
▽ More
In this paper, we investigate a new extragradient algorithm for solving pseudomonotone equilibrium problems on Hadamard manifolds. The algorithm uses a variable stepsize which is updated at each iteration and based on some previous iterates. The convergence analysis of the proposed algorithm is discussed under mild assumptions. In the case where the equilibrium bifunction is strongly pseudomonotone, the $R$-linear rate of convergence of the new algorithm is formulated. A fundamental experiment is provided to illustrate the numerical behavior of the algorithm. The results presented in this paper generalize some corresponding known results.
△ Less
Submitted 20 May, 2020;
originally announced May 2020.
-
Accelerated projection-based forward-backward splitting algorithms for monotone inclusion problems
Authors:
Bing Tan,
Zheng Zhou,
Xiaolong Qin
Abstract:
In this paper, based on inertial and Tseng's ideas, we propose two projection-based algorithms to solve a monotone inclusion problem in infinite dimensional Hilbert spaces. Solution theorems of strong convergence are obtained under the certain conditions. Some numerical experiments are presented to illustrate that our algorithms are efficient than the existing results.
In this paper, based on inertial and Tseng's ideas, we propose two projection-based algorithms to solve a monotone inclusion problem in infinite dimensional Hilbert spaces. Solution theorems of strong convergence are obtained under the certain conditions. Some numerical experiments are presented to illustrate that our algorithms are efficient than the existing results.
△ Less
Submitted 4 May, 2020; v1 submitted 8 April, 2020;
originally announced April 2020.
-
An inertial shrinking projection algorithm for split common fixed point problems
Authors:
Zheng Zhou,
Bing Tan,
Songxiao Li
Abstract:
In this paper, the purpose is to introduce and study a new modified shrinking projection algorithm with inertial effects, which solves split common fixed point problems in Banach spaces. The corresponding strong convergence theorems are obtained without the assumption of semi-compactness on mappings. Finally, some numerical examples are presented to illustrate the results in this paper.
In this paper, the purpose is to introduce and study a new modified shrinking projection algorithm with inertial effects, which solves split common fixed point problems in Banach spaces. The corresponding strong convergence theorems are obtained without the assumption of semi-compactness on mappings. Finally, some numerical examples are presented to illustrate the results in this paper.
△ Less
Submitted 8 April, 2020;
originally announced April 2020.
-
Strong convergence of modified inertial Mann algorithms for nonexpansive mappings
Authors:
Bing Tan,
Zheng Zhou,
Songxiao Li
Abstract:
In this paper, we introduce two new modified inertial Mann Halpern and viscosity algorithms for solving fixed point problems. We establish strong convergence theorems under some suitable conditions. Finally, our algorithms are applied to split feasibility problem, convex feasibility problem and location theory. The algorithms and results presented in this paper can summarize and improve correspond…
▽ More
In this paper, we introduce two new modified inertial Mann Halpern and viscosity algorithms for solving fixed point problems. We establish strong convergence theorems under some suitable conditions. Finally, our algorithms are applied to split feasibility problem, convex feasibility problem and location theory. The algorithms and results presented in this paper can summarize and improve corresponding results previously known in this area.
△ Less
Submitted 21 January, 2020;
originally announced January 2020.
-
On B. Mossé's unilateral recognizability theorem
Authors:
Shigeki Akiyama,
Bo Tan,
Hisatoshi Yuasa
Abstract:
We complete statement and proof for B. Mossé's unilateral recognizability theorem. We also provide an algorithm for deciding the unilateral non-recognizability of a given primitive substitution.
We complete statement and proof for B. Mossé's unilateral recognizability theorem. We also provide an algorithm for deciding the unilateral non-recognizability of a given primitive substitution.
△ Less
Submitted 27 December, 2017;
originally announced January 2018.
-
Complexity of Substitutive Sequences - Calculation of the Complexities of Substitutive Sequences Over a Binary Alphabet
Authors:
Bo Tan,
Zhi-Xiong Wen,
Yiping Zhang
Abstract:
We consider the complexities of substitutive sequences over a binary alphabet. By studying various types of special words, we show that, knowing some initial values, its complexity can be completely formulated via a recurrence formula determined by the characteristic polynomial.
We consider the complexities of substitutive sequences over a binary alphabet. By studying various types of special words, we show that, knowing some initial values, its complexity can be completely formulated via a recurrence formula determined by the characteristic polynomial.
△ Less
Submitted 10 July, 2015;
originally announced July 2015.
-
Numbers with countable expansions in base of generalized golden ratios
Authors:
Yuehua Ge,
Bo Tan
Abstract:
Sidorov and Vershik showed that in base $G=\frac{\sqrt{5}+1}{2}$ and with the digits $0,1$ the numbers $x=nG ~(\text {mod} 1)$ have $\aleph_{0}$ expansions for any $n\in\mathbb{Z}$, while the other elements of $(0, \frac{1}{G-1})$ have $2^{\aleph_{0}}$ expansions. In this paper, we generalize this result to the generalized golden ratio base $β=\mathcal{G}(m)$. With the digit-set…
▽ More
Sidorov and Vershik showed that in base $G=\frac{\sqrt{5}+1}{2}$ and with the digits $0,1$ the numbers $x=nG ~(\text {mod} 1)$ have $\aleph_{0}$ expansions for any $n\in\mathbb{Z}$, while the other elements of $(0, \frac{1}{G-1})$ have $2^{\aleph_{0}}$ expansions. In this paper, we generalize this result to the generalized golden ratio base $β=\mathcal{G}(m)$. With the digit-set $\{0,1,\cdots, m\}$, if $m=2k+1$, $\mathcal{G}(m)=\frac{k+1+\sqrt{k^{2}+6k+5}}{2}$, the numbers $x=\frac{pβ+q}{(k+1)^{n}}\in(0, \frac{m}{β-1})$ (where $n, p, q\in\mathbb{Z}$) have $\aleph_{0}$ expansions, while the other elements of $(0, \frac{m}{β-1})$ have $2^{\aleph_{0}}$ expansions; if $m=2k$, $\mathcal{G}(m)=k+1$, the numbers with countably many expansions are $\frac{p}{(k+1)^{n}}\in(0, 2) ~(n, p\in\mathbb{N}\cup\{0\})$. This solves an open question by Baker.
△ Less
Submitted 5 April, 2015;
originally announced April 2015.
-
Online Advertisement, Optimization and Stochastic Networks
Authors:
Bo Tan,
R. Srikant
Abstract:
In this paper, we propose a stochastic model to describe how search service providers charge client companies based on users' queries for the keywords related to these companies' ads by using certain advertisement assignment strategies. We formulate an optimization problem to maximize the long-term average revenue for the service provider under each client's long-term average budget constraint, an…
▽ More
In this paper, we propose a stochastic model to describe how search service providers charge client companies based on users' queries for the keywords related to these companies' ads by using certain advertisement assignment strategies. We formulate an optimization problem to maximize the long-term average revenue for the service provider under each client's long-term average budget constraint, and design an online algorithm which captures the stochastic properties of users' queries and click-through behaviors. We solve the optimization problem by making connections to scheduling problems in wireless networks, queueing theory and stochastic networks. Unlike prior models, we do not assume that the number of query arrivals is known. Due to the stochastic nature of the arrival process considered here, either temporary "free" service, i.e., service above the specified budget or under-utilization of the budget is unavoidable. We prove that our online algorithm can achieve a revenue that is within $O(ε)$ of the optimal revenue while ensuring that the overdraft or underdraft is $O(1/ε)$, where $ε$ can be arbitrarily small. With a view towards practice, we can show that one can always operate strictly under the budget. In addition, we extend our results to a click-through rate maximization model, and also show how our algorithm can be modified to handle non-stationary query arrival processes and clients with short-term contracts.
Our algorithm allows us to quantify the effect of errors in click-through rate estimation on the achieved revenue. We also show that in the long run, an expected overdraft level of $Ω(\log(1/ε))$ is unavoidable (a universal lower bound) under any stationary ad assignment algorithm which achieves a long-term average revenue within $O(ε)$ of the offline optimum.
△ Less
Submitted 6 September, 2012; v1 submitted 4 September, 2010;
originally announced September 2010.
-
Decomposition theorem for invertible substitutions on three-letter alphabet
Authors:
B. Tan,
Z. -X. Wen,
Y. -P. Zhang
Abstract:
We shall characterize the structure of invertible substitutions on three-letter alphabet. We show that any invertible substitution, after some cyclic operation, can be written as a finite product of permutations and Fibonacci's substitution. As a consequence, a matrix (of order 3 and with non-negative integral coefficients) is the matrix of an invertible substitution if and only if it is a finit…
▽ More
We shall characterize the structure of invertible substitutions on three-letter alphabet. We show that any invertible substitution, after some cyclic operation, can be written as a finite product of permutations and Fibonacci's substitution. As a consequence, a matrix (of order 3 and with non-negative integral coefficients) is the matrix of an invertible substitution if and only if it is a finite product of non-negative elementary matrices.
△ Less
Submitted 17 October, 2002;
originally announced October 2002.
