-
An asymptotic local-global theorem on heights of some Kleinian group orbits
Authors:
Xuan Xuan Xiao,
Xin Zhang
Abstract:
We use circle method prove an asymptotic local-global theorem on the heights of point orbits of thin subgroups of Bianchi groups in $\mathbb H^3$.
We use circle method prove an asymptotic local-global theorem on the heights of point orbits of thin subgroups of Bianchi groups in $\mathbb H^3$.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
A higher-dimensional Chevalley restriction theorem for classical groups in characteristic p
Authors:
Xiaopeng Xia
Abstract:
We establish a theorem concerning the commuting scheme in characteristic p. As a significant application of this theorem, we derive an explicit lower bound for the characteristic p, ensuring the validity of the higher-dimensional Chevalley restriction theorem for classical groups.
We establish a theorem concerning the commuting scheme in characteristic p. As a significant application of this theorem, we derive an explicit lower bound for the characteristic p, ensuring the validity of the higher-dimensional Chevalley restriction theorem for classical groups.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Differentially Private Sliced Inverse Regression: Minimax Optimality and Algorithm
Authors:
Xintao Xia,
Linjun Zhang,
Zhanrui Cai
Abstract:
Privacy preservation has become a critical concern in high-dimensional data analysis due to the growing prevalence of data-driven applications. Proposed by Li (1991), sliced inverse regression has emerged as a widely utilized statistical technique for reducing covariate dimensionality while maintaining sufficient statistical information. In this paper, we propose optimally differentially private a…
▽ More
Privacy preservation has become a critical concern in high-dimensional data analysis due to the growing prevalence of data-driven applications. Proposed by Li (1991), sliced inverse regression has emerged as a widely utilized statistical technique for reducing covariate dimensionality while maintaining sufficient statistical information. In this paper, we propose optimally differentially private algorithms specifically designed to address privacy concerns in the context of sufficient dimension reduction. We proceed to establish lower bounds for differentially private sliced inverse regression in both the low and high-dimensional settings. Moreover, we develop differentially private algorithms that achieve the minimax lower bounds up to logarithmic factors. Through a combination of simulations and real data analysis, we illustrate the efficacy of these differentially private algorithms in safeguarding privacy while preserving vital information within the reduced dimension space. As a natural extension, we can readily offer analogous lower and upper bounds for differentially private sparse principal component analysis, a topic that may also be of potential interest to the statistical and machine learning community.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
Preconditioned Primal-Dual Gradient Methods for Nonconvex Composite and Finite-Sum Optimization
Authors:
Jiahong Guo,
Xiao Wang,
Xiantao Xiao
Abstract:
In this paper, we first introduce a preconditioned primal-dual gradient algorithm based on conjugate duality theory. This algorithm is designed to solve composite optimization problem whose objective function consists of two summands: a continuously differentiable nonconvex function and the composition of a nonsmooth nonconvex function with a linear operator. In contrast to existing nonconvex prim…
▽ More
In this paper, we first introduce a preconditioned primal-dual gradient algorithm based on conjugate duality theory. This algorithm is designed to solve composite optimization problem whose objective function consists of two summands: a continuously differentiable nonconvex function and the composition of a nonsmooth nonconvex function with a linear operator. In contrast to existing nonconvex primal-dual algorithms, our proposed algorithm, through the utilization of conjugate duality, does not require the calculation of proximal map** of nonconvex functions. Under mild conditions, we prove that any cluster point of the generated sequence is a critical point of the composite optimization problem. In the context of Kurdyka-Łojasiewicz property, we establish global convergence and convergence rates for the iterates. Secondly, for nonconvex finite-sum optimization, we propose a stochastic algorithm that combines the preconditioned primal-dual gradient algorithm with a class of variance reduced stochastic gradient estimators. Almost sure global convergence and expected convergence rates are derived relying on the Kurdyka-Łojasiewicz inequality. Finally, some preliminary numerical results are presented to demonstrate the effectiveness of the proposed algorithms.
△ Less
Submitted 25 September, 2023; v1 submitted 23 September, 2023;
originally announced September 2023.
-
Dynamical convergence analysis for nonconvex linearized proximal ADMM algorithms
Authors:
Jiahong Guo,
Xiao Wang,
Xiantao Xiao
Abstract:
The convergence analysis of optimization algorithms using continuous-time dynamical systems has received much attention in recent years. In this paper, we investigate applications of these systems to analyze the convergence of linearized proximal ADMM algorithms for nonconvex composite optimization, whose objective function is the sum of a continuously differentiable function and a composition of…
▽ More
The convergence analysis of optimization algorithms using continuous-time dynamical systems has received much attention in recent years. In this paper, we investigate applications of these systems to analyze the convergence of linearized proximal ADMM algorithms for nonconvex composite optimization, whose objective function is the sum of a continuously differentiable function and a composition of a possibly nonconvex function with a linear operator. We first derive a first-order differential inclusion for the linearized proximal ADMM algorithm, LP-ADMM. Both the global convergence and the convergence rates of the generated trajectory are established with the use of Kurdyka-Łojasiewicz (KL) property. Then, a stochastic variant, LP-SADMM, is delved into an investigation for finite-sum nonconvex composite problems. Under mild conditions, we obtain the stochastic differential equation corresponding to LP-SADMM, and demonstrate the almost sure global convergence of the generated trajectory by leveraging the KL property. Based on the almost sure convergence of trajectory, we construct a stochastic process that converges almost surely to an approximate critical point of objective function, and derive the expected convergence rates associated with this stochastic process. Moreover, we propose an accelerated LP-SADMM that incorporates Nesterov's acceleration technique. The continuous-time dynamical system of this algorithm is modeled as a second-order stochastic differential equation. Within the context of KL property, we explore the related almost sure convergence and expected convergence rates.
△ Less
Submitted 13 September, 2023;
originally announced September 2023.
-
Some identities on Lin-Peng-Toh's partition statistic of $k$-colored partitions
Authors:
Yang Lin,
Ernest X. W. Xia,
Xuan Yu
Abstract:
Recently, Andrews proved two conjectures on a partition statistic introduced by Beck. Very recently, Chern established some results on weighted rank and crank moments and proved many Andrews-Beck type congruences. Motivated by Andrews and Chern's work, Lin, Peng and To introduced a partition statistic of $k$-colored partitions $NB_k(r,m,n)$ which counts the total number of parts of $π^{(1)}$ in ea…
▽ More
Recently, Andrews proved two conjectures on a partition statistic introduced by Beck. Very recently, Chern established some results on weighted rank and crank moments and proved many Andrews-Beck type congruences. Motivated by Andrews and Chern's work, Lin, Peng and To introduced a partition statistic of $k$-colored partitions $NB_k(r,m,n)$ which counts the total number of parts of $π^{(1)}$ in each $k$-colored partition $π$ of $n$ with ${\rm crank}_k(π)$ congruent to $r$ modulo $m$ and proved a number of congruences for $NB_k(r,m,n)$. In this paper, we prove some identities on $NB_k(r,m,n)$ which are analogous to Ramanujan's ``most beautiful identity". Moreover, those identities imply some congruences proved by Lin, Peng and Toh.
△ Less
Submitted 11 August, 2023;
originally announced August 2023.
-
A proof of a conjecture of Mao on Beck's partition statistics modulo 8
Authors:
Renrong Mao,
Ernest X. W. Xia
Abstract:
Beck introduced two partition statistics $NT(r,m,n)$ and $M_ω(r,m,n)$,which denote the total number of parts in the partition of $n$ with rank congruent to $r$ modulo $m$ and the total number of ones in the partition of $n$ with crank congruent to $r$ modulo $m$, respectively. In recent years, a number of congruences and identities on $NT(r,m,n)$ and $M_ω(r,m,n)$ for some small $m $ have been esta…
▽ More
Beck introduced two partition statistics $NT(r,m,n)$ and $M_ω(r,m,n)$,which denote the total number of parts in the partition of $n$ with rank congruent to $r$ modulo $m$ and the total number of ones in the partition of $n$ with crank congruent to $r$ modulo $m$, respectively. In recent years, a number of congruences and identities on $NT(r,m,n)$ and $M_ω(r,m,n)$ for some small $m $ have been established.In this paper, we prove an identity on $NT(r,8,n)$ and $M_ω(r,4,n)$ which confirm a conjecture given by Mao.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
A Generalization of Arithmetic Derivative to $p$-adic Fields and Number Fields
Authors:
Brad Emmons,
Xiao Xiao
Abstract:
The arithmetic derivative is a function from the natural numbers to itself that sends all prime numbers to $1$ and satisfies the Leibniz rule. The arithmetic partial derivative with respect to a prime $p$ is the $p$-th component of the arithmetic derivative. In this paper, we generalize the arithmetic partial derivative to $p$-adic fields (the local case) and the arithmetic derivative to number fi…
▽ More
The arithmetic derivative is a function from the natural numbers to itself that sends all prime numbers to $1$ and satisfies the Leibniz rule. The arithmetic partial derivative with respect to a prime $p$ is the $p$-th component of the arithmetic derivative. In this paper, we generalize the arithmetic partial derivative to $p$-adic fields (the local case) and the arithmetic derivative to number fields (the global case). We study the dynamical system of the $p$-adic valuation of the iterations of the arithmetic partial derivatives. We also prove that for every integer $n\geq 0$, there are infinitely many elements with exactly $n$ anti-partial derivatives. In the end, we study the $p$-adic continuity of arithmetic derivatives.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
Reflection Vectors and Quantum Cohomology of Blowups
Authors:
Todor Milanov,
Xiaokun Xia
Abstract:
Let $X$ be a smooth projective variety with a semisimple quantum cohomology. It is known that the blowup $\operatorname{Bl}_{\rm pt}(X)$ of $X$ at one point also has semisimple quantum cohomology. In particular, the monodromy group of the quantum cohomology of $\operatorname{Bl}_{\rm pt}(X)$ is a reflectiongroup. We found explicit formulas for certain generators of the monodromy group of the quant…
▽ More
Let $X$ be a smooth projective variety with a semisimple quantum cohomology. It is known that the blowup $\operatorname{Bl}_{\rm pt}(X)$ of $X$ at one point also has semisimple quantum cohomology. In particular, the monodromy group of the quantum cohomology of $\operatorname{Bl}_{\rm pt}(X)$ is a reflectiongroup. We found explicit formulas for certain generators of the monodromy group of the quantum cohomology of $\operatorname{Bl}_{\rm pt}(X)$ depending only on the geometry of the exceptional divisor.
△ Less
Submitted 5 April, 2024; v1 submitted 9 April, 2023;
originally announced April 2023.
-
Novel Closed-form Point Estimators for the Beta Distribution
Authors:
Piao Chen,
Xun Xiao
Abstract:
In this paper, novel closed-form point estimators of the beta distribution are proposed and investigated. The first estimators are a modified version of Pearson's method of moments. The underlying idea is to involve the sufficient statistics, i.e., log-moments in the moment estimation equations and solve the mixed type of moment equations simultaneously. The second estimators are based on an appro…
▽ More
In this paper, novel closed-form point estimators of the beta distribution are proposed and investigated. The first estimators are a modified version of Pearson's method of moments. The underlying idea is to involve the sufficient statistics, i.e., log-moments in the moment estimation equations and solve the mixed type of moment equations simultaneously. The second estimators are based on an approximation to Fisher's likelihood principle. The idea is to solve two score equations derived from the log-likelihood function of generalized beta distributions. Both two resulted estimators are in closed forms, strongly consistent and asymptotically normal. In addition, through extensive simulations, the proposed estimators are shown to perform very close to the ML estimators in both small and large samples, and they significantly outperform the moment estimators.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
Numerical approximation based on deep convolutional neural network for high-dimensional fully nonlinear merged PDEs and 2BSDEs
Authors:
Xu Xiao,
Wenlin Qiu,
Omid Nikan
Abstract:
This paper proposes two efficient approximation methods to solve high-dimensional fully nonlinear partial differential equations (NPDEs) and second-order backward stochastic differential equations (2BSDEs), where such high-dimensional fully NPDEs are extremely difficult to solve because the computational cost of standard approximation methods grows exponentially with the number of dimensions. Ther…
▽ More
This paper proposes two efficient approximation methods to solve high-dimensional fully nonlinear partial differential equations (NPDEs) and second-order backward stochastic differential equations (2BSDEs), where such high-dimensional fully NPDEs are extremely difficult to solve because the computational cost of standard approximation methods grows exponentially with the number of dimensions. Therefore, we consider the following methods to overcome this difficulty. For the merged fully NPDEs and 2BSDEs system, combined with the time forward discretization and ReLU function, we use multi-scale deep learning fusion and convolutional neural network (CNN) techniques to obtain two numerical approximation schemes, respectively. Finally, three practical high-dimensional test problems involving Allen-Cahn, Black-Scholes-Barentblatt, and Hamiltonian-Jacobi-Bellman equations are given so that the first proposed method exhibits higher efficiency and accuracy than the existing method, while the second proposed method can extend the dimensionality of the completely NPDEs-2BSDEs system over $400$ dimensions, from which the numerical results highlight the effectiveness of proposed methods.
△ Less
Submitted 16 January, 2023; v1 submitted 11 September, 2022;
originally announced September 2022.
-
A higher-dimensional Chevalley restriction theorem for orthogonal groups
Authors:
Lei Song,
Xiaopeng Xia,
**xing Xu
Abstract:
We prove a higher-dimensional Chevalley restriction theorem for orthogonal groups, which was conjectured by Chen and Ngô for reductive groups. In characteristic $p>2$, we also prove a weaker statement. In characteristic $0$, the theorem implies that the categorical quotient of a commuting scheme by the diagonal adjoint action of the group is integral and normal. As applications, we deduce some tra…
▽ More
We prove a higher-dimensional Chevalley restriction theorem for orthogonal groups, which was conjectured by Chen and Ngô for reductive groups. In characteristic $p>2$, we also prove a weaker statement. In characteristic $0$, the theorem implies that the categorical quotient of a commuting scheme by the diagonal adjoint action of the group is integral and normal. As applications, we deduce some trace identities and a certain multiplicative property of the Pfaffian over an arbitrary commutative algebra.
△ Less
Submitted 17 May, 2023; v1 submitted 7 July, 2022;
originally announced July 2022.
-
A Mean-Field Control Problem of Optimal Portfolio Liquidation with Semimartingale Strategies
Authors:
Guanxing Fu,
Ulrich Horst,
Xiaonyu Xia
Abstract:
We consider a mean-field control problem with càdlàg semimartingale strategies arising in portfolio liquidation models with transient market impact and self-exciting order flow. We show that the value function depends on the state process only through its law, and that it is of linear-quadratic form and that its coefficients satisfy a coupled system of non-standard Riccati-type equations. The Ricc…
▽ More
We consider a mean-field control problem with càdlàg semimartingale strategies arising in portfolio liquidation models with transient market impact and self-exciting order flow. We show that the value function depends on the state process only through its law, and that it is of linear-quadratic form and that its coefficients satisfy a coupled system of non-standard Riccati-type equations. The Riccati equations are obtained heuristically by passing to the continuous-time limit from a sequence of discrete-time models. A sophisticated transformation shows that the system can be brought into standard Riccati form from which we deduce the existence of a global solution. Our analysis shows that the optimal strategy jumps only at the beginning and the end of the trading period.
△ Less
Submitted 26 September, 2023; v1 submitted 1 July, 2022;
originally announced July 2022.
-
Augmented Lagrangian Methods for Time-varying Constrained Online Convex Optimization
Authors:
Haoyang Liu,
Xiantao Xiao,
Liwei Zhang
Abstract:
In this paper, we consider online convex optimization (OCO) with time-varying loss and constraint functions. Specifically, the decision maker chooses sequential decisions based only on past information, meantime the loss and constraint functions are revealed over time. We first develop a class of model-based augmented Lagrangian methods (MALM) for time-varying functional constrained OCO (without f…
▽ More
In this paper, we consider online convex optimization (OCO) with time-varying loss and constraint functions. Specifically, the decision maker chooses sequential decisions based only on past information, meantime the loss and constraint functions are revealed over time. We first develop a class of model-based augmented Lagrangian methods (MALM) for time-varying functional constrained OCO (without feedback delay). Under standard assumptions, we establish sublinear regret and sublinear constraint violation of MALM. Furthermore, we extend MALM to deal with time-varying functional constrained OCO with delayed feedback, in which the feedback information of loss and constraint functions is revealed to decision maker with delays. Without additional assumptions, we also establish sublinear regret and sublinear constraint violation for the delayed version of MALM. Finally, numerical results for several examples of constrained OCO including online network resource allocation, online logistic regression and online quadratically constrained quadratical program are presented to demonstrate the efficiency of the proposed algorithms.
△ Less
Submitted 19 May, 2022;
originally announced May 2022.
-
Regrets of Proximal Method of Multipliers for Online Non-convex Optimization with Long Term Constraints
Authors:
Liwei Zhang,
Haoyang Liu,
Xiantao Xiao
Abstract:
The online optimization problem with non-convex loss functions over a closed convex set, coupled with a set of inequality (possibly non-convex) constraints is a challenging online learning problem. A proximal method of multipliers with quadratic approximations (named as OPMM) is presented to solve this online non-convex optimization with long term constraints.
Regrets of the violation of Karush-…
▽ More
The online optimization problem with non-convex loss functions over a closed convex set, coupled with a set of inequality (possibly non-convex) constraints is a challenging online learning problem. A proximal method of multipliers with quadratic approximations (named as OPMM) is presented to solve this online non-convex optimization with long term constraints.
Regrets of the violation of Karush-Kuhn-Tucker conditions of OPMM for solving online non-convex optimization problems are analyzed. Under mild conditions, it is shown that this algorithm exhibits ${\cO}(T^{-1/8})$ Lagrangian gradient violation regret, ${\cO}(T^{-1/8})$ constraint violation regret and ${\cO}(T^{-1/4})$ complementarity residual regret if parameters in the algorithm are properly chosen, where $T$ denotes the number of time periods. For the case that the objective is a convex quadratic function, we demonstrate that the regret of the objective reduction can be established even the feasible set is non-convex. For the case when the constraint functions are convex, if the solution of the subproblem in OPMM is obtained by solving its dual, OPMM is proved to be an implementable projection method for solving the online non-convex optimization problem.
△ Less
Submitted 22 April, 2022;
originally announced April 2022.
-
Second-order accurate numerical scheme with graded meshes for the nonlinear partial integrodifferential equation arising from viscoelasticity
Authors:
Wenlin Qiu,
Xu Xiao,
Kexin Li
Abstract:
This paper establishes and analyzes a second-order accurate numerical scheme for the nonlinear partial integrodifferential equation with a weakly singular kernel. In the time direction, we apply the Crank-Nicolson method for the time derivative, and the product-integration (PI) rule is employed to deal with Riemann-Liouville fractional integral. From which, the non-uniform meshes are utilized to c…
▽ More
This paper establishes and analyzes a second-order accurate numerical scheme for the nonlinear partial integrodifferential equation with a weakly singular kernel. In the time direction, we apply the Crank-Nicolson method for the time derivative, and the product-integration (PI) rule is employed to deal with Riemann-Liouville fractional integral. From which, the non-uniform meshes are utilized to compensate for the singular behavior of the exact solution at $t=0$ so that our method can reach second-order convergence for time. In order to formulate a fully discrete implicit difference scheme, we employ a standard centered difference formula for the second-order spatial derivative, and the Galerkin method based on piecewise linear test functions is used to approximate the nonlinear convection term. Then we derive the existence and uniqueness of numerical solutions for the proposed implicit difference scheme. Meanwhile, stability and convergence are proved by means of the discrete energy method. Furthermore, to demonstrate the effectiveness of the proposed method, we utilize a fixed point iterative algorithm to calculate the discrete scheme. Finally, numerical experiments illustrate the feasibility and efficiency of the proposed scheme, in which numerical results are consistent with our theoretical analysis.
△ Less
Submitted 23 March, 2022;
originally announced March 2022.
-
Proofs of some conjectures of Chan-Mao-Osburn on Beck's partition statistics
Authors:
Liuxin **,
Eric H. Liu,
Ernest X. W. Xia
Abstract:
Recently, George Beck introduced two partition statistics $NT(m,j,n)$ and $M_ω(m,j,n)$, which denote the total number of parts in the partition of $n$ with rank congruent to $m$ modulo $j$ and the total number of ones in the partition of $n$ with crank congruent to $m$ modulo $j$, respectively. Andrews proved a congruence on $NT(m,5,n)$ which was conjectured by Beck. Very recently, Chan, Mao and O…
▽ More
Recently, George Beck introduced two partition statistics $NT(m,j,n)$ and $M_ω(m,j,n)$, which denote the total number of parts in the partition of $n$ with rank congruent to $m$ modulo $j$ and the total number of ones in the partition of $n$ with crank congruent to $m$ modulo $j$, respectively. Andrews proved a congruence on $NT(m,5,n)$ which was conjectured by Beck. Very recently, Chan, Mao and Osburn established a number of Andrews-Beck type congruences and posed several conjectures involving $NT(m,j,n)$ and $M_ω(m,j,n)$. Some of those conjectures were proved by Chern and Mao. In this paper, we confirm the remainder three conjectures of Chan-Mao-Osburn and two conjectures due to Mao. We also present two new conjectures on $M_ω(m,j,n)$ and $NT(m,j,n)$.
△ Less
Submitted 18 March, 2022;
originally announced March 2022.
-
The Arithmetic Partial Derivative
Authors:
Brad Emmons,
Xiao Xiao
Abstract:
The arithmetic partial derivative (with respect to a prime $p$) is a function from the set of integers that sends $p$ to 1 and satisfies the Leibniz rule. In this paper, we prove that the $p$-adic valuation of the sequence of higher order partial derivatives is eventually periodic. We also prove a criterion to determine when an integer has integral anti-partial derivatives. As an application, we s…
▽ More
The arithmetic partial derivative (with respect to a prime $p$) is a function from the set of integers that sends $p$ to 1 and satisfies the Leibniz rule. In this paper, we prove that the $p$-adic valuation of the sequence of higher order partial derivatives is eventually periodic. We also prove a criterion to determine when an integer has integral anti-partial derivatives. As an application, we show that there are infinitely many integers with exactly $n$ integral anti-partial derivatives for any nonnegative integer $n$.
△ Less
Submitted 1 June, 2022; v1 submitted 28 January, 2022;
originally announced January 2022.
-
On the log-concavity of $n$-th root of a sequence
Authors:
Ernest X. W. Xia,
Zuo-Ru Zhang
Abstract:
In recent years, the log-concavity of $\{\sqrt[n]{S_n}\}_{n\geq 1}$ have been received a lot of attention. Very recently, Sun posed the following conjecture in his new book: the sequences $\{\sqrt[n]{a_n}\}_{n\geq 2}$ and $\{ \sqrt[n]{b_n}\}_{n\geq 1}$ are log-concave, where
\[ a_n:= \frac{1}{n}\sum_{k=0}^{n-1}
\frac{{n-1\choose k}^2{n+k\choose k}^2
}{4k^2-1}
\] and
\[ b_n:= \frac{1}{n^3…
▽ More
In recent years, the log-concavity of $\{\sqrt[n]{S_n}\}_{n\geq 1}$ have been received a lot of attention. Very recently, Sun posed the following conjecture in his new book: the sequences $\{\sqrt[n]{a_n}\}_{n\geq 2}$ and $\{ \sqrt[n]{b_n}\}_{n\geq 1}$ are log-concave, where
\[ a_n:= \frac{1}{n}\sum_{k=0}^{n-1}
\frac{{n-1\choose k}^2{n+k\choose k}^2
}{4k^2-1}
\] and
\[ b_n:= \frac{1}{n^3}\sum_{k=0}^{n-1}
(3k^2+3k+1){n-1\choose k}^2
{n+k\choose k}^2.
\] In this paper, two methods, semi-automatic and analytic methods, are used to confirm Sun's conjecture. The semi-automatic method relies on a criterion on the log-concavity of $\{\sqrt[n]{S_n}\}_{n\geq 1}$ given by us and a mathematica package due to Hou and Zhang, while the analytic method relies on a result due to Xia.
△ Less
Submitted 22 November, 2022; v1 submitted 23 December, 2021;
originally announced December 2021.
-
Adaptive Zeroing-Type Neural Dynamics for Solving Quadratic Minimization and Applied to Target Tracking
Authors:
Huiting He,
Chengze Jiang,
Yudong Zhang,
Xiuchun Xiao,
Zhiyuan Song
Abstract:
The time-varying quadratic miniaturization (TVQM) problem, as a hotspot currently, urgently demands a more reliable and faster--solving model. To this end, a novel adaptive coefficient constructs framework is presented and realized to improve the performance of the solution model, leading to the adaptive zeroing-type neural dynamics (AZTND) model. Then the AZTND model is applied to solve the TVQM…
▽ More
The time-varying quadratic miniaturization (TVQM) problem, as a hotspot currently, urgently demands a more reliable and faster--solving model. To this end, a novel adaptive coefficient constructs framework is presented and realized to improve the performance of the solution model, leading to the adaptive zeroing-type neural dynamics (AZTND) model. Then the AZTND model is applied to solve the TVQM problem. The adaptive coefficients can adjust the step size of the model online so that the solution model converges faster. At the same time, the integration term develops to enhance the robustness of the model in a perturbed environment. Experiments demonstrate that the proposed model shows faster convergence and more reliable robustness than existing approaches. Finally, the AZTND model is applied in a target tracking scheme, proving the practicality of our proposed model.
△ Less
Submitted 29 November, 2022; v1 submitted 3 December, 2021;
originally announced December 2021.
-
Semi-regular flat modules over strong Prüfer rings
Authors:
Xiaolei Zhang,
Guocheng Dai,
Xuelian Xiao,
Wei Qi
Abstract:
We first introduce and study the notion of semi-regular flat modules, and then show that a ring $R$ is a strong \Prufer\ ring if and only if every submodule of a semi-regular flat $R$-module is semi-regular flat, if and only if every ideal of $R$ is semi-regular flat, if and only if every $R$-module has a surjective semi-regular flat (pre)envelope.
We first introduce and study the notion of semi-regular flat modules, and then show that a ring $R$ is a strong \Prufer\ ring if and only if every submodule of a semi-regular flat $R$-module is semi-regular flat, if and only if every ideal of $R$ is semi-regular flat, if and only if every $R$-module has a surjective semi-regular flat (pre)envelope.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
Mixed Mode Bursting Oscillations Induced by Birhythmicity and Noise
Authors:
Na Yu,
Xuan Xia,
Juan Liyau
Abstract:
Bursting oscillations are commonly seen as a mechanism for information coding in neuroscience and have also been observed in many physical, biochemical, and chemical systems. This study focuses on the computational investigation of mixed-mode bursting oscillations (MMBOs) generated by a simple two-dimensional integrate-and-fire-or-burst (IFB) model. We demonstrate a new paradigm for the generation…
▽ More
Bursting oscillations are commonly seen as a mechanism for information coding in neuroscience and have also been observed in many physical, biochemical, and chemical systems. This study focuses on the computational investigation of mixed-mode bursting oscillations (MMBOs) generated by a simple two-dimensional integrate-and-fire-or-burst (IFB) model. We demonstrate a new paradigm for the generation of MMBOs, where birhythmicity and noise are the key components. In the absence of noise, the proposed model exhibits birhythmicity of two independent bursting patterns, bursts of two spikes and bursts of three spikes, depending on the initial condition of the model. Noise induces the random transitions between two bursting states which leads to MMBOs, and the transition rate increases with the noise intensity. Our results provide a systematic view of the roles of noise and initial condition: the bursting dynamics produced by the proposed model heavily rely on the initial conditions when noise is weak; while for intermediate and strong noise, the burst dynamics are independent of the initial condition.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
Exact mobility edges for 1D quasiperiodic models
Authors:
Yongjian Wang,
Xu Xia,
Jiangong You,
Zuohuan Zheng,
Qi Zhou
Abstract:
Mobility edges (ME), i.e. critical energies which separate absolutely continuous spectrum and purely point spectrum, is an important issue in quantum physics. So far there are two experimentally feasible 1D quasiperiodic models that have been discovered to have exact mobility edge. However, all the theoretical studies have remained at the numerical level. In this paper, we rigorously prove the exi…
▽ More
Mobility edges (ME), i.e. critical energies which separate absolutely continuous spectrum and purely point spectrum, is an important issue in quantum physics. So far there are two experimentally feasible 1D quasiperiodic models that have been discovered to have exact mobility edge. However, all the theoretical studies have remained at the numerical level. In this paper, we rigorously prove the existence and give the precise location of the MEs for these models.
△ Less
Submitted 3 October, 2021;
originally announced October 2021.
-
Multiwavelet-based Operator Learning for Differential Equations
Authors:
Gaurav Gupta,
Xiongye Xiao,
Paul Bogdan
Abstract:
The solution of a partial differential equation can be obtained by computing the inverse operator map between the input and the solution space. Towards this end, we introduce a \textit{multiwavelet-based neural operator learning scheme} that compresses the associated operator's kernel using fine-grained wavelets. By explicitly embedding the inverse multiwavelet filters, we learn the projection of…
▽ More
The solution of a partial differential equation can be obtained by computing the inverse operator map between the input and the solution space. Towards this end, we introduce a \textit{multiwavelet-based neural operator learning scheme} that compresses the associated operator's kernel using fine-grained wavelets. By explicitly embedding the inverse multiwavelet filters, we learn the projection of the kernel onto fixed multiwavelet polynomial bases. The projected kernel is trained at multiple scales derived from using repeated computation of multiwavelet transform. This allows learning the complex dependencies at various scales and results in a resolution-independent scheme. Compare to the prior works, we exploit the fundamental properties of the operator's kernel which enable numerically efficient representation. We perform experiments on the Korteweg-de Vries (KdV) equation, Burgers' equation, Darcy Flow, and Navier-Stokes equation. Compared with the existing neural operator approaches, our model shows significantly higher accuracy and achieves state-of-the-art in a range of datasets. For the time-varying equations, the proposed method exhibits a ($2X-10X$) improvement ($0.0018$ ($0.0033$) relative $L2$ error for Burgers' (KdV) equation). By learning the map**s between function spaces, the proposed method has the ability to find the solution of a high-resolution input after learning from lower-resolution data.
△ Less
Submitted 10 October, 2021; v1 submitted 27 September, 2021;
originally announced September 2021.
-
Geometric quadratic Chabauty over number fields
Authors:
Pavel Čoupek,
David T. -B. G. Lilienfeldt,
Zijian Yao,
Luciena Xiao Xiao
Abstract:
This article generalizes the geometric quadratic Chabauty method, initiated over $\mathbb{Q}$ by Edixhoven and Lido, to curves defined over arbitrary number fields. The main result is a conditional bound on the number of rational points on curves that satisfy an additional Chabauty type condition on the Mordell-Weil rank of the Jacobian. The method gives a more direct approach to the generalizatio…
▽ More
This article generalizes the geometric quadratic Chabauty method, initiated over $\mathbb{Q}$ by Edixhoven and Lido, to curves defined over arbitrary number fields. The main result is a conditional bound on the number of rational points on curves that satisfy an additional Chabauty type condition on the Mordell-Weil rank of the Jacobian. The method gives a more direct approach to the generalization by Dogra of the quadratic Chabauty method to arbitrary number fields.
△ Less
Submitted 1 August, 2022; v1 submitted 11 August, 2021;
originally announced August 2021.
-
A Robust Partial Correlation-based Screening Approach
Authors:
Xiaochao Xia
Abstract:
As a computationally fast and working efficient tool, sure independence screening has received much attention in solving ultrahigh dimensional problems. This paper contributes two robust sure screening approaches that simultaneously take into account heteroscedasticity, outliers, heavy-tailed distribution, continuous or discrete response, and confounding effect, from the perspective of model-free.…
▽ More
As a computationally fast and working efficient tool, sure independence screening has received much attention in solving ultrahigh dimensional problems. This paper contributes two robust sure screening approaches that simultaneously take into account heteroscedasticity, outliers, heavy-tailed distribution, continuous or discrete response, and confounding effect, from the perspective of model-free. First, we define a robust correlation measure only using two random indicators, and introduce a screener using that correlation. Second, we propose a robust partial correlation-based screening approach when an exposure variable is available. To remove the confounding effect of the exposure on both response and each covariate, we use a nonparametric regression with some specified loss function. More specifically, a robust correlation-based screening method (RC-SIS) and a robust partial correlation-based screening framework (RPC-SIS) including two concrete screeners: RPC-SIS(L2) and RPC-SIS(L1), are formed. Third, we establish sure screening properties of RC-SIS for which the response variable can be either continuous or discrete, as well as those of RPC-SIS(L2) and RPC-SIS(L1) under some regularity conditions. Our approaches are essentially nonparametric, and perform robustly for both the response and the covariates. Finally, extensive simulation studies and two applications are carried out to demonstrate the superiority of our proposed approaches.
△ Less
Submitted 24 July, 2021;
originally announced July 2021.
-
Computational modelling and data-driven homogenisation of knitted membranes
Authors:
Sumudu Herath,
Xiao Xiao,
Fehmi Cirak
Abstract:
Knitting is an effective technique for producing complex three-dimensional surfaces owing to the inherent flexibility of interlooped yarns and recent advances in manufacturing providing better control of local stitch patterns. Fully yarn-level modelling of large-scale knitted membranes is not feasible. Therefore, we use a two-scale homogenisation approach and model the membrane as a Kirchhoff-Love…
▽ More
Knitting is an effective technique for producing complex three-dimensional surfaces owing to the inherent flexibility of interlooped yarns and recent advances in manufacturing providing better control of local stitch patterns. Fully yarn-level modelling of large-scale knitted membranes is not feasible. Therefore, we use a two-scale homogenisation approach and model the membrane as a Kirchhoff-Love shell on the macroscale and as Euler-Bernoulli rods on the microscale. The governing equations for both the shell and the rod are discretised with cubic B-spline basis functions. For homogenisation we consider only the in-plane response of the membrane. The solution of the nonlinear microscale problem requires a significant amount of time due to the large deformations and the enforcement of contact constraints, rendering conventional online computational homogenisation approaches infeasible. To sidestep this problem, we use a pre-trained statistical Gaussian Process Regression (GPR) model to map the macroscale deformations to macroscale stresses. During the offline learning phase, the GPR model is trained by solving the microscale problem for a sufficiently rich set of deformation states obtained by either uniform or Sobol sampling. The trained GPR model encodes the nonlinearities and anisotropies present in the microscale and serves as a material model for the membrane response of the macroscale shell. The bending response can be chosen in dependence of the mesh size to penalise the fine out-of-plane wrinkling of the membrane. After verifying and validating the different components of the proposed approach, we introduce several examples involving membranes subjected to tension and shear to demonstrate its versatility and good performance.
△ Less
Submitted 9 November, 2021; v1 submitted 12 July, 2021;
originally announced July 2021.
-
Solving Stochastic Optimization with Expectation Constraints Efficiently by a Stochastic Augmented Lagrangian-Type Algorithm
Authors:
Liwei Zhang,
Yule Zhang,
Jia Wu,
Xiantao Xiao
Abstract:
This paper considers the problem of minimizing a convex expectation function with a set of inequality convex expectation constraints. We present a computable stochastic approximation type algorithm, namely the stochastic linearized proximal method of multipliers, to solve this convex stochastic optimization problem. This algorithm can be roughly viewed as a hybrid of stochastic approximation and t…
▽ More
This paper considers the problem of minimizing a convex expectation function with a set of inequality convex expectation constraints. We present a computable stochastic approximation type algorithm, namely the stochastic linearized proximal method of multipliers, to solve this convex stochastic optimization problem. This algorithm can be roughly viewed as a hybrid of stochastic approximation and the traditional proximal method of multipliers. Under mild conditions, we show that this algorithm exhibits $O(K^{-1/2})$ expected convergence rates for both objective reduction and constraint violation if parameters in the algorithm are properly chosen, where $K$ denotes the number of iterations. Moreover, we show that, with high probability, the algorithm has $O(\log(K)K^{-1/2})$ constraint violation bound and $O(\log^{3/2}(K)K^{-1/2})$ objective bound. Some preliminary numerical results demonstrate the performance of the proposed algorithm.
△ Less
Submitted 14 June, 2022; v1 submitted 22 June, 2021;
originally announced June 2021.
-
Infill topology and shape optimisation of lattice-skin structures
Authors:
Xiao Xiao,
Fehmi Cirak
Abstract:
Lattice-skin structures composed of a thin-shell skin and a lattice infill are widespread in nature and large-scale engineering due to their efficiency and exceptional mechanical properties. Recent advances in additive manufacturing, or 3D printing, make it possible to create lattice-skin structures of almost any size with arbitrary shape and geometric complexity. We propose a novel gradient-based…
▽ More
Lattice-skin structures composed of a thin-shell skin and a lattice infill are widespread in nature and large-scale engineering due to their efficiency and exceptional mechanical properties. Recent advances in additive manufacturing, or 3D printing, make it possible to create lattice-skin structures of almost any size with arbitrary shape and geometric complexity. We propose a novel gradient-based approach to optimising both the shape and infill of lattice-skin structures to improve their efficiency further. The respective gradients are computed by fully considering the lattice-skin coupling while the lattice topology and shape optimisation problems are solved in a sequential manner. The shell is modelled as a Kirchhoff-Love shell and analysed using isogeometric subdivision surfaces, whereas the lattice is modelled as a pin-jointed truss. The lattice consists of many cells, possibly of different sizes, with each containing a small number of struts. We propose a penalisation approach akin to the SIMP (solid isotropic material with penalisation) method for topology optimisation of the lattice. Furthermore, a corresponding sensitivity filter and a lattice extraction technique are introduced to ensure the stability of the optimisation process and to eliminate scattered struts of small cross-sectional areas. The developed topology optimisation technique is suitable for non-periodic, non-uniform lattices. For shape optimisation of both the shell and the lattice, the geometry of the lattice-skin structure is parameterised using the free-form deformation technique. The topology and shape optimisation problems are solved in an iterative, sequential manner. The effectiveness of the proposed approach and the influence of different algorithmic parameters are demonstrated with several numerical examples.
△ Less
Submitted 28 October, 2021; v1 submitted 9 May, 2021;
originally announced May 2021.
-
Monodromy and Irreducibility of Igusa Varieties
Authors:
Pol van Hoften,
Luciena Xiao Xiao
Abstract:
We determine the irreducible components of Igusa varieties for Shimura varieties of Hodge type and use that to compute the irreducible components of central leaves. In particular, we show that a strong version of the discrete Hecke orbit conjecture is false in general. Our method combines recent work of D'Addezio on monodromy groups of compatible local systems with a generalisation of a method of…
▽ More
We determine the irreducible components of Igusa varieties for Shimura varieties of Hodge type and use that to compute the irreducible components of central leaves. In particular, we show that a strong version of the discrete Hecke orbit conjecture is false in general. Our method combines recent work of D'Addezio on monodromy groups of compatible local systems with a generalisation of a method of Hida, using the Honda--Tate theory for Shimura varieties of Hodge type developed by Kisin--Madapusi Pera--Shin. We also determine the irreducible components of Newton strata in Shimura varieties of Hodge type by combining our methods with recent work of Zhou--Zhu.
△ Less
Submitted 25 April, 2023; v1 submitted 19 February, 2021;
originally announced February 2021.
-
Portfolio Liquidation Games with Self-Exciting Order Flow
Authors:
Guanxing Fu,
Ulrich Horst,
Xiaonyu Xia
Abstract:
We analyze novel portfolio liquidation games with self-exciting order flow. Both the N-player game and the mean-field game are considered. We assume that players' trading activities have an impact on the dynamics of future market order arrivals thereby generating an additional transient price impact. Given the strategies of her competitors each player solves a mean-field control problem. We charac…
▽ More
We analyze novel portfolio liquidation games with self-exciting order flow. Both the N-player game and the mean-field game are considered. We assume that players' trading activities have an impact on the dynamics of future market order arrivals thereby generating an additional transient price impact. Given the strategies of her competitors each player solves a mean-field control problem. We characterize open-loop Nash equilibria in both games in terms of a novel mean-field FBSDE system with unknown terminal condition. Under a weak interaction condition we prove that the FBSDE systems have unique solutions. Using a novel sufficient maximum principle that does not require convexity of the cost function we finally prove that the solution of the FBSDE systems do indeed provide existence and uniqueness of open-loop Nash equilibria.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
A Matrix-Valued Inner Product for Matrix-Valued Signals and Matrix-Valued Lattices
Authors:
Xiang-Gen Xia
Abstract:
A matrix-valued inner product was proposed before to construct orthonormal matrix-valued wavelets for matrix-valued signals. It introduces a weaker orthogonality for matrix-valued signals than the orthogonality of all components in a matrix that is commonly used in orthogonal multiwavelet constructions. With the weaker orthogonality, it is easier to construct orthonormal matrix-valued wavelets. In…
▽ More
A matrix-valued inner product was proposed before to construct orthonormal matrix-valued wavelets for matrix-valued signals. It introduces a weaker orthogonality for matrix-valued signals than the orthogonality of all components in a matrix that is commonly used in orthogonal multiwavelet constructions. With the weaker orthogonality, it is easier to construct orthonormal matrix-valued wavelets. In this paper, we re-study the matrix-valued inner product more from the inner product viewpoint that is more fundamental and propose a new but equivalent norm for matrix-valued signals. We show that although it is not scalar-valued, it maintains most of the scalar-valued inner product properties. We introduce a new linear independence concept for matrix-valued signals and present some related properties. We then present the Gram-Schmidt orthonormalization procedure for a set of linearly independent matrix-valued signals. Finally we define matrix-valued lattices.
△ Less
Submitted 1 August, 2021; v1 submitted 6 October, 2020;
originally announced October 2020.
-
On The Hecke Orbit Conjecture for PEL Type Shimura Varieties
Authors:
Luciena Xiao Xiao
Abstract:
The Hecke orbit conjecture asserts that every prime-to-$p$ Hecke orbit in a Shimura variety is dense in the central leaf containing it. In this paper, we prove the conjecture for certain irreducible components of Newton strata in Shimura varieties of PEL type A and C, when $p$ is an unramified prime of good reduction. Our approach generalizes Chai and Oort's method for Siegel modular varieties.
The Hecke orbit conjecture asserts that every prime-to-$p$ Hecke orbit in a Shimura variety is dense in the central leaf containing it. In this paper, we prove the conjecture for certain irreducible components of Newton strata in Shimura varieties of PEL type A and C, when $p$ is an unramified prime of good reduction. Our approach generalizes Chai and Oort's method for Siegel modular varieties.
△ Less
Submitted 11 June, 2020;
originally announced June 2020.
-
Bounds on the Ricci curvature and solutions to the Einstein equations for weighted graphs
Authors:
An Huang,
Bogdan Stoica,
Xuyang Xia,
Xiao Zhong
Abstract:
This is a preliminary study of the equation of motion of Euclidean classical gravity on a graph, based on the Lin-Lu-Yau Ricci curvature on graphs. We observe that the constant edge weights configuration gives the unique solution on an infinite tree w.r.t. the asymptotically constant boundary condition. We study the minimum and maximum of the action w.r.t. certain boundary conditions, on several t…
▽ More
This is a preliminary study of the equation of motion of Euclidean classical gravity on a graph, based on the Lin-Lu-Yau Ricci curvature on graphs. We observe that the constant edge weights configuration gives the unique solution on an infinite tree w.r.t. the asymptotically constant boundary condition. We study the minimum and maximum of the action w.r.t. certain boundary conditions, on several types of graphs of interest. We also exhibit a new class of solutions to the equations of motion on the infinite regular tree.
△ Less
Submitted 11 June, 2020;
originally announced June 2020.
-
MOTS: Minimax Optimal Thompson Sampling
Authors:
Tianyuan **,
Pan Xu,
Jieming Shi,
Xiaokui Xiao,
Quanquan Gu
Abstract:
Thompson sampling is one of the most widely used algorithms for many online decision problems, due to its simplicity in implementation and superior empirical performance over other state-of-the-art methods. Despite its popularity and empirical success, it has remained an open problem whether Thompson sampling can match the minimax lower bound $Ω(\sqrt{KT})$ for $K$-armed bandit problems, where…
▽ More
Thompson sampling is one of the most widely used algorithms for many online decision problems, due to its simplicity in implementation and superior empirical performance over other state-of-the-art methods. Despite its popularity and empirical success, it has remained an open problem whether Thompson sampling can match the minimax lower bound $Ω(\sqrt{KT})$ for $K$-armed bandit problems, where $T$ is the total time horizon. In this paper, we solve this long open problem by proposing a variant of Thompson sampling called MOTS that adaptively clips the sampling instance of the chosen arm at each time step. We prove that this simple variant of Thompson sampling achieves the minimax optimal regret bound $O(\sqrt{KT})$ for finite time horizon $T$, as well as the asymptotic optimal regret bound for Gaussian rewards when $T$ approaches infinity. To our knowledge, MOTS is the first Thompson sampling type algorithm that achieves the minimax optimality for multi-armed bandit problems.
△ Less
Submitted 1 October, 2020; v1 submitted 3 March, 2020;
originally announced March 2020.
-
Exact and Robust Reconstructions of Integer Vectors Based on Multidimensional Chinese Remainder Theorem (MD-CRT)
Authors:
Li Xiao,
Xiang-Gen Xia,
Yu-** Wang
Abstract:
The robust Chinese remainder theorem (CRT) has been recently proposed for robustly reconstructing a large nonnegative integer from erroneous remainders. It has found many applications in signal processing, including phase unwrap** and frequency estimation under sub-Nyquist sampling. Motivated by the applications in multidimensional (MD) signal processing, in this paper we propose the MD-CRT and…
▽ More
The robust Chinese remainder theorem (CRT) has been recently proposed for robustly reconstructing a large nonnegative integer from erroneous remainders. It has found many applications in signal processing, including phase unwrap** and frequency estimation under sub-Nyquist sampling. Motivated by the applications in multidimensional (MD) signal processing, in this paper we propose the MD-CRT and robust MD-CRT for integer vectors. Specifically, by rephrasing the abstract CRT for rings in number-theoretic terms, we first derive the MD-CRT for integer vectors with respect to a general set of integer matrix moduli, which provides an algorithm to uniquely reconstruct an integer vector from its remainders, if it is in the fundamental parallelepiped of the lattice generated by a least common right multiple of all the moduli. For some special forms of moduli, we present explicit reconstruction formulae. Moreover, we derive the robust MD-CRT for integer vectors when the remaining integer matrices of all the moduli left divided by their greatest common left divisor (gcld) are pairwise commutative and coprime. Two different reconstruction algorithms are proposed, and accordingly, two different conditions on the remainder error bound for the reconstruction robustness are obtained, which are related to a quarter of the minimum distance of the lattice generated by the gcld of all the moduli or the Smith normal form of the gcld.
△ Less
Submitted 24 August, 2020; v1 submitted 31 January, 2020;
originally announced February 2020.
-
Sums of even ascending powers
Authors:
Chan Ieong Kuan,
Didier Lesesvre,
Xuanxuan Xiao
Abstract:
Freiman and Scourfield proved that any large enough integer can be written as a sum of a certain number of ascending even powers. We use the circle method to provide the first explicit bound on this number, and show that any large enough integer can be written as a sum of 133 ascending even powers.
Freiman and Scourfield proved that any large enough integer can be written as a sum of a certain number of ascending even powers. We use the circle method to provide the first explicit bound on this number, and show that any large enough integer can be written as a sum of 133 ascending even powers.
△ Less
Submitted 8 January, 2020;
originally announced January 2020.
-
Precipitation Forecasting via Multi-Scale Deconstructed ConvLSTM
Authors:
Xinyu Xiao,
Qiuming Kuang,
Shiming Xiang,
Junnan Hu,
Chunhong Pan
Abstract:
Numerical Weather Prediction (NWP), is widely used in precipitation forecasting, based on complex equations of atmospheric motion requires supercomputers to infer the state of the atmosphere. Due to the complexity of the task and the huge computation, this methodology has the problems of inefficiency and non-economic. With the rapid development of meteorological technology, the collection of plent…
▽ More
Numerical Weather Prediction (NWP), is widely used in precipitation forecasting, based on complex equations of atmospheric motion requires supercomputers to infer the state of the atmosphere. Due to the complexity of the task and the huge computation, this methodology has the problems of inefficiency and non-economic. With the rapid development of meteorological technology, the collection of plentiful numerical meteorological data offers opportunities to develop data-driven models for NMP task. In this paper, we consider to combine NWP with deep learning. Firstly, to improve the spatiotemporal modeling of meteorological elements, a deconstruction mechanism and the multi-scale filters are composed to propose a multi-scale deconstructed ConvLSTM (MSD-ConvLSTM). The MSD-ConvLSTM captures and fuses the contextual information by multi-scale filters with low parameter consumption. Furthermore, an encoder-decoder is constructed to encode the features of multiple meteorological elements by deep CNN and decode the spatiotemporal information from different elements by the MSD-ConvLSTM. Our method demonstrates the data-driven way is significance for the weather prediction, which can be confirmed from the experimental results of precipitation forecasting on the European Centre Weather Forecasts (EC) and China Meteorological Forecasts (CM) datasets.
△ Less
Submitted 9 January, 2020; v1 submitted 14 December, 2019;
originally announced December 2019.
-
A Simple Introduction to Free Probability Theory and its Application to Random Matrices
Authors:
Xiang-Gen Xia
Abstract:
Free probability theory started in the 1980s has attracted much attention lately in signal processing and communications areas due to its applications in large size random matrices. However, it involves with massive mathematical concepts and notations, and is really hard for a general reader to comprehend. The main goal of this paper is to briefly describe this theory and its application in random…
▽ More
Free probability theory started in the 1980s has attracted much attention lately in signal processing and communications areas due to its applications in large size random matrices. However, it involves with massive mathematical concepts and notations, and is really hard for a general reader to comprehend. The main goal of this paper is to briefly describe this theory and its application in random matrices as simple as possible so that it is easy to follow. Applying free probability theory, one is able to calculate the distributions of the eigenvalues/singular-values of large size random matrices using only the second order statistics of the matrix entries. One of such applications is the mutual information calculation of a massive MIMO system.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.
-
A non-iterative method for robustly computing the intersections between a line and a curve or surface
Authors:
Xiao Xiao,
Laurent Buse,
Fehmi Cirak
Abstract:
The need to compute the intersections between a line and a high-order curve or surface arises in a large number of finite element applications. Such intersection problems are easy to formulate but hard to solve robustly. We introduce a non-iterative method for computing intersections by solving a matrix singular value decomposition (SVD) and an eigenvalue problem. That is, all intersection points…
▽ More
The need to compute the intersections between a line and a high-order curve or surface arises in a large number of finite element applications. Such intersection problems are easy to formulate but hard to solve robustly. We introduce a non-iterative method for computing intersections by solving a matrix singular value decomposition (SVD) and an eigenvalue problem. That is, all intersection points and their parametric coordinates are determined in one-shot using only standard linear algebra techniques available in most software libraries. As a result, the introduced technique is far more robust than the widely used Newton-Raphson iteration or its variants. The maximum size of the considered matrices depends on the polynomial degree $q$ of the shape functions and is $2q \times 3q$ for curves and $6 q^2 \times 8 q^2$ for surfaces. The method has its origin in algebraic geometry and has here been considerably simplified with a view to widely used high-order finite elements. In addition, the method is derived from a purely linear algebra perspective without resorting to algebraic geometry terminology. A complete implementation is available from http://bitbucket.org/nitro-project/.
△ Less
Submitted 5 November, 2020; v1 submitted 5 February, 2019;
originally announced February 2019.
-
Several $q$-series related to Ramanujan's theta functions
Authors:
Dazhao Tang,
Ernest. X. W. Xia
Abstract:
Quite recently, the first author investigated vanishing coefficients of the arithmetic progressions in several $q$-series expansions. In this paper, we further study the signs of coefficients in two $q$-series expansions and establish some arithmetic relations for several $q$-series expansions by means of Ramanujan's theta functions. We obtain the 5-dissections of these two $q$-series and give com…
▽ More
Quite recently, the first author investigated vanishing coefficients of the arithmetic progressions in several $q$-series expansions. In this paper, we further study the signs of coefficients in two $q$-series expansions and establish some arithmetic relations for several $q$-series expansions by means of Ramanujan's theta functions. We obtain the 5-dissections of these two $q$-series and give combinatorial interpretations for these dissections. Moreover, we obtain four $q$-series identities involving the aforementioned $q$-series, two of which were proved by Kim and Toh via modular forms.
△ Less
Submitted 16 December, 2018;
originally announced December 2018.
-
Dimensions of automorphism group schemes of finite level truncations of $F$-cyclic $F$-crystals
Authors:
Zeyu Ding,
Xiao Xiao
Abstract:
Let $\mathcal{M}_π$ be an $F$-cyclic $F$-crystal $\mathcal{M}_π$ over an algebraically closed field defined by a permutation $π$ and a set of prescribed Hodge slopes. We prove combinatorial formulas for the dimension $γ_{\mathcal{M}_π}(m)$ of the automorphism group scheme of $\mathcal{M}_π$ at finite level $m$ and the number of connected components of the endomorphism group scheme of…
▽ More
Let $\mathcal{M}_π$ be an $F$-cyclic $F$-crystal $\mathcal{M}_π$ over an algebraically closed field defined by a permutation $π$ and a set of prescribed Hodge slopes. We prove combinatorial formulas for the dimension $γ_{\mathcal{M}_π}(m)$ of the automorphism group scheme of $\mathcal{M}_π$ at finite level $m$ and the number of connected components of the endomorphism group scheme of $\mathcal{M}_π$ at finite level $m$. As an application, we show that if $\mathcal{M}_π$ is a nonordinary Dieudonné module defined by a cycle $π$, then $γ_{\mathcal{M}_π}(m+1) - γ_{\mathcal{M}_π}(m) < γ_{\mathcal{M}_π}(m) - γ_{\mathcal{M}_π}(m-1)$ for all $1 \leq m \leq n_{\mathcal{M}_π}$, where $n_{\mathcal{M}_π}$ is the isomorphism number of $\mathcal{M}_π$.
△ Less
Submitted 8 July, 2019; v1 submitted 9 December, 2018;
originally announced December 2018.
-
Finding a Unique Solution to Radon-Kaczmarz Puzzles
Authors:
Steven Rossi,
Xiao Xiao
Abstract:
Solving a Radon-Kaczmarz puzzle involves filling a square grid with positive integers, each between one and nine, satisfying certain clues coming from the sum of entries that lie on the same line in the square grid. Given a set of slopes (of a particular order) that define clues of Radon-Kaczmarz puzzles, we give an upper bound of the size such that any solvable Radon-Kaczmarz puzzle whose size is…
▽ More
Solving a Radon-Kaczmarz puzzle involves filling a square grid with positive integers, each between one and nine, satisfying certain clues coming from the sum of entries that lie on the same line in the square grid. Given a set of slopes (of a particular order) that define clues of Radon-Kaczmarz puzzles, we give an upper bound of the size such that any solvable Radon-Kaczmarz puzzle whose size is less than or equal to that is uniquely solvable.
△ Less
Submitted 5 December, 2018;
originally announced December 2018.
-
Interrogation of spline surfaces with application to isogeometric design and analysis of lattice-skin structures
Authors:
Xiao Xiao,
Malcolm Sabin,
Fehmi Cirak
Abstract:
A novel surface interrogation technique is proposed to compute the intersection of curves with spline surfaces in isogeometric analysis. The intersection points are determined in one-shot without resorting to a Newton-Raphson iteration or successive refinement. Surface-curve intersection is required in a wide range of applications, including contact, immersed boundary methods and lattice-skin stru…
▽ More
A novel surface interrogation technique is proposed to compute the intersection of curves with spline surfaces in isogeometric analysis. The intersection points are determined in one-shot without resorting to a Newton-Raphson iteration or successive refinement. Surface-curve intersection is required in a wide range of applications, including contact, immersed boundary methods and lattice-skin structures, and requires usually the solution of a system of nonlinear equations. It is assumed that the surface is given in form of a spline, such as a NURBS, T-spline or Catmull-Clark subdivision surface, and is convertible into a collection of Bézier patches. First, a hierarchical bounding volume tree is used to efficiently identify the Bézier patches with a convex-hull intersecting the convex-hull of a given curve segment. For ease of implementation convex-hulls are approximated with k-dops (discrete orientation polytopes). Subsequently, the intersections of the identified Bézier patches with the curve segment are determined with a matrix-based implicit representation leading to the computation of a sequence of small singular value decompositions (SVDs). As an application of the developed interrogation technique the isogeometric design and analysis of lattice-skin structures is investigated. The skin is a spline surface that is usually created in a computer-aided design (CAD) system and the periodic lattice to be fitted consists of unit cells, each containing a small number of struts. The lattice-skin structure is generated by projecting selected lattice nodes onto the surface after determining the intersection of unit cell edges with the surface. For mechanical analysis, the skin is modelled as a Kirchhoff-Love thin-shell and the lattice as a pin-jointed truss. The two types of structures are coupled with a standard Lagrange multiplier approach.
△ Less
Submitted 12 May, 2019; v1 submitted 18 October, 2018;
originally announced October 2018.
-
Some Sufficient Conditions on Pancyclic Graphs
Authors:
Guidong Yu,
Tao Yu,
Axiu Shu,
Xiangwei Xia
Abstract:
A pancyclic graph is a graph that contains cycles of all possible lengths from three up to the number of vertices in the graph. In this paper, we establish some new sufficient conditions for a graph to be pancyclic in terms of the edge number, the spectral radius and the signless Laplacian spectral radius of the graph.
A pancyclic graph is a graph that contains cycles of all possible lengths from three up to the number of vertices in the graph. In this paper, we establish some new sufficient conditions for a graph to be pancyclic in terms of the edge number, the spectral radius and the signless Laplacian spectral radius of the graph.
△ Less
Submitted 26 September, 2018;
originally announced September 2018.
-
Multi-dimensional Optimal Trade Execution under Stochastic Resilience
Authors:
Ulrich Horst,
Xiaonyu Xia
Abstract:
We study a multi-dimensional optimal execution problem in illiquid markets with both instantaneous and persistent price impact and stochastic resilience. In our model the value function can be described by a multi-dimensional backward stochastic Riccati differential equations (BSRDE) with a singular terminal condition in one component. We prove the existence of a solution to the BSRDE system and c…
▽ More
We study a multi-dimensional optimal execution problem in illiquid markets with both instantaneous and persistent price impact and stochastic resilience. In our model the value function can be described by a multi-dimensional backward stochastic Riccati differential equations (BSRDE) with a singular terminal condition in one component. We prove the existence of a solution to the BSRDE system and characterise both the value function and the optimal strategy in terms of that solution. We prove that the solution to the liquidation problem can be approximated by the solutions to a sequence of unconstrained problems with increasing penalisation of open positions at the terminal time.
△ Less
Submitted 6 September, 2018; v1 submitted 11 April, 2018;
originally announced April 2018.
-
Tronquée Solutions of the Third and Fourth Painlevé Equations
Authors:
Xiaoyue Xia
Abstract:
Recently in a paper by Lin, Dai and Tibboel, it was shown that the third and fourth Painlevé equations have tronquée and tritronquée solutions. We obtain global information about these tronquée and tritronquée solutions. We find their sectors of analyticity, their Borel summed representations in these sectors as well as the asymptotic position of the singularities near the boundaries of the analyt…
▽ More
Recently in a paper by Lin, Dai and Tibboel, it was shown that the third and fourth Painlevé equations have tronquée and tritronquée solutions. We obtain global information about these tronquée and tritronquée solutions. We find their sectors of analyticity, their Borel summed representations in these sectors as well as the asymptotic position of the singularities near the boundaries of the analyticity sectors. We also correct slight errors in the paper mentioned.
△ Less
Submitted 8 September, 2018; v1 submitted 29 March, 2018;
originally announced March 2018.
-
A Stochastic Semismooth Newton Method for Nonsmooth Nonconvex Optimization
Authors:
Andre Milzarek,
Xiantao Xiao,
Shicong Cen,
Zaiwen Wen,
Michael Ulbrich
Abstract:
In this work, we present a globalized stochastic semismooth Newton method for solving stochastic optimization problems involving smooth nonconvex and nonsmooth convex terms in the objective function. We assume that only noisy gradient and Hessian information of the smooth part of the objective function is available via calling stochastic first and second order oracles. The proposed method can be s…
▽ More
In this work, we present a globalized stochastic semismooth Newton method for solving stochastic optimization problems involving smooth nonconvex and nonsmooth convex terms in the objective function. We assume that only noisy gradient and Hessian information of the smooth part of the objective function is available via calling stochastic first and second order oracles. The proposed method can be seen as a hybrid approach combining stochastic semismooth Newton steps and stochastic proximal gradient steps. Two inexact growth conditions are incorporated to monitor the convergence and the acceptance of the semismooth Newton steps and it is shown that the algorithm converges globally to stationary points in expectation. Moreover, under standard assumptions and utilizing random matrix concentration inequalities, we prove that the proposed approach locally turns into a pure stochastic semismooth Newton method and converges r-superlinearly with high probability. We present numerical results and comparisons on $\ell_1$-regularized logistic regression and nonconvex binary classification that demonstrate the efficiency of our algorithm.
△ Less
Submitted 9 March, 2018;
originally announced March 2018.
-
Copula-based Partial Correlation Screening: a Joint and Robust Approach
Authors:
Xiaochao Xia,
Jialiang Li
Abstract:
Screening for ultrahigh dimensional features may encounter complicated issues such as outlying observations, heteroscedasticity or heavy-tailed distribution, multi-collinearity and confounding effects. Standard correlation-based marginal screening methods may be a weak solution to these issues. We contribute a novel robust joint screener to safeguard against outliers and distribution mis-specifica…
▽ More
Screening for ultrahigh dimensional features may encounter complicated issues such as outlying observations, heteroscedasticity or heavy-tailed distribution, multi-collinearity and confounding effects. Standard correlation-based marginal screening methods may be a weak solution to these issues. We contribute a novel robust joint screener to safeguard against outliers and distribution mis-specification for both the response variable and the covariates, and to account for external variables at the screening step. Specifically, we introduce a copula-based partial correlation (CPC) screener. We show that the empirical process of the estimated CPC converges weakly to a Gaussian process and establish the sure screening property for CPC screener under very mild technical conditions, where we need not require any moment condition, weaker than existing alternatives in the literature. Moreover, our approach allows for a diverging number of conditional variables from the theoretical point of view. Extensive simulation studies and two data applications are included to illustrate our proposal.
△ Less
Submitted 23 December, 2018; v1 submitted 4 February, 2018;
originally announced February 2018.
-
Some Spectrum Property of Periodic Coupling AMO Operator
Authors:
Xu Xia,
Zuohuan Zheng
Abstract:
We study spectrum of the periodic coupling AMO model. Meantime there establish the continuity of Lyapunov exponent about the the periodic coupling of AMO model. Through the dynamical method can find a interval the AMO model only have absolutely continuous spectrum. At the same time, some condition make the periodic coupling of AMO model is singular continuous.
We study spectrum of the periodic coupling AMO model. Meantime there establish the continuity of Lyapunov exponent about the the periodic coupling of AMO model. Through the dynamical method can find a interval the AMO model only have absolutely continuous spectrum. At the same time, some condition make the periodic coupling of AMO model is singular continuous.
△ Less
Submitted 26 January, 2018;
originally announced January 2018.