Related papers: Three Recitations on Holonomic Systems and Hyperge…
The future of mathematics is described, by using the WZ algorithmic proof theory as a parable.
Gauged WZW and coset models are known to be useful to prove holomorphic factorization of the partition function of WZW and coset models. In this note we show that these gauged models can be also important to quantize the theory in the…
We will introduce a modified system of A-hypergeometric system (GKZ system) by applying a change of variables for Groebner deformations and study its Groebner basis and the indicial polynomials along the "exceptional hypersurface".
Our main results are a WZ-proof of a new Ramanujan-like series for $1/\pi^2$ and a hypergeometric identity involving three series.
In 2021, the first author and Kalita obtained two general hypergeometric formulas for sums involving certain rising factorials to prove some supercongruence conjectures of Guo related to (B.2) and (C.2). In this paper, we further generalize…
Using the WZ-method we find some of the easiest Ramanujan's formulae and also some new interesting Ramanujan-like sums.
The celebrated Zeilberger algorithm which finds holonomic recurrence equations for definite sums of hypergeometric terms $F(n,k)$ is extended to certain nonhypergeometric terms. An expression $F(n,k)$ is called a hypergeometric term if both…
There are many identities for the hypergeometric series presented in the article "Special values of the hypergeometric series" by Ebisu. In this note, we obtain a new hypergeometric identity, which includes some of these identities as…
The $G/G$ gauged supergroup valued WZNW theory is considered. It is shown that for $G=\OSP$, the $G/G$ theory tensoring a ($b$, $c$, $\beta$, $\gamma$) system is equivalent to the non-critical fermionic theory. The relation between integral…
Reachability analysis for hybrid nonaffine systems remains computationally challenging, as existing set representations--including constrained, polynomial, and hybrid zonotopes--either lose tightness under high-order nonaffine maps or…
We review some aspects of gauged WZW models. By choosing a nilpotent subgroup as gauge group, one is lead to three main applications: the construction of field theories with an extended conformal symmetry, the construction of the effective…
Zonotopal algebra interweaves algebraic, geometric and combinatorial properties of a given linear map X. Of basic significance in this theory is the fact that the algebraic structures are derived from the geometry (via a non-linear…
We consider $A$-hypergeometric (or GKZ-)systems in the case where the grading (character) group is an arbitrary finitely generated Abelian group. Emulating the approach taken for classical GKZ-systems in arXiv:math/0406383 that allows for a…
In this article the Lorenz dynamical system is revived and revisited and the current state of the art results for one step ahead forecasting for the Lorenz trajectories are published. Multitask learning is shown to help learning the hard to…
The theme of this book chapter is to discuss algorithms for identifying and reconstructing groups and clusters of galaxies out of the general galaxy distribution. I review the progress of detection techniques through time, from the very…
In this paper, we evaluate some series via the WZ method, and confirm several previous conjectures. For example, we prove the following two identities conjectured by the second author: $$\sum_{k=0}^{\infty} \frac{(28k^2 + 10k + 1)…
We present algorithms used in the computational part of the article "Special homogeneous linear systems on Hirzebruch surfaces".
By systematically applying ten inequivalent two-part relations between hypergeometric sums 3F2(1) to the published database of all such sums, 66 new sums are obtained. Many results extracted from the literature are shown to be special cases…
Contents: 1. Introduction 2. Bosonic propagators and random paths 3. Random surfaces and strings 4. Matrix models and two-dimensional quantum gravity 5. The mystery of $c > 1$ 6. Euclidean quantum gravity in $d > 2$ 7. Discussion
Using the WZ method to prove supercongruences critically depends on an inspired WZ pair choice. This paper demonstrates a procedure for finding WZ pair candidates to prove a given supercongruence. When suitable WZ pairs are thus obtained,…