Symmetries in algebraic Property Testing

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2010.Cataloged from PDF version of thesis.Includes bibliographical references (p. 94-100).Modern computational tasks often involve large amounts of data, and efficiency is a very desirable feature of such algorithms. Local algorithms are especially attractive, since they can imply global properties by only inspecting a small window into the data. In Property Testing, a local algorithm should perform the task of distinguishing objects satisfying a given property from objects that require many modifications in order to satisfy the property. A special place in Property Testing is held by algebraic properties: they are some of the first properties to be tested, and have been heavily used in the PCP and LTC literature. We focus on conditions under which algebraic properties are testable, following the general goal of providing a more unified treatment of these properties. In particular, we explore the notion of symmetry in relation to testing, a direction initiated by Kaufman and Sudan. We investigate the interplay between local testing, symmetry and dual structure in linear codes, by showing both positive and negative results. On the negative side, we exhibit a counterexample to a conjecture proposed by Alon, Kaufman, Krivelevich, Litsyn, and Ron aimed at providing general sufficient conditions for testing. We show that a single codeword of small weight in the dual family together with the property of being invariant under a 2-transitive group of permutations do not necessarily imply testing. On the positive side, we exhibit a large class of codes whose duals possess a strong structural property ('the single orbit property'). Namely, they can be specified by a single codeword of small weight and the group of invariances of the code. Hence we show that sparsity and invariance under the affine group of permutations are sufficient conditions for a notion of very structured testing. These findings also reveal a new characterization of the extensively studied BCH codes. As a by-product, we obtain a more explicit description of structured tests for the special family of BCH codes of design distance 5.by Elena Grigorescu.Ph.D

Algebraic Structure of Discrete Zero Curvature Equations and Master Symmetries of Discrete Evolution Equations

An algebraic structure related to discrete zero curvature equations is established. It is used to give an approach for generating master symmetries of first degree for systems of discrete evolution equations and an answer to why there exist such master symmetries. The key of the theory is to generate nonisospectral flows $(\lambda_t=\lambda ^l, l\ge0)$ from the discrete spectral problem associated with a given system of discrete evolution equations. Three examples are given.Comment: 24 pages, LaTex, revise

Structure Preserving Discretizations of the Liouville Equation and their Numerical Tests

The main purpose of this article is to show how symmetry structures in partial differential equations can be preserved in a discrete world and reflected in difference schemes. Three different structure preserving discretizations of the Liouville equation are presented and then used to solve specific boundary value problems. The results are compared with exact solutions satisfying the same boundary conditions. All three discretizations are on four point lattices. One preserves linearizability of the equation, another the infinite-dimensional symmetry group as higher symmetries, the third one preserves the maximal finite-dimensional subgroup of the symmetry group as point symmetries. A 9-point invariant scheme that gives a better approximation of the equation, but significantly worse numerical results for solutions is presented and discussed

Two-dimensional models as testing ground for principles and concepts of local quantum physics

In the past two-dimensional models of QFT have served as theoretical laboratories for testing new concepts under mathematically controllable condition. In more recent times low-dimensional models (e.g. chiral models, factorizing models) often have been treated by special recipes in a way which sometimes led to a loss of unity of QFT. In the present work I try to counteract this apartheid tendency by reviewing past results within the setting of the general principles of QFT. To this I add two new ideas: (1) a modular interpretation of the chiral model Diff(S)-covariance with a close connection to the recently formulated local covariance principle for QFT in curved spacetime and (2) a derivation of the chiral model temperature duality from a suitable operator formulation of the angular Wick rotation (in analogy to the Nelson-Symanzik duality in the Ostertwalder-Schrader setting) for rational chiral theories. The SL(2,Z) modular Verlinde relation is a special case of this thermal duality and (within the family of rational models) the matrix S appearing in the thermal duality relation becomes identified with the statistics character matrix S. The relevant angular Euclideanization'' is done in the setting of the Tomita-Takesaki modular formalism of operator algebras. I find it appropriate to dedicate this work to the memory of J. A. Swieca with whom I shared the interest in two-dimensional models as a testing ground for QFT for more than one decade. This is a significantly extended version of an ``Encyclopedia of Mathematical Physics'' contribution hep-th/0502125.Comment: 55 pages, removal of some typos in section

An Introduction to Nuclear Supersymmetry: a Unification Scheme for Nuclei

The main ideas behind nuclear supersymmetry are presented, starting from the basic concepts of symmetry and the methods of group theory in physics. We propose new, more stringent experimental tests that probe the supersymmetry classification in nuclei and point out that specific correlations should exist for particle transfer intensities among supersymmetric partners. We also discuss possible ways to generalize these ideas to cases where no dynamical symmetries are present. The combination of these theoretical and experimental studies may play a unifying role in nuclear phenomena.Comment: 40 pages, 11 figures, lecture notes `VIII Hispalensis International Summer School: Exotic Nuclear Physics', Oromana, Sevilla, Spain, June 9-21, 200