Related papers: Measurable motivic sites
The main result of this paper is a computation of the motivic cohomology of varieties of n \times m-matrices of of rank m, including both the ring structure and the action of the reduced power operations. The argument proceeds by a…
We define an operation of evaluation at a point for motivic constructible (exponential) functions from the Cluckers-Loeser framework of motivic integration and show that two such motivic functions are abstractly equal if and only if their…
This paper studies a potential outcome model with a continuous or discrete outcome, a discrete multi-valued treatment, and a discrete multi-valued instrument. We derive sharp, closed-form testable implications for a class of restrictions on…
Smooth projective $\mathbb{G}_m$-varieties with isolated rational fixed points admit Tate Milnor-Witt motives. Over Euclidean fields, we give a splitting formula of such motives, which reduces the computation of their Chow-Witt groups to…
We investigate several interrelated foundational questions pertaining to the study of motivic dga's of Dan-Cohen--Schlank [8] and Iwanari [13]. In particular, we note that morphisms of motivic dga's can reasonably be thought of as a…
We develop a theory of local densities and tangent cones in a motivic framework, extending work by Cluckers-Comte-Loeser about $p$-adic local density. We prove some results about geometry of definable sets in Henselian valued fields of…
In this paper, the Lawson homology and morphic cohomology are defined on the Chow motives. We also define the rational coefficient Lawson homology and morphic cohomology of the Chow motives of finite quotient projective varieties. As a…
We study the framework of abductive logic programming extended with integrity constraints. For this framework, we introduce a new measure of the simplicity of an explanation based on its degree of \emph{arbitrariness}: the more arbitrary…
For a split reductive group G over a finite field, we show that the intersection (cohomology) motive of the moduli stack of iterated G-shtukas with bounded modification and level structure is defined independently of the standard…
In this note, by integrating ideas concerning terminating tableaux-based procedures in modal logics and finite frame property of intuitionistic modal logic IK, we provide new and simpler decidability proofs for FIK and LIK.
In this note, we give a motivic characterization of the integral cohomology of dual boundary complexes of smooth quasi-projective complex algebraic varieties. As a corollary, the dual boundary complex of any stably affine space (of positive…
Let $f$ be a polynomial in $n$ variables over some number field and $Z$ a subscheme of affine $n$-space. The notion of motivic oscillation index of $f$ at $Z$ was initiated by Cluckers (2008) and Cluckers-Musta\c{t}\v{a}-Nguyen (2019). In…
We prove a canonical Kuenneth decomposition of the relative motive with rational coefficients of a smooth commutative group scheme over a noetherian finite dimensional base. This paper is a follow-up of "On the motive of a commutative…
This letter deals with the controllability issue of complex networks. An index is chosen to quantitatively measure the extent of controllability of given network. The effect of this index is analyzed based on empirical studies on various…
Motivated by applications in robotics, we investigate a discrete control system related Fibonacci sequence and we characterize its reachable set.
We investigate the theory of finite observables, i.e., resolutions of the finite-dimensional identity by means of positive operators, that have a physical interpretation in terms of measurement schemes. We focus on extremal and rank-one…
This is a short announcement and summary of the results of arxiv:1111.7057, arxiv.org:1111.4405, and Appendix B to arxiv:1208.1945. In particular, we emphasize the exposition of the ideas related to model theory and motivic integration, and…
We combine several mini miracles to achieve an elementary understanding of infinite loop spaces and very effective spectra in the algebro-geometric setting of motivic homotopy theory. Our approach combines $\Gamma$-spaces and framed…
Argumentation is a formalism allowing to reason with contradictory information by modeling arguments and their interactions. There are now an increasing number of gradual semantics and impact measures that have emerged to facilitate the…
We consider the concept of rank as a measure of the vertical levels and positions of elements of partially ordered sets (posets). We are motivated by the need for algorithmic measures on large, real-world hierarchically-structured data…