Related papers: Hilbert's epsilon as an Operator of Indefinite Com…
Machine Learning explainability techniques have been proposed as a means of `explaining' or interrogating a model in order to understand why a particular decision or prediction has been made. Such an ability is especially important at a…
In this paper, a computably definable predicate is defined and characterized. Then, it is proved that every separable infinite-dimensional Hilbert structure in an effectively presented language is computable. Moreover, every definable…
Let $H$ be a real Hilbert space. In this short note, using some of the properties of bounded linear operators with closed range defined on $H$, certain bounds for a specific convex subset of the solution set of infinite linear…
We study operators defined on a Hilbert space defined by a self-affine Delone set $\Lambda$ and show that the usual trace of a restriction of the operator to finite-dimensional subspaces satisfies a certain $\limsup$ law controlled by…
We present a new approach to dealing with default information based on the theory of belief functions. Our semantic structures, inspired by Adams' epsilon-semantics, are epsilon-belief assignments, where values committed to focal elements…
Computational models typically assume that operations are applied in a fixed sequential order. In recent years several works have looked at relaxing this assumption, considering computations without any fixed causal structure and showing…
Superdeterminism - where the Measurement Independence assumption in Bell's Theorem is violated - is frequently assumed to imply implausibly conspiratorial correlations between properties $\lambda$ of particles being measured and measurement…
In their Erratum [Phys. Rev. Lett. {\bf 92}, 119902 (2004), quant-ph/0208076], written in reaction to [quant-ph/0310164], Bender, Brody and Jones propose a revised definition for a physical observable in PT-symmetric quantum mechanics. We…
We argue that for the proof of Bell's theorem no assumptions about realism or free will are necessary. The key formula \[E(AB|a,b) = \int A(a,b,\lambda)B(a,b,\lambda)\rho(\lambda) d\lambda\] follows from the logic of plausible reasoning…
We describe the spectrum of a non-self-adjoint elliptic system on a finite interval. Under certain conditions we find that the eigenvalues form a discrete set and converge asymptotically at infinity to one of several straight lines. The…
We reconsider studies of Toeplitz operators on function spaces (the weighted Bergman space, the generalized derivative Hardy space) and the H-Toeplitz operators on the Bergman space. Past studies have considered the presence or absence of…
The failure of distributivity in quantum logic is motivated by the principle of quantum superposition. However, this principle can be encoded differently, i.e., in different logico-algebraic objects. As a result, the logic of experimental…
Starting out from a new description of a class of parameter-dependent pseudodifferential operators with finite regularity number due to G. Grubb, we introduce a calculus of parameter-dependent, poly-homogeneous symbols whose homogeneous…
We show that under natural and quite general assumptions, a large part of a matrix for a bounded linear operator on a Hilbert space can be preassigned. The result is obtained in a more general setting of operator tuples leading to…
This paper proposes an extension to classical regular expressions by the addition of two operators allowing the inclusion of boolean formulae from the zeroth order logic. These expressions are called constrained expressions. The associated…
The non-parametric estimation of covariance lies at the heart of functional data analysis, whether for curve or surface-valued data. The case of a two-dimensional domain poses both statistical and computational challenges, which are…
We study the relative succinctness and expressiveness of modal logics, and prove that these relationships can be as complex as any countable partial order. For this, we use two uniform formalisms to define modal operators, and obtain…
In this paper we define $\lambda$-hyponormal operators on an infinite dimensional Hilbert space $\mathcal{H}$ and find a class of $\lambda$-hyponormal operators that can not be hypercyclic. Also, we study closedness of range and…
In this paper I introduce a generalized version of Richard Epstein's set-assignment semantics ([Epstein, 1990]). As a case study, I consider how this framework can be used to characterize William Parry's logic of analytic implication and…
Based on a recent proof of free choices in linking equations to the experiments they describe, I clarify relations among some purely mathematical entities featured in quantum mechanics (probabilities, density operators, partial traces, and…