Related papers: Generalized rational blow-down, torus knots, and E…
We determine the rational homology of the space of long knots in R^d for $d\geq4$. Our main result is that the Vassiliev spectral sequence computing this rational homology collapses at the E^1 page. As a corollary we get that the homology…
In this paper we consider all possible generalizations of the B-type Hecke algebras, namely the cyclotomic and what we call 'generalized', and we construct Markov traces on each of them, so as to obtain all possible different levels of…
A clear understanding of topology of higher-dimensional objects is important in many branches of both pure and applied mathematics. In this survey we attempt to present some results of higher-dimensional topology in a way which makes clear…
Trickle-down is a phenomenon in high-dimensional expanders with many important applications -- for example, it is a key ingredient in various constructions of high-dimensional expanders or the proof of rapid mixing for the basis exchange…
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…
An algorithm is presented that, taking a sequence of independent Bernoulli random variables with parameter $1/2$ as inputs and using only rational arithmetic, simulates a Bernoulli random variable with possibly irrational parameter $\tau$.…
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…
We provide algorithms to reconstruct rational ruled surfaces in three-dimensional projective space from the `apparent contour' of a single projection to the projective plane. We deal with the case of tangent developables and of general…
We study the rational Kontsevich integral of torus knots. We construct explicitely a series of diagrams made of circles joined together in a tree-like fashion and colored by some special rational functions. We show that this series codes…
We study the problem of minimizing the sum of three convex functions: a differentiable, twice-differentiable and a non-smooth term in a high dimensional setting. To this effect we propose and analyze a randomized block cubic Newton (RBCN)…
A fundamental question in the theory of quantum computation is to understand the ultimate space-time resource costs for performing a universal set of logical quantum gates to arbitrary precision. Here we demonstrate that non-Abelian anyons…
This paper describes a large set of related theorem proving problems obtained by translating theorems from the HOL4 standard library into multiple logical formalisms. The formalisms are in higher-order logic (with and without type…
The interplay between toric Calabi-Yau 3-folds, dimer integrable systems, and 5-dimensional quantum field theories has proved fruitful. We extend this framework to generalized toric polygons (GTPs) and show that their integrable systems…
A rational triangle is a triangle with rational sides and rational area. A Heron triangle is a triangle with integral sides and integral area. In this article we will show that there exist infinitely many rational parametrizations, in terms…
The Kitaev toric code is widely considered one of the leading candidates for error correction in fault-tolerant quantum computation. However, direct methods to increase its logical dimensions, such as lattice surgery or introducing…
Following Douady-Hubbard and Bartholdi-Nekrashevych, we give an algebraic formulation of Thurston's characterization of rational functions. The techniques developed are applied to the analysis of the dynamics on the set of free homotopy…
Using the universal torsor method due to Salberger, we study the approximation of a general fixed point by rational points on split toric varieties. We prove that under certain geometric hypothesis the best approximations (in the sense of…
The 3-strand pretzel knots and links are a well-studied source of examples in knot theory. However, while there have been computations of the Khovanov homology of some sub-families of 3-strand pretzel knots, no general formula has been…
Generalizing prior work of Levine, we give infinitely many examples of pattern knots P such that P(K) is not slice in any rational homology 4-ball, for any companion knot K. To show this, we establish a closed formula for the concordance…
Recently S. Chmutov introduced a generalization of the dual of a ribbon (or embedded) graph and proved a relation between Bollobas and Riordan's ribbon graph polynomial of a ribbon graph and its generalized duals. Here I show that the…