Related papers: On Braid Words and Irreflexivity
We say that a theory $T$ is intermediate under effective reducibility if the isomorphism problems among its computable models is neither hyperarithmetic nor on top under effective reducibility. We prove that if an infinitary sentence $T$ is…
This paper is about equality of proofs in which a binary predicate formalizing properties of equality occurs, besides conjunction and the constant true proposition. The properties of equality in question are those of a preordering relation,…
In this technical note we describe a pair of results on heterotic compactifications. First, we give an example demonstrating that the usual statement of the anomaly-freedom constraint for perturbative heterotic compactifications (meaning,…
The paper is devoted to modal properties of the ternary strict betweenness relation as used in the development of various systems of geometry. We show that such a relation is non-definable in a basic similarity type with a binary operator…
Topology is an important determinant of the behavior of a great number of condensed-matter systems, but until recently has played a minor role in elasticity. We develop a theory for the deformations of a class of twisted non-Euclidean…
We investigate the global GRAMMAR constraint over restricted classes of context free grammars like deterministic and unambiguous context-free grammars. We show that detecting disentailment for the GRAMMAR constraint in these cases is as…
A lossy compression algorithm for binary redundant memoryless sources is presented. The proposed scheme is based on sparse graph codes. By introducing a nonlinear function, redundant memoryless sequences can be compressed. We propose a…
Many materials of contemporary interest, such as gels, biological tissues and elastomers, are easily deformed but essentially incompressible. Traditional linear theory of elasticity implements incompressibility only to first order and thus…
Traditional symbolic reasoning engines, while attractive for their precision and explicability, have a few major drawbacks: the use of brittle inference procedures that rely on exact matching (unification) of logical terms, an inability to…
This article has the sole purpose of presenting a simple, self-contained and direct proof of the fact that the Pak-Stanley labeling is a bijection. The construction behind the proof is subsumed in a forthcoming paper [R. Duarte and A.…
This work discusses string compactifications on the torus with optional Z_4 x Z_4 or Z_2 x Z_2 orbifold action from the perspective of matrix factorizations. The method is brought to a level where model building on these backgrounds is…
We introduce natural language processing into the study of knot theory, as made natural by the braid word representation of knots. We study the UNKNOT problem of determining whether or not a given knot is the unknot. After describing an…
This paper is devoted to the investigation of the property of order separability for free products of groups.
The aim of this note is to show that weak relative hyperbolicity of a group relative to a subgroup (or relative hyperbolicity in the sense of Farb) does not imply any natural analogues of some well-known algebraic properties of ordinary…
In this note we introduce a construction which assigns to an arbitrary manifold bundle its fiberwise orientation covering. This is used to show that the zeta classes of unoriented surface bundles are not divisible in the stable range.
Degeneracy loci of morphisms between vector bundles have been used in a wide variety of situations. We introduce a vast generalization of this notion, based on orbit closures of algebraic groups in their linear representations. A preferred…
We describe the Dedekind cuts explicitly in terms of non-standard rational numbers. This leads to another construction of a Dedekind complete totally ordered field or, equivalently, to another proof of the consistency of the axioms of the…
Motivated by his work on the classification of countable homogeneous oriented graphs, Cherlin asked about the typical structure of oriented graphs (i) without a transitive triangle, or (ii) without an oriented triangle. We give an answer to…
We prove a theorem on the existence of global surfaces of section with prescribed spanning orbits and homology class. This result is a modification and a refinement of a result due to Fried, recast in terms of invariant measures instead of…
In this series of papers, the primary goal is to enumerate Hamiltonian cycles (HC's) on the grid cylinder graphs $P_{m+1}\times C_n$, where $n$ is allowed to grow whilst $m$ is fixed. In Part~I, we studied the so-called non-contractible…