Related papers: A prime decomposition theorem for the 2-string lin…
We reprove and extend a result of David Krebes (J. Knot Theory Ramif. 8 (1999), 321-352) giving an obstruction to embedding a tangle T into a link L. Closing the tangle up in the two obvious ways gives rise to two links, the numerator and…
We prove a general decomposition theorem for the modal $\mu$-calculus $L_\mu$ in the spirit of Feferman and Vaught's theorem for disjoint unions. In particular, we show that if a structure (i.e., transition system) is composed of two…
It has been shown by V. Colin that every tight contact 3-manifold can be written as a connected sum of prime manifolds. Here we prove that the summands in this decomposition are unique up to order and contactomorphism.
The original idea of proof nets can be formulated by means of interaction nets syntax. Additional machinery as switching, jumps and graph connectivity is needed in order to ensure correspondence between a proof structure and a correct proof…
We show that a closed orientable 3-manifold M admits an action of Z_p with fixed point set S^1 iff M can be obtained as the result of surgery on a p-periodic framed link L and Z_p acts freely on the components of L. We prove a similar…
We present a method to decompose a set of multivariate real polynomials into linear combinations of univariate polynomials in linear forms of the input variables. The method proceeds by collecting the first-order information of the…
This is the third paper in a series devoted to enumerating the prime alternating knots and links. This paper establishes a method for enumerating the prime alternating links. It is shown that one may choose any prime alternating link…
We argue that apart from the standard closed and open strings one may consider a third possibility that we call monodromic strings. The monodromic string propagating on a target looks like an ordinary open string (a mapping from a segment…
In this paper, we generalize the \textit{Clock Theorem} of Formal Knot Theory to knotoids in $S^2$. The clock theorem implies that clock states of a knotoid diagram form a lattice under transpositions. These states form the basis of many…
Using a previous classification result on symmetric additive 2-cocycles, we collect a variety of facts about the Lubin-Tate cohomology of formal groups to compute the 2-primary component of the scheme of symmetric multiplicative 2-cocycles.…
The spectrum of stable electrically and magnetically charged supersymmetric particles can change discontinuously due to the decay of these particles as the vacuum on the Coulomb branch is varied. We show that this decay process is well…
A transduction provides us with a way of using the monadic second-order language of a structure to make statements about a derived structure. Any transduction induces a relation on the set of these structures. This article presents a…
We study a BPS configuration in which four strings (of different type) meet at a point in $N = 2, D = 8$ supergravity, i.e., the low energy effective theory of $T^2$-compactified type II string theory. We demonstrate that the charge…
We introduce Flashback, a reversible string decomposition that repeatedly peels the maximal leading and trailing character runs from a sentinel-wrapped input, recording each pair as one bilateral token. Decomposition and reconstruction both…
Cosmic superstrings are introduced to non-experts. First D-branes and $(p,q)$ strings are discussed. Then we explain how tachyon condensation in the early universe may have produced F, D and $(p,q)$ strings. Warped geometries which can…
Tensor-ring decomposition of tensors plays a key role in various applications of tensor network representation in physics as well as in other fields. In most heuristic algorithms for the tensor-ring decomposition, one encounters the problem…
In this paper we develop a structure called Link Algebra, in which we present a Set with two binary operations and an axiom system developed from the study of graph theory and set/antiset theory, sowing main theorems and definitions. Once…
Is string theory uniquely determined by self-consistency? Causality and unitarity seemingly permit a multitude of putative deformations, at least at the level of two-to-two scattering. Motivated by this question, we initiate a systematic…
We determine the Dehn surgeries on 2-bridge links, which yield reducible 3-manifolds. Further, we show the conditions that we obtain a torus or cable knot from one component of a 2-bridge link by a surgery on another component.
We consider the decomposition of bounded linear operators on Hilbert spaces in terms of functions forming frames. Similar to the singular-value decomposition, the resulting frame decompositions encode information on the structure and…