相关论文: Pre-filtrations, Pre-stable Canonical Rules, and t…

We provide a new perspective on the Kapustin-Li formula for the duality pairing on the morphism complexes in the matrix factorization category of an isolated hypersurface singularity. In our context, the formula arises as an explicit…

The lambda-PRK-calculus is a typed lambda-calculus that exploits the duality between the notions of proof and refutation to provide a computational interpretation for classical propositional logic. In this work, we extend lambda-PRK to…

We give canonical matrices of a pair (A,B) consisting of a nondegenerate form B and a linear operator A satisfying B(Ax,Ay)=B(x,y) on a vector space over F in the following cases: (i) F is an algebraically closed field of characteristic…

A rigorous microscopic calculation of the polarizability of disordered mesoscopic particles within the grand canonical ensemble is given in terms of the supersymmetry method. The phenomenological result of Gor'kov and Eliashberg is…

A unified framework for fourth-order semilinear problems with trilinear nonlinearity and general source allows for quasi-best approximation with lowest-order finite element methods. This paper establishes the stability and a priori error…

We consider a net of *-algebras, locally around any point of observation, equipped with a natural partial order related to the isotony property. Assuming the underlying manifold of the net to be a differentiable, this net shall be…

We revisit the problem of Stone duality for lattices with various quasioperators, first studied in [14], presenting a fresh duality result. The new result is an improvement over that of [14] in two important respects. First, the…

We establish a generic upper bound ExpTime for reasoning with global assumptions (also known as TBoxes) in coalgebraic modal logics. Unlike earlier results of this kind, our bound does not require a tractable set of tableau rules for the…

It is shown that the canonical quantization of the free massive Kalb-Ramond and Curtright-Freund Lagrangians leads to the same theory obtained from the canonical quantization of the free Proca and Klein-Gordon Lagrangians. The duality in…

We introduce the notion of Q-filtrable varieties: projective varieties with a torus action and a finite number of fixed points, such that the cells of the associated Bialynicki-Birula decomposition are all rationally smooth. Our main…

Canonical forms for congruence and *congruence of square complex matrices were given by Horn and Sergeichuk in [Linear Algebra Appl. 389 (2004) 347-353], based on Sergeichuk's paper [Math. USSR, Izvestiya 31 (3) (1988) 481-501], which…

We define canonical bases of the higher-level q-deformed Fock space modules of the affine Lie algebra sl(n)^. This generalizes the result of Leclerc and Thibon for the case of level 1. We express the transition matrices between the…

Partial Markov categories are a recent framework for categorical probability theory that provide an abstract account of partial probabilistic computation with updating semantics. In this article, we discuss two order relations on the…

First we introduce and analyze a convergent numerical method for a large class of nonlinear nonlocal possibly degenerate convection diffusion equations. Secondly we develop a new Kuznetsov type theory and obtain general and possibly optimal…

The properties of the canonical symmetry of the nonlinear Schr\"odinger equation are investigated. The densities of the local conservation laws for this system are shown to change under the action of the canonical symmetry by total space…

The classical as well as non commutative Korovkin-type theorems deal with convergence of positive linear maps with respect to modes of convergences such as norm convergence and weak operator convergence. In this article, Korovkin-type…

In a 1985 commentary to his collected works, Kolmogorov remarked that his 1932 paper "was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of…

We present natural deduction systems and associated modal lambda calculi for the necessity fragments of the normal modal logics K, T, K4, GL and S4. These systems are in the dual-context style: they feature two distinct zones of…

Let $k$ be a commutative ring, $A$ a commutative $k$-algebra and $D$ the filtered ring of $k$-linear differential operators of $A$. We prove that: (1) The graded ring $\gr D$ admits a canonical embedding $\theta$ into the graded dual of the…

We show that the proof nets introduced in [Hughes & van Glabbeek 2003, 2005] for MALL (Multiplicative Additive Linear Logic, without units) identify cut-free proofs modulo rule commutation: two cut-free proofs translate to the same proof…