Related papers: The Bristol Model: an abyss called a Cohen real
We prove new, general versions of Bernstein-von Mises theorem for both well-specified and misspecified models when the log-likelihood is concave in the parameter and the prior distribution is log-concave. Unlike classical versions of…
The effectiveness of the NonRelativistic Quark Model of hadrons can be explained by Bohm's quantum theory applied to a fermion confined in a box, in which the fermion is at rest because its kinetic energy is transformed into PSI-field…
By exploiting suitably constrained Zorn matrices, we present a new construction of the algebra of sextonions (over the algebraically closed field $\mathbb{C}$). This allows for an explicit construction, in terms of Jordan pairs, of the…
Working over imperfect fields, we give a comprehensive classification of genus-one curves that are regular but not geometrically regular, extending the known case of geometrically reduced curves. The description is given intrinsically, in…
Let $\mathcal{A}$ denote a central hyperplane arrangement of rank $n$ in affine space $\mathbb{K}^n$ over an infinite field $\mathbb{K}$ and let $l_1,\ldots, l_m\in R:= \mathbb K[x_1,\ldots,x_n]$ denote the linear forms defining the…
Making the first steps towards a classification of simple partial comodules, we give a general construction for partial comodules of a Hopf algebra \(H\) using central idempotents in right coideal subalgebras and show that any…
We construct real polarizable Hodge structures on the reduced leafwise cohomology of K\"ahler-Riemann foliations by complex manifolds. As in the classical case one obtains a hard Lefschetz theorem for this cohomology. Serre's K\"ahlerian…
The affine Gaudin model, associated with an untwisted affine Kac-Moody algebra, is known to arise from a certain gauge fixing of 4-dimensional mixed topological-holomorphic Chern-Simons theory in the Hamiltonian framework. We show that the…
We consider a real, massive scalar field in BTZ spacetime, a 2+1-dimensional black hole solution of the Einstein's field equations with a negative cosmological constant. First, we analyze the space of classical solutions in a mode…
Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data-structures. Categorically, they arise as final coalgebras for polynomial…
When can a map between manifolds be deformed away from itself? We describe a (normal bordism) obstruction which is often computable and in general much stronger than the classical primary obstruction in cohomology. In particular, it answers…
We propose a tantalizing possibility that misinterpretation of the reconstructed missing momentum may have yielded the observed discrepancies among measurements of the $W$-mass in different collider experiments. We introduce a…
We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra…
This work presents theorems which state (i) Z is a proper subset for any bijection f between A and Z, where Z is contained in P(A), A is a non-finite set and |Z|=|A|, and (ii) being Z a proper subset of P(A) nothing affirms or denies that…
We construct projective varieties in mixed characteristic whose singularities model, in generic cases, those of tamely potentially crystalline Galois deformation rings for unramified extensions of $\mathbb{Q}_p$ with small regular…
Church's Higher Order Logic is a basis for influential proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We factor HOL into a constructive core plus axioms of…
A ground of the universe V is a transitive proper class W subset V, such that W is a model of ZFC and V is obtained by set forcing over W, so that V = W[G] for some W-generic filter G subset P in W . The model V satisfies the ground axiom…
In this article we introduce the mixed Hodge structure of the Brieskorn module of a polynomial $f$ in $\C^{n+1}$, where $f$ satisfies a certain regularity condition at infinity (and hence has isolated singularities). We give an algorithm…
Using technique of wheeled props we establish a correspondence between the homotopy theory of unimodular Lie 1-bialgebras and the famous Batalin-Vilkovisky formalism. Solutions of the so called quantum master equation satisfying certain…
Landau-Ginzburg mirror symmetry predicts isomorphisms between graded Frobenius algebras (denoted $\mathcal{A}$ and $\mathcal{B}$) that are constructed from a nondegenerate quasihomogeneous polynomial $W$ and a related group of symmetries…