Related papers: Streamlined WZ method proofs of Van Hamme supercon…
The NP-complete Permutation Pattern Matching problem asks whether a permutation P (the pattern) can be matched into a permutation T (the text). A matching is an order-preserving embedding of P into T. In the Generalized Permutation Pattern…
We give an identity which is conjectured and proved by using an implementation in Multi-WZ.
We propose a new procedure to embed second class systems by introducing Wess-Zumino (WZ) fields in order to unveil hidden symmetries existent in the models. This formalism is based on the direct imposition that the new Hamiltonian must be…
Zigzag persistent homology is a powerful generalisation of persistent homology that allows one not only to compute persistence diagrams with less noise and using less memory, but also to use persistence in new fields of application.…
We propose a second-order method for unconditional minimization of functions $f(z)$ of complex arguments. We call it the Mixed Newton Method due to the use of the mixed Wirtinger derivative $\frac{\partial^2f}{\partial\bar z\partial z}$ for…
In the recent article arXiv:1606.03351, Apagodu and Zeilberger discuss some applications of an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequence. At the end they…
The two-dimensional $\mathcal{N}=(2,2)$ Wess-Zumino (WZ) model with a cubic superpotential is numerically studied with a momentum-cutoff regularization that preserves supersymmetry. A numerical algorithm based on the Nicolai map is employed…
Let p be an odd prime, let S be a finite set of primes q congruent to 1 mod p but not mod p^2 and let G_S be the Galois group of the maximal p-extension of Q un-ramified outside of S. If r is a continuous homomorphism of G_S into GL_2(Z_p)…
In this note we prove the optimality of a family of known coincidence theorems for absolutely summing multilinear operators. We connect our results with the theory of multiple summing multilinear operators and prove the sharpness of similar…
In this article, we give a new method for proving Howe correspondence in the case of dual pairs of type $({\rm GL}_n, {\rm GL}_m)$ over a non-Archimedean locally compact field $F$. The proof consists in combining a study on Kudla's…
We give a computationally effective criterion for determining whether a finite-index subgroup of SL(2, Z) is a congruence subgroup, extending earlier work of Hsu for subgroups of PSL(2, Z).
We study the existence of asymptotically $Z$-stable (a.Z stable) bundles over polycyclic surfaces. Our choice of polynomial central charge is related to the existence of solutions of the deformed Hermitian--Yang--Mills equations, with…
A tutorial on what later became to be known as WZ theory, as well as a motivated account of the seminal Gosper algorithm.
We study the Closest Pair Problem in Hamming metric, which asks to find the pair with the smallest Hamming distance in a collection of binary vectors. We give a new randomized algorithm for the problem on uniformly random input…
In a recent article, Apagodu and Zeilberger (http://arxiv.org/abs/1606.03351)discuss some applications of an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequence. At the…
Composite likelihood has shown promise in settings where the number of parameters $p$ is large due to its ability to break down complex models into simpler components, thus enabling inference even when the full likelihood is not tractable.…
Let $\mathfrak q$ be a Lie algebra over a field $\mathbb K$ and $p,\tilde p\in\mathbb K[t]$ two different normalised polynomials of degree at least 2. As vector spaces both quotient Lie algebras $\mathfrak q[t]/(p)$ and $\mathfrak…
Let a real-analytic manifold $M$ formally (holomorphically) equivalent to the following model…
This paper develops a smoothing-based postprocessing method for superconvergence in finite element methods. The method applies a few smoothing iterations, such as damped Jacobi, Gauss-Seidel, or conjugate gradient, with initial guess being…
We show that by adding suitable lower-order terms to the Z4 formulation of the Einstein equations, all constraint violations except constant modes are damped. This makes the Z4 formulation a particularly simple example of a lambda-system as…