The Computational Complexity of Knot and Link Problems

We consider the problem of deciding whether a polygonal knot in 3-dimensional Euclidean space is unknotted, capable of being continuously deformed without self-intersection so that it lies in a plane. We show that this problem, {\sc unknotting problem} is in {\bf NP}. We also consider the problem, {\sc unknotting problem} of determining whether two or more such polygons can be split, or continuously deformed without self-intersection so that they occupy both sides of a plane without intersecting it. We show that it also is in NP. Finally, we show that the problem of determining the genus of a polygonal knot (a generalization of the problem of determining whether it is unknotted) is in {\bf PSPACE}. We also give exponential worst-case running time bounds for deterministic algorithms to solve each of these problems. These algorithms are based on the use of normal surfaces and decision procedures due to W. Haken, with recent extensions by W. Jaco and J. L. Tollefson.Comment: 32 pages, 1 figur

Beam-Normal Single Spin Asymmetry in Elastic Electron Scattering off 28^{28}Si and 90^{90}Zr

We report on a new measurement of the beam-normal single spin asymmetry $A_{\mathrm{n}}$ in the elastic scattering of 570 MeV transversely polarized electrons off $^{28}$Si and $^{90}$Zr at $Q^{2}=0.04\, \mathrm{GeV}^2/c^2$. The studied kinematics allow for a comprehensive comparison with former results on $^{12}$C. No significant mass dependence of the beam-normal single spin asymmetry is observed in the mass regime from $^{12}$C to $^{90}$Zr.Comment: Submitted for publication to Physics Letters

Loop operators and S-duality from curves on Riemann surfaces

We study Wilson-'t Hooft loop operators in a class of N=2 superconformal field theories recently introduced by Gaiotto. In the case that the gauge group is a product of SU(2) groups, we classify all possible loop operators in terms of their electric and magnetic charges subject to the Dirac quantization condition. We then show that this precisely matches Dehn's classification of homotopy classes of non-self-intersecting curves on an associated Riemann surface--the same surface which characterizes the gauge theory. Our analysis provides an explicit prediction for the action of S-duality on loop operators in these theories which we check against the known duality transformation in several examples.Comment: 41 page

Connected components of spaces of Morse functions with fixed critical points

Let $M$ be a smooth closed orientable surface and $F=F_{p,q,r}$ be the space of Morse functions on $M$ having exactly $p$ critical points of local minima, $q\ge1$ saddle critical points, and $r$ critical points of local maxima, moreover all the points are fixed. Let $F_f$ be the connected component of a function $f\in F$ in $F$. By means of the winding number introduced by Reinhart (1960), a surjection $\pi_0(F)\to{\mathbb Z}^{p+r-1}$ is constructed. In particular, $|\pi_0(F)|=\infty$, and the Dehn twist about the boundary of any disk containing exactly two critical points, exactly one of which is a saddle point, does not preserve $F_f$. Let $\mathscr D$ be the group of orientation preserving diffeomorphisms of $M$ leaving fixed the critical points, ${\mathscr D}^0$ be the connected component of ${\rm id}_M$ in $\mathscr D$, and ${\mathscr D}_f\subset{\mathscr D}$ the set of diffeomorphisms preserving $F_f$. Let ${\mathscr H}_f$ be the subgroup of ${\mathscr D}_f$ generated by ${\mathscr D}^0$ and all diffeomorphisms $h\in{\mathscr D}$ which preserve some functions $f_1\in F_f$, and let ${\mathscr H}_f^{\rm abs}$ be its subgroup generated ${\mathscr D}^0$ and the Dehn twists about the components of level curves of functions $f_1\in F_f$. We prove that ${\mathscr H}_f^{\rm abs}\subsetneq{\mathscr D}_f$ if $q\ge2$, and construct an epimorphism ${\mathscr D}_f/{\mathscr H}_f^{\rm abs}\to{\mathbb Z}_2^{q-1}$, by means of the winding number. A finite polyhedral complex $K=K_{p,q,r}$ associated to the space $F$ is defined. An epimorphism $\mu:\pi_1(K)\to{\mathscr D}_f/{\mathscr H}_f$ and finite generating sets for the groups ${\mathscr D}_f/{\mathscr D}^0$ and ${\mathscr D}_f/{\mathscr H}_f$ in terms of the 2-skeleton of the complex $K$ are constructed.Comment: 12 pages with 2 figures, in Russian, to be published in Vestnik Moskov. Univ., a typo in theorem 1 is correcte

On Dehn's algorithm

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/46211/1/208_2005_Article_BF01361168.pd

Topology of the spaces of Morse functions on surfaces

Let $M$ be a smooth closed orientable surface, and let $F$ be the space of Morse functions on $M$ such that at least $\chi(M)+1$ critical points of each function of $F$ are labeled by different labels (enumerated). Endow the space $F$ with $C^\infty$-topology. We prove the homotopy equivalence $F\sim R\times{\widetilde{\cal M}}$ where $R$ is one of the manifolds ${\mathbb R}P^3$, $S^1\times S^1$ and the point in dependence on the sign of $\chi(M)$, and ${\widetilde{\cal M}}$ is the universal moduli space of framed Morse functions, which is a smooth stratified manifold. Morse inequalities for the Betti numbers of the space $F$ are obtained.Comment: 15 pages, in Russia

Zum Stufenaufbau des Parallelenaxioms

Euclid 's parallel postulate is shown to be equivalent to the conjunction of the following two weaker postulates: “Any perpendicular to one side of a right angle intersects any perpendicular to the other side” and “For any acute angle Oxy, the segment PQ — where P is a point on O x , Q a point on O y and PQ ⊥ Oy — grows indefinitely, i. e. can be made longer than any given segment”.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/43033/1/22_2005_Article_BF01226859.pd

Harmonic Sums and Mellin Transforms up to two-loop Order

A systematic study is performed on the finite harmonic sums up to level four. These sums form the general basis for the Mellin transforms of all individual functions $f_i(x)$ of the momentum fraction $x$ emerging in the quantities of massless QED and QCD up to two--loop order, as the unpolarized and polarized splitting functions, coefficient functions, and hard scattering cross sections for space and time-like momentum transfer. The finite harmonic sums are calculated explicitly in the linear representation. Algebraic relations connecting these sums are derived to obtain representations based on a reduced set of basic functions. The Mellin transforms of all the corresponding Nielsen functions are calculated.Comment: 44 pages Latex, contract number adde