-
On small Sylow numbers of finite groups
Authors:
Xiaofang Gao,
Igor Lima,
Rulin Shen
Abstract:
Let $G$ be a finite group and $n_p(G)$ the number of Sylow $p$-subgroups of $G$. In this paper, we prove if $n_p(G)<p^2$ then almost all numbers $n_p(G)$ are a power of a prime.
Let $G$ be a finite group and $n_p(G)$ the number of Sylow $p$-subgroups of $G$. In this paper, we prove if $n_p(G)<p^2$ then almost all numbers $n_p(G)$ are a power of a prime.
△ Less
Submitted 29 May, 2024;
originally announced June 2024.
-
Multi-quasisymmetric functions with semigroup exponents, Hopf algebras and Rota-Baxter algebras
Authors:
Xing Gao,
Li Guo,
Xiao-Song Peng
Abstract:
Many years ago, G.-C.~Rota discovered a close connection between symmetric functions and Rota-Baxter algebras, and proposed to study generalizations of symmetric functions in the framework of Rota-Baxter algebras. Guided by this proposal, quasisymmetric functions from weak composition (instead of just compositions) were obtained from free Rota-Baxter algebras on one generator. This paper aims to g…
▽ More
Many years ago, G.-C.~Rota discovered a close connection between symmetric functions and Rota-Baxter algebras, and proposed to study generalizations of symmetric functions in the framework of Rota-Baxter algebras. Guided by this proposal, quasisymmetric functions from weak composition (instead of just compositions) were obtained from free Rota-Baxter algebras on one generator. This paper aims to generalize this approach to free Rota-Baxter algebras on multiple generators in order to obtain further generalizations of quasisymmetric functions. For this purpose and also for its independent interest, the space $\mathrm{MQSym}$ of quasisymmetric functions on multiple sequences of variables is defined, generalizing quasisymmetric functions and diagonally quasisymmetric functions of Aval, Bergeron and Bergeron. Linear bases of such multi-quasisymmetric functions are given by monomial multi-quasisymmetric functions and fundamental multi-quasisymmetric functions, the latter recover the fundamental $G^m$-quasisymmetric functions of Aval and Chapoton. Next introduced is the even more general notion of multi-quasisymmetric functions $\mathrm{MQSym}^E$ with exponents in a semigroup $E$, which also generalizes the quasisymmetric functions with semigroup exponents in a recent work. Through this approach, a natural Hopf algebraic structure is obtained on $\mathrm{MQSym}^E$. Finally, in support of Rota's proposal, the free commutative unitary Rota-Baxter algebra on a finite set is shown to be isomorphic to a scalar extension of $\mathrm{MQSym}^E$, a fact which in turn equips the free Rota-Baxter algebra with a Hopf algebra structure.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Weighted differential ($q$-tri)dendriform algebras
Authors:
Yuanyuan Zhang,
Huhu Zhang,
Tingzeng Wu,
Xing Gao
Abstract:
In this paper, we first introduce a weighted derivation on algebras over an operad $\cal P$, and prove that for the free $\cal P$-algebra, its weighted derivation is determined by the restriction on the generators. As applications, we propose the concept of weighted differential ($q$-tri)dendriform algebras and study some basic properties of them. Then Novikov-(tri)dendriform algebras are initiate…
▽ More
In this paper, we first introduce a weighted derivation on algebras over an operad $\cal P$, and prove that for the free $\cal P$-algebra, its weighted derivation is determined by the restriction on the generators. As applications, we propose the concept of weighted differential ($q$-tri)dendriform algebras and study some basic properties of them. Then Novikov-(tri)dendriform algebras are initiated, which can be induced from differential ($q$-tri) dendriform of weight zero. Finally, the corresponding free objects are constructed, in both the commutative and noncommutative contexts.
△ Less
Submitted 28 April, 2024;
originally announced June 2024.
-
Regret Bounds for Episodic Risk-Sensitive Linear Quadratic Regulator
Authors:
Wenhao Xu,
Xuefeng Gao,
Xuedong He
Abstract:
Risk-sensitive linear quadratic regulator is one of the most fundamental problems in risk-sensitive optimal control. In this paper, we study online adaptive control of risk-sensitive linear quadratic regulator in the finite horizon episodic setting. We propose a simple least-squares greedy algorithm and show that it achieves $\widetilde{\mathcal{O}}(\log N)$ regret under a specific identifiability…
▽ More
Risk-sensitive linear quadratic regulator is one of the most fundamental problems in risk-sensitive optimal control. In this paper, we study online adaptive control of risk-sensitive linear quadratic regulator in the finite horizon episodic setting. We propose a simple least-squares greedy algorithm and show that it achieves $\widetilde{\mathcal{O}}(\log N)$ regret under a specific identifiability assumption, where $N$ is the total number of episodes. If the identifiability assumption is not satisfied, we propose incorporating exploration noise into the least-squares-based algorithm, resulting in an algorithm with $\widetilde{\mathcal{O}}(\sqrt{N})$ regret. To our best knowledge, this is the first set of regret bounds for episodic risk-sensitive linear quadratic regulator. Our proof relies on perturbation analysis of less-standard Riccati equations for risk-sensitive linear quadratic control, and a delicate analysis of the loss in the risk-sensitive performance criterion due to applying the suboptimal controller in the online learning process.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
Reinforcement Learning for Intensity Control: An Application to Choice-Based Network Revenue Management
Authors:
Huiling Meng,
Ningyuan Chen,
Xuefeng Gao
Abstract:
Intensity control is a type of continuous-time dynamic optimization problems with many important applications in Operations Research including queueing and revenue management. In this study, we adapt the reinforcement learning framework to intensity control using choice-based network revenue management as a case study, which is a classical problem in revenue management that features a large state…
▽ More
Intensity control is a type of continuous-time dynamic optimization problems with many important applications in Operations Research including queueing and revenue management. In this study, we adapt the reinforcement learning framework to intensity control using choice-based network revenue management as a case study, which is a classical problem in revenue management that features a large state space, a large action space and a continuous time horizon. We show that by utilizing the inherent discretization of the sample paths created by the jump points, a unique and defining feature of intensity control, one does not need to discretize the time horizon in advance, which was believed to be necessary because most reinforcement learning algorithms are designed for discrete-time problems. As a result, the computation can be facilitated and the discretization error is significantly reduced. We lay the theoretical foundation for the Monte Carlo and temporal difference learning algorithms for policy evaluation and develop policy gradient based actor critic algorithms for intensity control. Via a comprehensive numerical study, we demonstrate the benefit of our approach versus other state-of-the-art benchmarks.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
Generalization Bound and New Algorithm for Clean-Label Backdoor Attack
Authors:
Lijia Yu,
Shuang Liu,
Yibo Miao,
Xiao-Shan Gao,
Lijun Zhang
Abstract:
The generalization bound is a crucial theoretical tool for assessing the generalizability of learning methods and there exist vast literatures on generalizability of normal learning, adversarial learning, and data poisoning. Unlike other data poison attacks, the backdoor attack has the special property that the poisoned triggers are contained in both the training set and the test set and the purpo…
▽ More
The generalization bound is a crucial theoretical tool for assessing the generalizability of learning methods and there exist vast literatures on generalizability of normal learning, adversarial learning, and data poisoning. Unlike other data poison attacks, the backdoor attack has the special property that the poisoned triggers are contained in both the training set and the test set and the purpose of the attack is two-fold. To our knowledge, the generalization bound for the backdoor attack has not been established. In this paper, we fill this gap by deriving algorithm-independent generalization bounds in the clean-label backdoor attack scenario. Precisely, based on the goals of backdoor attack, we give upper bounds for the clean sample population errors and the poison population errors in terms of the empirical error on the poisoned training dataset. Furthermore, based on the theoretical result, a new clean-label backdoor attack is proposed that computes the poisoning trigger by combining adversarial noise and indiscriminate poison. We show its effectiveness in a variety of settings.
△ Less
Submitted 1 June, 2024;
originally announced June 2024.
-
Reinforcement Learning for Jump-Diffusions
Authors:
Xuefeng Gao,
Lingfei Li,
Xun Yu Zhou
Abstract:
We study continuous-time reinforcement learning (RL) for stochastic control in which system dynamics are governed by jump-diffusion processes. We formulate an entropy-regularized exploratory control problem with stochastic policies to capture the exploration--exploitation balance essential for RL. Unlike the pure diffusion case initially studied by Wang et al. (2020), the derivation of the explora…
▽ More
We study continuous-time reinforcement learning (RL) for stochastic control in which system dynamics are governed by jump-diffusion processes. We formulate an entropy-regularized exploratory control problem with stochastic policies to capture the exploration--exploitation balance essential for RL. Unlike the pure diffusion case initially studied by Wang et al. (2020), the derivation of the exploratory dynamics under jump-diffusions calls for a careful formulation of the jump part. Through a theoretical analysis, we find that one can simply use the same policy evaluation and q-learning algorithms in Jia and Zhou (2022a, 2023), originally developed for controlled diffusions, without needing to check a priori whether the underlying data come from a pure diffusion or a jump-diffusion. However, we show that the presence of jumps ought to affect parameterizations of actors and critics in general. Finally, we investigate as an application the mean-variance portfolio selection problem with stock price modelled as a jump-diffusion, and show that both RL algorithms and parameterizations are invariant with respect to jumps.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
Bounds in terms of the number of cyclic subgroups
Authors:
Xiaofang Gao,
Martino Garonzi
Abstract:
A family of groups is called (maximal) cyclic bounded ((M)CB) if, for every natural number $n$, there are only finitely many groups in the family with at most $n$ (maximal) cyclic subgroups. We prove that the family of groups of prime power order is MCB. We also prove that the family of finite groups without cyclic coprime direct factors is CB. As a consequence, a natural number $n \geqslant 10$ i…
▽ More
A family of groups is called (maximal) cyclic bounded ((M)CB) if, for every natural number $n$, there are only finitely many groups in the family with at most $n$ (maximal) cyclic subgroups. We prove that the family of groups of prime power order is MCB. We also prove that the family of finite groups without cyclic coprime direct factors is CB. As a consequence, a natural number $n \geqslant 10$ is prime if and only if there are only finitely many finite noncyclic groups with precisely $n$ cyclic subgroups.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Rota-Baxter groups with weight zero and integration on topological groups
Authors:
Xing Gao,
Li Guo,
Zongjian Han
Abstract:
Rota-Baxter groups with weights $\pm 1$ have attracted quite much attention since their recent introduction, thanks to their connections with Rota-Baxter Lie algebras, factorizations of Lie groups, post- and pre-Lie algebras, braces and set-theoretic solutions of the Yang-Baxter equation. Despite their expected importance from integrals on groups to pre-groups and Yang-Baxter equations, Rota-Baxte…
▽ More
Rota-Baxter groups with weights $\pm 1$ have attracted quite much attention since their recent introduction, thanks to their connections with Rota-Baxter Lie algebras, factorizations of Lie groups, post- and pre-Lie algebras, braces and set-theoretic solutions of the Yang-Baxter equation. Despite their expected importance from integrals on groups to pre-groups and Yang-Baxter equations, Rota-Baxter groups with weight zero and other weights has been a challenge to define and their search has been the focus of several attempts.
By composing an operator with a section map as a perturbation device, we first generalize the notion of a Rota-Baxter operator on a group from the existing case of weight $\pm 1$ to the case where the weight is given by a pair of maps and then a sequence limit of such pairs. From there, two candidates of Rota-Baxter operators with weight zero are given. One of them is the Rota-Baxter operator with limit-weight zero detailed here, with the other candidate introduced in a companion work. This operator is shown to have its tangent map the Rota-Baxter operator with weight zero on Lie algebras. It also gives concrete applications in integrals of maps with values in a class of topological groups called $\RR$-groups, satisfying a multiplicative version of the integration-by-parts formula.
In parallel, differential groups in this framework is also developed and a group formulation of the First Fundamental Theorem of Calculus is obtained.
△ Less
Submitted 18 May, 2024;
originally announced May 2024.
-
Numerical Analysis of Finite Dimensional Approximations in Finite Temperature DFT
Authors:
Ge Xu,
Huajie Chen,
Xingyu Gao
Abstract:
In this paper, we study numerical approximations of the ground states in finite temperature density functional theory. We formulate the problem with respect to the density matrices and justify the convergence of the finite dimensional approximations. Moreover, we provide an optimal a priori error estimate under some mild assumptions and present some numerical experiments to support the theory.
In this paper, we study numerical approximations of the ground states in finite temperature density functional theory. We formulate the problem with respect to the density matrices and justify the convergence of the finite dimensional approximations. Moreover, we provide an optimal a priori error estimate under some mild assumptions and present some numerical experiments to support the theory.
△ Less
Submitted 11 May, 2024;
originally announced May 2024.
-
Random Batch Ewald Method for Dielectrically Confined Coulomb Systems
Authors:
Zecheng Gan,
Xuanzhao Gao,
Jiuyang Liang,
Zhenli Xu
Abstract:
Quasi two-dimensional Coulomb systems have drawn widespread interest. The reduced symmetry of these systems leads to complex collective behaviors, yet simultaneously poses significant challenges for particle-based simulations. In this paper, a novel method is presented for efficiently simulate a collection of charges confined in doubly-periodic slabs, with the extension to scenarios involving diel…
▽ More
Quasi two-dimensional Coulomb systems have drawn widespread interest. The reduced symmetry of these systems leads to complex collective behaviors, yet simultaneously poses significant challenges for particle-based simulations. In this paper, a novel method is presented for efficiently simulate a collection of charges confined in doubly-periodic slabs, with the extension to scenarios involving dielectric jumps at slab boundaries. Unlike existing methods, the method is insensitive to the aspect ratio of simulation box, and it achieves optimal O(N) complexity and strong scalability, thanks to the random batch Ewald (RBE) approach. Moreover, the additional cost for polarization contributions, represented as image reflection series, is reduced to a negligible cost via combining the RBE with an efficient structure factor coefficient re-calibration technique in k-space. Explicit formulas for optimal parameter choices of the algorithm are provided through error estimates, together with a rigorous proof. Finally, we demonstrate the accuracy, efficiency and scalability of our method, called RBE2D, via numerical tests across a variety of prototype systems. An excellent agreement between the RBE2D and the PPPM method is observed, with a significant reduction in the computational cost and strong scalability, demonstrating that it is a promising method for a broad range of charged systems under quasi-2D confinement.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Projected gradient descent algorithm for $\textit{ab initio}$ crystal structure relaxation under a fixed unit cell volume
Authors:
Yukuan Hu,
Junlei Yin,
Xingyu Gao,
Xin Liu,
Haifeng Song
Abstract:
This paper is concerned with $\textit{ab initio}$ crystal structure relaxation under a fixed unit cell volume, which is a step in calculating the static equations of state and forms the basis of thermodynamic property calculations for materials. The task can be formulated as an energy minimization with a determinant constraint. Widely used line minimization-based methods (e.g., conjugate gradient…
▽ More
This paper is concerned with $\textit{ab initio}$ crystal structure relaxation under a fixed unit cell volume, which is a step in calculating the static equations of state and forms the basis of thermodynamic property calculations for materials. The task can be formulated as an energy minimization with a determinant constraint. Widely used line minimization-based methods (e.g., conjugate gradient method) lack both efficiency and convergence guarantees due to the nonconvex nature of the feasible region as well as the significant differences in the curvatures of the potential energy surface with respect to atomic and lattice components. To this end, we propose a projected gradient descent algorithm named PANBB. It is equipped with (i) search direction projections onto the tangent spaces of the nonconvex feasible region for lattice vectors, (ii) distinct curvature-aware initial trial step sizes for atomic and lattice updates, and (iii) a nonrestrictive line minimization criterion as the stop** rule for the inner loop. It can be proved that PANBB favors theoretical convergence to equilibrium states. Across a benchmark set containing 223 structures from various categories, PANBB achieves average speedup factors of approximately 1.41 and 1.45 over the conjugate gradient method and direct inversion in the iterative subspace implemented in off-the-shelf simulation software, respectively. Moreover, it normally converges on all the systems, manifesting its unparalleled robustness. As an application, we calculate the static equations of state for the high-entropy alloy AlCoCrFeNi, which remains elusive owing to 160 atoms representing both chemical and magnetic disorder and the strong local lattice distortion. The results are consistent with the previous calculations and are further validated by experimental thermodynamic data.
△ Less
Submitted 5 May, 2024;
originally announced May 2024.
-
Some new operated Lie polynomial identities and Gröbner-Shirshov bases
Authors:
Huhu Zhang,
Xing Gao,
Tingzeng Wu,
Xinyang Feng
Abstract:
We give an affirmative answer to the open question posed in [34]: are the operated Lie polynomial identities corresponding to new operators on associative algebras in [7] Grobner-Shirshov, respectively?
We give an affirmative answer to the open question posed in [34]: are the operated Lie polynomial identities corresponding to new operators on associative algebras in [7] Grobner-Shirshov, respectively?
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Free Novikov algebras and the Hopf algebra of decorated multi-indices
Authors:
Zhicheng Zhu,
Xing Gao,
Dominique Manchon
Abstract:
We propose a combinatorial formula for the coproduct in a Hopf algebra of decorated multi-indices which recently appeared in the literature, which can be briefly described as the graded dual of the envelo** algebra of the free Novikov algebra generated by the set of decorations. Similarly to what happens for the Hopf algebra of rooted forests, the formula can be written in terms of admissible cu…
▽ More
We propose a combinatorial formula for the coproduct in a Hopf algebra of decorated multi-indices which recently appeared in the literature, which can be briefly described as the graded dual of the envelo** algebra of the free Novikov algebra generated by the set of decorations. Similarly to what happens for the Hopf algebra of rooted forests, the formula can be written in terms of admissible cuts.
△ Less
Submitted 13 May, 2024; v1 submitted 15 April, 2024;
originally announced April 2024.
-
Fast Algorithm for Quasi-2D Coulomb Systems
Authors:
Zecheng Gan,
Xuanzhao Gao,
Jiuyang Liang,
Zhenli Xu
Abstract:
Quasi-2D Coulomb systems are of fundamental importance and have attracted much attention in many areas nowadays. Their reduced symmetry gives rise to interesting collective behaviors, but also brings great challenges for particle-based simulations. Here, we propose a novel algorithm framework to address the $\mathcal O(N^2)$ simulation complexity associated with the long-range nature of Coulomb in…
▽ More
Quasi-2D Coulomb systems are of fundamental importance and have attracted much attention in many areas nowadays. Their reduced symmetry gives rise to interesting collective behaviors, but also brings great challenges for particle-based simulations. Here, we propose a novel algorithm framework to address the $\mathcal O(N^2)$ simulation complexity associated with the long-range nature of Coulomb interactions. First, we introduce an efficient Sum-of-Exponentials (SOE) approximation for the long-range kernel associated with Ewald splitting, achieving uniform convergence in terms of inter-particle distance, which reduces the complexity to $\mathcal{O}(N^{7/5})$. We then introduce a random batch sampling method in the periodic dimensions, the stochastic approximation is proven to be both unbiased and with reduced variance via a tailored importance sampling strategy, further reducing the computational cost to $\mathcal{O}(N)$. The performance of our algorithm is demonstrated via varies numerical examples. Notably, it achieves a speedup of $2\sim 3$ orders of magnitude comparing with Ewald2D method, enabling molecular dynamics (MD) simulations with up to $10^6$ particles on a single core. The present approach is therefore well-suited for large-scale particle-based simulations of Coulomb systems under confinement, making it possible to investigate the role of Coulomb interaction in many practical situations.
△ Less
Submitted 3 March, 2024;
originally announced March 2024.
-
Twisted restricted conformal blocks of vertex operator algebras II: twisted restricted conformal blocks on totally ramified orbicurves
Authors:
Xu Gao,
Jianqi Liu,
Yiyi Zhu
Abstract:
In this paper, we introduce a notion of twisted restricted conformal blocks on totally ramified orbicurves and establish an isomorphism between the space of twisted restricted conformal blocks and the space of twisted conformal blocks. The relationships among twisted (restricted) conformal blocks, $g$-twisted (restricted) correlation functions, and twisted intertwining operators are explored. Furt…
▽ More
In this paper, we introduce a notion of twisted restricted conformal blocks on totally ramified orbicurves and establish an isomorphism between the space of twisted restricted conformal blocks and the space of twisted conformal blocks. The relationships among twisted (restricted) conformal blocks, $g$-twisted (restricted) correlation functions, and twisted intertwining operators are explored. Furthermore, by introducing a geometric generalization of Zhu's algebra and its modules, we obtain a description of the space of coinvariants by modules over associative algebras and show it is finite-dimensional under some conditions. In particular, a more conceptual proof of the $g$-twisted fusion rules theorem in vertex operator algebra theory is provided.
△ Less
Submitted 31 March, 2024; v1 submitted 1 March, 2024;
originally announced March 2024.
-
Improved SQP and SLSQP Algorithms for Feasible Path-based Process Optimisation
Authors:
Yingjie Ma,
Xi Gao,
Chao Liu,
Jie Li
Abstract:
The feasible path algorithm has been widely used for process optimisation due to its good convergence. The sequential quadratic programming (SQP) algorithm is usually used to drive the feasible path algorithm towards optimality. However, existing SQP algorithms may suffer from inconsistent quadratic programming (QP) subproblems and numerical noise, especially for ill-conditioned optimisation probl…
▽ More
The feasible path algorithm has been widely used for process optimisation due to its good convergence. The sequential quadratic programming (SQP) algorithm is usually used to drive the feasible path algorithm towards optimality. However, existing SQP algorithms may suffer from inconsistent quadratic programming (QP) subproblems and numerical noise, especially for ill-conditioned optimisation problems, leading to a suboptimal or infeasible solution. In this work, we propose an improved SQP algorithm (I-SQP) and an improved sequential least squares programming algorithm (I-SLSQP) that solves a least squares (LSQ) subproblem at each major iteration. A hybrid method through the combination of two relaxation formulations is proposed to solve inconsistent subproblems for better convergence and higher efficiency. We analyse a certain part of the dual LSQ solution algorithm and find it suffers from serious cancellation errors, resulting in an inaccurate search direction or no viable search direction generated. Therefore, the QP solver is used to solve LSQ subproblems in such a situation. Several challenging process optimisation problems are solved to demonstrate the advantages of the proposed algorithms over existing solvers including the SLSQP solver in SciPy, fmincon in Matlab and IPOPT.
△ Less
Submitted 26 February, 2024; v1 submitted 15 February, 2024;
originally announced February 2024.
-
Convergence Analysis for General Probability Flow ODEs of Diffusion Models in Wasserstein Distances
Authors:
Xuefeng Gao,
Lingjiong Zhu
Abstract:
Score-based generative modeling with probability flow ordinary differential equations (ODEs) has achieved remarkable success in a variety of applications. While various fast ODE-based samplers have been proposed in the literature and employed in practice, the theoretical understandings about convergence properties of the probability flow ODE are still quite limited. In this paper, we provide the f…
▽ More
Score-based generative modeling with probability flow ordinary differential equations (ODEs) has achieved remarkable success in a variety of applications. While various fast ODE-based samplers have been proposed in the literature and employed in practice, the theoretical understandings about convergence properties of the probability flow ODE are still quite limited. In this paper, we provide the first non-asymptotic convergence analysis for a general class of probability flow ODE samplers in 2-Wasserstein distance, assuming accurate score estimates. We then consider various examples and establish results on the iteration complexity of the corresponding ODE-based samplers.
△ Less
Submitted 31 January, 2024;
originally announced January 2024.
-
Twisted restricted conformal blocks of vertex operator algebras I: $g$-twisted correlation functions and fusion rules
Authors:
Xu Gao,
Jianqi Liu,
Yiyi Zhu
Abstract:
In this paper, we introduce a notion of $g$-twisted restricted conformal block on the three-pointed twisted projective line $\mathfrak{x}\colon\overline{C}\to\mathbb{P^1}$ associated with an untwisted module $M^1$ and the bottom levels of two $g$-twisted modules $M^2$ and $M^3$ over a vertex operator algebra $V$. We show that the space of twisted restricted conformal blocks is isomorphic to the sp…
▽ More
In this paper, we introduce a notion of $g$-twisted restricted conformal block on the three-pointed twisted projective line $\mathfrak{x}\colon\overline{C}\to\mathbb{P^1}$ associated with an untwisted module $M^1$ and the bottom levels of two $g$-twisted modules $M^2$ and $M^3$ over a vertex operator algebra $V$. We show that the space of twisted restricted conformal blocks is isomorphic to the space of $g$-twisted (restricted) correlation functions defined by the same datum and to the space of intertwining operators among these twisted modules. As an application, we derive a twisted version of the Fusion Rules Theorem.
△ Less
Submitted 26 December, 2023;
originally announced December 2023.
-
On pyramidal groups whose number of involutions is a prime power
Authors:
Xiaofang Gao,
Martino Garonzi
Abstract:
A Kirkman Triple System $Γ$ is called $m$-pyramidal if there exists a subgroup $G$ of the automorphism group of $Γ$ that fixes $m$ points and acts regularly on the other points. Such group $G$ admits a unique conjugacy class $C$ of involutions (elements of order $2$) and $|C|=m$. We call groups with this property $m$-pyramidal. We prove that, if $m$ is an odd prime power $p^k$, then every $m$-pyra…
▽ More
A Kirkman Triple System $Γ$ is called $m$-pyramidal if there exists a subgroup $G$ of the automorphism group of $Γ$ that fixes $m$ points and acts regularly on the other points. Such group $G$ admits a unique conjugacy class $C$ of involutions (elements of order $2$) and $|C|=m$. We call groups with this property $m$-pyramidal. We prove that, if $m$ is an odd prime power $p^k$, then every $m$-pyramidal group is solvable if and only if either $m=9$ or $k$ is odd. The primitive permutation groups play an important role in the proof. We also determine the orders of the $m$-pyramidal groups when $m$ is a prime number.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
Compatible structures of operads by polarization, their Koszul duality and Manin products
Authors:
Huhu Zhang,
Xing Gao,
Li Guo
Abstract:
Algebraic structures with multiple copies of a given type of operations interrelated by various compatibility conditions have long being studied in mathematics and mathematical physics. They are broadly referred as linearly compatible, matching, and totally compatible structures. This paper gives a unified approach to these structures in the context of operads. We first generalize the process of p…
▽ More
Algebraic structures with multiple copies of a given type of operations interrelated by various compatibility conditions have long being studied in mathematics and mathematical physics. They are broadly referred as linearly compatible, matching, and totally compatible structures. This paper gives a unified approach to these structures in the context of operads. We first generalize the process of polarization for polynomials in invariant theory to the one for operads, leading to the general notion of linearly compatible operads. Refining the polarization by partitioning it into foliations, we obtain a notion of matching operads consolidating those appeared recently from applications of regularity structures, and Volterra integral equations. Distinguished among them is the leveled matching compatibility, which is unique with respect to a fix ordering of the vertices in tree monomials. Equating all matching compatibilities of a given operad leads to the totally compatible operad of this operad.
For unary/binary quadratic operads, the linear compatibility and the total compatibility are in Koszul dual to each other, and there is a Koszul self-duality among the matching compatibilities. In particular, the leveled matching compatibility is Koszul self-dual. For binary quadratic operads, these three compatible operads can also be obtained by taking Manin black and white products. For finitely generated binary quadratic operad, we prove that the Koszulity is preserved under taking each of the linear and total compatibilities, as well as the leveled matching compatibility.
△ Less
Submitted 19 November, 2023;
originally announced November 2023.
-
Wasserstein Convergence Guarantees for a General Class of Score-Based Generative Models
Authors:
Xuefeng Gao,
Hoang M. Nguyen,
Lingjiong Zhu
Abstract:
Score-based generative models (SGMs) is a recent class of deep generative models with state-of-the-art performance in many applications. In this paper, we establish convergence guarantees for a general class of SGMs in 2-Wasserstein distance, assuming accurate score estimates and smooth log-concave data distribution. We specialize our result to several concrete SGMs with specific choices of forwar…
▽ More
Score-based generative models (SGMs) is a recent class of deep generative models with state-of-the-art performance in many applications. In this paper, we establish convergence guarantees for a general class of SGMs in 2-Wasserstein distance, assuming accurate score estimates and smooth log-concave data distribution. We specialize our result to several concrete SGMs with specific choices of forward processes modelled by stochastic differential equations, and obtain an upper bound on the iteration complexity for each model, which demonstrates the impacts of different choices of the forward processes. We also provide a lower bound when the data distribution is Gaussian. Numerically, we experiment SGMs with different forward processes, some of which are newly proposed in this paper, for unconditional image generation on CIFAR-10. We find that the experimental results are in good agreement with our theoretical predictions on the iteration complexity, and the models with our newly proposed forward processes can outperform existing models.
△ Less
Submitted 18 November, 2023;
originally announced November 2023.
-
On an Erdős similarity problem in the large
Authors:
Xiang Gao,
Yuveshen Mooroogen,
Chi Hoi Yip
Abstract:
In a recent paper, Kolountzakis and Papageorgiou ask if for every $ε\in (0,1)$, there exists a set $S \subseteq \mathbb{R}$ such that $\vert S \cap I\vert \geq 1 - ε$ for every interval $I \subset \mathbb{R}$ with unit length, but that does not contain any affine copy of a given increasing sequence of exponential growth or faster. This question is an analogue of the well-known Erdős similarity pro…
▽ More
In a recent paper, Kolountzakis and Papageorgiou ask if for every $ε\in (0,1)$, there exists a set $S \subseteq \mathbb{R}$ such that $\vert S \cap I\vert \geq 1 - ε$ for every interval $I \subset \mathbb{R}$ with unit length, but that does not contain any affine copy of a given increasing sequence of exponential growth or faster. This question is an analogue of the well-known Erdős similarity problem. In this paper, we show that for each sequence of real numbers whose integer parts form a set of positive upper Banach density, one can explicitly construct such a set $S$ that contains no affine copy of that sequence. Since there exist sequences of arbitrarily rapid growth that satisfy this condition, our result answers Kolountzakis and Papageorgiou's question in the affirmative. A key ingredient of our proof is a generalization of results by Amice, Kahane, and Haight from metric number theory. In addition, we construct a set $S$ with the required property -- but with $ε\in (1/2, 1)$ -- that contains no affine copy of $\{2^n\}$.
△ Less
Submitted 12 December, 2023; v1 submitted 11 November, 2023;
originally announced November 2023.
-
Dual Dictionaries in Linear Programming
Authors:
Patrick T. Perkins,
Xiang Gao
Abstract:
In order to use the Dual Simplex Method, one needs to prove a certain bijection between the dictionaries associated with the primal problem and those associated with its dual. We give a short conceptual proof of why this bijection exists.
In order to use the Dual Simplex Method, one needs to prove a certain bijection between the dictionaries associated with the primal problem and those associated with its dual. We give a short conceptual proof of why this bijection exists.
△ Less
Submitted 19 September, 2023;
originally announced October 2023.
-
The stable Picard group of finite Adams Hopf algebroids with an application to the $\mathbb{R}$-motivic Steenrod subalgebra $\mathcal{A}(1)^{\mathbb{R}}$
Authors:
Xu Gao,
Ang Li
Abstract:
In this paper, we investigate the rigidity of the stable comodule category of a specific class of Hopf algebroids known as finite Adams, shedding light on its Picard group. Then we establish a reduction process through base changes, enabling us to effectively compute the Picard group of the $\mathbb{R}$-motivic mod $2$ Steenrod subalgebra $\mathcal{A}(1)^{\mathbb{R}}$. Our computation shows that…
▽ More
In this paper, we investigate the rigidity of the stable comodule category of a specific class of Hopf algebroids known as finite Adams, shedding light on its Picard group. Then we establish a reduction process through base changes, enabling us to effectively compute the Picard group of the $\mathbb{R}$-motivic mod $2$ Steenrod subalgebra $\mathcal{A}(1)^{\mathbb{R}}$. Our computation shows that $\operatorname{Pic}(\mathcal{A}(1)^{\mathbb{R}})$ is isomorphic to $\mathbb{Z}^4$, where two ranks come from the motivic grading, one from the algebraic loop functor, and the last is generated by the $\mathbb{R}$-motivic joker $J$.
△ Less
Submitted 21 June, 2023;
originally announced June 2023.
-
Free weighted differential ($q$-tri)dendriform algebras
Authors:
Yuanyuan Zhang,
Huhu Zhang,
Tingzeng Wu,
Xing Gao
Abstract:
In the present paper, we propose the concepts of weighted differential ($q$-tri)dendriform algebras and give some basic properties of them. The corresponding free objects are constructed, in both the commutative and noncommutative contexts.
In the present paper, we propose the concepts of weighted differential ($q$-tri)dendriform algebras and give some basic properties of them. The corresponding free objects are constructed, in both the commutative and noncommutative contexts.
△ Less
Submitted 25 June, 2024; v1 submitted 31 May, 2023;
originally announced May 2023.
-
On the combinatorics of descents and inverse descents in the hyperoctahedral group
Authors:
X. Gao,
F. Z. K. Li,
L. Wan,
J. Y. X. Yang
Abstract:
The elements in the hyperoctahedral group $\mathfrak{B}_n$ can be treated as signed permutations with the natural order $\cdots<-2<-1<0<1<2<\cdots$, or as colored permutations with the $r$-order $-1<_r-2<_r\cdots<_r0<_r1<_r2<_r\cdots$. For any $π\in\mathfrak{B}_n$, let $\operatorname{des}^B(π)$ and $\operatorname{ides}^B(π)$ be the number of descents and inverse descents in $π$ under the natural o…
▽ More
The elements in the hyperoctahedral group $\mathfrak{B}_n$ can be treated as signed permutations with the natural order $\cdots<-2<-1<0<1<2<\cdots$, or as colored permutations with the $r$-order $-1<_r-2<_r\cdots<_r0<_r1<_r2<_r\cdots$. For any $π\in\mathfrak{B}_n$, let $\operatorname{des}^B(π)$ and $\operatorname{ides}^B(π)$ be the number of descents and inverse descents in $π$ under the natural order, and let $\operatorname{des}_B(π)$ and $\operatorname{ides}_B(π)$ be the number of descents and inverse descents in $π$ under the $r$-order. In this paper, by investigating signed permutation grids under both the natural order and the $r$-order, we give combinatorial proofs for six recurrence formulas of the joint distribution of descents and inverse descents over the hyperoctahedral group $\mathfrak{B}_n$, the set in involutions of $\mathfrak{B}_n$ denoted by $\mathcal{I}_n^B$, and the set of fixed-point free involutions in $\mathfrak{B}_n$ denoted by $\mathcal{J}_n^B$, respectively. Some of these six formulas are new, and some reveal the combinatorial essences of the results obtained by Visontai, Moustakas and Cao-Liu through algebraic approaches such as quasisymmetric functions. Furthermore, from these formulas, we conclude that $(\operatorname{des}^B,\operatorname{ides}^B)$ and $(\operatorname{des}_B,\operatorname{ides}_B)$ are equidistributed over both $\mathfrak{B}_n$ and $\mathcal{I}_n^B$, but not on $\mathcal{J}_n^B$.
△ Less
Submitted 27 May, 2023;
originally announced May 2023.
-
Analysis of a FEM-MCM Discretization for the 2D/3D stochastic closed-loop geothermal system
Authors:
Jian Li,
Xinyue Gao,
Yi Qin
Abstract:
This paper develops a new 2D/3D stochastic closed-loop geothermal system with a random hydraulic conductivity tensor. We use the finite element method (FEM) and the Monte Carlo method (MCM) to discrete physical and probability spaces, respectively. This FEM-MCM method is effective. The stability for velocity and temperature is rigorously proved. Compared with the deterministic closed-loop geotherm…
▽ More
This paper develops a new 2D/3D stochastic closed-loop geothermal system with a random hydraulic conductivity tensor. We use the finite element method (FEM) and the Monte Carlo method (MCM) to discrete physical and probability spaces, respectively. This FEM-MCM method is effective. The stability for velocity and temperature is rigorously proved. Compared with the deterministic closed-loop geothermal system, a same optimal error estimate for approximate velocity and temperature is obtained. Furthermore, a series of numerical experiments were carried out to show this method has better stability and accuracy results.
△ Less
Submitted 24 April, 2023;
originally announced April 2023.
-
The structure of $3$-pyramidal groups
Authors:
Xiaofang Gao,
Martino Garonzi
Abstract:
A combinatorial block design $D$ is called $3$-pyramidal if there exists a subgroup $G$ of $\mbox{Aut}(D)$ fixing $3$ points and acting regularly on the other points. If this happens, we say that the design is $3$-pyramidal under $G$. In case $D$ is a Kirkman triple system, it is known that such a group $G$ has precisely $3$ involutions, all conjugate to each other. In this paper, we obtain a clas…
▽ More
A combinatorial block design $D$ is called $3$-pyramidal if there exists a subgroup $G$ of $\mbox{Aut}(D)$ fixing $3$ points and acting regularly on the other points. If this happens, we say that the design is $3$-pyramidal under $G$. In case $D$ is a Kirkman triple system, it is known that such a group $G$ has precisely $3$ involutions, all conjugate to each other. In this paper, we obtain a classification of the groups with this property.
△ Less
Submitted 27 February, 2023; v1 submitted 23 February, 2023;
originally announced February 2023.
-
Regret Bounds for Markov Decision Processes with Recursive Optimized Certainty Equivalents
Authors:
Wenhao Xu,
Xuefeng Gao,
Xuedong He
Abstract:
The optimized certainty equivalent (OCE) is a family of risk measures that cover important examples such as entropic risk, conditional value-at-risk and mean-variance models. In this paper, we propose a new episodic risk-sensitive reinforcement learning formulation based on tabular Markov decision processes with recursive OCEs. We design an efficient learning algorithm for this problem based on va…
▽ More
The optimized certainty equivalent (OCE) is a family of risk measures that cover important examples such as entropic risk, conditional value-at-risk and mean-variance models. In this paper, we propose a new episodic risk-sensitive reinforcement learning formulation based on tabular Markov decision processes with recursive OCEs. We design an efficient learning algorithm for this problem based on value iteration and upper confidence bound. We derive an upper bound on the regret of the proposed algorithm, and also establish a minimax lower bound. Our bounds show that the regret rate achieved by our proposed algorithm has optimal dependence on the number of episodes and the number of actions.
△ Less
Submitted 8 June, 2023; v1 submitted 29 January, 2023;
originally announced January 2023.
-
Simplicial volumes in Bruhat-Tits buildings of split classical type
Authors:
Xu Gao
Abstract:
In a Bruhat-Tits building of split classical type (that is, of type $A_n$, $B_n$, $C_n$, $D_n$, and any combination of them) over a local field, the simplicial volume counts the vertices within the given simplicial distance from a special vertex. This paper aims to study the asymptotic growth of the simplicial volume. A formula of the simplicial volume is deduced from the theory of concave functio…
▽ More
In a Bruhat-Tits building of split classical type (that is, of type $A_n$, $B_n$, $C_n$, $D_n$, and any combination of them) over a local field, the simplicial volume counts the vertices within the given simplicial distance from a special vertex. This paper aims to study the asymptotic growth of the simplicial volume. A formula of the simplicial volume is deduced from the theory of concave functions. Then the dominant term in its asymptotic growth is found using the theory of $q$-exponential polynomials developed in this paper.
△ Less
Submitted 7 October, 2022;
originally announced October 2022.
-
Square-root regret bounds for continuous-time episodic Markov decision processes
Authors:
Xuefeng Gao,
Xun Yu Zhou
Abstract:
We study reinforcement learning for continuous-time Markov decision processes (MDPs) in the finite-horizon episodic setting. In contrast to discrete-time MDPs, the inter-transition times of a continuous-time MDP are exponentially distributed with rate parameters depending on the state--action pair at each transition. We present a learning algorithm based on the methods of value iteration and upper…
▽ More
We study reinforcement learning for continuous-time Markov decision processes (MDPs) in the finite-horizon episodic setting. In contrast to discrete-time MDPs, the inter-transition times of a continuous-time MDP are exponentially distributed with rate parameters depending on the state--action pair at each transition. We present a learning algorithm based on the methods of value iteration and upper confidence bound. We derive an upper bound on the worst-case expected regret for the proposed algorithm, and establish a worst-case lower bound, both bounds are of the order of square-root on the number of episodes. Finally, we conduct simulation experiments to illustrate the performance of our algorithm.
△ Less
Submitted 2 October, 2023; v1 submitted 3 October, 2022;
originally announced October 2022.
-
Free $Ω$-Rota-Baxter systems and Gröbner-Shirshov bases
Authors:
Yuanyuan Zhang,
Huhu Zhang,
Xing Gao
Abstract:
In this paper, we propose the concept of an $Ω$-Rota-Baxter system, which is a generalization of a Rota-Baxter system and an $Ω$-Rota-Baxter algebra of weight zero. In the framework of operated algebras, we obtain a linear basis of a free $Ω$-Rota-Baxter system for an extended diassociative semigroup $Ω$, in terms of bracketed words and the method of Gröbner-Shirshov bases. As applications, we int…
▽ More
In this paper, we propose the concept of an $Ω$-Rota-Baxter system, which is a generalization of a Rota-Baxter system and an $Ω$-Rota-Baxter algebra of weight zero. In the framework of operated algebras, we obtain a linear basis of a free $Ω$-Rota-Baxter system for an extended diassociative semigroup $Ω$, in terms of bracketed words and the method of Gröbner-Shirshov bases. As applications, we introduce the concepts of Rota-Baxter system family algebras and matching Rota-Baxter systems as special cases of $Ω$-Rota-Baxter systems, and construct their free objects. Meanwhile, free $Ω$-Rota-Baxter algebras of weight zero, free Rota-Baxter systems, free Rota-Baxter family algebras and free matching Rota-Baxter algebras are reconstructed via new method.
△ Less
Submitted 18 September, 2022;
originally announced September 2022.
-
Operated groups, differential groups and Rota-Baxter groups with an emphasis on the free objects
Authors:
Xing Gao,
Li Guo,
Yanjun Liu,
Zhi-Cheng Zhu
Abstract:
Groups with various types of operators, in particular the recently introduced Rota-Baxter groups, have generated renowned interest with close connections to numerical integrals, Yang-Baxter equation, integrable systems and post-Hopf algebras. This paper gives the general notion of operated groups and provides explicit constructions of free operated groups, free differential groups and free Rota-Ba…
▽ More
Groups with various types of operators, in particular the recently introduced Rota-Baxter groups, have generated renowned interest with close connections to numerical integrals, Yang-Baxter equation, integrable systems and post-Hopf algebras. This paper gives the general notion of operated groups and provides explicit constructions of free operated groups, free differential groups and free Rota-Baxter groups.
△ Less
Submitted 11 September, 2022;
originally announced September 2022.
-
A Poincaré-Birkhoff-Witt theorem for the universal envelo** algebra of a Rota-Baxter Lie algebra
Authors:
Zhi-Cheng Zhu,
Xing Gao,
Li Guo,
Jun Pei
Abstract:
Rota-Baxter associative algebras and Rota-Baxter Lie algebras are both important in mathematics and mathematical physics, with the former a basic structure in quantum field renormalization and the latter a operator form of the classical Yang-Baxter equation. An outstanding problem posed by Gubarev is to determine whether there is a Poincaré-Birkhoff-Witt theorem for the universal envelo** Rota-B…
▽ More
Rota-Baxter associative algebras and Rota-Baxter Lie algebras are both important in mathematics and mathematical physics, with the former a basic structure in quantum field renormalization and the latter a operator form of the classical Yang-Baxter equation. An outstanding problem posed by Gubarev is to determine whether there is a Poincaré-Birkhoff-Witt theorem for the universal envelo** Rota-Baxter associative algebra of a Rota-Baxter Lie algebra. This paper resolves this problem positively, working with operated algebras and applying the method of Gröbner-Shirshov bases.
△ Less
Submitted 21 October, 2022; v1 submitted 8 September, 2022;
originally announced September 2022.
-
A Fourth-Order Embedded Boundary Finite Volume Method for the Unsteady Stokes Equations with Complex Geometries
Authors:
Nathaniel Overton-Katz,
Xinfeng Gao,
Stephen Guzik,
Oscar Antepara,
Daniel T. Graves,
Hans Johansen
Abstract:
A fourth-order finite volume embedded boundary (EB) method is presented for the unsteady Stokes equations. The algorithm represents complex geometries on a Cartesian grid using EB, employing a technique to mitigate the "small cut-cell" problem without mesh modifications, cell merging, or state redistribution. Spatial discretizations are based on a weighted least-squares technique that has been ext…
▽ More
A fourth-order finite volume embedded boundary (EB) method is presented for the unsteady Stokes equations. The algorithm represents complex geometries on a Cartesian grid using EB, employing a technique to mitigate the "small cut-cell" problem without mesh modifications, cell merging, or state redistribution. Spatial discretizations are based on a weighted least-squares technique that has been extended to fourth-order operators and boundary conditions, including an approximate projection to enforce the divergence-free constraint. Solutions are advanced in time using a fourth-order additive implicit-explicit Runge-Kutta method, with the viscous and source terms treated implicitly and explicitly, respectively. Formal accuracy of the method is demonstrated with several grid convergence studies, and results are shown for an application with a complex bio-inspired material. The developed method achieves fourth-order accuracy and is stable despite the pervasive small cells arising from complex geometries.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Logarithmic regret bounds for continuous-time average-reward Markov decision processes
Authors:
Xuefeng Gao,
Xun Yu Zhou
Abstract:
We consider reinforcement learning for continuous-time Markov decision processes (MDPs) in the infinite-horizon, average-reward setting. In contrast to discrete-time MDPs, a continuous-time process moves to a state and stays there for a random holding time after an action is taken. With unknown transition probabilities and rates of exponential holding times, we derive instance-dependent regret low…
▽ More
We consider reinforcement learning for continuous-time Markov decision processes (MDPs) in the infinite-horizon, average-reward setting. In contrast to discrete-time MDPs, a continuous-time process moves to a state and stays there for a random holding time after an action is taken. With unknown transition probabilities and rates of exponential holding times, we derive instance-dependent regret lower bounds that are logarithmic in the time horizon. Moreover, we design a learning algorithm and establish a finite-time regret bound that achieves the logarithmic growth rate. Our analysis builds upon upper confidence reinforcement learning, a delicate estimation of the mean holding times, and stochastic comparison of point processes.
△ Less
Submitted 2 July, 2024; v1 submitted 23 May, 2022;
originally announced May 2022.
-
Skew-sparse matrix multiplication
Authors:
Qiao-Long Huang,
Ke Ye,
Xiao-Shan Gao
Abstract:
Based on the observation that $\mathbb{Q}^{(p-1) \times (p-1)}$ is isomorphic to a quotient skew polynomial ring, we propose a new method for $(p-1)\times (p-1)$ matrix multiplication over $\mathbb{Q}$, where $p$ is a prime number. The main feature of our method is the acceleration for matrix multiplication if the product is skew-sparse. Based on the new method, we design a deterministic algorithm…
▽ More
Based on the observation that $\mathbb{Q}^{(p-1) \times (p-1)}$ is isomorphic to a quotient skew polynomial ring, we propose a new method for $(p-1)\times (p-1)$ matrix multiplication over $\mathbb{Q}$, where $p$ is a prime number. The main feature of our method is the acceleration for matrix multiplication if the product is skew-sparse. Based on the new method, we design a deterministic algorithm with complexity $O(T^{ω-2} p^2)$, where $T\le p-1$ is a parameter determined by the skew-sparsity of input matrices and $ω$ is the asymptotic exponent of matrix multiplication. Moreover, by introducing randomness, we also propose a probabilistic algorithm with complexity $O^\thicksim(t^{ω-2}p^2+p^2\log\frac{1}ν)$, where $t\le p-1$ is the skew-sparsity of the product and $ν$ is the probability parameter.
△ Less
Submitted 12 May, 2022;
originally announced May 2022.
-
Comparability digraphs: An analogue of comparability graphs
Authors:
Xiao-Lu Gao,
**g Huang,
Shou-Jun Xu
Abstract:
Comparability graphs are a popular class of graphs. We introduce as the digraph analogue of comparability graphs the class of comparability digraphs. We show that many concepts such as implication classes and the knotting graph for a comparability graph can be naturally extended to a comparability digraph. We give a characterization of comparability digraphs in terms of their knotting graphs. Semi…
▽ More
Comparability graphs are a popular class of graphs. We introduce as the digraph analogue of comparability graphs the class of comparability digraphs. We show that many concepts such as implication classes and the knotting graph for a comparability graph can be naturally extended to a comparability digraph. We give a characterization of comparability digraphs in terms of their knotting graphs. Semicomplete comparability digraphs are a prototype of comparability digraphs. One instrumental technique for analyzing the structure of comparability graphs is the Triangle Lemma for graphs. We generalize the Triangle Lemma to semicomplete digraphs. Using the Triangle Lemma for semicomplete digraphs we prove that if an implication class of a semicomplete digraph contains no circuit of length 2 then it contains no circuit at all. We also use it to device an $\mathcal{O}(n^3)$ time recognition algorithm for semicomplete comparability digraphs where $n$ is the number of vertices of the input digraph. The correctness of the algorithm implies a characterization for semicomplete comparability digraphs, akin to that for comparability graphs.
△ Less
Submitted 3 April, 2022;
originally announced April 2022.
-
New operated polynomial identities and Gröbner-Shirshov bases
Authors:
**wei Wang,
Zhicheng Zhu,
Xing Gao
Abstract:
Quite recently, Bremner et al. introduced a new approach to Rota's Classification Problem and classified some (new) operated polynomial identities. In this paper, we prove that all operated polynomial identities classified by Bremner et al. are Gröbner-Shirshov.
Quite recently, Bremner et al. introduced a new approach to Rota's Classification Problem and classified some (new) operated polynomial identities. In this paper, we prove that all operated polynomial identities classified by Bremner et al. are Gröbner-Shirshov.
△ Less
Submitted 5 March, 2022;
originally announced March 2022.
-
Operator identities on Lie algebras, rewriting systems and Gröbner-Shirshov bases
Authors:
Huhu Zhang,
Xing Gao,
Li Guo
Abstract:
Motivated by the pivotal role played by linear operators, many years ago Rota proposed to determine algebraic operator identities satisfied by linear operators on associative algebras, later called Rota's program on algebraic operators. Recent progresses on this program have been achieved in the contexts of operated algebra, rewriting systems and Groebner-Shirshov bases. These developments also su…
▽ More
Motivated by the pivotal role played by linear operators, many years ago Rota proposed to determine algebraic operator identities satisfied by linear operators on associative algebras, later called Rota's program on algebraic operators. Recent progresses on this program have been achieved in the contexts of operated algebra, rewriting systems and Groebner-Shirshov bases. These developments also suggest that Rota's insight can be applied to determine operator identities on Lie algebras, and thus to put the various linear operators on Lie algebras in a uniform perspective.
This paper carries out this approach, utilizing operated polynomial Lie algebras spanned by non-associative Lyndon-Shirshov bracketed words. The Lie algebra analog of Rota's program was formulated in terms convergent rewriting systems and equivalently in terms of Groebner-Shirshov bases. This Lie algebra analog is shown to be compatible with Rota's program for associative algebras. As applications, a classification of differential type operators and Rota-Baxter operators are presented.
△ Less
Submitted 11 February, 2022;
originally announced February 2022.
-
Optimal annuitization post-retirement with labor income
Authors:
Xiang Gao,
Cody Hyndman,
Traian A. Pirvu,
Petar Jevtić
Abstract:
Evidence shows that the labor participation rate of retirement age cohorts is non-negligible, and it is a widespread phenomenon globally. In the United States, the labor force participation rate for workers age 75 and older is projected to be over 10 percent by 2026 as reported by the Bureau of Labor Statistics. The prevalence of post-retirement work changes existing considerations of optimal annu…
▽ More
Evidence shows that the labor participation rate of retirement age cohorts is non-negligible, and it is a widespread phenomenon globally. In the United States, the labor force participation rate for workers age 75 and older is projected to be over 10 percent by 2026 as reported by the Bureau of Labor Statistics. The prevalence of post-retirement work changes existing considerations of optimal annuitization, a research question further complicated by novel factors such as post-retirement labor rates, wage rates, and capacity or willingness to work. To our knowledge, this poses a practical and theoretical problem not previously investigated in actuarial literature. In this paper, we study the problem of post-retirement annuitization with extra labor income in the framework of stochastic control, optimal stop**, and expected utility maximization. The utility functions are of the Cobb-Douglas type. The martingale methodology and duality techniques are employed to obtain closed-form solutions for the dual and primal problems. The effect of labor income is investigated by exploiting the explicit solutions and Monte-Carlo simulation. The latter reveals that the optimal annuitization time is strongly linear with respect to the initial wealth, with or without labor income. When it comes to optimal annuitization, we find that the wage and labor rates may play opposite roles. However, their impact is mediated by the leverage ratio.
△ Less
Submitted 8 February, 2022;
originally announced February 2022.
-
On Admissible Positions of Transonic Shocks for Steady Isothermal Euler Flows in a Horizontal Flat Nozzle under Vertical Gravity
Authors:
Beixiang Fang,
Xin Gao
Abstract:
In this paper we are concerned with the existence of transonic shocks for 2-D steady isothermal Euler flows in a horizontal flat nozzle under vertical gravity. In particular, we focus on the contribution of the vertical gravity in determining the position of the shock front. For steady horizontal flows, the existence of normal shocks with the position of the shock front being arbitrary in the nozz…
▽ More
In this paper we are concerned with the existence of transonic shocks for 2-D steady isothermal Euler flows in a horizontal flat nozzle under vertical gravity. In particular, we focus on the contribution of the vertical gravity in determining the position of the shock front. For steady horizontal flows, the existence of normal shocks with the position of the shock front being arbitrary in the nozzle can be easily established. This paper will try to determine the position of the shock front as the state of the flow at the entrance of the nozzle and the pressure at the exit are slightly perturbed. To this end, this paper proposes a free boundary problem of the linearized Euler system with vertical gravity, whose solution could be an initial approximation for the shock solution with the free boundary being the approximation for the shock front. Due to the existence of the vertical gravity, difficulties arise in solving the boundary value problem in the approximate subsonic domain behind the shock front. The linearized Euler system is elliptic-hyperbolic composite for subsonic flows, and the elliptic part and the hyperbolic part are coupled in the $0$-order terms depending on the acceleration of gravity $g$. Moreover, the coefficients are not constants since the unperturbed shock solution depends on the vertical variable. New ideas and techniques are developed to deal with these difficulties and, under certain sufficient conditions on the perturbation, the existence of the solution to the proposed free boundary problem is established as the acceleration of gravity $g>0$ and the perturbation are sufficiently small. Then, with the obtained initial approximation of the shock solution, a nonlinear iteration scheme can be constructed which leads to a transonic shock solution with the position of the shock front being close to the initial approximating position.
△ Less
Submitted 5 December, 2021;
originally announced December 2021.
-
Numerical Analysis of the Multiple Scattering Theory for Electronic Structure Calculations
Authors:
Xiaoxu Li,
Huajie Chen,
Xingyu Gao
Abstract:
The multiple scattering theory (MST) is one of the most widely used methods in electronic structure calculations. It features a perfect separation between the atomic configurations and site potentials, and hence provides an efficient way to simulate defected and disordered systems. This work studies the MST methods from a numerical point of view and shows the convergence with respect to the trunca…
▽ More
The multiple scattering theory (MST) is one of the most widely used methods in electronic structure calculations. It features a perfect separation between the atomic configurations and site potentials, and hence provides an efficient way to simulate defected and disordered systems. This work studies the MST methods from a numerical point of view and shows the convergence with respect to the truncation of the angular momentum summations, which is a fundamental approximation parameter for all MST methods. We provide both rigorous analysis and numerical experiments to illustrate the efficiency of the MST methods within the angular momentum representations.
△ Less
Submitted 14 November, 2021;
originally announced November 2021.
-
Dispersive estimates for two-particles Schrödinger and wave equations in the Aharonov-Bohm field
Authors:
Xiaofen Gao,
Junyong Zhang,
Jiqiang Zheng
Abstract:
We study the dispersive behaviors of two-particles Schrödinger and wave equations in the Aharonov-Bohm field. In particular, we prove the Strichartz estimates for Schrödinger and wave equations in this setting. The key point is to construct spectral measure of Schrödinger operator with an Aharonov-Bohm type potential in $\R^4$. As applications, we finally prove a scattering theory for the nonlinea…
▽ More
We study the dispersive behaviors of two-particles Schrödinger and wave equations in the Aharonov-Bohm field. In particular, we prove the Strichartz estimates for Schrödinger and wave equations in this setting. The key point is to construct spectral measure of Schrödinger operator with an Aharonov-Bohm type potential in $\R^4$. As applications, we finally prove a scattering theory for the nonlinear defocusing subcritical two-particles Schrödinger equation with Aharonov-Bohm potential.
△ Less
Submitted 13 October, 2021; v1 submitted 11 October, 2021;
originally announced October 2021.
-
Rota's program on algebraic operators, rewriting systems and Gröbner-Shirshov bases
Authors:
Xing Gao,
Li Guo,
Huhu Zhang
Abstract:
Many years ago, Rota proposed a program on determining algebraic identities that can be satisfied by linear operators. After an extended period of dormant, progress on this program picked up speed in recent years, thanks to perspectives from operated algebras and Gröbner-Shirshov bases. These advances were achieved in a series of papers from special cases to more general situations. These perspect…
▽ More
Many years ago, Rota proposed a program on determining algebraic identities that can be satisfied by linear operators. After an extended period of dormant, progress on this program picked up speed in recent years, thanks to perspectives from operated algebras and Gröbner-Shirshov bases. These advances were achieved in a series of papers from special cases to more general situations. These perspectives also indicate that Rota's insight can be manifested very broadly, for other algebraic structures such as Lie algebras, and further in the context of operads. This paper gives a survey on the motivation, early developments and recent advances on Rota's program, for linear operators on associative algebras and Lie algebras. Emphasis will be given to the applications of rewriting systems and Gröbner-Shirshov bases. Problems, old and new, are proposed throughout the paper to prompt further developments on Rota's program.
△ Less
Submitted 26 August, 2021;
originally announced August 2021.
-
Free weighted (modified) differential algebras, free (modified) Rota-Baxter algebras and Gröbner-Shirshov bases
Authors:
Zhicheng Zhu,
Huhu Zhang,
Xing Gao
Abstract:
In this paper, we obtain respectively some new linear bases of free unitary (modified) weighted differential algebras and free nonunitary (modified) Rota-Baxter algebras, in terms of the method of Gröbner-Shirshov bases.
In this paper, we obtain respectively some new linear bases of free unitary (modified) weighted differential algebras and free nonunitary (modified) Rota-Baxter algebras, in terms of the method of Gröbner-Shirshov bases.
△ Less
Submitted 7 August, 2021;
originally announced August 2021.
-
Debiasing Samples from Online Learning Using Bootstrap
Authors:
Ningyuan Chen,
Xuefeng Gao,
Yi Xiong
Abstract:
It has been recently shown in the literature that the sample averages from online learning experiments are biased when used to estimate the mean reward. To correct the bias, off-policy evaluation methods, including importance sampling and doubly robust estimators, typically calculate the conditional propensity score, which is ill-defined for non-randomized policies such as UCB. This paper provides…
▽ More
It has been recently shown in the literature that the sample averages from online learning experiments are biased when used to estimate the mean reward. To correct the bias, off-policy evaluation methods, including importance sampling and doubly robust estimators, typically calculate the conditional propensity score, which is ill-defined for non-randomized policies such as UCB. This paper provides a procedure to debias the samples using bootstrap, which doesn't require the knowledge of the reward distribution and can be applied to any adaptive policies. Numerical experiments demonstrate the effective bias reduction for samples generated by popular multi-armed bandit algorithms such as Explore-Then-Commit (ETC), UCB, Thompson sampling (TS) and $ε$-greedy (EG). We analyze and provide theoretical justifications for the procedure under the ETC algorithm, including the asymptotic convergence of the bias decay rate in the real and bootstrap worlds.
△ Less
Submitted 1 December, 2021; v1 submitted 31 July, 2021;
originally announced August 2021.
-
Sublinear Regret for Learning POMDPs
Authors:
Yi Xiong,
Ningyuan Chen,
Xuefeng Gao,
Xiang Zhou
Abstract:
We study the model-based undiscounted reinforcement learning for partially observable Markov decision processes (POMDPs). The oracle we consider is the optimal policy of the POMDP with a known environment in terms of the average reward over an infinite horizon. We propose a learning algorithm for this problem, building on spectral method-of-moments estimations for hidden Markov models, the belief…
▽ More
We study the model-based undiscounted reinforcement learning for partially observable Markov decision processes (POMDPs). The oracle we consider is the optimal policy of the POMDP with a known environment in terms of the average reward over an infinite horizon. We propose a learning algorithm for this problem, building on spectral method-of-moments estimations for hidden Markov models, the belief error control in POMDPs and upper-confidence-bound methods for online learning. We establish a regret bound of $O(T^{2/3}\sqrt{\log T})$ for the proposed learning algorithm where $T$ is the learning horizon. This is, to the best of our knowledge, the first algorithm achieving sublinear regret with respect to our oracle for learning general POMDPs.
△ Less
Submitted 16 July, 2022; v1 submitted 8 July, 2021;
originally announced July 2021.
-
A Kernel-free Boundary Integral Method for the Bidomain Equations
Authors:
Xindan Gao,
Li Cai,
Craig S. Henriquez,
Wenjun Ying
Abstract:
The bidomain equations have been widely used to mathematically model the electrical activity of the cardiac tissue. In this work, we present a potential theory-based Cartesian grid method which is referred as the kernel-free boundary integral (KFBI) method which works well on complex domains to efficiently simulate the linear diffusion part of the bidomain equation. After a proper temporal discret…
▽ More
The bidomain equations have been widely used to mathematically model the electrical activity of the cardiac tissue. In this work, we present a potential theory-based Cartesian grid method which is referred as the kernel-free boundary integral (KFBI) method which works well on complex domains to efficiently simulate the linear diffusion part of the bidomain equation. After a proper temporal discretization, the KFBI method is applied to solve the resulting homogeneous Neumann boundary value problems with a second-order accuracy. According to the potential theory, the boundary integral equations reformulated from the boundary value problems can be solved iteratively with the simple Richardson iteration or the Krylov subspace iteration method. During the iteration, the boundary and volume integrals are evaluated by limiting the structured grid-based discrete solutions of the equivalent interface problems at quasi-uniform interface nodes without the need to know the analytical expression of Green's functions. In particular, the discrete linear system of the equivalent interface problem obtained from the standard finite difference schemes or the finite element schemes can be efficiently solved by fast elliptic solvers such as the fast Fourier transform based solvers or those based on geometric multigrid iterations after an appropriate modification at the irregular grid nodes. Numerical results for solving the FitzHugh-Nagumo bidomain equations in both two- and three-dimensional spaces are presented to demonstrate the numerical performance of the KFBI method such as the second-order accuracy and the propagation and scroll wave of the voltage simulated on the real human left ventricle model.
△ Less
Submitted 11 April, 2021;
originally announced April 2021.