-
On the normality of commuting scheme for general linear Lie algebra
Authors:
Artan Sheshmani,
Xiaopeng Xia,
Beihui Yuan
Abstract:
The commuting scheme $\mathfrak{C}^{d}_{\mathfrak{g}}$ for reductive Lie algebra $\mathfrak{g}$ over an algebraically closed field $\mathbb{K}$ is the subscheme of $\mathfrak{g}^{d}$ defined by quadratic equations, whose $\mathbb{K}$-valued points are $d$-tuples of commuting elements in $\mathfrak{g}$ over $\mathbb{K}$. There is a long-standing conjecture that the commuting scheme…
▽ More
The commuting scheme $\mathfrak{C}^{d}_{\mathfrak{g}}$ for reductive Lie algebra $\mathfrak{g}$ over an algebraically closed field $\mathbb{K}$ is the subscheme of $\mathfrak{g}^{d}$ defined by quadratic equations, whose $\mathbb{K}$-valued points are $d$-tuples of commuting elements in $\mathfrak{g}$ over $\mathbb{K}$. There is a long-standing conjecture that the commuting scheme $\mathfrak{C}^{d}_{\mathfrak{g}}$ is reduced. Moreover, a higher dimensional analog of Chevalley restriction conjecture was conjectured by Chen-Ngô. We show that the commuting scheme of $\mathfrak{C}^{2}_{\mathfrak{g}l_{n}}$ is Cohen-Macaulay and normal. As a corollary, we prove a 2-dimensional Chevalley restriction theorem for general linear group in positive characteristic.
△ Less
Submitted 19 May, 2025;
originally announced May 2025.
-
EnvCDiff: Joint Refinement of Environmental Information and Channel Fingerprints via Conditional Generative Diffusion Model
Authors:
Zhenzhou Jin,
Li You,
Xiang-Gen Xia,
Xiqi Gao
Abstract:
The paradigm shift from environment-unaware communication to intelligent environment-aware communication is expected to facilitate the acquisition of channel state information for future wireless communications. Channel Fingerprint (CF), as an emerging enabling technology for environment-aware communication, provides channel-related knowledge for potential locations within the target communication…
▽ More
The paradigm shift from environment-unaware communication to intelligent environment-aware communication is expected to facilitate the acquisition of channel state information for future wireless communications. Channel Fingerprint (CF), as an emerging enabling technology for environment-aware communication, provides channel-related knowledge for potential locations within the target communication area. However, due to the limited availability of practical devices for sensing environmental information and measuring channel-related knowledge, most of the acquired environmental information and CF are coarse-grained, insufficient to guide the design of wireless transmissions. To address this, this paper proposes a deep conditional generative learning approach, namely a customized conditional generative diffusion model (CDiff). The proposed CDiff simultaneously refines environmental information and CF, reconstructing a fine-grained CF that incorporates environmental information, referred to as EnvCF, from its coarse-grained counterpart. Experimental results show that the proposed approach significantly improves the performance of EnvCF construction compared to the baselines.
△ Less
Submitted 11 May, 2025;
originally announced May 2025.
-
Channel Fingerprint Construction for Massive MIMO: A Deep Conditional Generative Approach
Authors:
Zhenzhou Jin,
Li You,
Xudong Li,
Zhen Gao,
Yuanwei Liu,
Xiang-Gen Xia,
Xiqi Gao
Abstract:
Accurate channel state information (CSI) acquisition for massive multiple-input multiple-output (MIMO) systems is essential for future mobile communication networks. Channel fingerprint (CF), also referred to as channel knowledge map, is a key enabler for intelligent environment-aware communication and can facilitate CSI acquisition. However, due to the cost limitations of practical sensing nodes…
▽ More
Accurate channel state information (CSI) acquisition for massive multiple-input multiple-output (MIMO) systems is essential for future mobile communication networks. Channel fingerprint (CF), also referred to as channel knowledge map, is a key enabler for intelligent environment-aware communication and can facilitate CSI acquisition. However, due to the cost limitations of practical sensing nodes and test vehicles, the resulting CF is typically coarse-grained, making it insufficient for wireless transceiver design. In this work, we introduce the concept of CF twins and design a conditional generative diffusion model (CGDM) with strong implicit prior learning capabilities as the computational core of the CF twin to establish the connection between coarse- and fine-grained CFs. Specifically, we employ a variational inference technique to derive the evidence lower bound (ELBO) for the log-marginal distribution of the observed fine-grained CF conditioned on the coarse-grained CF, enabling the CGDM to learn the complicated distribution of the target data. During the denoising neural network optimization, the coarse-grained CF is introduced as side information to accurately guide the conditioned generation of the CGDM. To make the proposed CGDM lightweight, we further leverage the additivity of network layers and introduce a one-shot pruning approach along with a multi-objective knowledge distillation technique. Experimental results show that the proposed approach exhibits significant improvement in reconstruction performance compared to the baselines. Additionally, zero-shot testing on reconstruction tasks with different magnification factors further demonstrates the scalability and generalization ability of the proposed approach.
△ Less
Submitted 11 May, 2025;
originally announced May 2025.
-
Finite difference method for nonlinear damped viscoelastic Euler-Bernoulli beam model
Authors:
Wenlin Qiu,
Xiangcheng Zheng,
Tao Guo,
Xu Xiao
Abstract:
We propose and analyze the numerical approximation for a viscoelastic Euler-Bernoulli beam model containing a nonlinear strong damping coefficient. The finite difference method is used for spatial discretization, while the backward Euler method and the averaged PI rule are applied for temporal discretization. The long-time stability and the finite-time error estimate of the numerical solutions are…
▽ More
We propose and analyze the numerical approximation for a viscoelastic Euler-Bernoulli beam model containing a nonlinear strong damping coefficient. The finite difference method is used for spatial discretization, while the backward Euler method and the averaged PI rule are applied for temporal discretization. The long-time stability and the finite-time error estimate of the numerical solutions are derived for both the semi-discrete-in-space scheme and the fully-discrete scheme. Furthermore, the Leray-Schauder theorem is used to derive the existence and uniqueness of the fully-discrete numerical solutions. Finally, the numerical results verify the theoretical analysis.
△ Less
Submitted 5 May, 2025;
originally announced May 2025.
-
End-to-End Learning Framework for Solving Non-Markovian Optimal Control
Authors:
Xiaole Zhang,
Peiyu Zhang,
Xiongye Xiao,
Shixuan Li,
Vasileios Tzoumas,
Vijay Gupta,
Paul Bogdan
Abstract:
Integer-order calculus often falls short in capturing the long-range dependencies and memory effects found in many real-world processes. Fractional calculus addresses these gaps via fractional-order integrals and derivatives, but fractional-order dynamical systems pose substantial challenges in system identification and optimal control due to the lack of standard control methodologies. In this pap…
▽ More
Integer-order calculus often falls short in capturing the long-range dependencies and memory effects found in many real-world processes. Fractional calculus addresses these gaps via fractional-order integrals and derivatives, but fractional-order dynamical systems pose substantial challenges in system identification and optimal control due to the lack of standard control methodologies. In this paper, we theoretically derive the optimal control via linear quadratic regulator (LQR) for fractional-order linear time-invariant (FOLTI) systems and develop an end-to-end deep learning framework based on this theoretical foundation. Our approach establishes a rigorous mathematical model, derives analytical solutions, and incorporates deep learning to achieve data-driven optimal control of FOLTI systems. Our key contributions include: (i) proposing an innovative system identification method control strategy for FOLTI systems, (ii) developing the first end-to-end data-driven learning framework, Fractional-Order Learning for Optimal Control (FOLOC), that learns control policies from observed trajectories, and (iii) deriving a theoretical analysis of sample complexity to quantify the number of samples required for accurate optimal control in complex real-world problems. Experimental results indicate that our method accurately approximates fractional-order system behaviors without relying on Gaussian noise assumptions, pointing to promising avenues for advanced optimal control.
△ Less
Submitted 1 May, 2025; v1 submitted 6 February, 2025;
originally announced February 2025.
-
Feasible Path SQP Algorithm for Simulation-based Optimization Surrogated with Differentiable Machine Learning Models
Authors:
Zixuan Zhang,
Xiaowei Song,
Yujiao Zeng,
Jie Li,
Yaling Nie,
Min Zhu,
Jianhua Chen,
Linmin Wang,
Xin Xiao
Abstract:
With the development of artificial intelligence, simulation-based optimization problems, which present a significant challenge in the process systems engineering community, are increasingly being addressed with the surrogate-based framework. In this work, we propose a deterministic algorithm framework based on feasible path sequential quadratic programming for optimizing differentiable machine lea…
▽ More
With the development of artificial intelligence, simulation-based optimization problems, which present a significant challenge in the process systems engineering community, are increasingly being addressed with the surrogate-based framework. In this work, we propose a deterministic algorithm framework based on feasible path sequential quadratic programming for optimizing differentiable machine learning models embedded problems. The proposed framework effectively addresses two key challenges: (i) achieving the computation of first- and second-order derivatives of machine learning models' outputs with respect to inputs; and (ii) by introducing the feasible path method, the massive intermediate variables resulting from the algebraic formulation of machine learning models eliminated. Surrogate models for six test functions and two process simulations were established and optimized. All six test functions were successfully optimized to the global optima, demonstrating the framework's effectiveness. The optimization time for all cases did not exceed 2s, highlighting the efficiency of the algorithm.
△ Less
Submitted 29 January, 2025;
originally announced January 2025.
-
Bayesian buckling load optimisation for structures with geometric uncertainties
Authors:
Tianyi Liu,
Xiao Xiao,
Fehmi Cirak
Abstract:
Optimised lightweight structures, such as shallow domes and slender towers, are prone to sudden buckling failure because geometric uncertainties/imperfections can lead to a drastic reduction in their buckling loads. We introduce a framework for the robust optimisation of buckling loads, considering geometric nonlinearities and random geometric imperfections. The mean and standard deviation of buck…
▽ More
Optimised lightweight structures, such as shallow domes and slender towers, are prone to sudden buckling failure because geometric uncertainties/imperfections can lead to a drastic reduction in their buckling loads. We introduce a framework for the robust optimisation of buckling loads, considering geometric nonlinearities and random geometric imperfections. The mean and standard deviation of buckling loads are estimated by Monte Carlo sampling of random imperfections and performing a nonlinear finite element computation for each sample. The extended system method is employed to compute the buckling load directly, avoiding costly path-following procedures. Furthermore, the quasi-Monte Carlo sampling using the Sobol sequence is implemented to generate more uniformly distributed samples, which significantly reduces the number of finite element computations. The objective function consisting of the weighted sum of the mean and standard deviation of the buckling load is optimised using Bayesian optimisation. The accuracy and efficiency of the proposed framework are demonstrated through robust sizing optimisation of several geometrically nonlinear truss examples.
△ Less
Submitted 8 January, 2025;
originally announced January 2025.
-
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. Since its proposal, sliced inverse regression has emerged as a widely utilized statistical technique to reduce the dimensionality of covariates while maintaining sufficient statistical information. In this paper, we propose optimally differentially private…
▽ More
Privacy preservation has become a critical concern in high-dimensional data analysis due to the growing prevalence of data-driven applications. Since its proposal, sliced inverse regression has emerged as a widely utilized statistical technique to reduce the dimensionality of covariates 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 establish lower bounds for differentially private sliced inverse regression in 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 statistics and machine learning community.
△ Less
Submitted 4 April, 2025; v1 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 mapping 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,
Jinxing 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 Jin,
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 mappings 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 under a mild condition 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 general…
▽ More
We determine the irreducible components of Igusa varieties for Shimura varieties of Hodge type under a mild condition 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--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 16 May, 2025; 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 Jin,
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-Ping 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 unwrapping 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 unwrapping 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.
