Related papers: Extended Connectors: Structuring Glue Operators in…
We introduce the concept of braided noncommutative Poisson bialgebras. The theory of cocycle bicrossproducts for noncommutative Poisson bialgebras is developed. As an application, we solve the extending problem by using some non-abelian…
A finite set can be supplied with a group structure which can then be used to select (classes of) differential calculi on it via the notions of left-, right- and bicovariance. A corresponding framework has been developed by Woronowicz, more…
The additive structure of $\mathbb{F}_1$-modules (in the sense of Segal's $\Gamma$-sets) differs fundamentally from that of abelian groups: addition is encoded through a family of $n$-ary hyper-operations that are multivalued and do not…
Assumption-based argumentation (ABA) is a central structured argumentation formalism. As shown recently, answer set programming (ASP) enables efficiently solving NP-hard reasoning tasks of ABA in practice, in particular in the commonly…
Circuits based on sum-product structure have become a ubiquitous representation to compactly encode knowledge, from Boolean functions to probability distributions. By imposing constraints on the structure of such circuits, certain inference…
In this note we expand on our previous study of the implications of LEP1 results for future colliders. We extend the effective operator-based analysis of De R\'ujula et al. to a larger symmetry group, and show at which cost their…
A formalism for the study of highly interacting electronic systems is presented. The proposed scheme is based on two key concepts: composite operators and algebra constraints. Composite field operators, that naturally appear as a…
Given a bounded linear operator $T$ on separable Hilbert space, we develop an approach allowing one to construct a matrix representation for $T$ having certain specified algebraic or asymptotic structure. We obtain matrix representations…
We discuss some applications of fusion rules and intertwining operators in the representation theory of cyclic orbifolds of the triplet vertex operator algebra. We prove that the classification of irreducible modules for the orbifold vertex…
String theory is currently the most promising theory to explain the spectrum of the elementary particles and their interactions. One of its most important features is its large symmetry group, which contains the conformal transformations in…
Inference is a fundamental reasoning technique in probability theory. When applied to a large joint distribution, it involves updating with evidence (conditioning) in one or more components (variables) and computing the outcome in other…
Additive deformations of bialgebras in the sense of J. Wirth, i.e. deformations of the multiplication map fulfilling a certain compatibility condition w.r.t. the coalgebra structure, can be generalized to braided bialgebras. The theorems…
Let $A \subseteq E$ be an extension of Hopf algebras such that there exists a normal left $A$-module coalgebra map $\pi : E \to A$ that splits the inclusion. We shall describe the set of all coquasitriangular structures on the Hopf algebra…
We consider integer programming problems with bounded general-integer variables belonging to the general class of network flow problems. For those, we computationally investigate the effect on mixed-integer linear programming (MIP) solvers…
We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…
We explicitly construct the adjoint operator of coboundary operator and obtain the Hodge decomposition theorem and the Poincar\'e duality for the Lie algebra cohomology of the infinite-dimensional gauge transformation group. We show that…
We consider a recursive scheme for defining the coefficients in the operator product expansion (OPE) of an arbitrary number of composite operators in the context of perturbative, Euclidean quantum field theory in four dimensions. Our…
This paper considers the problem of invoking auxiliary, unobservable variables to facilitate the structuring of causal tree models for a given set of continuous variables. Paralleling the treatment of bi-valued variables in [Pearl 1986], we…
Starting with some known localization (matrix model) representations for correlators involving 1/2 BPS circular Wilson loop $\cal W$ in ${\cal N}=4$ SYM theory we work out their $1/N$ expansions in the limit of large 't Hooft coupling…
This is the second of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high performance solvers. The fundamental idea…