-
Planar Turán number for balanced double stars
Authors:
Xin Xu,
Qiang Zhou,
Tong Li,
Guiying Yan
Abstract:
Planar Turán number, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $n$-vertex planar graph which does not contain $H$ as a subgraph. Ghosh, Győri, Paulos and Xiao initiated the topic of the planar Turán number for double stars. For balanced double star, $S_{3,3}$ is the only remaining graph need to be considered. In this paper, we give the exact value of…
▽ More
Planar Turán number, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $n$-vertex planar graph which does not contain $H$ as a subgraph. Ghosh, Győri, Paulos and Xiao initiated the topic of the planar Turán number for double stars. For balanced double star, $S_{3,3}$ is the only remaining graph need to be considered. In this paper, we give the exact value of $ex_{\mathcal{P}}(n,S_{3,3})$, forcing the planar Turán number for all balanced double stars completely determined.
△ Less
Submitted 9 June, 2024;
originally announced June 2024.
-
Portfolio Optimization with Robust Covariance and Conditional Value-at-Risk Constraints
Authors:
Qiqin Zhou
Abstract:
The measure of portfolio risk is an important input of the Markowitz framework. In this study, we explored various methods to obtain a robust covariance estimators that are less susceptible to financial data noise. We evaluated the performance of large-cap portfolio using various forms of Ledoit Shrinkage Covariance and Robust Gerber Covariance matrix during the period of 2012 to 2022. Out-of-samp…
▽ More
The measure of portfolio risk is an important input of the Markowitz framework. In this study, we explored various methods to obtain a robust covariance estimators that are less susceptible to financial data noise. We evaluated the performance of large-cap portfolio using various forms of Ledoit Shrinkage Covariance and Robust Gerber Covariance matrix during the period of 2012 to 2022. Out-of-sample performance indicates that robust covariance estimators can outperform the market capitalization-weighted benchmark portfolio, particularly during bull markets. The Gerber covariance with Mean-Absolute-Deviation (MAD) emerged as the top performer. However, robust estimators do not manage tail risk well under extreme market conditions, for example, Covid-19 period. When we aim to control for tail risk, we should add constraint on Conditional Value-at-Risk (CVaR) to make more conservative decision on risk exposure. Additionally, we incorporated unsupervised clustering algorithm K-means to the optimization algorithm (i.e. Nested Clustering Optimization, NCO). It not only helps mitigate numerical instability of the optimization algorithm, but also contributes to lower drawdown as well.
△ Less
Submitted 1 June, 2024;
originally announced June 2024.
-
Near-Optimal Distributed Minimax Optimization under the Second-Order Similarity
Authors:
Qihao Zhou,
Haishan Ye,
Luo Luo
Abstract:
This paper considers the distributed convex-concave minimax optimization under the second-order similarity. We propose stochastic variance-reduced optimistic gradient sliding (SVOGS) method, which takes the advantage of the finite-sum structure in the objective by involving the mini-batch client sampling and variance reduction. We prove SVOGS can achieve the $\varepsilon$-duality gap within commun…
▽ More
This paper considers the distributed convex-concave minimax optimization under the second-order similarity. We propose stochastic variance-reduced optimistic gradient sliding (SVOGS) method, which takes the advantage of the finite-sum structure in the objective by involving the mini-batch client sampling and variance reduction. We prove SVOGS can achieve the $\varepsilon$-duality gap within communication rounds of ${\mathcal O}(δD^2/\varepsilon)$, communication complexity of ${\mathcal O}(n+\sqrt{n}δD^2/\varepsilon)$, and local gradient calls of $\tilde{\mathcal O}(n+(\sqrt{n}δ+L)D^2/\varepsilon\log(1/\varepsilon))$, where $n$ is the number of nodes, $δ$ is the degree of the second-order similarity, $L$ is the smoothness parameter and $D$ is the diameter of the constraint set. We can verify that all of above complexity (nearly) matches the corresponding lower bounds. For the specific $μ$-strongly-convex-$μ$-strongly-convex case, our algorithm has the upper bounds on communication rounds, communication complexity, and local gradient calls of $\mathcal O(δ/μ\log(1/\varepsilon))$, ${\mathcal O}((n+\sqrt{n}δ/μ)\log(1/\varepsilon))$, and $\tilde{\mathcal O}(n+(\sqrt{n}δ+L)/μ)\log(1/\varepsilon))$ respectively, which are also nearly tight. Furthermore, we conduct the numerical experiments to show the empirical advantages of proposed method.
△ Less
Submitted 25 May, 2024;
originally announced May 2024.
-
On an impulsive faecal-oral model in a periodically evolving environment
Authors:
Qi Zhou,
Zhigui Lin,
Carlos Alberto Santos
Abstract:
To understand how impulsive intervention and regional evolution jointly influence the spread of faecal-oral diseases, this paper develops an impulsive faecal-oral model in a periodically evolving environment. The well-posedness of the model is first checked. Then, the existence of the principal eigenvalue dependent on impulse intensity and evolving rate is proved based on Krein-Rutman theorem. Wit…
▽ More
To understand how impulsive intervention and regional evolution jointly influence the spread of faecal-oral diseases, this paper develops an impulsive faecal-oral model in a periodically evolving environment. The well-posedness of the model is first checked. Then, the existence of the principal eigenvalue dependent on impulse intensity and evolving rate is proved based on Krein-Rutman theorem. With the help of this value, the threshold dynamical behaviours of the model are explored. More importantly, this paper also derives the monotonicity of the principal eigenvalue with respect to initial region and impulse intensity and estimates the principal eigenvalue in some special cases. Finally, numerical simulations are used to verify the correctness of the theoretical results and to explore the impact of regional evolution rate on the spread of the diseases. Our research shows that large impulsive intensity $1-g'(0)$ and small evolving rate $ρ(t)$ play a positive role in the prevention and control of the diseases.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
The positive fundamental group of ${\rm Sp}(2n)$
Authors:
Jian Wang,
Qinglong Zhou
Abstract:
In this paper, we examine the homotopy classes of positive loops in ${\rm Sp}(2n)$. We demonstrate that two positive loops are homotopic if and only if they are homotopic through positive loops. As consequences, we can extend several results of McDuff \cite{McD} and Chance \cite{Cha} to higher dimensional symplectic manifolds without dimensional restrictions.
In this paper, we examine the homotopy classes of positive loops in ${\rm Sp}(2n)$. We demonstrate that two positive loops are homotopic if and only if they are homotopic through positive loops. As consequences, we can extend several results of McDuff \cite{McD} and Chance \cite{Cha} to higher dimensional symplectic manifolds without dimensional restrictions.
△ Less
Submitted 2 July, 2024; v1 submitted 12 May, 2024;
originally announced May 2024.
-
Pathwise uniform convergence of a full discretization for a three-dimensional stochastic Allen-Cahn equation with multiplicative noise
Authors:
Binjie Li,
Qin Zhou
Abstract:
This paper analyzes a full discretization of a three-dimensional stochastic Allen-Cahn equation with multiplicative noise. The discretization uses the Euler scheme for temporal discretization and the finite element method for spatial discretization. A key contribution of this work is the introduction of a novel stability estimate for a discrete stochastic convolution, which plays a crucial role in…
▽ More
This paper analyzes a full discretization of a three-dimensional stochastic Allen-Cahn equation with multiplicative noise. The discretization uses the Euler scheme for temporal discretization and the finite element method for spatial discretization. A key contribution of this work is the introduction of a novel stability estimate for a discrete stochastic convolution, which plays a crucial role in establishing pathwise uniform convergence estimates for fully discrete approximations of nonlinear stochastic parabolic equations. By using this stability estimate in conjunction with the discrete stochastic maximal $L^p$-regularity estimate, the study derives a pathwise uniform convergence rate that encompasses general general spatial $L^q$-norms. Moreover, the theoretical convergence rate is verified by numerical experiments.
△ Less
Submitted 18 June, 2024; v1 submitted 5 May, 2024;
originally announced May 2024.
-
Irrational-window-filter projection method and application to quasiperiodic Schrödinger eigenproblems
Authors:
Kai Jiang,
Xueyang Li,
Yao Ma,
Juan Zhang,
**wen Zhang,
Qi Zhou
Abstract:
In this paper, we propose a new algorithm, the irrational-window-filter projection method (IWFPM), for solving arbitrary dimensional global quasiperiodic systems. Based on the projection method (PM), IWFPM further utilizes the concentrated distribution of Fourier coefficients to filter out relevant spectral points using an irrational window. Moreover, a corresponding index-shift transform is desig…
▽ More
In this paper, we propose a new algorithm, the irrational-window-filter projection method (IWFPM), for solving arbitrary dimensional global quasiperiodic systems. Based on the projection method (PM), IWFPM further utilizes the concentrated distribution of Fourier coefficients to filter out relevant spectral points using an irrational window. Moreover, a corresponding index-shift transform is designed to make the Fast Fourier Transform available. The corresponding error analysis on the function approximation level is also given. We apply IWFPM to 1D, 2D, and 3D quasiperiodic Schrödinger eigenproblems to demonstrate its accuracy and efficiency. IWFPM exhibits a significant computational advantage over PM for both extended and localized quantum states. Furthermore, the widespread existence of such spectral point distribution feature can endow IWFPM with significant potential for broader applications in quasiperiodic systems.
△ Less
Submitted 30 June, 2024; v1 submitted 6 April, 2024;
originally announced April 2024.
-
Dimension-free Relaxation Times of Informed MCMC Samplers on Discrete Spaces
Authors:
Hyunwoong Chang,
Quan Zhou
Abstract:
Convergence analysis of Markov chain Monte Carlo methods in high-dimensional statistical applications is increasingly recognized. In this paper, we develop general mixing time bounds for Metropolis-Hastings algorithms on discrete spaces by building upon and refining some recent theoretical advancements in Bayesian model selection problems. We establish sufficient conditions for a class of informed…
▽ More
Convergence analysis of Markov chain Monte Carlo methods in high-dimensional statistical applications is increasingly recognized. In this paper, we develop general mixing time bounds for Metropolis-Hastings algorithms on discrete spaces by building upon and refining some recent theoretical advancements in Bayesian model selection problems. We establish sufficient conditions for a class of informed Metropolis-Hastings algorithms to attain relaxation times that are independent of the problem dimension. These conditions are grounded in high-dimensional statistical theory and allow for possibly multimodal posterior distributions. We obtain our results through two independent techniques: the multicommodity flow method and single-element drift condition analysis; we find that the latter yields a tighter mixing time bound. Our results and proof techniques are readily applicable to a broad spectrum of statistical problems with discrete parameter spaces.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
Piercing independent sets in graphs without large induced matching
Authors:
Jiangdong Ai,
Hong Liu,
Zixiang Xu,
Qiang Zhou
Abstract:
Given a graph $G$, denote by $h(G)$ the smallest size of a subset of $V(G)$ which intersects every maximum independent set of $G$. We prove that any graph $G$ without induced matching of size $t$ satisfies $h(G)\le ω(G)^{3t-3+o(1)}$. This resolves a conjecture of Hajebi, Li and Spirkl (Hitting all maximum stable sets in $P_{5}$-free graphs, JCTB 2024).
Given a graph $G$, denote by $h(G)$ the smallest size of a subset of $V(G)$ which intersects every maximum independent set of $G$. We prove that any graph $G$ without induced matching of size $t$ satisfies $h(G)\le ω(G)^{3t-3+o(1)}$. This resolves a conjecture of Hajebi, Li and Spirkl (Hitting all maximum stable sets in $P_{5}$-free graphs, JCTB 2024).
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Soft-constrained Schrodinger Bridge: a Stochastic Control Approach
Authors:
Jhanvi Garg,
Xianyang Zhang,
Quan Zhou
Abstract:
Schrödinger bridge can be viewed as a continuous-time stochastic control problem where the goal is to find an optimally controlled diffusion process whose terminal distribution coincides with a pre-specified target distribution. We propose to generalize this problem by allowing the terminal distribution to differ from the target but penalizing the Kullback-Leibler divergence between the two distri…
▽ More
Schrödinger bridge can be viewed as a continuous-time stochastic control problem where the goal is to find an optimally controlled diffusion process whose terminal distribution coincides with a pre-specified target distribution. We propose to generalize this problem by allowing the terminal distribution to differ from the target but penalizing the Kullback-Leibler divergence between the two distributions. We call this new control problem soft-constrained Schrödinger bridge (SSB). The main contribution of this work is a theoretical derivation of the solution to SSB, which shows that the terminal distribution of the optimally controlled process is a geometric mixture of the target and some other distribution. This result is further extended to a time series setting. One application is the development of robust generative diffusion models. We propose a score matching-based algorithm for sampling from geometric mixtures and showcase its use via a numerical example for the MNIST data set.
△ Less
Submitted 22 April, 2024; v1 submitted 3 March, 2024;
originally announced March 2024.
-
Graph Iterated Function Systems and Fractal Tops
Authors:
Grover Lancaster-Cole,
Georgiana Lyall,
Thomas Malcolm,
Qiyu Zhou
Abstract:
Following the work of Louisa and Michael Barnsley on results in tops of iterated function systems, we extend their work to graph-directed iterated function systems by investigating the relationship between top addresses and shift spaces. For the simplest overlap** interval IFS, we find a sufficient condition for the closure of its tops code space to be a shift space of finite type. Likewise, we…
▽ More
Following the work of Louisa and Michael Barnsley on results in tops of iterated function systems, we extend their work to graph-directed iterated function systems by investigating the relationship between top addresses and shift spaces. For the simplest overlap** interval IFS, we find a sufficient condition for the closure of its tops code space to be a shift space of finite type. Likewise, we find that shift invariance properties do not directly extend to the graph-directed setting.
△ Less
Submitted 1 February, 2024; v1 submitted 31 January, 2024;
originally announced February 2024.
-
Convergence of a spatial semidiscretization for a three-dimensional stochastic Allen-Cahn equation with multiplicative noise
Authors:
Binjie Li,
Qin Zhou
Abstract:
This paper studies the convergence of a spatial semidiscretization of a three-dimensional stochastic Allen-Cahn equation with multiplicative noise. For non-smooth initial data, the regularity of the mild solution is investigated, and an error estimate is derived within the spatial (L^2)-norm setting. In the case of smooth initial data, two error estimates are established within the framework of ge…
▽ More
This paper studies the convergence of a spatial semidiscretization of a three-dimensional stochastic Allen-Cahn equation with multiplicative noise. For non-smooth initial data, the regularity of the mild solution is investigated, and an error estimate is derived within the spatial (L^2)-norm setting. In the case of smooth initial data, two error estimates are established within the framework of general spatial (L^q)-norms.
△ Less
Submitted 16 June, 2024; v1 submitted 18 January, 2024;
originally announced January 2024.
-
Anderson Accelerated Gauss-Newton-guided deep learning for nonlinear inverse problems with Application to Electrical Impedance Tomography
Authors:
Qing** Zhou,
Guixian Xu,
Zhexin Wen,
Hongqiao Wang
Abstract:
Physics-guided deep learning is an important prevalent research topic in scientific machine learning, which has tremendous potential in various complex applications including science and engineering. In these applications, data is expensive to acquire and high accuracy is required for making decisions. In this work, we introduce an efficient physics-guided deep learning framework for the variation…
▽ More
Physics-guided deep learning is an important prevalent research topic in scientific machine learning, which has tremendous potential in various complex applications including science and engineering. In these applications, data is expensive to acquire and high accuracy is required for making decisions. In this work, we introduce an efficient physics-guided deep learning framework for the variational modeling of nonlinear inverse problems, which is then applied to solve an electrical impedance tomography (EIT) inverse problem. The framework is achieved by unrolling the proposed Anderson accelerated Gauss-Newton (GNAA) algorithm into an end-to-end deep learning method. Firstly, we show the convergence of the GNAA algorithm in both cases: Anderson depth is equal to one and Anderson depth is greater than one. Then, we propose three types of strategies by combining the complementary strengths of GNAA and deep learning: GNAA of learned regularization (GNAA-LRNet), where the singular values of the regularization matrix are learned by a deep neural network; GNAA of learned proximity (GNAA-LPNet), where the regularization proximal operator is learned by using a deep neural network; GNAA of plug-and-play method (GNAA-PnPNet) where the regularization proximal operator is replaced by a pre-trained deep denoisers. Lastly, we present some numerical experiments to illustrate that the proposed approaches greatly improve the convergence rate and the quality of inverse solutions.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Dynamical classification of analytic one-frequency quasi-periodic $\mathrm{SO}(3,\mathbb{R})$-cocycles
Authors:
Xuanji Hou,
Yi Pan,
Qi Zhou
Abstract:
We establish a close connection between acceleration and dynamical degree for one-frequency quasi-periodic compact cocycles, by showing that two vectors derived separately from each coincide. Based on this, we provide a dynamical classification of one-frequency quasi-periodic $\mathrm{SO}(3,\mathbb{R})$-cocycles.
We establish a close connection between acceleration and dynamical degree for one-frequency quasi-periodic compact cocycles, by showing that two vectors derived separately from each coincide. Based on this, we provide a dynamical classification of one-frequency quasi-periodic $\mathrm{SO}(3,\mathbb{R})$-cocycles.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Spectrum of Hatano-Nelson model with strictly ergodic potentials
Authors:
Xueyin Wang,
Zhenfu Wang,
Jiangong You,
Qi Zhou
Abstract:
We provide a precise formula for the spectrum of the Hatano-Nelson model with strictly ergodic potentials in terms of its Lyapunov exponent. As applications, one clearly observes the real-complex spectrum transition. Moreover, if the Lyapunov exponent is continuous, the spectrum of the Hatano-Nelson model in $\ell^{2}(\mathbb{Z})$ can be approximated by the spectrum of its finite-interval truncati…
▽ More
We provide a precise formula for the spectrum of the Hatano-Nelson model with strictly ergodic potentials in terms of its Lyapunov exponent. As applications, one clearly observes the real-complex spectrum transition. Moreover, if the Lyapunov exponent is continuous, the spectrum of the Hatano-Nelson model in $\ell^{2}(\mathbb{Z})$ can be approximated by the spectrum of its finite-interval truncation with periodic boundary conditions. Both of these results are strikingly different from the Hatano-Nelson model with random potentials \cite{Dav01A, Dav01, Dav02}.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
Discrete stochastic maximal $ L^p $-regularity and convergence of a spatial semidiscretization for a stochastic parabolic equation
Authors:
Binjie Li,
Qin Zhou
Abstract:
This study demonstrates that the boundedness of the \( H^\infty \)-calculus for the negative discrete Laplace operator is independent of the spatial mesh size. Using this result, we deduce the discrete stochastic maximal \( L^p \)-regularity estimate for a spatial semidiscretization. Furthermore, we derive (nearly) sharp error estimates for the semidiscretization under the general spatial \( L^q \…
▽ More
This study demonstrates that the boundedness of the \( H^\infty \)-calculus for the negative discrete Laplace operator is independent of the spatial mesh size. Using this result, we deduce the discrete stochastic maximal \( L^p \)-regularity estimate for a spatial semidiscretization. Furthermore, we derive (nearly) sharp error estimates for the semidiscretization under the general spatial \( L^q \)-norms.
△ Less
Submitted 3 June, 2024; v1 submitted 8 November, 2023;
originally announced November 2023.
-
Joint Problems in Learning Multiple Dynamical Systems
Authors:
Mengjia Niu,
Xiaoyu He,
Petr Ryšavý,
Quan Zhou,
Jakub Marecek
Abstract:
Clustering of time series is a well-studied problem, with applications ranging from quantitative, personalized models of metabolism obtained from metabolite concentrations to state discrimination in quantum information theory. We consider a variant, where given a set of trajectories and a number of parts, we jointly partition the set of trajectories and learn linear dynamical system (LDS) models f…
▽ More
Clustering of time series is a well-studied problem, with applications ranging from quantitative, personalized models of metabolism obtained from metabolite concentrations to state discrimination in quantum information theory. We consider a variant, where given a set of trajectories and a number of parts, we jointly partition the set of trajectories and learn linear dynamical system (LDS) models for each part, so as to minimize the maximum error across all the models. We present globally convergent methods and EM heuristics, accompanied by promising computational results.
△ Less
Submitted 23 February, 2024; v1 submitted 3 November, 2023;
originally announced November 2023.
-
Well-posedness of the discrete nonlinear Schrödinger equations and the Klein-Gordon equations
Authors:
Yifei Wu,
Zhibo Yang,
Qi Zhou
Abstract:
The primary objective of this paper is to investigate the well-posedness theories associated with the discrete nonlinear Schrödinger equation and Klein-Gordon equation. These theories encompass both local and global well-posedness, as well as the existence of blowing-up solutions for large and irregular initial data.
The main results of this paper presented in this paper can be summarized as fol…
▽ More
The primary objective of this paper is to investigate the well-posedness theories associated with the discrete nonlinear Schrödinger equation and Klein-Gordon equation. These theories encompass both local and global well-posedness, as well as the existence of blowing-up solutions for large and irregular initial data.
The main results of this paper presented in this paper can be summarized as follows:
1. Discrete Nonlinear Schrödinger Equation: We establish global well-posedness in $l^p_h$ spaces for all $1\leq p\leq \infty$, regardless of whether it is in the defocusing or focusing cases.
2. Discrete Klein-Gordon Equation (including Wave Equation): We demonstrate local well-posedness in $l^p_h$ spaces for all $1\leq p\leq \infty$. Furthermore, in the defocusing case, we establish global well-posedness in $l^p_h$ spaces for any $2\leq p\leq 2σ+2$. In contrast, in the focusing case, we show that solutions with negative energy blow up within a finite time.
△ Less
Submitted 31 October, 2023;
originally announced October 2023.
-
On Residual Minimization for PDEs: Failure of PINN, Modified Equation, and Implicit Bias
Authors:
Tao Luo,
Qixuan Zhou
Abstract:
As a popular and easy-to-implement machine learning method for solving differential equations, the physics-informed neural network (PINN) sometimes may fail and find poor solutions which bias against the exact ones. In this paper, we establish a framework of modified equation to explain the failure phenomenon and characterize the implicit bias of a general residual minimization (RM) method. We pro…
▽ More
As a popular and easy-to-implement machine learning method for solving differential equations, the physics-informed neural network (PINN) sometimes may fail and find poor solutions which bias against the exact ones. In this paper, we establish a framework of modified equation to explain the failure phenomenon and characterize the implicit bias of a general residual minimization (RM) method. We provide a simple way to derive the modified equation which models the numerical solution obtained by RM methods. Next, we show the modified solution deviates from the original exact solution. The proof uses a by-product of this paper, that is, a necessary and sufficient condition on characterizing the singularity of the coefficients. This equivalent condition can be extended to other types of equations in the future. Finally, we prove, as a complete characterization of the implicit bias, that RM method implicitly biases the numerical solution against the exact solution and towards a modified solution. In this work, we focus on elliptic equations with discontinuous coefficients, but our approach can be extended to other types of equations and our understanding of the implicit bias may shed light on further development of deep learning based methods for solving equations.
△ Less
Submitted 20 December, 2023; v1 submitted 27 October, 2023;
originally announced October 2023.
-
Bayesian imaging inverse problem with SA-Roundtrip prior via HMC-pCN sampler
Authors:
Jiayu Qian,
Yuanyuan Liu,
**gya Yang,
Qing** Zhou
Abstract:
Bayesian inference with deep generative prior has received considerable interest for solving imaging inverse problems in many scientific and engineering fields. The selection of the prior distribution is learned from, and therefore an important representation learning of, available prior measurements. The SA-Roundtrip, a novel deep generative prior, is introduced to enable controlled sampling gene…
▽ More
Bayesian inference with deep generative prior has received considerable interest for solving imaging inverse problems in many scientific and engineering fields. The selection of the prior distribution is learned from, and therefore an important representation learning of, available prior measurements. The SA-Roundtrip, a novel deep generative prior, is introduced to enable controlled sampling generation and identify the data's intrinsic dimension. This prior incorporates a self-attention structure within a bidirectional generative adversarial network. Subsequently, Bayesian inference is applied to the posterior distribution in the low-dimensional latent space using the Hamiltonian Monte Carlo with preconditioned Crank-Nicolson (HMC-pCN) algorithm, which is proven to be ergodic under specific conditions. Experiments conducted on computed tomography (CT) reconstruction with the MNIST and TomoPhantom datasets reveal that the proposed method outperforms state-of-the-art comparisons, consistently yielding a robust and superior point estimator along with precise uncertainty quantification.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Group-blind optimal transport to group parity and its constrained variants
Authors:
Quan Zhou,
Jakub Marecek
Abstract:
Fairness holds a pivotal role in the realm of machine learning, particularly when it comes to addressing groups categorised by sensitive attributes, e.g., gender, race. Prevailing algorithms in fair learning predominantly hinge on accessibility or estimations of these sensitive attributes, at least in the training process. We design a single group-blind projection map that aligns the feature distr…
▽ More
Fairness holds a pivotal role in the realm of machine learning, particularly when it comes to addressing groups categorised by sensitive attributes, e.g., gender, race. Prevailing algorithms in fair learning predominantly hinge on accessibility or estimations of these sensitive attributes, at least in the training process. We design a single group-blind projection map that aligns the feature distributions of both groups in the source data, achieving (demographic) group parity, without requiring values of the protected attribute for individual samples in the computation of the map, as well as its use. Instead, our approach utilises the feature distributions of the privileged and unprivileged groups in a boarder population and the essential assumption that the source data are unbiased representation of the population. We present numerical results on synthetic data and real data.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Linear stability of the elliptic relative equilibria for the restricted N-body problem: two special cases
Authors:
Jiashengliang Xie,
Bowen Liu,
Qinglong Zhou
Abstract:
In this paper, we consider the elliptic relative equilibria of the restricted $N$-body problems, where the $N-1$ primaries form an Euler-Moulton collinear central configuration or a $(1+n)$-gon central configuration. We obtain the symplectic reduction to the general restricted $N$-body problem. For the first case, by analyzing the relationship between this restricted $N$-body problems and the elli…
▽ More
In this paper, we consider the elliptic relative equilibria of the restricted $N$-body problems, where the $N-1$ primaries form an Euler-Moulton collinear central configuration or a $(1+n)$-gon central configuration. We obtain the symplectic reduction to the general restricted $N$-body problem. For the first case, by analyzing the relationship between this restricted $N$-body problems and the elliptic Lagrangian solutions, we obtain the linear stability of the restricted $N$-body problem by the $ω$-Maslov index. Via numerical computations, we also obtain conditions of the stability on the mass parameters under $N=4$ and the symmetry of the central configuration. For the second case, there exist three positions $S_1,S_2$ and $S_3$ of the massless body (up to rotations of angle $\frac{2π}{n}$). For ${m_0\over m}$ sufficiently large, we show that the elliptic relative equilibria is linearly unstable if the eccentricity $0\le e<e_0$ and the massless body lies at $S_1$ or $S_2$; while the elliptic relative equilibria is linear stability if the massless body lies at $S_3$.
△ Less
Submitted 30 September, 2023;
originally announced October 2023.
-
Accurately recover global quasiperiodic systems by finite points
Authors:
Kai Jiang,
Qi Zhou,
**wen Zhang
Abstract:
Quasiperiodic systems, related to irrational numbers, are space-filling structures without decay nor translation invariance. How to accurately recover these systems, especially for non-smooth cases, presents a big challenge in numerical computation. In this paper, we propose a new algorithm, finite points recovery (FPR) method, which is available for both smooth and non-smooth cases, to address th…
▽ More
Quasiperiodic systems, related to irrational numbers, are space-filling structures without decay nor translation invariance. How to accurately recover these systems, especially for non-smooth cases, presents a big challenge in numerical computation. In this paper, we propose a new algorithm, finite points recovery (FPR) method, which is available for both smooth and non-smooth cases, to address this challenge. The FPR method first establishes a homomorphism between the lower-dimensional definition domain of the quasiperiodic function and the higher-dimensional torus, then recovers the global quasiperiodic system by employing interpolation technique with finite points in the definition domain without dimensional lifting. Furthermore, we develop accurate and efficient strategies of selecting finite points according to the arithmetic properties of irrational numbers. The corresponding mathematical theory, convergence analysis, and computational complexity analysis on choosing finite points are presented. Numerical experiments demonstrate the effectiveness and superiority of FPR approach in recovering both smooth quasiperiodic functions and piecewise constant Fibonacci quasicrystals. While existing spectral methods encounter difficulties in accurately recovering non-smooth quasiperiodic functions.
△ Less
Submitted 4 January, 2024; v1 submitted 22 September, 2023;
originally announced September 2023.
-
Some New Results on Gaussian Product Inequalities
Authors:
Qian-Qian Zhou,
Han Zhao,
Ze-Chun Hu,
Renming Song
Abstract:
The long-standing Gaussian product inequality (GPI) conjecture states that, for any centered $\mathbb{R}^n$-valued Gaussian random vector $(X_1, \dots, X_n)$ and any positive reals $α_1, \dots, α_n$, ${\bf E}[\prod_{j=1}^{n}|X_j|^{α_j}]\ge \prod_{j=1}^{n}{\bf E}[|X_j|^{α_j}]$. In this paper, we present some related inequalities for centered $\mathbb{R}^n$-valued Gaussian random vector…
▽ More
The long-standing Gaussian product inequality (GPI) conjecture states that, for any centered $\mathbb{R}^n$-valued Gaussian random vector $(X_1, \dots, X_n)$ and any positive reals $α_1, \dots, α_n$, ${\bf E}[\prod_{j=1}^{n}|X_j|^{α_j}]\ge \prod_{j=1}^{n}{\bf E}[|X_j|^{α_j}]$. In this paper, we present some related inequalities for centered $\mathbb{R}^n$-valued Gaussian random vector $(X_1, \dots, X_n)$ when $\{α_1, \dots, α_n\}$ contains both positive and negative numbers.
△ Less
Submitted 25 August, 2023;
originally announced August 2023.
-
The infimum values of the probability functions for some infinitely divisible distributions motivated by Chvátal's theorem
Authors:
Ze-Chun Hu,
Peng Lu,
Qian-Qian Zhou,
Xing-Wang Zhou
Abstract:
Let $B(n,p)$ denote a binomial random variable with parameters $n$ and $p$. Chvátal's theorem says that for any fixed $n\geq 2$, as $m$ ranges over $\{0,\ldots,n\}$, the probability $q_m:=P(B(n,m/n)\leq m)$ is the smallest when $m$ is closest to $\frac{2n}{3}$. Motivated by this theorem, in this paper we consider the infimum value of the probability $P(X\leq κE[X])$, where $κ$ is a positive real n…
▽ More
Let $B(n,p)$ denote a binomial random variable with parameters $n$ and $p$. Chvátal's theorem says that for any fixed $n\geq 2$, as $m$ ranges over $\{0,\ldots,n\}$, the probability $q_m:=P(B(n,m/n)\leq m)$ is the smallest when $m$ is closest to $\frac{2n}{3}$. Motivated by this theorem, in this paper we consider the infimum value of the probability $P(X\leq κE[X])$, where $κ$ is a positive real number, and $X$ is a random variable whose distribution belongs to some infinitely divisible distributions including the inverse Gaussian, log-normal, Gumbel and logistic distributions.
△ Less
Submitted 12 January, 2024; v1 submitted 15 August, 2023;
originally announced August 2023.
-
Exact mobility edges for almost-periodic CMV matrices via gauge symmetries
Authors:
Christopher Cedzich,
Jake Fillman,
Long Li,
Darren Ong,
Qi Zhou
Abstract:
We investigate the symmetries of so-called generalized extended CMV matrices. It is well-documented that problems involving reflection symmetries of standard extended CMV matrices can be subtle. We show how to deal with this in an elegant fashion by passing to the class of generalized extended CMV matrices via explicit diagonal unitaries in the spirit of Cantero-Grünbaum-Moral-Velázquez. As an app…
▽ More
We investigate the symmetries of so-called generalized extended CMV matrices. It is well-documented that problems involving reflection symmetries of standard extended CMV matrices can be subtle. We show how to deal with this in an elegant fashion by passing to the class of generalized extended CMV matrices via explicit diagonal unitaries in the spirit of Cantero-Grünbaum-Moral-Velázquez. As an application of these ideas, we construct an explicit family of almost-periodic CMV matrices, which we call the mosaic unitary almost-Mathieu operator, and prove the occurrence of exact mobility edges. That is, we show the existence of energies that separate spectral regions with absolutely continuous and pure point spectrum and exactly calculate them.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Multiplicative Jensen's formula and quantitative global theory of one-frequency Schrödinger operators
Authors:
Lingrui Ge,
Svetlana Jitomirskaya,
Jiangong You,
Qi Zhou
Abstract:
We introduce the concept of dual Lyapunov exponents, leading to a multiplicative version of the classical Jensen's formula for one-frequency analytic Schrödinger cocycles. This formula, in particular, gives a new proof and a quantitative version of the fundamentals of Avila's global theory \cite{avila}, fully explaining the behavior of complexified Lyapunov exponent through the dynamics of the dua…
▽ More
We introduce the concept of dual Lyapunov exponents, leading to a multiplicative version of the classical Jensen's formula for one-frequency analytic Schrödinger cocycles. This formula, in particular, gives a new proof and a quantitative version of the fundamentals of Avila's global theory \cite{avila}, fully explaining the behavior of complexified Lyapunov exponent through the dynamics of the dual cocycle. In particular, concepts of (sub/super) critical regimes and acceleration are all explained (in a quantitative way) through the duality approach. This leads to a number of powerful spectral and physics applications
△ Less
Submitted 18 August, 2023; v1 submitted 28 June, 2023;
originally announced June 2023.
-
Dry Ten Martini Problem in the non-critical case
Authors:
Artur Avila,
Jiangong You,
Qi Zhou
Abstract:
We solve the Dry Ten Martini Problem in the non-critical case, i.e., all possible spectral gaps are open for almost Mathieu operators with $λ\ne \pm 1$.
We solve the Dry Ten Martini Problem in the non-critical case, i.e., all possible spectral gaps are open for almost Mathieu operators with $λ\ne \pm 1$.
△ Less
Submitted 22 June, 2024; v1 submitted 28 June, 2023;
originally announced June 2023.
-
Non-Self-Adjoint Quasi-periodic Operators with complex spectrum
Authors:
Zhenfu Wang,
Jiangong You,
Qi Zhou
Abstract:
We give a precise and complete description on the spectrum for a class of non-self-adjoint quasi-periodic operators acting on $\ell^2(\mathbb{Z}^d)$ which contains the Sarnak's model as a special case. As a consequence, one can see various interesting spectral phenomena including $\mathscr{P}\mathscr{T}$ symmetric breaking, the non-simply-connected two-dimensional spectrum in this class of operato…
▽ More
We give a precise and complete description on the spectrum for a class of non-self-adjoint quasi-periodic operators acting on $\ell^2(\mathbb{Z}^d)$ which contains the Sarnak's model as a special case. As a consequence, one can see various interesting spectral phenomena including $\mathscr{P}\mathscr{T}$ symmetric breaking, the non-simply-connected two-dimensional spectrum in this class of operators. Particularly, we provide new examples of non-self-adjoint operator in $\mathscr{l}^{2}(\mathbb{Z})$ whose spectra (actually a two-dimensional subset of $\mathbb{C}$) can not be approximated by the spectra of its finite-interval truncations.
△ Less
Submitted 7 June, 2023;
originally announced June 2023.
-
The first Szegő limit theorem on multi-dimensional torus
Authors:
Kunyu Guo,
Dilong Li,
Qi Zhou
Abstract:
In this paper, we consider the first Szegő limit theorems on $d$-torus $\mathbb{T}^d$ for $1\leq d\leq +\infty$. It is shown that for any Følner sequence $\{σ_N\}$ of $\mathbb{Z}^d$ and $\varphi\in L^1_+(\mathbb{T}^d)$, it holds that $$ \lim_{N\rightarrow \infty}\left(\det T_{σ_N}\varphi\right)^{\frac{1}{|σ_N|}}=\exp\left(\int_{\mathbb{T}^d} \log\varphi~dm_{d}\right). $$ In the case $d=+\infty$, w…
▽ More
In this paper, we consider the first Szegő limit theorems on $d$-torus $\mathbb{T}^d$ for $1\leq d\leq +\infty$. It is shown that for any Følner sequence $\{σ_N\}$ of $\mathbb{Z}^d$ and $\varphi\in L^1_+(\mathbb{T}^d)$, it holds that $$ \lim_{N\rightarrow \infty}\left(\det T_{σ_N}\varphi\right)^{\frac{1}{|σ_N|}}=\exp\left(\int_{\mathbb{T}^d} \log\varphi~dm_{d}\right). $$ In the case $d=+\infty$, we are associated with multiplicative Toeplitz matrix $T \varphi=\{\widehat{\varphi}(j/i)\}_{i,j\in\mathbb{N}}$ and the most concerned non-Følner truncation, that is, $T_N \varphi=\{\widehat{\varphi}(j/i)\}_{1\leq i,j\leq N}$, where $σ_N=\{1,\dots,N\}$. It is shown that for each $\varphi\in L^\infty_{\mathbb{R}}(\mathbb{T^{\infty}})$ and $f\in C[\text{ess-inf} ~\varphi,~\text{ess-sup}~\varphi]$, the limit $\lim_{N\rightarrow \infty} \frac{1}{N}\mathrm{Tr} f \big(T_N \varphi\big)$ exsits. Moreover, it is proven that the limit $\lim_{N\rightarrow \infty}\left(\det T_N \varphi\right)^{\frac{1}{N}}$ exists for any $\varphi\in L^1_+(\mathbb{T}^\infty)$ with strictly positive essential infimum. These results are directly related to two problems posed by Nikolski and Pushnitski.
△ Less
Submitted 16 October, 2023; v1 submitted 13 May, 2023;
originally announced May 2023.
-
Hadwiger's Conjecture for some graphs with independence number two
Authors:
Tong Li,
Qiang Zhou
Abstract:
Let $h(G)$ denote the largest $t$ such that $G$ contains $K_t$ as a minor and $χ(G)$ be the chromatic number of $G$ respectively. In 1943, Hadwiger conjectured that $h(G) \geq χ(G)$ for any graph $G$. In this paper, we prove that Hadwiger's conjecture holds for $H$-free graphs with independence number two, where $H$ is one of some specified graphs.
Let $h(G)$ denote the largest $t$ such that $G$ contains $K_t$ as a minor and $χ(G)$ be the chromatic number of $G$ respectively. In 1943, Hadwiger conjectured that $h(G) \geq χ(G)$ for any graph $G$. In this paper, we prove that Hadwiger's conjecture holds for $H$-free graphs with independence number two, where $H$ is one of some specified graphs.
△ Less
Submitted 30 March, 2024; v1 submitted 9 May, 2023;
originally announced May 2023.
-
Error estimate of the u-series method for molecular dynamics simulations
Authors:
Jiuyang Liang,
Zhenli Xu,
Qi Zhou
Abstract:
This paper provides an error estimate for the u-series decomposition of the Coulomb interaction in molecular dynamics simulations. We show that the number of truncated Gaussians $M$ in the u-series and the base of interpolation nodes $b$ in the bilateral serial approximation are two key parameters for the algorithm accuracy, and that the errors converge as $\mathcal{O}(b^{-M})$ for the energy and…
▽ More
This paper provides an error estimate for the u-series decomposition of the Coulomb interaction in molecular dynamics simulations. We show that the number of truncated Gaussians $M$ in the u-series and the base of interpolation nodes $b$ in the bilateral serial approximation are two key parameters for the algorithm accuracy, and that the errors converge as $\mathcal{O}(b^{-M})$ for the energy and $\mathcal{O}(b^{-3M})$ for the force. Error bounds due to numerical quadrature and cutoff in both the electrostatic energy and forces are obtained. Closed-form formulae are also provided, which are useful in the parameter setup for simulations under a given accuracy. The results are verified by analyzing the errors of two practical systems.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
A study on the Weibull and Pareto distributions motivated by Chvátal's theorem
Authors:
Cheng Li,
Ze-Chun Hu,
Qian-Qian Zhou
Abstract:
Let $B(n,p)$ denote a binomial random variable with parameters $n$ and $p$. Chvátal's theorem says that for any fixed $n\geq 2$, as $m$ ranges over $\{0,\ldots,n\}$, the probability $q_m:=P(B(n,m/n)\leq m)$ is the smallest when $m$ is closest to $\frac{2n}{3}$. Motivated by this theorem, we consider the minimum value problem on the probability that a random variable is at most its expectation, whe…
▽ More
Let $B(n,p)$ denote a binomial random variable with parameters $n$ and $p$. Chvátal's theorem says that for any fixed $n\geq 2$, as $m$ ranges over $\{0,\ldots,n\}$, the probability $q_m:=P(B(n,m/n)\leq m)$ is the smallest when $m$ is closest to $\frac{2n}{3}$. Motivated by this theorem, we consider the minimum value problem on the probability that a random variable is at most its expectation, when its distribution is the Weibull distribution or the Pareto distribution in this note.
△ Less
Submitted 3 May, 2023;
originally announced May 2023.
-
Absolute continuity of the integrated density of states in the localized regime
Authors:
**g Wang,
Xu Xu,
Jiangong You,
Qi Zhou
Abstract:
We establish the absolute continuity of the integrated density of states (IDS) for quasi-periodic Schrödinger operators with a large trigonometric potential and Diophantine frequency. This partially solves Eliasson's open problem in 2002. Furthermore, this result can be extended to a class of quasi-periodic long-range operators on $\ell^2(\Z^d)$. Our proof is based on stratified quantitative almos…
▽ More
We establish the absolute continuity of the integrated density of states (IDS) for quasi-periodic Schrödinger operators with a large trigonometric potential and Diophantine frequency. This partially solves Eliasson's open problem in 2002. Furthermore, this result can be extended to a class of quasi-periodic long-range operators on $\ell^2(\Z^d)$. Our proof is based on stratified quantitative almost reducibility results of dual cocycles. Specifically, we prove that a generic analytic one-parameter family of cocycles, sufficiently close to constant coefficients, is reducible except for a zero Hausdorff dimension set of parameters. This result affirms Eliasson's conjecture in 2017.
△ Less
Submitted 6 May, 2023; v1 submitted 30 April, 2023;
originally announced May 2023.
-
Parareal algorithm via Chebyshev-Gauss spectral collocation method
Authors:
Quan Zhou,
Yicheng Liu,
Shu-Lin Wu
Abstract:
We present the Parareal-CG algorithm for time-dependent differential equations in this work. The algorithm is a parallel in time iteration algorithm utilizes Chebyshev-Gauss spectral collocation method for fine propagator F and backward Euler method for coarse propagator G. As far as we know, this is the first time that the spectral method used as the F propagator of the parareal algorithm. By con…
▽ More
We present the Parareal-CG algorithm for time-dependent differential equations in this work. The algorithm is a parallel in time iteration algorithm utilizes Chebyshev-Gauss spectral collocation method for fine propagator F and backward Euler method for coarse propagator G. As far as we know, this is the first time that the spectral method used as the F propagator of the parareal algorithm. By constructing the stable function of the Chebyshev-Gauss spectral collocation method for the symmetric positive definite (SPD) problem, we find out that the Parareal-CG algorithm and the Parareal-TR algorithm, whose F propagator is chosen to be a trapezoidal ruler, converge similarly, i.e., the Parareal-CG algorithm converge as fast as Parareal-Euler algorithm with sufficient Chebyhsev-Gauss points in every coarse grid. Numerical examples including ordinary differential equations and time-dependent partial differential equations are given to illustrate the high efficiency and accuracy of the proposed algorithm.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
Winding number, density of states and acceleration
Authors:
Xueyin Wang,
Zhenfu Wang,
Jiangong You,
Qi Zhou
Abstract:
Winding number and density of states are two fundamental physical quantities for non-self-adjoint quasi-periodic Schrödinger operators, which reflect the asymptotic distribution of zeros of the characteristic determinants of the truncated operators under Dirichlet boundary condition, with respect to complexified phase and the energy respectively. We will prove that the winding number is in fact Av…
▽ More
Winding number and density of states are two fundamental physical quantities for non-self-adjoint quasi-periodic Schrödinger operators, which reflect the asymptotic distribution of zeros of the characteristic determinants of the truncated operators under Dirichlet boundary condition, with respect to complexified phase and the energy respectively. We will prove that the winding number is in fact Avila's acceleration and it is also closely related to the density of states by a generalized Thouless formula for non-self-adjoint Schrödinger operators and Avila's global theory.
△ Less
Submitted 5 April, 2023;
originally announced April 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.
-
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.
-
Fast Replica Exchange Stochastic Gradient Langevin Dynamics
Authors:
Guanxun Li,
Guang Lin,
Zecheng Zhang,
Quan Zhou
Abstract:
Application of the replica exchange (i.e., parallel tempering) technique to Langevin Monte Carlo algorithms, especially stochastic gradient Langevin dynamics (SGLD), has scored great success in non-convex learning problems, but one potential limitation is the computational cost caused by running multiple chains. Upon observing that a large variance of the gradient estimator in SGLD essentially inc…
▽ More
Application of the replica exchange (i.e., parallel tempering) technique to Langevin Monte Carlo algorithms, especially stochastic gradient Langevin dynamics (SGLD), has scored great success in non-convex learning problems, but one potential limitation is the computational cost caused by running multiple chains. Upon observing that a large variance of the gradient estimator in SGLD essentially increases the temperature of the stationary distribution, we propose expediting tempering schemes for SGLD by directly estimating the bias caused by the stochastic gradient estimator. This simple idea enables us to simulate high-temperature chains at a negligible computational cost (compared to that of the low-temperature chain) while preserving the convergence to the target distribution. Our method is fundamentally different from the recently proposed m-reSGLD (multi-variance replica exchange SGLD) method in that the latter suffers from the low accuracy of the gradient estimator (e.g., the chain can fail to converge to the target) while our method benefits from it. Further, we derive a swap** rate that can be easily evaluated, providing another significant improvement over m-reSGLD. To theoretically demonstrate the advantage of our method, we develop convergence bounds in Wasserstein distances. Numerical examples for Gaussian mixture and inverse PDE models are also provided, which show that our method can converge quicker than the vanilla multi-variance replica exchange method.
△ Less
Submitted 4 January, 2023;
originally announced January 2023.
-
Stability of Spectral Types of Quasi-Periodic Schrödinger Operators With Respect to Perturbations by Decaying Potentials
Authors:
David Damanik,
Xianzhe Li,
Jiangong You,
Qi Zhou
Abstract:
We consider perturbations of quasi-periodic Schrödinger operators on the integer lattice with analytic sampling functions by decaying potentials and seek decay conditions under which various spectral properties are preserved. In the (almost) reducibility regime we prove that for perturbations with finite first moment, the essential spectrum remains purely absolutely continuous and the newly create…
▽ More
We consider perturbations of quasi-periodic Schrödinger operators on the integer lattice with analytic sampling functions by decaying potentials and seek decay conditions under which various spectral properties are preserved. In the (almost) reducibility regime we prove that for perturbations with finite first moment, the essential spectrum remains purely absolutely continuous and the newly created discrete spectrum must be finite in each gap of the unperturbed spectrum. We also prove that for fixed phase, Anderson localization occurring for almost all frequencies in the regime of positive Lyapunov exponents is preserved under exponentially decaying perturbations.
△ Less
Submitted 6 December, 2022;
originally announced December 2022.
-
A quickest detection problem with false negatives
Authors:
Tiziano De Angelis,
Jhanvi Garg,
Quan Zhou
Abstract:
We formulate and solve a quickest detection problem with false negatives. A standard Brownian motion acquires a drift at an independent exponential random time which is not directly observable. Based on the observation in continuous time of the sample path of the process, an optimiser must detect the drift as quickly as possible after it has appeared. The optimiser can inspect the system multiple…
▽ More
We formulate and solve a quickest detection problem with false negatives. A standard Brownian motion acquires a drift at an independent exponential random time which is not directly observable. Based on the observation in continuous time of the sample path of the process, an optimiser must detect the drift as quickly as possible after it has appeared. The optimiser can inspect the system multiple times upon payment of a fixed cost per inspection. If a test is performed on the system before the drift has appeared then, naturally, the test will return a negative outcome. However, if a test is performed after the drift has appeared, then the test may fail to detect it and return a false negative with probability $ε\in(0,1)$. The optimisation ends when the drift is eventually detected. The problem is formulated mathematically as an optimal multiple stop** problem and it is shown to be equivalent to a recursive optimal stop** problem. Exploiting such connection and free boundary methods we find explicit formulae for the expected cost and the optimal strategy. We also show that when $ε= 0$ our expected cost coincides with the one in Shiryaev's classical optimal detection problem.
△ Less
Submitted 4 October, 2022;
originally announced October 2022.
-
Fairness in Forecasting of Observations of Linear Dynamical Systems
Authors:
Quan Zhou,
Jakub Marecek,
Robert N. Shorten
Abstract:
In machine learning, training data often capture the behaviour of multiple subgroups of some underlying human population. This behaviour can often be modelled as observations of an unknown dynamical system with an unobserved state. When the training data for the subgroups are not controlled carefully, however, under-representation bias arises. To counter under-representation bias, we introduce two…
▽ More
In machine learning, training data often capture the behaviour of multiple subgroups of some underlying human population. This behaviour can often be modelled as observations of an unknown dynamical system with an unobserved state. When the training data for the subgroups are not controlled carefully, however, under-representation bias arises. To counter under-representation bias, we introduce two natural notions of fairness in time-series forecasting problems: subgroup fairness and instantaneous fairness. These notions extend predictive parity to the learning of dynamical systems. We also show globally convergent methods for the fairness-constrained learning problems using hierarchies of convexifications of non-commutative polynomial optimisation problems. We also show that by exploiting sparsity in the convexifications, we can reduce the run time of our methods considerably. Our empirical results on a biased data set motivated by insurance applications and the well-known COMPAS data set demonstrate the efficacy of our methods.
△ Less
Submitted 15 May, 2023; v1 submitted 12 September, 2022;
originally announced September 2022.
-
Boundary rigidity of Gromov hyperbolic spaces
Authors:
Hao Liang,
Qingshan Zhou
Abstract:
We introduce the concept of boundary rigidity for Gromov hyperbolic spaces. We show that a proper geodesic Gromov hyperbolic space with a pole is boundary rigid if and only if its Gromov boundary is uniformly perfect. As an application, we show that for a non-compact Gromov hyperbolic complete Riemannian manifold or a Gromov hyperbolic uniform graph, boundary rigidity is equivalent to having posit…
▽ More
We introduce the concept of boundary rigidity for Gromov hyperbolic spaces. We show that a proper geodesic Gromov hyperbolic space with a pole is boundary rigid if and only if its Gromov boundary is uniformly perfect. As an application, we show that for a non-compact Gromov hyperbolic complete Riemannian manifold or a Gromov hyperbolic uniform graph, boundary rigidity is equivalent to having positive Cheeger isoperimetric constant and also to being nonamenable. Moreover, several hyperbolic fillings of compact metric spaces are proved to be boundary rigid if and only if the metric spaces are uniformly perfect. Also, boundary rigidity is shown to be equivalent to being geodesically rich, a concept introduced by Shchur (J. Funct. Anal., 2013).
△ Less
Submitted 8 September, 2022;
originally announced September 2022.
-
Multitask kernel-learning parameter prediction method for solving time-dependent linear systems
Authors:
Kai Jiang,
Juan Zhang,
Qi Zhou
Abstract:
Matrix splitting iteration methods play a vital role in solving large sparse linear systems. Their performance heavily depends on the splitting parameters, however, the approach of selecting optimal splitting parameters has not been well developed. In this paper, we present a multitask kernel-learning parameter prediction method to automatically obtain relatively optimal splitting parameters, whic…
▽ More
Matrix splitting iteration methods play a vital role in solving large sparse linear systems. Their performance heavily depends on the splitting parameters, however, the approach of selecting optimal splitting parameters has not been well developed. In this paper, we present a multitask kernel-learning parameter prediction method to automatically obtain relatively optimal splitting parameters, which contains simultaneous multiple parameters prediction and a data-driven kernel learning. For solving time-dependent linear systems, including linear differential systems and linear matrix systems, we give a new matrix splitting Kronecker product method, as well as its convergence analysis and preconditioning strategy. Numerical results illustrate our methods can save an enormous amount of time in selecting the relatively optimal splitting parameters compared with the exists methods. Moreover, our iteration method as a preconditioner can effectively accelerate GMRES. As the dimension of systems increases, all the advantages of our approaches becomes significantly. Especially, for solving the differential Sylvester matrix equation, the speedup ratio can reach tens to hundreds of times when the scale of the system is larger than one hundred thousand.
△ Less
Submitted 15 December, 2022; v1 submitted 30 August, 2022;
originally announced August 2022.
-
Almost reducibility and oscillatory growth of Sobolev norms
Authors:
Zhenguo Liang,
Zhiyan Zhao,
Qi Zhou
Abstract:
For 1D quantum harmonic oscillator perturbed by a time quasi-periodic quadratic form of $(x,-{\rm i}\partial_x)$, we show its almost reducibility. The growth of Sobolev norms of solution is described based on the scheme of almost reducibility. In particular, an $o(t^s)-$upper bound is shown for the $\CH^s-$norm if the equation is non-reducible. Moreover, by Anosov-Katok construction, we also show…
▽ More
For 1D quantum harmonic oscillator perturbed by a time quasi-periodic quadratic form of $(x,-{\rm i}\partial_x)$, we show its almost reducibility. The growth of Sobolev norms of solution is described based on the scheme of almost reducibility. In particular, an $o(t^s)-$upper bound is shown for the $\CH^s-$norm if the equation is non-reducible. Moreover, by Anosov-Katok construction, we also show the optimality of this upper bound, i.e., the existence of quasi-periodic quadratic perturbation for which the growth of ${\mathcal H}^s-$norm of the solution is $o(t^s)$ as $t\to\infty$ but arbitrarily ``close" to $t^s$ in an oscillatory way.
△ Less
Submitted 14 January, 2024; v1 submitted 14 August, 2022;
originally announced August 2022.
-
Quantitative Versions of the Two-dimensional Gaussian Product Inequalities
Authors:
Ze-Chun Hu,
Han Zhao,
Qian-Qian Zhou
Abstract:
The Gaussian product inequality (GPI) conjecture is one of the most famous inequalities associated with Gaussian distributions and has attracted a lot of concerns. In this note, we investigate the quantitative versions of the two-dimensional Gaussian product inequalities. For any centered non-degenerate two-dimensional Gaussian random vector $(X_1, X_2)$ with variances $σ_1^2, σ_2^2$ and the corre…
▽ More
The Gaussian product inequality (GPI) conjecture is one of the most famous inequalities associated with Gaussian distributions and has attracted a lot of concerns. In this note, we investigate the quantitative versions of the two-dimensional Gaussian product inequalities. For any centered non-degenerate two-dimensional Gaussian random vector $(X_1, X_2)$ with variances $σ_1^2, σ_2^2$ and the correlation coefficient $ρ$, we prove that for any real numbers $α_1, α_2\in (-1,0)$ or $α_1, α_2\in (0,\infty)$, it holds that %there exist functions of $α_1, α_2$ and $ρ$ such that $${\bf E}[|X_1|^{α_1}|X_2|^{α_2}]-{\bf E}[|X_1|^{α_1}]{\bf E}[|X_2|^{α_2}]\ge f(σ_1,σ_2,α_1, α_2, ρ)\ge 0, $$ where the function $f(σ_1,σ_2,α_1, α_2, ρ)$ will be given explicitly by Gamma function and is positive when $ρ\neq 0$. When $-1<α_1<0$ and $α_2>0,$ Russell and Sun (arXiv: 2205.10231v1) proved the "opposite Gaussian product inequality", of which we will also give a quantitative version. These quantitative inequalities are derived by employing the hypergeometric functions and the generalized hypergeometric functions.
△ Less
Submitted 20 July, 2022;
originally announced July 2022.
-
A non-graphical representation of conditional independence via the neighbourhood lattice
Authors:
Arash A. Amini,
Bryon Aragam,
Qing Zhou
Abstract:
We introduce and study the neighbourhood lattice decomposition of a distribution, which is a compact, non-graphical representation of conditional independence that is valid in the absence of a faithful graphical representation. The idea is to view the set of neighbourhoods of a variable as a subset lattice, and partition this lattice into convex sublattices, each of which directly encodes a collec…
▽ More
We introduce and study the neighbourhood lattice decomposition of a distribution, which is a compact, non-graphical representation of conditional independence that is valid in the absence of a faithful graphical representation. The idea is to view the set of neighbourhoods of a variable as a subset lattice, and partition this lattice into convex sublattices, each of which directly encodes a collection of conditional independence relations. We show that this decomposition exists in any compositional graphoid and can be computed efficiently and consistently in high-dimensions. {In particular, this gives a way to encode all of independence relations implied by a distribution that satisfies the composition axiom, which is strictly weaker than the faithfulness assumption that is typically assumed by graphical approaches.} We also discuss various special cases such as graphical models and projection lattices, each of which has intuitive interpretations. Along the way, we see how this problem is closely related to neighbourhood regression, which has been extensively studied in the context of graphical models and structural equations.
△ Less
Submitted 12 June, 2022;
originally announced June 2022.
-
Isospectrum of non-self-adjoint almost-periodic Schrodinger operators
Authors:
Xueyin Wang,
Jiangong You,
Qi Zhou
Abstract:
For non-self-adjoint almost-periodic Schrödinger operators, a criterion is given to guarantee that they have both the same spectrum and same Lyapunov exponents with the discrete free Laplacian. As a byproduct, we show that the Moser-Pöschel argument for opening gaps may not be valid for non-self-adjoint operators.
For non-self-adjoint almost-periodic Schrödinger operators, a criterion is given to guarantee that they have both the same spectrum and same Lyapunov exponents with the discrete free Laplacian. As a byproduct, we show that the Moser-Pöschel argument for opening gaps may not be valid for non-self-adjoint operators.
△ Less
Submitted 6 June, 2022;
originally announced June 2022.
-
Linear stability of the elliptic relative equilibria for the restricted $4$-body problem: the Euler case
Authors:
Bowen Liu,
Qinglong Zhou
Abstract:
In this paper, we consider the elliptic relative equilibria of the restricted $4$-body problems, where the three primaries form an Euler collinear configuration and the four bodies span $\mathbf{R}^2$. We obtain the symplectic reduction to the general restricted $N$-body problem. By analyzing the relationship between this restricted $4$-body problems and the elliptic Lagrangian solutions, we obtai…
▽ More
In this paper, we consider the elliptic relative equilibria of the restricted $4$-body problems, where the three primaries form an Euler collinear configuration and the four bodies span $\mathbf{R}^2$. We obtain the symplectic reduction to the general restricted $N$-body problem. By analyzing the relationship between this restricted $4$-body problems and the elliptic Lagrangian solutions, we obtain the linear stability of the restricted $4$-body problem by the $ω$-Maslov index. Via numerical computations, we also obtain conditions of the stability on the mass parameters for the symmetric cases.
△ Less
Submitted 21 May, 2022;
originally announced May 2022.
-
Almost-periodic ground state of the non-self-adjoint Jacobi operator and its applications
Authors:
Xing Liang,
Honngze Wang,
Qi Zhou
Abstract:
We study the ground states of the one-dimensional non-self-adjoint Jacobi operators in the almost periodic media by using the method of dynamical systems. We show the existence of the ground state. Particularly, in the quasi-periodic media, we show that the lower regularity of coefficients can guarantee the existence of ground states. Besides that, we give two applications: the first application i…
▽ More
We study the ground states of the one-dimensional non-self-adjoint Jacobi operators in the almost periodic media by using the method of dynamical systems. We show the existence of the ground state. Particularly, in the quasi-periodic media, we show that the lower regularity of coefficients can guarantee the existence of ground states. Besides that, we give two applications: the first application is to show the existence and uniqueness of the positive steady state of the discrete Fisher-KPP type equation; the second application is to investigate the asymptotic behavior of the discrete stationary parabolic equation with large lower order terms.
△ Less
Submitted 26 March, 2022;
originally announced March 2022.