1,164 research outputs found
Rational series and asymptotic expansion for linear homogeneous divide-and-conquer recurrences
Among all sequences that satisfy a divide-and-conquer recurrence, the
sequences that are rational with respect to a numeration system are certainly
the most immediate and most essential. Nevertheless, until recently they have
not been studied from the asymptotic standpoint. We show how a mechanical
process permits to compute their asymptotic expansion. It is based on linear
algebra, with Jordan normal form, joint spectral radius, and dilation
equations. The method is compared with the analytic number theory approach,
based on Dirichlet series and residues, and new ways to compute the Fourier
series of the periodic functions involved in the expansion are developed. The
article comes with an extended bibliography
Unitary Representations of Wavelet Groups and Encoding of Iterated Function Systems in Solenoids
For points in real dimensions, we introduce a geometry for general digit
sets. We introduce a positional number system where the basis for our
representation is a fixed by matrix over \bz. Our starting point is a
given pair with the matrix assumed expansive, and
a chosen complete digit set, i.e., in bijective correspondence
with the points in \bz^d/A^T\bz^d. We give an explicit geometric
representation and encoding with infinite words in letters from .
We show that the attractor for an affine Iterated Function
System (IFS) based on is a set of fractions for our digital
representation of points in \br^d. Moreover our positional "number
representation" is spelled out in the form of an explicit IFS-encoding of a
compact solenoid \sa associated with the pair . The intricate
part (Theorem \ref{thenccycl}) is played by the cycles in \bz^d for the
initial -IFS. Using these cycles we are able to write down
formulas for the two maps which do the encoding as well as the decoding in our
positional -representation.
We show how some wavelet representations can be realized on the solenoid, and
on symbolic spaces
Mean asymptotic behaviour of radix-rational sequences and dilation equations (Extended version)
The generating series of a radix-rational sequence is a rational formal power
series from formal language theory viewed through a fixed radix numeration
system. For each radix-rational sequence with complex values we provide an
asymptotic expansion for the sequence of its Ces\`aro means. The precision of
the asymptotic expansion depends on the joint spectral radius of the linear
representation of the sequence; the coefficients are obtained through some
dilation equations. The proofs are based on elementary linear algebra
Generating and Searching Families of FFT Algorithms
A fundamental question of longstanding theoretical interest is to prove the
lowest exact count of real additions and multiplications required to compute a
power-of-two discrete Fourier transform (DFT). For 35 years the split-radix
algorithm held the record by requiring just 4n log n - 6n + 8 arithmetic
operations on real numbers for a size-n DFT, and was widely believed to be the
best possible. Recent work by Van Buskirk et al. demonstrated improvements to
the split-radix operation count by using multiplier coefficients or "twiddle
factors" that are not n-th roots of unity for a size-n DFT. This paper presents
a Boolean Satisfiability-based proof of the lowest operation count for certain
classes of DFT algorithms. First, we present a novel way to choose new yet
valid twiddle factors for the nodes in flowgraphs generated by common
power-of-two fast Fourier transform algorithms, FFTs. With this new technique,
we can generate a large family of FFTs realizable by a fixed flowgraph. This
solution space of FFTs is cast as a Boolean Satisfiability problem, and a
modern Satisfiability Modulo Theory solver is applied to search for FFTs
requiring the fewest arithmetic operations. Surprisingly, we find that there
are FFTs requiring fewer operations than the split-radix even when all twiddle
factors are n-th roots of unity.Comment: Preprint submitted on March 28, 2011, to the Journal on
Satisfiability, Boolean Modeling and Computatio
- …