Related papers: Proper and Improper Variants of Mathias and Silver…
We consider Gaussian states of fermionic systems and study the action of the partial transposition on the density matrix. It is shown that, with a suitable choice of basis, these states are transformed into a linear combination of two…
We introduce weakenings of two of the more prominent open problems in the classification of $\mathrm{C}^*$-algebras, namely the quasidiagonality problem and the UCT problem. We show that the a positive solution of the conjunction of the two…
In this paper we analyse some notions of amoeba for tree forcings. In particular we introduce an amoeba-Silver and prove that it satisfies quasi pure decision but not pure decision. Further we define an amoeba-Sacks and prove that it…
Metric-affine theories of gravity provide an interesting alternative to General Relativity: in such an approach, the metric and the affine (not necessarily symmetric) connection are independent quantities. Furthermore, the action should…
I explore two separate topics: the concept of jointness for set-theoretic guessing principles, and the notion of grounded forcing axioms. A family of guessing sequences is said to be joint if all of its members can guess any given family of…
We investigate the prominent class of fair representation learning methods for bias mitigation. Using causal reasoning to define and formalise different sources of dataset bias, we reveal important implicit assumptions inherent to these…
In this paper, we discuss the question whether a physical "simplification" of a model makes it always easier to study, at least from a mathematical and numerical point of view. To this end, we give different examples showing that these…
We introduce more properties of forcing notions which imply that their lambda-support iterations are lambda-proper, where lambda is an inaccessible cardinal. This paper is a direct continuation of section A.2 of math.LO/0210205. As an…
We give some sufficient and necessary conditions on a forcing notion Q for preserving the forcing notion ([omega]^{aleph_0},supseteq^*) is proper. They cover many reasonable forcing notions.
We consider the free additive convolution semigroup $\lbrace \mu^{\boxplus t}:\,t\ge 1\rbrace$ and determine the local behavior of the density of $\mu^{\boxplus t}$ at the endpoints and at any singular point of its support. We then study…
Inertial particles in 2D driven by a Gaussian white noise forcing are considered. For two examples of the forcing (compressible and incompressible) upper and lower bounds are found for the mean number of caustics as a function of Stokes…
Solid state theory, density functional theory and its generalizations for correlated systems together with numerical simulations on supercomputers allow nowadays to model magnetic systems realistically and in detail and can be even used to…
We report on a first study towards the use of stabilised Wilson fermions in heavy flavour physics. In particular, we are interested in fixing the charm quark mass via various physical observables and to inspect cut-off effects arising from…
We define the dualizations of objects and concepts which are essential for investigating the Ramsey property in the first levels of the projective hierarchy, prove a forcing equivalence theorem for dual Mathias forcing and dual Laver…
We investigate compressibility of the dimension of positive semidefinite matrices while approximately preserving their pairwise inner products. This can either be regarded as compression of positive semidefinite factorizations of…
Density-corrected density functional theory (DC-DFT) is enjoying substantial success in improving semilocal DFT calculations in a wide variety of chemical problems. This paper provides the formal theoretical framework and assumptions for…
We investigate the problem of when $\leq\lambda$--support iterations of $<\lambda$--complete notions of forcing preserve $\lambda^+$. We isolate a property -- {\em properness over diamonds} -- that implies $\lambda^+$ is preserved and show…
This article describes the various experimental bounds on the variation of the fundamental constants of nature. After a discussion on the role of fundamental constants, of their definition and link with metrology, the various constraints on…
We introduce a lightweight, flexible and end-to-end trainable probability density model parameterized by a constrained Fourier basis. We assess its performance at approximating a range of multi-modal 1D densities, which are generally…
In chapter 9 of his book "The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal", Woodin shows how to force the Strong Chang Conjecture over models of determinacy using $\mathbb{P}_{\mathrm{max}}$. We show here how a…