Related papers: Equations for formally real meadows
The true complexity of a polynomial progression in finite fields corresponds to the smallest-degree Gowers norm that controls the counting operator of the progression over finite fields of large characteristic. We give a conjecture that…
In addition to superconformal symmetry, (1,1) supersymmetric two-dimensional sigma models on special holonomy manifolds have extra symmetries that are in one-to-one correspondence with the covariantly constant forms on these manifolds. The…
In this paper we introduce sound and strongly complete axiomatizations for XPath with data constraints extended with hybrid operators. First, we present HXPath=, a multi-modal version of XPath with data, extended with nominals and the…
We bosonise the complex-boson realisations of the $W_\infty$ and $W_{1+\infty}$ algebras. We obtain nonlinear realisations of $W_\infty$ and $W_{1+\infty}$ in terms of a pair of fermions and a real scalar. By further bosonising the…
We give an algebraic quantization, in the sense of quantum groups, of the complex Minkowski space, and we examine the real forms corresponding to the signatures $(3,1)$, $(2,2)$, $(4,0)$, constructing the corresponding quantum metrics and…
In this paper we begin mapping out the space of rank-2 $\mathcal{N}=2$ superconformal field theories (SCFTs) in four dimensions. This represents an ideal set of theories which can be potentially classified using purely quantum…
A family of real Hamiltonian forms (RHF) for the special class of affine 1+1 - dimensional Toda field theories is constructed. Thus the method, proposed in [Mikhailov;1981] for systems with finite number of degrees of freedom is generalized…
We consider the theory of algebraically closed fields of characteristic zero with multivalued operations $x\mapsto x^r$ (raising to powers). It is in fact the theory of equations in exponential sums. In an earlier paper we have described…
The theorem of factorisation forests shows the existence of nested factorisations -- a la Ramsey -- for finite words. This theorem has important applications in semigroup theory, and beyond. The purpose of this paper is to illustrate the…
We investigate in detail a homomorphism which we call the 2-Selmer signature map from the $2$-Selmer group of a number field $K$ to a nondegenerate symmetric space, in particular proving the image is a maximal totally isotropic subspace.…
It has been known for some time that $W$ algebras can be realised in terms of an energy-momentum tensor together with additional free scalar fields. Some recent results have shown that more general realisations are also possible. In this…
We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of ten equivalent statements} borrowed from algebra, real analysis, general topology and non-standard analysis. We also discuss…
Exploring further the connection between exponentiation on real closed fields and the existence of an integer part modelling strong fragments of arithmetic, we demonstrate that each model of true arithmetic is an integer part of an…
A realisation of a graph in the plane as a bar-joint framework is rigid if there are finitely many other realisations, up to isometries, with the same edge lengths. Each of these finitely-many realisations can be seen as a solution to a…
The theory of Poisson-$\sigma$-models employs the mathematical notion of Poisson manifolds to formulate and analyze a large class of topological and almost topological two dimensional field theories. As special examples this class of field…
We present the first formal correctness proof of Edmonds' blossom shrinking algorithm for maximum cardinality matching in general graphs. We focus on formalising the mathematical structures and properties that allow the algorithm to run in…
The aim of this paper is to give natural examples of $\mathbf{\Sigma}_1^1$-complete and $\mathbf{\Pi}_1^1$-complete sets. In the first part, we consider ideals on $\omega$. In particular, we show that the Hindman ideal $\mathcal{H}$ is…
We establish that the bisimulation invariant fragment of MSO over finite transition systems is expressively equivalent over finite transition systems to modal mu-calculus, a question that had remained open for several decades. The proof…
We demonstrate the versatility of the tangle-tree duality theorem for abstract separation systems by using it to prove tree-of-tangles theorems. This approach allows us to strengthen some of the existing tree-of-tangles theorems by bounding…
We discuss fermions for arbitrary dimensions and signature of the metric, with special emphasis on euclidean space. Generalized Majorana spinors are defined for $d=2,3,4,8,9$ mod 8, independently of the signature. These objects permit a…