289 research outputs found
Comprehensive Border Bases for Zero Dimensional Parametric Polynomial Ideals
In this paper, we extend the idea of comprehensive Gr\"{o}bner bases given by
Weispfenning (1992) to border bases for zero dimensional parametric polynomial
ideals. For this, we introduce a notion of comprehensive border bases and
border system, and prove their existence even in the cases where they do not
correspond to any term order. We further present algorithms to compute
comprehensive border bases and border system. Finally, we study the relation
between comprehensive Gr\"{o}bner bases and comprehensive border bases w.r.t. a
term order and give an algorithm to compute such comprehensive border bases
from comprehensive Gr\"{o}bner bases.Comment: 15 pages, 8 sections and 3 algorithm
Supermanifolds from Feynman graphs
We generalize the computation of Feynman integrals of log divergent graphs in
terms of the Kirchhoff polynomial to the case of graphs with both fermionic and
bosonic edges, to which we assign a set of ordinary and Grassmann variables.
This procedure gives a computation of the Feynman integrals in terms of a
period on a supermanifold, for graphs admitting a basis of the first homology
satisfying a condition generalizing the log divergence in this context. The
analog in this setting of the graph hypersurfaces is a graph supermanifold
given by the divisor of zeros and poles of the Berezinian of a matrix
associated to the graph, inside a superprojective space. We introduce a
Grothendieck group for supermanifolds and we identify the subgroup generated by
the graph supermanifolds. This can be seen as a general procedure to construct
interesting classes of supermanifolds with associated periods.Comment: 21 pages, LaTeX, 4 eps figure
Feynman integrals and motives
This article gives an overview of recent results on the relation between
quantum field theory and motives, with an emphasis on two different approaches:
a "bottom-up" approach based on the algebraic geometry of varieties associated
to Feynman graphs, and a "top-down" approach based on the comparison of the
properties of associated categorical structures. This survey is mostly based on
joint work of the author with Paolo Aluffi, along the lines of the first
approach, and on previous work of the author with Alain Connes on the second
approach.Comment: 32 pages LaTeX, 3 figures, to appear in the Proceedings of the 5th
European Congress of Mathematic
Artin's primitive root conjecture -a survey -
This is an expanded version of a write-up of a talk given in the fall of 2000
in Oberwolfach. A large part of it is intended to be understandable by
non-number theorists with a mathematical background. The talk covered some of
the history, results and ideas connected with Artin's celebrated primitive root
conjecture dating from 1927. In the update several new results established
after 2000 are also discussed.Comment: 87 pages, 512 references, to appear in Integer
Recent progress in an algebraic analysis approach to linear systems
This paper addresses systems of linear functional equations from an algebraic point of view. We give an introduction to and an overview of recent work by a small group of people including the author of this article on effective methods which determine structural properties of such systems. We focus on parametrizability of the behavior, i.e., the set of solutions in an appropriate signal space, which is equivalent to controllability in many control-theoretic situations. Flatness of the linear system corresponds to the existence of an injective parametrization. Using an algebraic analysis approach, we associate with a linear system a module over a ring of operators. For systems of linear partial differential equations we choose a ring of differential operators, for multidimensional discrete linear systems a ring of shift operators, for linear differential time-delay systems a combination of those, etc. Rings of these kinds are Ore algebras, which admit Janet basis or Grƶbner basis computations. Module theory and homological algebra can then be applied effectively to study a linear system via its system module, the interpretation depending on the duality between equations and solutions. In particular, the problem of computing bases of finitely generated free modules (i.e., of computing flat outputs for linear systems) is addressed for different kinds of algebras of operators, e.g., the Weyl algebras. Some work on computer algebra packages, which have been developed in this context, is summarized
- ā¦