Related papers: Can p-adic integrals be computed?

Consider the formal power series $\sum [C_{p, \alpha}(X)]t^{\alpha}$ (called Motivic Chow Series), where $C_p(X)=\disjoint C_{p, \alpha}(X)$ is the Chow variety of $X$ parametrizing the $p$-dimensional effective cycles on $X$ with $C_{p,…

With representation-theoretic applications in mind, we construct a formalism of reduced motives with integral coefficients. These are motivic sheaves from which the higher motivic cohomology of the base scheme has been removed. We show that…

In this paper, we study Catalan numbers which can be represented by the p-adic integral on Zp and we investigate some properties and formulae related to Catalan numbers and special numbers.

We calculate extensions between certain irreducible admissible representations of p-adic groups.

We present a decomposition of the space of twisted arcs of a toric stack. As a consequence, we give a combinatorial description of the motivic integral associated to a torus-invariant divisor of a toric stack.

In this paper we study some properties of the fermionic p-adic integrals on Zp arising from the umbral calculus

This paper has two aims. The first is to give a description of irreducible tempered representations of classical p-adic groups which follows naturally the classification of irreducible square integrable representations modulo cuspidal data…

We present an algorithm to compute values L(s) and derivatives of L-functions of motivic origin numerically to required accuracy. Specifically, the method applies to any L-series whose Gamma-factor is a product of any number of…

The Grothendieck ring of Chow motives admits two natural opposite $\lambda$-ring structures, one of which is a special structure allowing the definition of Adams operations on the ring. In this work I present algorithms which allow an…

In this paper we study the logical foundations of automated inductive theorem proving. To that aim we first develop a theoretical model that is centered around the difficulty of finding induction axioms which are sufficient for proving a…

We define a notion of colimit for diagrams in a motivic category indexed by a presheaf of spaces (e.g. an \'etale classifying space), and we study basic properties of this construction. As a case study, we construct the motivic analogs of…

The paper gives a soundness and completeness proof for the implicative fragment of intuitionistic calculus with respect to the semantics of computability logic, which understands intuitionistic implication as interactive algorithmic…

We present a concise method for deriving an explicit formula for $p$-adic multiple zeta values. The formula features a variant of multiple harmonic sums, termed binomial multiple harmonic sums.

The purpose of this paper is to construct q-Euler numbers and polynomials by using p-adic q-integral equations on Zp. Finally, we will give some interesting formulae related to these q-Euler numbers and polynomials.

The problem of backward dynamics over the ring of p-adic integers is studied. It is shown that Inverse Limit Theory provides the right framework. Backward iterations of a polynomial with p-adic integer coefficients are constructed by…

This paper concerns a class of orbital integrals in Lie algebras over p-adic fields. The values of these orbital integrals at the unit element in the Hecke algebra count points on varieties over finite fields. The construction, which is…

In this manuscript, the authors derive closed formula for definite integrals of combinations of powers and logarithmic functions of complicated arguments and express these integrals in terms of the Hurwitz zeta. These derivations are then…

Coleman's theory of p-adic integration figures prominently in several number-theoretic applications, such as finding torsion and rational points on curves, and computing p-adic regulators in K-theory (including p-adic heights on elliptic…

We prove explicit formulas for the $p$-adic $L$-functions of totally real number fields and show how these formulas can be used to compute values and representations of $p$-adic $L$-functions.

In this we give a detailed proof of fermionic p-adic q-measures on Z_p and we will treat some interesting formulae related q-extension of Euler numbers and polynomials.