Topological K-equivalence of analytic function-germs

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

ALGORITHM FOR COMPUTER PERCEPTION OF TOPOLOGICAL SYMMETRY

For the exhaustive and irredundant generation of candidate structures in ESESOC (Expert System for the Elucidation of the Structures of Organic Compounds), a new algorithm for computer perception of topological equivalence classes of the nodes (non-hydrog

On pairs of regular foliations in R(3) and singularities of map-germs

We study germs of pairs of codimension one regular foliations in R(3) . We show that the discriminant of the pair determines the topological type of the pair. We also consider various classifications of the singularities of the discriminant.

The dynamics of a one-dimensional parabolic problem versus the dynamics of its discretization

In this paper we prove that the spatial discretization of a one dimensional system of parabolic equations. with suitably small step size, contains exactly the same asymptotic dynamics as the continuous problem. (C) 2000 Academic Press.

Normal Forms for Codimension One Planar Piecewise Smooth Vector Fields

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Supersymmetric quantum mechanics on the lattice: III. Simulations and algorithms

In the fermion loop formulation the contributions to the partition function naturally separate into topological equivalence classes with a definite sign. This separation forms the basis for an efficient fermion simulation algorithm using a fluctuating open fermion string. It guarantees sufficient tunnelling between the topological sectors, and hence provides a solution to the fermion sign problem affecting systems with broken supersymmetry. Moreover, the algorithm shows no critical slowing down even in the massless limit and can hence handle the massless Goldstino mode emerging in the supersymmetry broken phase. In this paper – the third in a series of three – we present the details of the simulation algorithm and demonstrate its efficiency by means of a few examples.

Finiteness theorem for topological contact equivalence of map germs

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Noether and topological currents equivalence and soliton/particle correspondence in affine sl(2)((1)) Toda theory coupled to matter

A submodel of the so-called conformal affine Toda model coupled to the matter field (CATM) is defined such that its real Lagrangian has a positive-definite kinetic term for the Toda field and a usual kinetic term for the (Dirac) spinor field. After spontaneously broken the conformal symmetry by means of BRST analysis, we end up with an effective theory, the off-critical affine Toda model coupled to the matter (ATM). It is shown that the ATM model inherits the remarkable properties of the general CATM model such as the soliton solutions, the particle/soliton correspondence and the equivalence between the Noether and topological currents. The classical solitonic spectrum of the ATM model is also discussed. (C) 2001 Elsevier B.V. B.V. All rights reserved.

Topological phases, Majorana modes and quench dynamics in a spin ladder system

We explore the salient features of the `Kitaev ladder', a two-legged ladder version of the spin-1/2 Kitaev model on a honeycomb lattice, by mapping it to a one-dimensional fermionic p-wave superconducting system. We examine the connections between spin phases and topologically non-trivial phases of non-interacting fermionic systems, demonstrating the equivalence between the spontaneous breaking of global Z(2) symmetry in spin systems and the existence of isolated Majorana modes. In the Kitaev ladder, we investigate topological properties of the system in different sectors characterized by the presence or absence of a vortex in each plaquette of the ladder. We show that vortex patterns can yield a rich parameter space for tuning into topologically non-trivial phases. We introduce and employ a new topological invariant for explicitly determining the presence of zero energy Majorana modes at the boundaries of such phases. Finally, we discuss dynamic quenching between topologically non-trivial phases in the Kitaev ladder and, in particular, the post-quench dynamics governed by tuning through a quantum critical point.

Confinement, solitons and the equivalence between the sine-Gordon and massive Thirring models

We consider a two-dimensional integrable and conformally invariant field theory possessing two Dirac spinors and three scalar fields. The interaction couples bilinear terms in the spinors to exponentials of the scalars. Its integrability properties are based on the sl(2) affine Kac-Moody algebra, and it is a simple example of the so-called conformal affine Toda theories coupled to matter fields. We show, using bosonization techniques, that the classical equivalence between a U(1) Noether current and the topological current holds true at the quantum level, and then leads to a bag model like mechanism for the confinement of the spinor fields inside the solitons. By bosonizing the spinors we show that the theory decouples into a sine-Gordon model and free scalars. We construct the two-soliton solutions and show that their interactions lead to the same time delays as those for the sine-Gordon solitons. The model provides a good laboratory to test duality ideas in the context of the equivalence between the sine-Gordon and Thirring theories. © 2000 Elsevier Science B.V. All rights reserved.

Topological K-classification of finitely determined map germs

We consider smooth finitely C 0-K-determined map germs f: (ℝn, 0) → (ℝp, 0) and we look at the classification under C 0-K-equivalence. The main tool is the homotopy type of the link, which is obtained by intersecting the image of f with a small enough sphere centered at the origin. When f -1(0) = {0}, the link is a smooth map between spheres and f is C 0-K-equivalent to the cone of its link. When f -1(0) ≠ {0}, we consider a link diagram, which contains some extra information, but again f is C 0-K-equivalent to the generalized cone. As a consequence, we deduce some known results due to Nishimura (for n = p) or the first named author (for n < p). We also prove some new results of the same nature. © 2012 Springer Science+Business Media Dordrecht.

Regular and Other Kinds of Extensions of Topological Spaces

∗ This work was partially supported by the National Foundation for Scientific Researches at the Bulgarian Ministry of Education and Science under contract no. MM-427/94.

Strong shift equivalence, algebraic K-theory, and isolating zero-dimensional dynamics on manifolds

We study the relations of shift equivalence and strong shift equivalence for matrices over a ring $\mathcal{R}$, and establish a connection between these relations and algebraic K-theory. We utilize this connection to obtain results in two areas where the shift and strong shift equivalence relations play an important role: the study of finite group extensions of shifts of finite type, and the Generalized Spectral Conjectures of Boyle and Handelman for nonnegative matrices over subrings of the real numbers. We show the refinement of the shift equivalence class of a matrix $A$ over a ring $\mathcal{R}$ by strong shift equivalence classes over the ring is classified by a quotient $NK_{1}(\mathcal{R}) / E(A,\mathcal{R})$ of the algebraic K-group $NK_{1}(\calR)$. We use the K-theory of non-commutative localizations to show that in certain cases the subgroup $E(A,\mathcal{R})$ must vanish, including the case $A$ is invertible over $\mathcal{R}$. We use the K-theory connection to clarify the structure of algebraic invariants for finite group extensions of shifts of finite type. In particular, we give a strong negative answer to a question of Parry, who asked whether the dynamical zeta function determines up to finitely many topological conjugacy classes the extensions by $G$ of a fixed mixing shift of finite type. We apply the K-theory connection to prove the equivalence of a strong and weak form of the Generalized Spectral Conjecture of Boyle and Handelman for primitive matrices over subrings of $\mathbb{R}$. We construct explicit matrices whose class in the algebraic K-group $NK_{1}(\mathcal{R})$ is non-zero for certain rings $\mathcal{R}$ motivated by applications. We study the possible dynamics of the restriction of a homeomorphism of a compact manifold to an isolated zero-dimensional set. We prove that for $n \ge 3$ every compact zero-dimensional system can arise as an isolated invariant set for a homeomorphism of a compact $n$-manifold. In dimension two, we provide obstructions and examples.

Topological SLAM Using Fast Vision Techniques

In this paper we propose a method for vision only topological simultaneous localisation and mapping (SLAM). Our approach does not use motion or odometric information but a sequence of colour histograms from visited places. In particular, we address the perceptual aliasing problem which occurs using external observations only in topological navigation. We propose a Bayesian inference method to incrementally build a topological map by inferring spatial relations from the sequence of observations while simultaneously estimating the robot's location. The algorithm aims to build a small map which is consistent with local adjacency information extracted from the sequence measurements. Local adjacency information is incorporated to disambiguate places which otherwise would appear to be the same. Experiments in an indoor environment show that the proposed technique is capable of dealing with perceptual aliasing using visual observations only and successfully performs topological SLAM.