Related papers: Murphy's {\em Positive definite kernels and Hilber…
We give an explicit formula for the motivic integrals related to the Milnor number over spaces of parametrised arcs on the plane with fixed tangency orders with the axis. These integrals are rational functions of the parameters and the…
This is a largely expository paper, providing a self-contained account on the results of [Sch-Si1, Sch-Si2], in the cases denoted there 2Q and 2M. These papers of Sch\"afke and Singer supplied new proofs to the main theorems of [Bez-Bou,…
Our original results refer to multivariate recurrences: discrete multitime diagonal recurrence, bivariate recurrence, trivariate recurrence, solutions tailored to particular situations, second order multivariate recurrences, characteristic…
Nominal unification calculates substitutions that make terms involving binders equal modulo alpha-equivalence. Although nominal unification can be seen as equivalent to Miller's higher-order pattern unification, it has properties, such as…
This paper studies the problem of decomposing a low-rank matrix into a factor with binary entries, either from $\{\pm 1\}$ or from $\{0,1\}$, and an unconstrained factor. The research answers fundamental questions about the existence and…
The so-called Takahashi's \emph{Inversion Theorem}, the reconstruction of a given spinor based on its bilinear covariants, are re-examined, considering alternative dual structures. In contrast to the classical results, where the Dirac dual…
The following is an improved version of Chapter 12 of my book [Sm17]. Among others, we present a new unified approach to the Archimedean Positivstellens\"atze for quadratic modules and semirings in Section 12.4 and we add a number of new…
We study two notions of largeness for closed submodules of Hilbert C*-modules: essentiality and topological essentiality. While the analogous properties are known to be equivalent for closed two-sided ideals of C*-algebras, the one-sided…
In a general context of positive definite kernels $k$, we develop tools and algorithms for sampling in reproducing kernel Hilbert space $\mathscr{H}$ (RKHS). With reference to these RKHSs, our results allow inference from samples; more…
This is the final version of the 2007 preprint titled "On the derived category of 1-motives, I". It has been substantially expanded to contain a motivic proof of (two thirds of) Deligne's conjecture on 1-motives with rational coefficients,…
We propose a primal-dual backward reflected forward splitting method for solving structured primal-dual monotone inclusion in real Hilbert space. The algorithm allows to use the inexact computations of the Lipschitzian and cocoercive…
We show that the unit ball of a full Hilbert $C^*$-module is sequentially compact in a certain weak topology if and only if the underlying $C^*$-algebra is finite dimensional. This provides an answer to the question posed in J.…
This paper is based on author's lectures at Kyoto University in 2010 Summer, and in the 6th MSJ-SI `Development of Moduli Theory' at RIMS in June 2013. The purpose of lectures was to review several results on Hilbert schemes of points which…
These are the notes written for the talk given at the workshop Rethinking foundations of physics 2016. In section 2, a derivation of the the quantum formalism starting from propositional calculus (quantum logic) is reviewed, pointing out…
In this series of papers, we develop the theory of a class of locally compact quantum groupoids, which is motivated by the purely algebraic notion of weak multiplier Hopf algebras. In this Part I, we provide motivation and formulate the…
The paper studies strictly positive definite kernels on compact Riemannian manifolds. We state new conditions to ensure strict positive definiteness for general kernels and kernels with certain convolutional structure. We also state…
In this article we mainly consider the positively Z-graded polynomial ring R=F[X,Y] over an arbitrary field F and Hilbert series of finitely generated graded R-modules. The central result is an arithmetic criterion for such a series to be…
Considering the deeper reasons of the appearance of a remarkable counterexample by J.~Kaad and M.~Skeide [17] we consider situations in which two Hilbert C*-modules $M \subset N$ with $M^\bot = \{ 0 \}$ over a fixed C*-algebra $A$ of…
Although old, this may be of interest. In particular, I have had inquiries concerning the renormalization group calculations in Sec. 6.4. This is a Latex transcription. A scanned version of the original typed manuscript is available at…
Assuming the obvious definitions (see paper) we show the a decidable model that is effectively prime is also effectively atomic. This implies that two effectively prime (decidable) models are computably isomorphic. This is in contrast to…