Related papers: Axiomatizing rectangular grids with no extra non-u…

All supersymmetric gauge theories based on simple groups which have an affine quantum moduli space, i.e. one generated by gauge invariants with no relations, W=0, and anomaly matching at the origin, are classified. It is shown that the only…

We present a general formula for constructing R-matrices with non-additive spectral parameters associated with a type-I quantum superalgebra. The spectral parameters originate from two one-parameter families of inequivalent…

We introduce fusion algebras with not necessarily positive structure constants and without identity element. We prove that they are semisimple when tensored with $\mathbb{C}$ and that their characters satisfy orthogonality relations. Then…

We introduce non-linear $\sigma$-models in the framework of noncommutative geometry with special emphasis on models defined on the noncommutative torus. We choose as target spaces the two point space and the circle and illustrate some…

We describe a linear-time algorithm that finds a planar drawing of every graph of a simple line or pseudoline arrangement within a grid of area O(n^{7/6}). No known input causes our algorithm to use area \Omega(n^{1+\epsilon}) for any…

We investigate connections between the symmetries (automorphisms) of a graph and its spectral properties. Whenever a graph has a symmetry, i.e. a nontrivial automorphism $\phi$, it is possible to use $\phi$ to decompose any matrix…

In this paper we investigate undirected discrete graphical tree models when all the variables in the system are binary, where leaves represent the observable variables and where all the inner nodes are unobserved. A novel approach based on…

In the recent years, field theory on non-commutative (NC) spaces has attracted a lot of attention. Most literature on this subject deals with perturbation theory, although the latter runs into grave problems beyond one loop. Here we present…

To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with…

We construct the defining data of two-dimensional topological field theories (TFTs) enriched by non-invertible symmetries/topological defect lines. Simple formulae for the three-point functions and the lasso two-point functions are derived,…

Starting with a Hilbert space endowed with a representation of a unitary Lie algebra and an action of a generalized Dirac operator, we develop a mathematical concept towards gauge field theories. This concept shares common features with the…

We construct F-theory GUT models without exotic matter, leading to the MSSM matter spectrum with potential singlet extensions. The interplay of engineering explicit geometric setups, absence of four-dimensional anomalies, and realistic…

We will show that almost all nonassociative relation algebras are symmetric and integral (in the sense that the fraction of both labelled and unlabelled structures that are symmetric and integral tends to 1), and using a Fra\"iss\'e limit,…

We study the problem of a quantized elastic string in the presence of an impenetrable wall. This is a two-dimensional field theory of an N-component real scalar field $\phi$ which becomes interacting through the restriction that the…

An RGD system $\mathcal{D}$ is called \emph{linear w.r.t. a root basis $\mathcal{B}$} if the commutation relations between the root groups of $\mathcal{D}$ are `linear' in a certain sense. Moreover, $\mathcal{D}$ is called…

We propose a geometric formulation of effective field theories via nonlinear supersymmetry. Non-supersymmetric particles are embedded in constrained superfields governed by a nonlinear sigma model, and operators are collected into…

A subclass of nondeterministic Finite Automata generated by means of regular Grammars (GFAs, for short) is introduced. A process algebra is proposed, whose semantics maps a term to a GFA. We prove a representability theorem: for each GFA…

The aim of this paper is to develop a new axiomatization of planar geometry by reinterpreting the original axioms of Euclid. The basic concept is still that of a line segment but its equivalent notion of betweenness is viewed as a…

We study the structure of planar point sets that determine a small number of distinct distances. Specifically, we show that if a set P of n points determines o(n) distinct distances, then no line contains \Omega(n^{7/8}) points of P and no…

We consider the non-deterministic extension of the call-by-value lambda calculus, which corresponds to the additive fragment of the linear-algebraic lambda-calculus. We define a fine-grained type system, capturing the right linearity…