On the Turaev-Viro endomorphism, and the colored Jones polynomial

By applying a variant of the TQFT constructed by Blanchet, Habegger, Masbaum, and Vogel, and using a construction of Ohtsuki, we define a module endomorphism for each knot K by using a tangle obtained from a surgery presentation of K. We show that it is strong shift equivalent to the Turaev-Viro endomorphism associated to K. Following Viro, we consider the endomorphisms that one obtains after coloring the meridian and longitude of the knot. We show that the traces of these endomorphisms encode the same information as the colored Jones polynomials of K at a root of unity. Most of the discussion is carried out in the more general setting of infinite cyclic covers of 3-manifolds.Comment: 27 pages, 18 figures, typos corrected, expositional change

Supervisor Localization of Discrete-Event Systems based on State Tree Structures

Recently we developed supervisor localization, a top-down approach to distributed control of discrete-event systems in the Ramadge-Wonham supervisory control framework. Its essence is the decomposition of monolithic (global) control action into local control strategies for the individual agents. In this paper, we establish a counterpart supervisor localization theory in the framework of State Tree Structures, known to be efficient for control design of very large systems. In the new framework, we introduce the new concepts of local state tracker, local control function, and state-based local-global control equivalence. As before, we prove that the collective localized control behavior is identical to the monolithic optimal (i.e. maximally permissive) and nonblocking controlled behavior. In addition, we propose a new and more efficient localization algorithm which exploits BDD computation. Finally we demonstrate our localization approach on a model for a complex semiconductor manufacturing system

Resolving single molecule structures with Nitrogen-vacancy centers in diamond.

We present theoretical proposals for two-dimensional nuclear magnetic resonance spectroscopy protocols based on Nitrogen-vacancy (NV) centers in diamond that are strongly coupled to the target nuclei. Continuous microwave and radio-frequency driving fields together with magnetic field gradients achieve Hartmann-Hahn resonances between NV spin sensor and selected nuclei for control of nuclear spins and subsequent measurement of their polarization dynamics. The strong coupling between the NV sensor and the nuclei facilitates coherence control of nuclear spins and relaxes the requirement of nuclear spin polarization to achieve strong signals and therefore reduced measurement times. Additionally, we employ a singular value thresholding matrix completion algorithm to further reduce the amount of data required to permit the identification of key features in the spectra of strongly sub-sampled data. We illustrate the potential of this combined approach by applying the protocol to a shallowly implanted NV center addressing a small amino acid, alanine, to target specific hydrogen nuclei and to identify the corresponding peaks in their spectra

Completeness Results for Parameterized Space Classes

The parameterized complexity of a problem is considered "settled" once it has been shown to lie in FPT or to be complete for a class in the W-hierarchy or a similar parameterized hierarchy. Several natural parameterized problems have, however, resisted such a classification. At least in some cases, the reason is that upper and lower bounds for their parameterized space complexity have recently been obtained that rule out completeness results for parameterized time classes. In this paper, we make progress in this direction by proving that the associative generability problem and the longest common subsequence problem are complete for parameterized space classes. These classes are defined in terms of different forms of bounded nondeterminism and in terms of simultaneous time--space bounds. As a technical tool we introduce a "union operation" that translates between problems complete for classical complexity classes and for W-classes.Comment: IPEC 201

Dissipative Effects on the Superfluid to Insulator Transition in Mixed-dimensional Optical Lattices

We study the superfluid to Mott insulator transition of a mixture of heavy bosons and light fermions loaded in an optical lattice. We focus on the effect of the light fermions on the dynamics of the heavy bosons. It is shown that, when the lattice potential is sufficiently deep to confine the bosons to one dimension but allowing the fermions to freely move in three dimensions (i.e. a mixed-dimensionality lattice), the fermions act as an ohmic bath for bosons leading to screening and dissipation effects on the bosons. Using a perturbative renormalization-group analysis, it is shown that the fermion-induced dissipative effects have no appreciable impact on the transition from the superfluid to the Mott-insulator state at integer filling. On the other hand, dissipative effects are found to be very important in the half-filled case near the critical point. In this case, in the presence of a finite incommensurability that destabilizes the Mott phase, the bosons can still be localized by virtue of dissipative effects.Comment: 10 pages, 8 figure