Related papers: Mixed Tate motives and the unit equation
Komj\'ath, Milner, and Polat investigated when a finitary matroid admits a partition into circuits. They defined the class of ``finite matching extendable'' matroids and showed in their compactness theorem that those matroids always admit…
In this paper we present analytic tableau proof systems for various justification logics. We show that the tableau systems are sound and complete with respect to Mkrtychev models. In order to prove the completeness of the tableaux, we give…
The structure of the F5 algorithm to compute Gr\"obner bases makes it very efficient. However, while it is believed to terminate for so-called regular sequences, it is not clear whether it terminates for all inputs. This paper has two major…
In this note, we show that the $p$-adic periods of motives introduced recently by Ancona and Fr\u{a}\c{t}il\u{a} (``Andr\'e periods'') reduce to the classically studied notion in the case of Mixed Tate motives. We also connect Andr\'e…
A conjecture is given that, if true, could lead to an algorithm for computing definite sums of rational functions.
We construct well-behaved extensions of the motivic spectra representing generalized motivic cohomology and connective Balmer--Witt K-theory (among others) to mixed characteristic Dedekind schemes on which 2 is invertible. As a consequence…
In this preliminary note, we will illustrate our ideas on automated mechanisms for termination and non-termination reasoning.
We consider the problem of solving dual monotone inclusions involving sums of composite parallel-sum type operators. A feature of this work is to exploit explicitly the cocoercivity of some of the operators appearing in the model. Several…
In this paper we introduce confluence relations for motivic Euler sums (also called alternating multiple zeta values) and show that all linear relations among motivic Euler sums are exhausted by the confluence relations. This determines all…
The aim of this article is to develop the theory of motivic integration over Deligne-Mumford stacks and to apply it to the birational geometry of stacks.
We produce new combinatorial methods for approaching the tropical maximal rank conjecture, including inductive procedures for deducing new cases of the conjecture on graphs of increasing genus from any given case. Using explicit…
In this work we consider a mixed precision approach to accelerate the implemetation of multi-stage methods. We show that Runge-Kutta methods can be designed so that certain costly intermediate computations can be performed as a…
Bloch and Kriz construct an abelian category of mixed Tate motives as the category of comodules over a Hopf algebra obtained by the bar construction of the DGA of cycle complexes. In this paper we generalize their construction to give the…
This paper draws connections between the double shuffle equations and structure of associators; universal mixed elliptic motives as defined by Hain and Matsumoto; and the Rankin-Selberg method for modular forms for $SL_2(\mathbb{Z})$. We…
The goal of this paper is to define a certain Chow weight structure for the category of Voevodsky's motivic complexes with integral coefficients (as described by Cisinski and Deglise) over any excellent finite-dimensional separated scheme…
For noetherian schemes of finite dimension over a field of characteristic exponent $p$, we study the triangulated categories of $\mathbf{Z}[1/p]$-linear mixed motives obtained from cdh-sheaves with transfers. We prove that these have many…
A symmetric characteristic singular integral equation with two fixed singularities at the endpoints in the class of functions bounded at the ends is analyzed. It reduces to a vector Hilbert problem for a half-disc and then to a vector…
Let $\mathbb{k}$ be a field of characteristic $p$. We introduce a formalism of mixed sheaves with coefficients in $\mathbb{k}$ and showcase its use in representation theory. More precisely, we construct for all quasi-projective schemes $X$…
In the first half of this article we define a new weight homology functor on Voevodsky's category of effective motives, and investigate some of its properties. In special cases we recover Gillet-Soul\'e's weight homology, and Geisser's…
Many enumeration problems in combinatorics, including such fundamental questions as the number of regular graphs, can be expressed as high-dimensional complex integrals. Motivated by the need for a systematic study of the asymptotic…