Related papers: Can p-adic integrals be computed?
Let G be a semisimple affine algebraic group over a field F. Assuming that G becomes of inner type over some finite field extension of F of degree a power of a prime p, we investigate the structure of the Chow motives with coefficients in a…
A survey of real differential geometry and loop theory is given in order to introduce the construction of an analytic loop associated to p-adic differential manifold.
We present the evaluation of some logarithmic integrals. The integrand contains a rational function with complex poles. The methods are illustrated with examples found in the classical table of integrals by I. S. Gradshteyn and I. M.…
The Coleman integral is a $p$-adic line integral that plays a key role in computing several important invariants in arithmetic geometry. We give an algorithm for explicit Coleman integration on curves, using the algorithms of the second…
Integrals involving derivatives of Legendre polynomials frequently arise in applications ranging from multipole expansions for processes involving electromagnetic probes to spectral methods in numerical physics. Despite their practical…
Period integrals arise from the comparison between Betti cohomologies and de Rham cohomologies. In this paper, we give a formula for the determinant of period integrals in terms of the canonical pairing between Picard group of rank 1…
The arithmetic partial derivative (with respect to a prime $p$) is a function from the set of integers that sends $p$ to 1 and satisfies the Leibniz rule. In this paper, we prove that the $p$-adic valuation of the sequence of higher order…
In this paper, we consider representations of $p$-adic classical groups parabolically induced from the products of shifted Speh representations and unitary representations of Arthur type of good parity. We describe how to compute the socles…
We classify irreducible unitary representations of the group of all infinite matrices over a $p$-adic field ($p\ne 2$) with integer elements equipped with a natural topology. Any irreducible representation passes through a group $GL$ of…
In this note, we verify that several fundamental results from the theory of representations of reductive $p$-adic groups, extend to finite central extensions of these groups.
Motivated by applications in point counting algorithms using p-adic cohomology, we give an explicit description of integral lattices in rigid cohomology spaces that p-adically approximate logarithmic crystalline cohomology modules. These…
We show that the special values at tuples of positive integers of the $p$-adic multiple $L$-function introduced by the first-named author et al. can be expressed in terms of the cyclotomic multiple harmonic values introduced by the…
We define motivic analogues of Igusa's local zeta functions. These functions take their values in a Grothendieck group of Chow motives. They specialize to p-adic Igusa local zeta functions and to the topological zeta functions we introduced…
An integer sequence that is defined by initial values and a linear recurrence with constant integer coefficients, can be represented by the difference of two arithmetic terms containing exponentiation. All constants occuring in the term are…
Generalized Additive Models (GAMs) are commonly considered *interpretable* within the ML community, as their structure makes the relationship between inputs and outputs relatively understandable. Therefore, it may seem natural to…
We propose an algebraic model of computation which formally relates symbolic listings, complexity of Boolean functions, and low depth arithmetic circuit complexity. In this model algorithms are arithmetic formula expressing symbolic…
Given a prime number $p$, we perform the study of Chow motives and motivic decompositions, with coefficients in $\mathbb{Z}/p\mathbb{Z}$, of projective homogeneous varieties for $p'$-inner $p$-consistent reductive algebraic groups. Assorted…
The specializations of the motivic elliptic polylog are called motivic Eisenstein classes. For applications to special values of L-Functions, it is important to compute the realizations of these classes. In this paper, we prove that the…
We present a refinement of the Calculus of Inductive Constructions in which one can easily define a notion of relational parametricity. It provides a new way to automate proofs in an interactive theorem prover like Coq.
p-Adic generalization of the Feynman path integrals in quantum mechanics is considered. The probability amplitude for a particle in a constant field is calculated. Path integrals over p-adic space have the same form as those over R.