Related papers: Costello's pushforward formula: errata and general…
Bonferroni's correction is a popular tool to address multiplicity but is notorious for its low power when tests are dependent. This paper proposes a practical modification of Bonferroni's correction when test statistics are jointly normal…
Attempts to modify the standard expression for the phase in neutrino oscillations by an extra factor of two are based on misuse of quantum mechanics. Claims to present Bruno Pontecorvo and his coauthors as ``godfathers'' of this ``extra 2''…
Classifiers are often tested on relatively small data sets, which should lead to uncertain performance metrics. Nevertheless, these metrics are usually taken at face value. We present an approach to quantify the uncertainty of…
Recently, the much-used trace distance of coherence was shown to not be a proper measure of coherence, so a modification of it was proposed. We derive an explicit formula for this modified trace distance of coherence on pure states. Our…
Phenomenological and formal restrictions on the evolution of pure into mixed states are discussed. In particular, it is argued that, if energy is conserved, loss of purity is incompatible with the weakest possible form of Lorentz…
In the reduced basis method, the evaluation of the a posteriori estimator can become very sensitive to round-off errors. In this note, the origin of the loss of accuracy is revealed, and a solution to this problem is proposed and…
Within the last few years, there has been a move towards using statistical models in conjunction with neural networks with the end goal of being able to better answer the question, "what do our models know?". From this trend, classical…
The purpose of this article is to formulate a number of probabilistic hidden-variable theorems, to provide proofs in some cases, and counterexamples to some conjectured relationships. The first theorem is the fundamental one. It asserts the…
The conformal flow of metrics [2] has been used to successfully establish a special case of the Penrose inequality, which yields a lower bound for the total mass of a spacetime in terms of horizon area. Here we show how to adapt the…
We investigate potential quantum nonlinear corrections to Dirac's equation through its sub-leading effect on neutrino oscillation probabilities. Working in the plane-wave approximation and in the $\mu-\tau$ sector, we explore various…
Satisfiability solving is a common technique for formal verification forming the basis of many proof and model checking systems. Failure to show a proof obligation will produce a counterexample or failure trace with typically many thousands…
It is widely acknowledged that the biomedical literature suffer from a surfeit of false positive results. Part of the reason for this is the persistence of the myth that observation of a p value less than 0.05 is sufficient justification to…
For processes involving structure functions and/or fragmentation functions, arguments that, over a range of a proper kinematic variable, there is a part that dominates the next-to-leading order (NLO) corrections are briefly reviewed. The…
In this paper we give a rigorous proof of the equivalence of some different forms of Faraday's law of induction clarifying some misconceptions on the subject and emphasizing that many derivations of this law appearing in textbooks and…
We define the notion of a well-clusterable data set combining the point of view of the objective of $k$-means clustering algorithm (minimising the centric spread of data elements) and common sense (clusters shall be separated by gaps). We…
Post-hoc interpretability approaches have been proven to be powerful tools to generate explanations for the predictions made by a trained black-box model. However, they create the risk of having explanations that are a result of some…
In this article, the author provides full details of the proof of the concordance/isotopy problem. The first published proof, [5], accomplished this task only partially since there was an error, see the erratum [6], which damaged the main…
The paper demonstrates that falsifiability is fundamental to learning. We prove the following theorem for statistical learning and sequential prediction: If a theory is falsifiable then it is learnable -- i.e. admits a strategy that…
Inspired by recent results of unusual properties of loop processes in relative locality, we introduce a way to classify loops in the case of kappa-Poincare momentum space. We show that the notion of orientability is deeply connected to a…
In an earlier paper, "Omega-inconsistency in Goedel's formal system: a constructive proof of the Entscheidungsproblem" (math/0206302), I argued that a constructive interpretation of Goedel's reasoning establishes any formal system of…