12,094 research outputs found
Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath
We present a new open source implementation in the SageMath computer algebra
system of algorithms for the numerical solution of linear ODEs with polynomial
coefficients. Our code supports regular singular connection problems and
provides rigorous error bounds
Primitive orthogonal idempotents for R-trivial monoids
We construct a recursive formula for a complete system of primitive
orthogonal idempotents for any -trivial monoid. This uses the newly proved
equivalence between the notions of -trivial monoid and weakly ordered
monoid.Comment: Journal of Algebra, 201
Linear recurrence relations in -systems via lattice points in polyhedra
We prove that the sequence of the characters of the Kirillov-Reshetikhin (KR)
modules associated to a node of
the Dynkin diagram of a complex simple Lie algebra satisfies a
linear recurrence relation except for some cases in types and . To
this end we use the -system and the existing lattice point summation formula
for the decomposition of KR modules, known as domino removal rules when
is of classical type. As an application, we show how to reduce
some unproven lattice point summation formulas in exceptional types to finite
problems in linear algebra and also give a new proof of them in type ,
which is the only completely proven case when KR modules have an irreducible
summand with multiplicity greater than 1. We also apply the recurrence to prove
that the function is a quasipolynomial in and establish
its properties. We conjecture that there exists a rational polytope such that
its Ehrhart quasipolynomial in is and the lattice points
of its -th dilate carry the same crystal structure as the crystal associated
with .Comment: 26 pages. v2: minor changes, references added. v3: Conjecture 3.6 in
v2 superseded by Proposition 3.5 in v3, Section 5 added, references adde
Efficient implementation of the Hardy-Ramanujan-Rademacher formula
We describe how the Hardy-Ramanujan-Rademacher formula can be implemented to
allow the partition function to be computed with softly optimal
complexity and very little overhead. A new implementation
based on these techniques achieves speedups in excess of a factor 500 over
previously published software and has been used by the author to calculate
, an exponent twice as large as in previously reported
computations.
We also investigate performance for multi-evaluation of , where our
implementation of the Hardy-Ramanujan-Rademacher formula becomes superior to
power series methods on far denser sets of indices than previous
implementations. As an application, we determine over 22 billion new
congruences for the partition function, extending Weaver's tabulation of 76,065
congruences.Comment: updated version containing an unconditional complexity proof;
accepted for publication in LMS Journal of Computation and Mathematic
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
Computer algebra tools for Feynman integrals and related multi-sums
In perturbative calculations, e.g., in the setting of Quantum Chromodynamics
(QCD) one aims at the evaluation of Feynman integrals. Here one is often faced
with the problem to simplify multiple nested integrals or sums to expressions
in terms of indefinite nested integrals or sums. Furthermore, one seeks for
solutions of coupled systems of linear differential equations, that can be
represented in terms of indefinite nested sums (or integrals). In this article
we elaborate the main tools and the corresponding packages, that we have
developed and intensively used within the last 10 years in the course of our
QCD-calculations
Stable averages of central values of Rankin-Selberg L-functions: some new variants
As shown by Michel-Ramakrishan (2007) and later generalized by
Feigon-Whitehouse (2008), there are "stable" formulas for the average central
L-value of the Rankin-Selberg convolutions of some holomorphic forms of fixed
even weight and large level against a fixed imaginary quadratic theta series.
We obtain exact finite formulas for twisted first moments of Rankin-Selberg
L-values in much greater generality and prove analogous "stable" formulas when
one considers either arbitrary modular twists of large prime power level or
real dihedral twists of odd type associated to a Hecke character of mixed
signature.Comment: 25 pages; typos corrected in corollaries to Thm 1.2, substantial
details added to Sec 2.2--2.3, minor changes throughou
Large scale analytic calculations in quantum field theories
We present a survey on the mathematical structure of zero- and single scale
quantities and the associated calculation methods and function spaces in higher
order perturbative calculations in relativistic renormalizable quantum field
theories.Comment: 25 pages Latex, 1 style fil
- …