3,553 research outputs found
Multigraded Hilbert Series of noncommutative modules
In this paper, we propose methods for computing the Hilbert series of
multigraded right modules over the free associative algebra. In particular, we
compute such series for noncommutative multigraded algebras. Using results from
the theory of regular languages, we provide conditions when the methods are
effective and hence the sum of the Hilbert series is a rational function.
Moreover, a characterization of finite-dimensional algebras is obtained in
terms of the nilpotency of a key matrix involved in the computations. Using
this result, efficient variants of the methods are also developed for the
computation of Hilbert series of truncated infinite-dimensional algebras whose
(non-truncated) Hilbert series may not be rational functions. We consider some
applications of the computation of multigraded Hilbert series to algebras that
are invariant under the action of the general linear group. In fact, in this
case such series are symmetric functions which can be decomposed in terms of
Schur functions. Finally, we present an efficient and complete implementation
of (standard) graded and multigraded Hilbert series that has been developed in
the kernel of the computer algebra system Singular. A large set of tests
provides a comprehensive experimentation for the proposed algorithms and their
implementations.Comment: 28 pages, to appear in Journal of Algebr
The geometric mean of two matrices from a computational viewpoint
The geometric mean of two matrices is considered and analyzed from a
computational viewpoint. Some useful theoretical properties are derived and an
analysis of the conditioning is performed. Several numerical algorithms based
on different properties and representation of the geometric mean are discussed
and analyzed and it is shown that most of them can be classified in terms of
the rational approximations of the inverse square root functions. A review of
the relevant applications is given
Plethysm and lattice point counting
We apply lattice point counting methods to compute the multiplicities in the
plethysm of . Our approach gives insight into the asymptotic growth of
the plethysm and makes the problem amenable to computer algebra. We prove an
old conjecture of Howe on the leading term of plethysm. For any partition
of 3,4, or 5 we obtain an explicit formula in and for the
multiplicity of in .Comment: 25 pages including appendix, 1 figure, computational results and code
available at http://thomas-kahle.de/plethysm.html, v2: various improvements,
v3: final version appeared in JFoC
Solving Linear Rational Expectations Models with Lagged Expectations Quickly and Easily
A solution method is derived in this paper for solving a system of linear rationalexpectations equation with lagged expectations (e.g., models incorporating sticky information) using the method of undetermined coefficients for the infinite MA representation. The method applies a combination of a Generalized Schur Decomposition familiar elsewhere in the literature and a simple system of linear equations when lagged expectations are present to the infinite MA representation. Execution is faster, applicability more general, and use more straightforward than with existing algorithms. Current methods of truncating lagged expectations are shown to not generally be innocuous and the use of such methods are rendered obsolete by the tremendous gains in computational efficiency of the method here which allows for a solution to floating-point accuracy in a fraction of the time required by standard methods. The associated computational application of the method provides impulse responses to anticipated and unanticipated innovations, simulations, and frequency-domain and simulated moments.Lagged expectations; linear rational expectations models; block tridiagonal; Generalized Schur Form; QZ decomposition; LAPACK
Fast and accurate con-eigenvalue algorithm for optimal rational approximations
The need to compute small con-eigenvalues and the associated con-eigenvectors
of positive-definite Cauchy matrices naturally arises when constructing
rational approximations with a (near) optimally small error.
Specifically, given a rational function with poles in the unit disk, a
rational approximation with poles in the unit disk may be obtained
from the th con-eigenvector of an Cauchy matrix, where the
associated con-eigenvalue gives the approximation error in the
norm. Unfortunately, standard algorithms do not accurately compute
small con-eigenvalues (and the associated con-eigenvectors) and, in particular,
yield few or no correct digits for con-eigenvalues smaller than the machine
roundoff. We develop a fast and accurate algorithm for computing
con-eigenvalues and con-eigenvectors of positive-definite Cauchy matrices,
yielding even the tiniest con-eigenvalues with high relative accuracy. The
algorithm computes the th con-eigenvalue in operations
and, since the con-eigenvalues of positive-definite Cauchy matrices decay
exponentially fast, we obtain (near) optimal rational approximations in
operations, where is the
approximation error in the norm. We derive error bounds
demonstrating high relative accuracy of the computed con-eigenvalues and the
high accuracy of the unit con-eigenvectors. We also provide examples of using
the algorithm to compute (near) optimal rational approximations of functions
with singularities and sharp transitions, where approximation errors close to
machine precision are obtained. Finally, we present numerical tests on random
(complex-valued) Cauchy matrices to show that the algorithm computes all the
con-eigenvalues and con-eigenvectors with nearly full precision
- …