Related papers: KF, PKF, and Reinhardt's Program
A generalized fractional derivative (GFD) definition is proposed in this work. For a differentiable function that can be expanded by Taylor series, we show that D^Elafa*D^Beta f(t)=D^(Elafa+Beta)f(t). GFD is applied for some functions in…
The Eppley Hannah thought experiment is often cited as justification for attempts by theorists to develop a complete, consistent theory of quantum gravity. A modification of the earlier "Heisenberg microscope" argument for the necessity of…
The proof of convergence of the standard ensemble Kalman filter (EnKF) from Legland etal. (2011) is extended to non-Gaussian state space models. A density-based deterministic approximation of the mean-field limit EnKF (DMFEnKF) is proposed,…
Let $1/2\leq\beta<1$, $p$ be a generic prime number and $f_\beta$ be a random multiplicative function supported on the squarefree integers such that $(f_\beta(p))_{p}$ is an i.i.d. sequence of random variables with distribution…
Aharonov-Kaufherr model of quantum space-time which accounts Reference Frames (RF) quantum effects is considered in Relativistic Quantum Mechanics framework. For RF connected with some macroscopic object its free quantum motion - wave…
To construct interpretable explanations that are consistent with the original ML model, counterfactual examples---showing how the model's output changes with small perturbations to the input---have been proposed. This paper extends the work…
In the paper it is argued that the Kochen-Specker theorem necessitates a conclusion that for a quantum system it is possible to find a set of projection operators which is not truth-value bivalent; that is, a bivalent truth-value assignment…
A simple derivation of a meaningful, manifestly covariant inner product for real Klein-Gordon (KG) fields with positive semi-definite norm is provided which turns out - assuming a symmetric bilinear form - to be the real-KG-field limit of…
We introduce a novel logical notion--partial entailment--to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with respect to a background formula set \Gamma intuitively means…
This work has a methodological nature and is a set of lecture notes for undergraduate students. It is devoted to the study of the basic tools of quantum field theory on the example of the simplest cubic "toy" model. We introduce such…
We develop foundations for a relational approach to quantum field theory (RQFT) based on the operational quantum reference frames (QRFs) framework considered in a relativistic setting. Unlike other efforts in combining QFT with QRFs, we use…
According to what has become a standard history of quantum mechanics, in 1932 von Neumann persuaded the physics community that hidden variables are impossible as a matter of principle, after which leading proponents of the Copenhagen…
We extend the theory of $p$-fractals of Monsky and Teixeira by introducing the notion of weak $p$-fractal. We prove that for a hypersurface $f$ having rational Hilbert-Kunz series is equivalent to the weak $p$-fractality of the associated…
Fixing some computably enumerable theory $T$, the Friedman-Goldfarb-Harrington (FGH) theorem says that over elementary arithmetic, each $\Sigma_1$ formula is equivalent to some formula of the form $\Box_T \varphi$ provided that $T$ is…
We present the Foundational Cryptography Framework (FCF) for developing and checking complete proofs of security for cryptographic schemes within a proof assistant. This is a general-purpose framework that is capable of modeling and…
We provide here a general mathematical framework to model attitudes towards ambiguity which uses the formalism of quantum theory as a ``purely mathematical formalism, detached from any physical interpretation''. We show that the…
In a recent paper, the author introduced an operational description of physical theories where probabilities are replaced by counterfactual statements belonging to a three-valued (i.e. possibilistic) semantic domain. The complete axiomatic…
We introduce $\textit{PCFTL (Probabilistic CounterFactual Temporal Logic)}$, a new probabilistic temporal logic for the verification of Markov Decision Processes (MDP). PCFTL is the first to include operators for causal reasoning, allowing…
This paper explores epistemic realizability, a form of realizability in which the property that a piece of data constitutes evidence for a logical proposition is semi-decidable. In this framework, each proposition A is assigned a verifier}…
After reviewing a large body of literature on the modeling of bivariate discrete distributions with finite support, \cite{Gee20} made a compelling case for the use of $I$-projections in the sense of \cite{Csi75} as a sound way to attempt to…