相关论文: Can p-adic integrals be computed?

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish…

We give an algorithm for computing the irreducible admissible representations of a real reductive group with regular integral infinitesimal character. This algorithm has been implemented on a computer, as part of the Atlas of Lie Groups and…

An analytical-numeric calculation method of extremely complicated integrals is presented. These integrals appear often in magnet soliton theory. The appropriate analytical continuation and a corresponding integration contour allow to reduce…

We study primary submodules and primary decompositions from a differential and computational point of view. Our main theoretical contribution is a general structure theory and a representation theorem for primary submodules of an arbitrary…

This article gives a proof of the Langlands-Shelstad fundamental lemma for the spherical Hecke algebra for every unramified p-adic reductive group G in large positive characteristic. The proof is based on the transfer principle for…

In this paper, we construct a $p$-adic path integral via $p$-adic multiple integrals. This integral describes the evolution of a wave function $\Psi(x)$, which is defined as a map from a domain in $\mathbb{C}_{p}$ to $\mathbb{C}_{p}$. We…

This article gives a short step-by-step introduction to the representation of parametric Feynman integrals in scalar perturbative quantum field theory as periods of motives. The application of motivic Galois theory to the algebro-geometric…

We give a classification of irreducible admissible modulo $p$ representations of a split $p$-adic reductive group in terms of supersingular representations. This is a generalization of a theorem of Herzig.

We describe a representation and a set of inference methods that combine logic programming techniques with probabilistic network representations for uncertainty (influence diagrams). The techniques emphasize the dynamic construction and…

In this paper, based on techniques of Newton polygons, a result which allows the computation of a p integral basis of every quartic number field is given. For each prime integer p, this result allows to compute a p-integral basis of a…

Probabilistic argumentation allows reasoning about argumentation problems in a way that is well-founded by probability theory. However, in practice, this approach can be severely limited by the fact that probabilities are defined by adding…

Functional integrals are central to modern theories ranging from quantum mechanics and statistical thermodynamics to biology, chemistry, and finance. In this work we present a new method for calculating functional integrals based on a…

We described a wide class of $p$-adic refinable equations generating $p$-adic multiresolution analysis. A method for the construction of $p$-adic orthogonal wavelet bases within the framework of the MRA theory is suggested. A realization of…

In this article we formalize and enhance Kontsevich's beautiful insight that Chow motives can be embedded into non-commutative ones after factoring out by the action of the Tate object. We illustrate the potential of this result by…

It is commonly agreed that the success of future proof assistants will rely on their ability to incorporate computations within deduction in order to mimic the mathematician when replacing the proof of a proposition P by the proof of an…

The purpose of this article is to construct a Hecke-equivariant Chow motive whose realizations equal interior (or intersection) cohomology of Picard surfaces with regular algebraic coefficients. As a consequence, we are able to define…

In this present paper we derive a six dimensional integral containing the product of the Associated Legendre Polynomials $P_v^u(x) P_{\nu }^{\mu }(y)$ where the indices are different and general. Included in the kernel of this integral is…

This paper is the continuation of the paper arXiv:1509.06950, which is Part I under the same title. In this paper, we prove a generalized Cauchy formula for the integrals of logarithmic forms on products of projective lines, and give an…

A period of a rational integral is the result of integrating, with respect to one or several variables, a rational function over a closed path. This work focuses particularly on periods depending on a parameter: in this case the period…

Inspired by Besser's work on Coleman integration, we use $\nabla$-modules to define iterated line integrals over Laurent series fields of characteristic $p$ taking values in double cosets of unipotent $n\times n$ matrices with coefficients…