相关论文: Three Recitations on Holonomic Systems and Hyperge…
We describe an algorithm that, given a k-tuple of permutations representing the monodromy of a rational map, constructs an arbitrarily precise floating-point complex approximation of that map. We then explain how it has been used to study a…
This survey gives a short and comprehensive introduction to a class of finite-dimensional integrable systems known as hypersemitoric systems, recently introduced by Hohloch and Palmer in connection with the solution of the problem how to…
By extracting coefficients from Wilf-Zeilberger pairs with respect to auxiliary parameters, we discover many nontrivial hypergeometric series involving harmonic numbers. In particular, we obtain a rapidly convergent series for the depth-two…
By telescoping method, Sun gave some hypergeometric series whose sums are related to $\pi$ recently. We investigate these series from the point of view of Gosper's algorithm. Given a hypergeometric term $t_k$, we consider the Gosper…
We consider the problem of learning high dimensional polynomial transformations of Gaussians. Given samples of the form $p(x)$, where $x\sim N(0, \mathrm{Id}_r)$ is hidden and $p: \mathbb{R}^r \to \mathbb{R}^d$ is a function where every…
The low-energy physics of systems with spontaneously broken continuous symmetry is dominated by the ensuing Nambu-Goldstone bosons. It has been known for half a century how to construct invariant Lagrangian densities for the low-energy…
A wealth of geometric and combinatorial properties of a given linear endomorphism $X$ of $\R^N$ is captured in the study of its associated zonotope $Z(X)$, and, by duality, its associated hyperplane arrangement ${\cal H}(X)$. This…
This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource management is given, and the respective computational properties of each…
We discuss the holonomic dual of tautological systems, with a view towards applications to linear free divisors and to homogeneous spaces. As a technical tool, we consider a Chevalley--Eilenberg type complex, generalizing Euler--Koszul…
Working directly on affine Lie groups, we construct several new formulations of the WZW model. In one formulation WZW is expressed as a one-dimensional mechanical system whose variables are coordinates on the affine Lie group. When written…
Recently, Chen, Hou and Jin used both Abel's lemma on summation by parts and Zeilberger's algorithm to generate recurrence relations for definite summations. Meanwhile, they proposed the Abel-Gosper method to evaluate some indefinite sums…
We introduce sparse polynomial zonotopes, a new set representation for formal verification of hybrid systems. Sparse polynomial zonotopes can represent non-convex sets and are generalizations of zonotopes, polytopes, and Taylor models.…
The aim of this note is to provide some reference facts for LZW---mostly from Thomas and Cover \cite{Cover:2006aa} and provide a reference for some metrics that can be derived from it. LZW is an algorithm to compute a Kolmogorov Complexity…
We show that several constraint propagation algorithms (also called (local) consistency, consistency enforcing, Waltz, filtering or narrowing algorithms) are instances of algorithms that deal with chaotic iteration. To this end we propose a…
We study Feynman integrals in the framework of Gel'fand-Kapranov-Zelevinsky (GKZ) hypergeometric systems. The latter defines a class of functions wherein Feynman integrals arise as special cases, for any number of loops and kinematic…
We develop a collection of numerical algorithms which connect ideas from polyhedral geometry and algebraic geometry. The first algorithm we develop functions as a numerical oracle for the Newton polytope of a hypersurface and is based on…
This paper surveys some recent results concerning the dynamics of two families of holomorphic correspondences, namely ${\mathcal F}_a:z \to w$ defined by the relation $$\left( \frac{aw-1}{w-1} \right)^2 + \left( \frac{aw-1}{w-1} \right)…
In this article, we provide an application of hypergeometric evaluation identities, including a strange valuation of Gosper, to prove several supercongruences related to special valuations of truncated hypergeometric series. In particular,…
We study piecewise-smooth systems with three zones, $\dot{z} = f_i(z)$, $i = 1,2,3,$ whose discontinuity set $\Sigma$ consists either of a pair of parallel lines or a pair of circles tangent to each other internally or externally. Each…
Take a multiplicative monoid of sequences in which the multiplication is given by Hadamard product. The set of linear combinations of interleaving monoid elements then yields a ring. For hypergeometric sequences, the resulting ring is a…