相关论文: Model theory of fields with free operators in posi…

Several proposals to deal with the dynamics of general relativity involve gauge fixings or the introduction matter fields in terms of which the theory is deparameterized. The resulting theories have true Hamiltonians for their evolution…

In this article we consider means of positive bounded linear operators on a Hilbert space. We present a complete theory that provides a framework which extends the theory of the Karcher mean, its approximating matrix power means, and a…

We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several…

Certain operator algebras A on a Hilbert space have the property that every densely defined linear transformation commuting with A is closable. Such algebras are said to have the closability property. They are important in the study of the…

A model of particle interacting with quantum field is considered. The model includes as particular cases the polaron model and non-relativistic quantum electrodynamics. We show that the field operators obey q-commutation relations with q…

For a quasi-projective scheme $X$ admitting a smooth compactification over a local field of residue characteristic $p > 0$, we construct a continuous reciprocity homomorphism from a tame class group to the abelian tame etale fundamental…

A henselian valued field $K$ is called a tame field if its algebraic closure $\tilde{K}$ is a tame extension, that is, the ramification field of the normal extension $\tilde{K}|K$ is algebraically closed. Every algebraically maximal…

In this paper we extensively investigate the class of conditionally positive definite operators, namely operators generating conditionally positive definite sequences. This class itself contains subnormal operators, $2$- and $3$-isometries…

In this paper we consider a type system with a universal type $\omega$ where any term (whether open or closed, $\beta$-normalising or not) has type $\omega$. We provide this type system with a realisability semantics where an atomic type is…

We provide a differential-algebraic description of forking independence in the stable theory DCF$_{p,m}$ of differentially closed fields of characteristic $p>0$ with $m$-many commuting derivations. As a by-product of this description, we…

We prove analogues of model theory results for $\mathcal{C}\to \mathcal{D}$ coherent functors, including variants of the omitting types theorem and some results on ultraproduct constructions. We introduce a distributive lattice valued…

In these proceedings we summarize previous work where we formalize a general concept of algebraic field theories using operads. After giving a gentle reminder of algebraic quantum field theory, operads and their algebras, we construct field…

We consider the ferromagnetic large-$q$ state Potts model in complex evolving networks, which is equivalent to an optimal cooperation problem, in which the agents try to optimize the total sum of pair cooperation benefits and the supports…

For a bi-partite quantum system defined in a finite dimensional Hilbert space we investigate in what sense entanglement change and interactions imply each other. For this purpose we introduce an entanglement operator, which is then shown to…

Let M be a B-probability space. Assume that B itself is a D-probability space; then M can be viewed as a D-probability space as well. Let X be in M. We characterize freeness of X from B with amalgamation over D in terms of a certain…

We introduce a certain class of so-called perfectoid rings and spaces, which give a natural framework for Faltings' almost purity theorem, and for which there is a natural tilting operation which exchanges characteristic 0 and…

We study positively closed and strongly positively closed topos-valued models of coherent theories. Positively closed is a global notion (it is defined in terms of all possible outgoing homomorphisms), while strongly positively closed is a…

We show that the category of motivic spaces with transfers along finite flat morphisms, over a perfect field, satisfies all the properties we have come to expect of good categories of motives. In particular we establish the analog of…

We examine the common null spaces of families of Herz-Schur multipliers and apply our results to study jointly harmonic operators and their relation with jointly harmonic functionals. We show how an annihilation formula obtained in J.…

A binding group theorem is proved in the context of quantifier-free internality to the fixed field in difference-closed fields of characteristic zero. This is articulated as a statement about the birational geometry of isotrivial algebraic…