Related papers: A Construction of String 2-Group Models using a Tr…
In this note we study exceptional algebroids, focusing on their relation to type IIB superstring theory. We show that a IIB-exact exceptional algebroid (corresponding to the group $E_{n(n)}\times \mathbb{R}^+$, for $n\le 6$) locally has a…
We derive a massive double copy construction within string theory. To this end, we use massive vectors of the open string spectrum that appear in compactifications to four dimensions and construct massive spin-2 tensors as closed string…
Bayes' rule tells us how to invert a causal process in order to update our beliefs in light of new evidence. If the process is believed to have a complex compositional structure, we may observe that the inversion of the whole can be…
A 2-tree is a graph that can be formed by starting with a triangle and iterating the operation of making a new vertex adjacent to two adjacent vertices of the existing graph. Leizhen Cai asked in 1995 whether every maximal planar graph…
A classical theorem of Scheunert on $G$-color Lie algebras, asserts in the case of finitely generated abelian groups, one can twist the algebra structure and the commutation bicharacter on $G$ by a 2-cocycle twist to a super-Lie $G$ graded,…
In this work, we generalize the notion of character for 2-representations of finite 2-groups. The properties of 2-characters bear strong similarities to those classical characters of finite groups, including conjugation invariance,…
We consider the gauge algebra of closed string field theory with a focus on diffeomorphisms. This algebra contains off-shell information in two ways. The first way is geometric, through the choice of three-punctured sphere defining the…
We develop a basic theory for divisible design graphs with possible selfloops (LDDG's), and describe two infinite families of such graphs, some members of which are also classical examples of divisible design graphs without loops (DDG's).…
The recent developments in string theory suggest that the space-time coordinates should be generalized to non-commuting matrices. Postulating this suggestion as the fundamental geometrical principle, we formulate a candidate for covariant…
It is shown that the problem of reduction can be formulated in a uniform way using the theory of invariants. This provides a powerful tool of analysis and it opens the road to new applications of these algebras, beyond the context of…
The worldvolume theory of coincident M5-branes is expected to contain a nonabelian 2-form/nonabelian gerbe gauge theory that is a higher analog of self-dual Yang-Mills theory. But the precise details -- in particular the global moduli /…
Selecting input variables or design points for statistical models has been of great interest in adaptive design and active learning. Motivated by two scientific examples, this paper presents a strategy of selecting the design points for a…
We revisit the static dependency pair method for proving termination of higher-order term rewriting and extend it in a number of ways: (1) We introduce a new rewrite formalism designed for general applicability in termination proving of…
The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are the fully complete ones. We demonstrate how the Hyland-Tan…
We provide a visual and intuitive introduction to effectively calculating in 2-groups along with explicit examples coming from non-abelian 1- and 2-form gauge theory. In particular, we utilize string diagrams, tools similar to tensor…
The existence of an infinite simple boundedly generated 2-generated group and the existence of a boundedly simple 2-generated group containing a free non-cyclic subgroup are proved.
An account of two fundamental facts concerning finitely generated linear groups: Malcev's theorem on residual finiteness, and Selberg's lemma on virtual torsion-freeness.
Lexicalized parsing models are based on the assumptions that (i) constituents are organized around a lexical head (ii) bilexical statistics are crucial to solve ambiguities. In this paper, we introduce an unlexicalized transition-based…
Given a Lie group G, one constructs a principal G-bundle on a manifold X by taking a cover U of X, specifying a transition cocycle on the cover, and descending the trivialized bundle along the cover. We demonstrate the existence of an…
We discuss a class of selection rules which i) do not come from group actions on fields, ii) are exact at tree level in perturbation theory, iii) are increasingly violated as the loop order is raised, and iv) eventually reduce to selection…