相关论文: A sequence of neighborhood contingency logics

This letter introduces a new, substantially simplified version of the branching recurrence operation of computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html), and proves its equivalence to the old, "canonical" version.

Starting from the observation that distinct notions of copying have arisen in different categorical fields (logic and computation, contrasted with quantum mechanics) this paper addresses the question of when, or whether, they may coincide.…

By using Cauchy integral formula in the theory of complex functions, the authors establish some integral representations for the principal branches of several complex functions involving the logarithmic function, find some properties, such…

In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comonads. We explore the viability and value of similar modeling…

Previous work [Gong and Brumer, Phys. Rev. Lett., 97, 240602 (2006)] motivates this study as to how asymmetry-driven quantum ratchet effects can persist despite a corresponding fully chaotic classical phase space. A simple perspective of…

In this paper we revisit our previous study of the local theory of prescribed Jacobian equations associated with generating functions, which are extensions of cost functions in the theory of optimal transportation. In particular, as…

This paper gives a formulation of quantum logic in the abstract algebraic setting laid out by Dunn and Hardegree (2001). On this basis, it provides a comparative analysis of viable quantum logical bivalent semantics and their classical…

A probabilistic propositional logic, endowed with an epistemic component for asserting (non-)compatibility of diagonizable and bounded observables, is presented and illustrated for reasoning about the random results of projective…

In [15] a homotopic variation for locality of logics was presented, namely a Quillen model category-based framework for locality under logical equivalence, for every primitive-positive sentence of quantifier-rank $k$. In this paper, we will…

This article provides a definition of a subdifferential for continuous functions based on homological considerations. We show that it satisfies all the requirement for a good notion of subdifferential. Moreover, we prove sublinearity, a…

This note adapts the sophisticated Richberg technique for approximation in pluripotential theory to the $F$-potential theory associated to a general nonlinear convex subequation $F \subset J^2(X)$ on a manifold $X$. The main theorem is the…

We present two theorems concerned with algorithmic randomness and differentiability of functions of several variables. Firstly, we prove an effective form of the Rademacher's Theorem: we show that computable randomness implies…

A new characterization of harmonic functions is obtained. It is based on quadrature identities involving mean values over annular domains and over concentric spheres lying within these domains or on their boundaries. The analogous result…

We provide a model for an open invariant neighborhood of any orbit in a symplectic manifold endowed with a canonical proper symmetry. Our results generalize the constructions of Marle and Guillemin and Sternberg for canonical symmetries…

Applicative bisimilarity is a coinductive characterisation of observational equivalence in call-by-name lambda-calculus, introduced by Abramsky (1990). Howe (1996) gave a direct proof that it is a congruence, and generalised the result to…

We introduce a new Tauberian framework through the theory of "regular arithmetic functions". This allows us to establish a characterization of the Riemann hypothesis by linking the floor function to the distribution of nontrivial zeros of…

We propose analogs of the classical Generalized Riemann Hypothesis and the Generalized Simplicity Conjecture for the characteristic p L-series associated to function fields over a finite field. These analogs are based on the use of absolute…

Combinatorial curve neighborhoods are somewhat foundational when setting up the quantum Schubert calculus for affine flag manifolds. In the specific case of type $A_1^{(1)}$, you can encode these neighborhoods entirely within the moment…

Using a formulation of quantum mechanics based on orthogonal polynomials in the energy and physical parameters, we present a method that gives the class of potential functions for exactly solvable problems corresponding to a given energy…

It is shown that two observers have mutually commuting observables if they are able to prepare in each subsector of their common state space some state exhibiting no mutual correlations. This result establishes a heretofore missing link…