Related papers: A note on formal periods
Workflows constitute an important language to represent knowledge about processes, but also increasingly to reason on such knowledge. On the other hand, there is a limit to which time constraints between activities can be expressed.…
Applying the authors' preceding work, we construct a version of the moduli space of $G$-torsors over the formal punctured disk for a finite group $G$. To do so, we introduce two Grothendieck topologies, the sur (surjective) and luin…
In this paper, we will define analogues of multiple zeta values by replacing the differential forms defining multiple zeta values with some $\mathbb{Q}$-rational differential forms on the Fermat curve $F_2$ of degree 2 and discuss their…
Grothendieck-Chow motives of quadric hypersurfaces have provided many insights into the theory of quadratic forms. Subsequently, the landscape of motives of more general projective homogeneous varieties has begun to emerge. In particular,…
Under relatively mild and natural conditions, we establish an integral period relations for the (real or imaginary) quadratic base change of an elliptic cusp form. This answers a conjecture of Hida regarding the {\it congruence number}…
A 1-period is a complex number given by the integral of a univariate algebraic function, where all data involved -- the integrand and the domain of integration -- are defined over algebraic numbers. We give an algorithm that, given a finite…
Time periods are frequently used to specify time in metadata and retrieval. However, it is not easy to describe and retrieve information about periods, because the temporal ranges represented by periods are often ambiguous. This is because…
In this paper we give sufficient conditions on a sequence of multipole moments for a static spacetime to exist with precisely these moments. The proof is constructive in the sense that a metric having prescribed multipole moments up to a…
Finite metric spaces arise in many different contexts. Enormous bodies of data, scientific, commercial and others can often be viewed as large metric spaces. It turns out that the metric of graphs reveals a lot of interesting information.…
Let $\mathbf{T}$ be a neutral tannakian category over a field of characteristic 0. Let $M$ be an object of $\mathbf{T}$ with a filtration $0=F_0M\subsetneq F_1M\subsetneq \cdots\subsetneq F_kM=M$, such that each successive quotient…
This is an overview and a preview of the theory of "mixed motives of level 1" explaining some results, projects, ideas and indicating a bunch of problems.
We define a Hopf algebra of polylogarithms of an arbitrary field, which is a candidate for a conjectural Hopf algebra of framed mixed Tate motives. Our definition is elementary and mimics Goncharov's construction of higher Bloch groups. We…
We study the depth filtration on multiple zeta values, the motivic Galois group of mixed Tate motives over $\mathbb{Z}$ and the Grothendieck-Teichm\"uller group, and its relation to modular forms. Using period polynomials for cusp forms for…
Let phi: P^1 --> P^1 be a rational map defined over a field K. We construct the moduli space M_d(N) parameterizing conjugacy classes of degree-d maps with a point of formal period N and present an algebraic proof that M_2(N) is…
We prove a motivic enhancement of the classical Picard--Lefschetz formula. Our proof is completely motivic, and yields a description of the motivic nearby cycles at a quasi-homogeneous singularity, as well as its monodromy, in terms of an…
Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reasoning. In recent years, quantitative variants of modal…
Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal,…
Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit…
In this paper we introduce an automorphic variant of the Deligne conjecture for tensor product of two motives over a quadratic imaginary field. On one hand, we define some motivic periods and rewrite the Deligne conjecture in terms of these…
The notion of concept has been studied for centuries, by philosophers, linguists, cognitive scientists, and researchers in artificial intelligence (Margolis & Laurence, 1999). There is a large literature on formal, mathematical models of…