Related papers: On extracting variable Herbrand disjunctions
Given a complex smooth algebraic variety X, we compute the generating function of the stringy motives of its symmetric powers as a function of motive of X. In dimension two we recover the Goettsche formulas for Hilbert schemes. We use the…
We offer a proof of a summation formula equivalent to one due to Berndt. Our proof uses the M$\ddot{u}$ntz formula and the Poisson summation formula. By utilizing known properties of Mellin inversion, we give an example from a discontinuous…
The motivation of the note is to obtain a H\"{o}rmander-type $L^2$ estimate for $\bar\partial$ equation. The feature of the new estimate is that the constant is independent of the weight function. Moreover, our estimate can be used for…
We investigate differentiability of functions defined on regions of the real quaternion field and obtain a noncommutative version of the Cauchy-Riemann conditions. Then we study the noncommutative analog of the Cauchy integral as well as…
There is a lot of redundancy in the usual definition of adjoint functors. We define and prove the core of what is required. First we do this in the hom-enriched context. Then we do it in the cocompletion of a bicategory with respect to…
The Feferman-Vaught theorem provides a way of evaluating a first order sentence $\varphi$ on a disjoint union of structures by producing a decomposition of $\varphi$ into sentences which can be evaluated on the individual structures and the…
The main purpose of this work is to characterize derivations through functional equations. This work consists of five chapters. In the first one, we summarize the most important notions and results from the theory of functional equations.…
A certain determinant is evaluated by guessing and computing the LU-decomposition.
We derive new Heisenberg-type uncertainty relations for both joint measurability and the error-disturbance tradeoff for arbitrary observables of finite-dimensional systems. The relations are formulated in terms of a directly operational…
It is believed that Dirichlet series with a functional equation and Euler product of a particular form are associated to holomorphic newforms on a Hecke congruence group. We perform computer algebra experiments which find that in certain…
We give a survey of basic facts of $q$-holonomic functions of one or several variables, following Zeilberger and Sabbah. We provide detailed proofs and examples.
This note discusses proofs for convergence of first-order methods based on simple potential-function arguments. We cover methods like gradient descent (for both smooth and non-smooth settings), mirror descent, and some accelerated variants.
The causal set theory d'Alembertian has rational coefficients for which alternating expressions are known. Here, a combinatorial interpretation of these numbers is given.
We study fractional variational problems of Herglotz type of variable order. Necessary optimality conditions, described by fractional differential equations depending on a combined Caputo fractional derivative of variable order, are proved.…
Quite often, verification tasks for distributed systems are accomplished via counter abstractions. Such abstractions can sometimes be justified via simulations and bisimulations. In this work, we supply logical foundations to this practice,…
A typical way of analyzing the time complexity of functional programs is to extract a recurrence expressing the running time of the program in terms of the size of its input, and then to solve the recurrence to obtain a big-O bound. For…
Motivated by the general problem of extending the classical theory of holomorphic functions of a complex variable to the case of quater- nion functions, we give a notion of an H-derivative for functions of one quaternion variable. We show…
We consider a simple modal logic whose non-modal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure operators. Despite absence of negation and implication, and of…
As the main theorem, it is proved that a collection of minimal $PI$-flows with a common phase group and satisfying a certain algebraic condition is multiply disjoint if and only if the collection of the associated maximal equicontinuous…
Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic,…