Related papers: I-Types of System F
We classify Fano threefolds with only terminal singularities whose canonical class is Cartier and divisible by 2, and satisfying an additional assumption that the $G$-invariant part of the Weil divisor class group is of rank 1 with respect…
Over the last few years it was pointed out that certain observables of time-evolving quantum systems may have singularities at certain moments in time, mimicking the singularities physical systems have when undergoing phase transitions.…
We prove that the $L_1$-norms associated with a positive element $a$ of a unital C*-algebra are equivalent to the norm of C*-algebra if and only if $a$ is invertible.
Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Venneri [1981], we prove several facts about sets of terms having a given intersection type. Our main result is that every strongly normalizing…
In this article, we describe various aspects of categorification of the structures appearing in information theory. These aspects include probabilistic models both of classical and quantum physics, emergence of F-manifolds, and motivic…
We give a rough description of the 'categories' formed by quantum field theories. A few recent mathematical conjectures derived from quantum field theories, some of which are now proven theorems, will be presented in this language.
Let $X$ be an $F$-finite smooth scheme of essentially finite type over a perfect field. This article proves the existence of $b$-functions for locally finitely generated unit $F$-modules when equipped with their induced…
We study the quantization of systems that contain both ordinary fields with a positive norm and their counterparts obeying different statistics. The systems have novel fermionic symmetries different from the space-time supersymmetry and the…
B-systems are algebras (models) of an essentially algebraic theory that is expected to be constructively equivalent to the essentially algebraic theory of C-systems which is, in turn, constructively equivalent to the theory of contextual…
The relationship between Lexical-Functional Grammar (LFG) {\em functional structures} (f-structures) for sentences and their semantic interpretations can be expressed directly in a fragment of linear logic in a way that correctly explains…
In this paper we are concerned with existence of positive solutions for a Schr\"odinger-Maxwell system with singular or strongly-singular terms. We overcome the difficulty given by the singular terms through an approximation scheme and…
We show the uniqueness and existence of the Euler form for a simply-laced generalized root system. This enables us to show that the Coxeter element for a simply-laced generalized root system is admissible in the sense of R.~W.~Carter. As an…
We prove a result on the existence of linear forms of a given Diophantine type.
We outline the principal results of a recent examination of the quantization of systems with first- and second-class constraints from the point of view of coherent-state phase-space path integration. Two examples serve to illustrate the…
We study the singularities of varieties obtained as infinitesimal quotients by $1$-foliations in positive characteristic. (1) We show that quotients by (log) canonical $1$-foliations preserve the (log) singularities of the MMP. (2) We prove…
We prove that infinite definably simple locally finite groups of finite centraliser dimension are simple groups of Lie type over locally finite fields. Then, we identify conditions on automorphisms of a stable group that make it resemble…
We generalize type $A$ quivers to continuous type $A$ quivers and prove initial results about pointwise finite-dimensional (pwf) representations. We classify the indecomosable pwf representations and provide a decomposition theorem,…
We consider two algorithms which can be used for proving positivity of sequences that are defined by a linear recurrence equation with polynomial coefficients (P-finite sequences). Both algorithms have in common that while they do succeed…
We prove some iteration theorems for a certain class of $\kappa^+$-cc forcing posets.
We give examples of spaces which are good and bad at different primes in the sense of Bousfield and Kan in any arbitrary combination and investigate which impact the existence of a Sylow $p$-subgroup has on the homotopy type on the…