Related papers: Canonical equivalence relations on fronts on $FIN_…

We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original definition of branching bisimilarity with explicit divergence in…

It is well known, as follows from the Banach-Steinhaus theorem, that if a sequence $\left\{y_{n}\right\}_{n=1}^{\infty}$ of linear continuous functionals in a Fr\'echet space converges pointwise to a linear functional $Y,$ $Y\left( x\right)…

In this paper we prove a result on the effective generation of pluri-canonical linear systems on foliated surfaces of general type. Fix a function $P: \mathbb Z_{\geq 0}\to \mathbb Z $, then there exists an integer $N_1>0$ such that if…

Consider the plane as a checkerboard, with each unit square colored black or white in an arbitrary manner. We show that for any such coloring there are straight line segments, of arbitrarily large length, such that the difference of their…

We show that the cardinality of the transverse intersection of two compact exact Lagrangian submanifolds in a cotangent bundle is bounded from below by the dimension of the Hom space of sheaf quantizations of the Lagrangians in Tamarkin's…

Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…

We present a generic condition for Lorentzian manifolds to have a barrier that limits the reach of boundary-anchored extremal surfaces of arbitrary dimension. We show that any surface with nonpositive extrinsic curvature is a barrier, in…

We investigate in the paper general (not necessarily definite) canonical systems of differential equation in the framework of extension theory of symmetric linear relations. For this aim we first introduce the new notion of a boundary…

A Seifert surface for a knot K is called canonical if it can be built by applying Seifert's algorithm to some projection of K. The canonical genus of K is the smallest genus of a surface so obtained. In this paper we show that there is a…

In this paper we describe a covariant canonical formalism for a free time-like (massive) as well as space-like (tachyonic) particle in the framework of nonstandard synchronization scheme. In this scheme one is able to introduce absolute…

The problem of defining and constructing representations of the Canonical Commutation Relations can be systematically approached via the technique of {\it algebraic quantization}. In particular, when the phase space of the system is linear…

We study lower bounds for the self-intersection of the canonical divisor of "canonical varieties" (i.e. varieties whose canonical linear system gives a birational map). We give some improvements for the known results in the case of surfaces…

In the special case of S^1 invariant metrics on S^2, we find necessary and sufficient conditions for the existence of isometric embeddings into the canonical R^3, in other words: a Weyl type theorem with converse.

We determine the condition on a given lens space having a realization as a closure of homology cobordism over a planar surface with a given number of boundary components. As a corollary, we see that every lens space is represented as a…

Let G be a connected Lie group, G^d the underlying discrete group, and BG, BG^d their classifying spaces. Let R denote the radical of G. We show that all classes in the image of the canonical map in cohomology H^*(BG,R)->H^*(BG^d,R) are…

It is well known that classical and quantum theories carry distinct types of representations, each type of representation corresponding to possible values of generalized charges in the classical or quantum context. This paper demonstrates a…

We define the notion of canonical boundedness among rank-one transformations and use it to characterize the class of all bounded rank-one transformations with trivial centralizer. We also explicitly characterize totally ergodic rank-one…

In the first part, we introduce a notion a degree of edge-colorings of bicubic plane graphs and proves some local formula of the graded number of colorings. In the second part, we give a new proof of a result of Fisk saying that any two…

The celebrated canonical Ramsey theorem of Erd\H{o}s and Rado implies that for $2\leq k\in \mathbb{N}$, any colouring of the edges of $K_n$ with $n$ sufficiently large gives a copy of $C_{2k}$ which has one of three canonical colour…

In this paper we will discuss local coordinates canonically corresponding to a Kahler metric. We will also discuss and prove the $C^\infty$ convergence of Bergman metrics following Tian's result on $C^2$ convergence of Bergman metrics. At…