Related papers: Hilbert's epsilon as an Operator of Indefinite Com…
While the symbol map for the collection of bounded Toeplitz operators is well studied, there has been little work on a symbol map for densely defined Toeplitz operators. In this work a family of candidate symbols, the Sarason Sub-Symbols,…
Logical formalisms provide a natural and concise means for specifying and reasoning about preferences. In this paper, we propose lexicographic logic, an extension of classical propositional logic that can express a variety of preferences,…
As mathematical induction is applied to prove statements on natural numbers, {\it continuous induction} (or, {\it real induction}) is a tool to prove some statements in real analysis.(Although, this comparison is somehow an overstatement.)…
Word embeddings trained on large corpora have shown to encode high levels of unfair discriminatory gender, racial, religious and ethnic biases. In contrast, human-written dictionaries describe the meanings of words in a concise, objective…
Some new trace inequalities for operators in Hilbert spaces are provided. The superadditivity and monotonicity of some associated functionals are investigated and applications for power series of such operators are given. Some trace…
We design various logics for proving hyper properties of iterative programs by application of abstract interpretation principles. In part I, we design a generic, structural, fixpoint abstract interpreter parameterized by an algebraic…
We show that the unitary operator on a separable Hilbert space is a parametrization of any conditional probability measure in a standard measure space. We propose unitary inference, a generalization of Bayesian inference. We study…
A new approach to normal operators in real Hilbert spaces is discussed, and a spectral representation is obtained, derived directly from the complex case. The results are then applied to quaternionic normal operators, regarded as a special…
We show that the vast majority of extensions of the description logic $\mathcal{EL}$ do not enjoy the Craig interpolation nor the projective Beth definability property. This is the case, for example, for $\mathcal{EL}$ with nominals,…
This work is a study of the impact of multiple aspects in a classic unsupervised word sense disambiguation algorithm. We identify relevant factors in a decision rule algorithm, including the initial labeling of examples, the formalization…
We develop a duality theory for unbounded Hermitian operators with dense domain in Hilbert space. As is known, the obstruction for a Hermitian operator to be selfadjoint or to have selfadjoint extensions is measured by a pair of deficiency…
In classical logic, nonBoolean fluents, such as the location of an object, can be naturally described by functions. However, this is not the case in answer set programs, where the values of functions are pre-defined, and nonmonotonicity of…
Positive operator measures (with values in the space of bounded operators on a Hilbert space) and their generalizations, mainly positive sesquilinear form measures, are considered with the aim of providing a framework for their generalized…
A new formalism to express and operate on diversity measures of qualitative variables, built in a Hilbert space, is presented. The abstract character of the Hilbert space naturally incorporates the equivalence between qualitative variables…
With the broader use of language models (LMs) comes the need to estimate their ability to respond reliably to prompts (e.g., are generated responses likely to be correct?). Uncertainty quantification tools (notions of confidence and…
Much work has been done to give semantics to probabilistic programming languages. In recent years, most of the semantics used to reason about probabilistic programs fall in two categories: semantics based on Markov kernels and semantics…
In this paper we consider a stronger property than the Bishop-Phelps-Bollob\'{a}s property for various classes of operators on a complex Hilbert space. The Bishop-Phelps-Bollob\'as {\it point} property for some class $\mathcal{A} \subset…
By studying Cameron's operator in terms of determinants, two kinds of "integer" sequences of incomplete numbers were introduced. One was the sequence of restricted numbers, including $s$-step Fibonacci sequences. Another was the sequence of…
Superdeterminism has received recent attention as a possible path toward a locally causal explanation of the entanglement correlations that appear in experimental tests of Bell's theorem. While the term `superdeterminism' was coined by Bell…
In the absence of a satisfactory interpretation of quantum theory, physical law lacks physical basis. This paper reviews the orthodox, or Dirac-von Neumann interpretation, and makes explicit that Hilbert space describes propositions about…