Related papers: Locality Theorems in Semiring Semantics
The second vanishing theorem has a long history in the theory of local cohomology modules, which connects the vanishing of a complete regular local ring with a topological property of the punctured spectrum of the ring under some…
The commutative ambiguity of a context-free grammar G assigns to each Parikh vector v the number of distinct leftmost derivations yielding a word with Parikh vector v. Based on the results on the generalization of Newton's method to…
The possibility that a classical space-time and quantum matter cohabit at the deepest level, i.e. the possibility of having a fundamental and not phenomenological semiclassical gravity, is often disregarded for lack of a good candidate…
Quantum theory violates Bell's inequality, but not to the maximum extent that is logically possible. We derive inequalities (generalizations of Cirel'son's inequality) that quantify the upper bound of the violation, both for the standard…
We state the fundamental theorem of projective geometry for semimodules over semirings, which is facilitated by recent work in the study of bases in semimodules defined over semirings. In the process we explore in detail the linear algebra…
Classical primal-dual affine programming takes place over finite dimensional real vector spaces. This results in beautiful duality theory, connecting the optimal solu- tions of the primal maximization problem and the dual minimization…
We construct an ontological model for the theory known as bilocal classical theory doi.org/10.1103/PhysRevA.102.052216. To our knowledge, this is only the second time that an ontological model has been constructed for an entire theory,…
In this article, we discuss the semicontinuity problem of certain properties on fibers for a morphism of schemes. One aspect of this problem is local. Namely, we consider properties of schemes at the level of local rings, in which the main…
The sheaf-theoretic structure is useful in classifying no-go theorems related to non-locality and contextuality. It provides a new point of view different from conventional formularization of quantum mechanics. First, we examine a…
Explicit construction of local observable algebras in quasi-Hermitian quantum theories is derived in both the tensor product model of locality and in models of free fermions. The latter construction is applied to several cases of a…
Iteration semirings are Conway semirings satisfying Conway's group identities. We show that the semirings $\N^{\rat}\llangle \Sigma^* \rrangle$ of rational power series with coefficients in the semiring $\N$ of natural numbers are the free…
A bi-Heyting algebra validates the G\"odel-Dummett axiom $(p\to q)\vee (q\to p)$ iff the poset of its prime filters is a disjoint union of co-trees (i.e., order duals of trees). Bi-Heyting algebras of this kind are called bi-G\"odel…
This paper explores proof-theoretic semantics, a formal approach to inferential semantics. It derives sentence meaning from formalized proofs, building upon Gentzen and Prawitz's work. The study addresses challenges in understanding how…
The most developed aspect of the theory of finite semigroups is their classification in pseudovarieties. The main motivation for investigating such entities comes from their connection with the classification of regular languages via…
The prediction of non-local phenomena is a key attribute of quantum mechanics that distinguishes it from classical theories. It was recently suggested that state swapping is one such effect that a fundamentally classical gravitational field…
Analogical reasoning is a powerful inductive mechanism, widely used in human cognition and increasingly applied in artificial intelligence. Formal frameworks for analogical inference have been developed for Boolean domains, where inference…
A classical result of topological algebra states that any compact left topological semigroup has an idempotent. We refine this by showing that any compact left topological left semiring has a common, i.e. additive and multiplicative…
Given a compact metric space (X,d) equipped with a non-atomic, probability measure m and a real, positive decreasing function p we consider a `natural' class of limsup subsets La(p) of X. The classical limsup sets of `well approximable'…
It is argued that while quantum mechanics contains nonlocal or entangled states, the instantaneous or nonlocal influences sometimes thought to be present due to violations of Bell inequalities in fact arise from mistaken attempts to apply…
We consider Toeplitz operators $T_f^{\lambda}$ with symbol $f$ acting on the standard weighted Bergman spaces over a bounded symmetric domain $\Omega\subset \mathbb{C}^n$. Here $\lambda > genus-1$ is the weight parameter. The classical…