Related papers: A Simplified and Improved Free-Variable Framework …
Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL…
The paper is discussing infinite divisibility in the setting of operator-valued boolean, free and, more general, c-free independences. Particularly, using Hilbert bimodules and non-commutative functions techniques, we obtain analogues of…
The cognitive state of mind concerning a range of choices to be made can effectively be modelled in terms of an element of a high-dimensional Hilbert space. The dynamics of the state of mind resulting form information acquisition is…
We propose a hybrid-dynamic first-order logic as a formal foundation for specifying and reasoning about reconfigurable systems. As the name suggests, the formalism we develop extends (many-sorted) first-order logic with features that are…
I give a new derivation of the Explicit Formula for an arbitrary number field and abelian Dirichlet-Hecke character, which treats all primes in exactly the same way, whether they are discrete or archimedean, and also ramified or not. This…
In this article we consider means of positive bounded linear operators on a Hilbert space. We present a complete theory that provides a framework which extends the theory of the Karcher mean, its approximating matrix power means, and a…
"Theorems for Free!" (Wadler, FPCA 1989) is a slogan for a technique that allows to derive statements about functions just from their types. So far, the statements considered have always had a purely extensional flavor: statements relating…
Few years ago G\u{a}vru\c{t}a gave the notions of $K$-frame and atomic system for a linear bounded operator $K$ in a Hilbert space $\mathcal{H}$ in order to decompose $\mathcal{R}(K)$, the range of $K$, with a frame-like expansion. These…
Lifted probabilistic inference algorithms exploit regularities in the structure of graphical models to perform inference more efficiently. More specifically, they identify groups of interchangeable variables and perform inference once per…
In the framework of quasi-Hermitian quantum mechanics it is shown that a weakening of the isotropy of the Hilbert-space geometry can help us to enlarge the domain of the parameters at which the evolution is unitary. The idea is tested using…
This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier $I$. $I$ forms a formula from two…
Standard quantum mechanics predicts the non-conservation of state norms and probability when the fundamental requirement of the Hermiticity of the Hamiltonian is relaxed. Biorthogonal quantum mechanics, or the more general metric formalism,…
We consider two-variable first-order logic $\text{FO}^2$ and its quantifier alternation hierarchies over both finite and infinite words. Our main results are forbidden patterns for deterministic automata (finite words) and for Carton-Michel…
Based on the notion of free orbit-dimension introduced by D. Hadwin and J. Shen [4], we introduce a new invariant on finite von Neumann algebras that do not necessarily act on separable Hilbert space. We show that this invariant is…
Necessary and sufficient conditions for bipartite entanglement are derived, which apply to arbitrary Hilbert spaces. Motivated by the concept of witnesses, optimized entanglement inequalities are formulated solely in terms of arbitrary…
This paper summarizes and generalizes a recently proposed mathematical framework that unifies the standard formalisms of special relativity and quantum mechanics. The framework is based on Hilbert spaces H of functions of four space-time…
The generalization of the Koopman operator to systems with control input and the derivation of a nonlinear fundamental lemma are two open problems that play a key role in the development of data-driven control methods for nonlinear systems.…
While model selection is a well-studied topic in parametric and nonparametric regression or density estimation, selection of possibly high-dimensional nuisance parameters in semiparametric problems is far less developed. In this paper, we…
The mathematical formulation of Quantum Mechanics in terms of complex Hilbert space is derived for finite dimensions, starting from a general definition of "physical experiment" and from five simple Postulates concerning "experimental…
In paper [Znojil M., Phys. Rev. D 78 (2008), 085003, 5 pages, arXiv:0809.2874] the two-Hilbert-space (2HS, a.k.a. cryptohermitian) formulation of Quantum Mechanics has been revisited. In the present continuation of this study (with the…