Related papers: Log motivic exceptional direct image functors
The aim of this paper is to derive new results about Jacobi's inversion formulas for modular forms of levels 5 and 6. For this purpose, we use Farkas and Kra's theory of theta functions with rational characteristics.
An exact expression is derived for the kinetic contribution to the odd (arbitrary order) frequency moments of the dynamic structure factor via a finite summation that features averages of even (all lower orders) powers of the momentum over…
We construct an efficient integrator for stochastic differential systems driven by Levy processes. An efficient integrator is a strong approximation that is more accurate than the corresponding stochastic Taylor approximation, to all orders…
We define the big crystalline site for a log scheme and prove the basic properties. In particular, we show the boundedness, base change, and perfectness theorems for the crystalline higher direct image of quasi-coherent crystals between…
We define the algebraic fundamental group functor of a reductive group scheme over an arbitrary (non-empty) base scheme and prove that this functor is exact.
We use the methods of empirical mathematics to show that iterative logarithmic operations will result in an attractor point on the complex plane. Moreover, we demonstrate that different bases converge onto different attractors. Finally, we…
In this article, we investigate the extremal properties of logarithmic coefficients for the class $\mathcal{S}_{ch}^*$ of starlike functions associated with the hyperbolic cosine function. We establish the sharp upper bounds for the initial…
This article is the last of the series of articles where we reprove the foundational ideas of abstract six-functor formalisms developed by Liu-Zheng. We prove the theorem of partial adjoints, which is a simplicial technique of encoding…
We calculate the motivic integral dual Steenrod algebra over base schemes for which the mod p motivic dual Steenrod algebra conforms with Voevodsky's formula.
We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order…
The paper concerns fractal homeomorphism between the attractors of two bi-affine iterated function systems. After a general discussion of bi-affine functions, conditions are provided under which a bi-affine iterated function system is…
Probability generating functionals (PGFLs) are efficient and powerful tools for tracking independent objects in clutter. It was shown that PGFLs could be used for the elegant derivation of practical multi-object tracking algorithms, e.g.,…
In this paper, we count acyclic and strongly connected uniform directed labeled hypergraphs. For these combinatorial structures, we introduce a specific generating function allowing us to recover and generalize some results on the number of…
Incremental computation has recently been studied using the concepts of change structures and derivatives of programs, where the derivative of a function allows updating the output of the function based on a change to its input. We…
Our goal is to derive some families of maps, also known as functions, from injective maps and surjective maps; this can be useful in various fields of mathematics. Let A be a small concrete category. We define a functor F, cometic functor,…
We study the properties of input-consuming derivations of moded logic programs. Input-consuming derivations can be used to model the behavior of logic programs using dynamic scheduling and employing constructs such as delay declarations. We…
We introduce a symbolic method for the evaluation of definite integrals containing combinations of various functions, including exponentials, logarithm and products of Bessel functions of different types. The method we develop is naturally…
We study the system IFP of intuitionistic fixed point logic, an extension of intuitionistic first-order logic by strictly positive inductive and coinductive definitions. We define a realizability interpretation of IFP and use it to extract…
In this paper, we construct a refined, relative version of the \'etale realization functor of motivic spaces, first studied by Isaksen and Schmidt. Their functor goes from the $\infty$-category of motivic spaces over a base scheme $S$ to…
We develop a motivic framework for Feynman integrals of one-loop graphs in momentum space. Its advantage compared to the already existing framework in Feynman representation is that it naturally includes graphs with cuts. To each such…