177 research outputs found
A Fast Approach to Creative Telescoping
In this note we reinvestigate the task of computing creative telescoping
relations in differential-difference operator algebras. Our approach is based
on an ansatz that explicitly includes the denominators of the delta parts. We
contribute several ideas of how to make an implementation of this approach
reasonably fast and provide such an implementation. A selection of examples
shows that it can be superior to existing methods by a large factor.Comment: 9 pages, 1 table, final version as it appeared in the journa
Refined Holonomic Summation Algorithms in Particle Physics
An improved multi-summation approach is introduced and discussed that enables
one to simultaneously handle indefinite nested sums and products in the setting
of difference rings and holonomic sequences. Relevant mathematics is reviewed
and the underlying advanced difference ring machinery is elaborated upon. The
flexibility of this new toolbox contributed substantially to evaluating
complicated multi-sums coming from particle physics. Illustrative examples of
the functionality of the new software package RhoSum are given.Comment: Modified Proposition 2.1 and Corollary 2.
Recurrence and Polya number of general one-dimensional random walks
The recurrence properties of random walks can be characterized by P\'{o}lya
number, i.e., the probability that the walker has returned to the origin at
least once. In this paper, we consider recurrence properties for a general 1D
random walk on a line, in which at each time step the walker can move to the
left or right with probabilities and , or remain at the same position
with probability (). We calculate P\'{o}lya number of this
model and find a simple expression for as, , where is
the absolute difference of and (). We prove this rigorous
expression by the method of creative telescoping, and our result suggests that
the walk is recurrent if and only if the left-moving probability equals to
the right-moving probability .Comment: 3 page short pape
Exact ZF Analysis and Computer-Algebra-Aided Evaluation in Rank-1 LoS Rician Fading
We study zero-forcing detection (ZF) for multiple-input/multiple-output
(MIMO) spatial multiplexing under transmit-correlated Rician fading for an N_R
X N_T channel matrix with rank-1 line-of-sight (LoS) component. By using matrix
transformations and multivariate statistics, our exact analysis yields the
signal-to-noise ratio moment generating function (m.g.f.) as an infinite series
of gamma distribution m.g.f.'s and analogous series for ZF performance
measures, e.g., outage probability and ergodic capacity. However, their
numerical convergence is inherently problematic with increasing Rician
K-factor, N_R , and N_T. We circumvent this limitation as follows. First, we
derive differential equations satisfied by the performance measures with a
novel automated approach employing a computer-algebra tool which implements
Groebner basis computation and creative telescoping. These differential
equations are then solved with the holonomic gradient method (HGM) from initial
conditions computed with the infinite series. We demonstrate that HGM yields
more reliable performance evaluation than by infinite series alone and more
expeditious than by simulation, for realistic values of K , and even for N_R
and N_T relevant to large MIMO systems. We envision extending the proposed
approaches for exact analysis and reliable evaluation to more general Rician
fading and other transceiver methods.Comment: Accepted for publication by the IEEE Transactions on Wireless
Communications, on April 7th, 2016; this is the final revision before
publicatio
Efficient Algorithms for Mixed Creative Telescoping
Creative telescoping is a powerful computer algebra paradigm -initiated by
Doron Zeilberger in the 90's- for dealing with definite integrals and sums with
parameters. We address the mixed continuous-discrete case, and focus on the
integration of bivariate hypergeometric-hyperexponential terms. We design a new
creative telescoping algorithm operating on this class of inputs, based on a
Hermite-like reduction procedure. The new algorithm has two nice features: it
is efficient and it delivers, for a suitable representation of the input, a
minimal-order telescoper. Its analysis reveals tight bounds on the sizes of the
telescoper it produces.Comment: To be published in the proceedings of ISSAC'1
Constructing minimal telescopers for rational functions in three discrete variables
We present a new algorithm for constructing minimal telescopers for rational
functions in three discrete variables. This is the first discrete
reduction-based algorithm that goes beyond the bivariate case. The termination
of the algorithm is guaranteed by a known existence criterion of telescopers.
Our approach has the important feature that it avoids the potentially costly
computation of certificates. Computational experiments are also provided so as
to illustrate the efficiency of our approach
- …