DOCSLIB.ORG

LINEAR ALGEBRA METHODS in COMBINATORICS László Babai

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
LINEAR ALGEBRA METHODS in COMBINATORICS László Babai LINEAR ALGEBRA METHODS IN COMBINATORICS L´aszl´oBabai and P´eterFrankl Version 2.1∗ March 2020 ||||| ∗ Slight update of Version 2, 1992. ||||||||||||||||||||||| 1 c L´aszl´oBabai and P´eterFrankl. 1988, 1992, 2020. Preface Due perhaps to a recognition of the wide applicability of their elementary concepts and techniques, both combinatorics and linear algebra have gained increased representation in college mathematics curricula in recent decades. The combinatorial nature of the determinant expansion (and the related difficulty in teaching it) may hint at the plausibility of some link between the two areas. A more profound connection, the use of determinants in combinatorial enumeration goes back at least to the work of Kirchhoff in the middle of the 19th century on counting spanning trees in an electrical network. It is much less known, however, that quite apart from the theory of determinants, the elements of the theory of linear spaces has found striking applications to the theory of families of finite sets. With a mere knowledge of the concept of linear independence, unexpected connections can be made between algebra and combinatorics, thus greatly enhancing the impact of each subject on the student's perception of beauty and sense of coherence in mathematics. If these adjectives seem inflated, the reader is kindly invited to open the first chapter of the book, read the first page to the point where the first result is stated (\No more than 32 clubs can be formed in Oddtown"), and try to prove it before reading on. (The effect would, of course, be magnified if the title of this volume did not give away where to look for clues.) What we have said so far may suggest that the best place to present this material is a mathematics enhancement program for motivated high school students. While we contend that parts of the first four chapters could well support such a program, the techniques presented also provide powerful research tools in combinatorics and related areas such as combinatorial geometry and theoretical models of computation. A striking example from geometry is the a disproof in the early 1990s of Borsuk's then over half-century old, much studied conjecture on decomposing n-dimensional solids of a given diameter into pieces of smaller diameter. What Borsuk conjectured was that n + 1 pieces always suffice. This conjecture was widely believed to be true; it was verified for various classes of solids, including centrally symmetrical ones, and those with a smooth boundary. The disproof by Kahn and Kalai (1992), to be presented as Theorem 5.23 in Chapter 5 was stunning both for its force and for its simplicity. It did not just beat the conjectured bound c L´aszl´oBabai and P´eterFrankl. 1988, 1992, 2020. i by a trifle: it producedp an infinite family where the minimum number of pieces grew as an exponential function of n. Yet the proof took only a page to describe, with reference to a combinatorial result which occupies a central place in this book.1 Rather than presenting as many results as possible, we have concentrated on developing techniques and showing different methods to yield different proofs and a variety of gener- alizations to a small set of focal results. The eclectic collection of exercises serves to add both in depth and in breadth to the scope of the book. Many exercises are accompanied with \Hints"; and full solutions are given in an appendix (\Answers to exercises") to those exercises marked with a diamond (}). Asteriscs indicate the degree of difficulty. Most results are motivated by applications. Discrete geometry is a prime target. Appli- cations to the theory of computing are prominent in several sections (computational learning theory (Section 7.4), communication complexity theory (Chap. 10.1)). But the theory of computing plays a more subtle role in motivating many of the concepts, even though this may often not be obvious. A brief survey at the end makes some of these connection explicit (Section 10.2). One problem area of cardinal importance to the theory of computing is the problem of finding explicit constructions for combinatorial and geometric objects whose existence is known through probabilistic arguments. Such problems tend to be notoriously hard; in the precious few successful attempts on record, methods of algebra and number theory have been the winners. In this volume, an explicit Ramsey graph construction (Sec- tions 4.2, 5.7) serves as simple illustration of the phenomenon. Some of the much more complex examples known to be directly relevant to the theory of computing are mentioned briefly, along with a number of open problems in this area (Section 10.2). Having said this, naturally, the prime application area of the methods presented remains combinatorics, especially the theory of extremal set systems. We have made an effort to motivate each combinatorial application area and to give some idea about the alternative (non-linear-algebra) approaches to the same area. We have done our best to make all material accessible to undergraduates with some ex- posure to linear algebra (determinants, matrix multiplication) and a degree of mathematical maturity, the only prerequisites to starting on this book. Although the notion of fields and their characteristic are used throughout, the reader will lose little by taking the term “field of characteristic p" to be a synonym of the domain f0; 1; : : : ; p − 1g with operations performed modulo p where p is a prime number; and the term “field of characteristic zero" to mean the domain Q of rational numbers or R, the real numbers. Algebraic techniques not normally covered in standard courses (such as affine subspaces, orthogonality in spaces over finite fields, the exterior algebra, subspaces in general position) are introduced in full detail. An occasional review of the relevant chapters of a text on abstract algebra or the elements of number theory might be helpful; the review sections of Chapter 2 are specifically intended to guide such recollection. In an effort to keep prerequisites to a minimum, the size of the volume manageable, and 1Sections 5.4 and 5.6 together give a complete and self-contained proof of this surprising result. ii ||||||||||||||||||||||| c L´aszl´oBabai and P´eterFrankl. 1988, 1992, 2020. to minimize the overlap with existing texts and monographs, we have omitted major areas that would fit the title of the book. The most painful omission is that of spectral (eigenvalue) methods. However, excellent expositions of some of these methods are easily accessible for the more advanced reader (see e. g., in increasing order of demand on the reader, Chapter 11 of Lov´asz(1979c), Biggs (1974), Godsil (1989), Brouwer, Cohen, Neumaier (1989), Bannai, Ito (1984)). The list of major relevant areas omitted or hardly touched upon in the present volume includes { spectral techniques in the study of highly regular structures (strongly regular graphs, association schemes, designs, finite geometries); { algebraic theory of error correcting codes; { spectral techniques in the study of properties of graphs such as connectivity and ex- pansion, diameter, independent sets, chromatic number; { finite Markov chains; { matroids: a combinatorial model of linear independence; { linear programming and combinatorial optimization; { lattices and the \geometry of numbers"; { applications to the design of efficient algorithms; { applications to lower bound, simulation, and randomization techniques in various mod- els of computation and communication. While this may look like too long a list to ignore, we feel that the modest material we do cover is in areas in the most pressing need of exposition. The intended audience of the text includes undergraduates, graduate students and re- searchers working in discrete mathematics, discrete geometry, the theory of computing, ap- plications of algebra, as well as open-minded mathematicians irrespective of their specific area of interest. The text can be used as course material in several ways. First of all, it can be the text for a one-semester graduate course, providing techniques for research level open problems. Some other recipes for classroom use: • Use Chapters 1{5 embedded in an introductory course on combinatorics. • Use Chapters 5{7 embedded in an advanced course on combinatorics. • Present parts of Chapters 1 and 4 as entertaining applications in an introductory course on linear algebra. ||||||||||||||||||||||| iii c L´aszl´oBabai and P´eterFrankl. 1988, 1992, 2020. • Use Chapter 6 to introduce and motivate wedge products. • Select material from Chapters 3, 5, and 6 to show delightful applications of the elements of abstract algebra. • Present the full proof of the Kahn{Kalai Theorem (Sections 5.4{5.6) in just two classes in a \Topics" course. • Advise students to review their basic abstract and linear algebra along the outline given in Chapter 2 and parts of Chapter 3. Note that, while these two chapters are in- troductory in character, substantial results appear already in Chapter 3. These include Gale's Theorem on how to distribute points on a sphere evenly, and the resultant proof by B´ar´any of Kneser's Conjecture on the chromatic number of certain graphs. A puz- zling computational problem, with Jacob Schwartz's amusing Monte Carlo algorithm to solve it, appears in Section 3.1.4. The material can be used in conjunction with other texts on combinatorics. A combina- tion with one of the following is especially recommended: Ian Anderson, Combinatorics of finite sets, Oxford University Press, 1987; B´elaBollob´as, Combinatorics, Cambridge University Press 1986; or in an advanced seminar with Chapters 8, 9, and 13 of L´aszl´oLov´asz, Combinatorial Problems and Exercises, North{Holland 1979. Most of the combinations suggested above have been tried out in a variety of course settings on audiences of widely varying backgrounds. The presentation of the material is based on classroom experience gathered by the authors at E¨otv¨osUniversity, Budapest; The University of Chicago; Tokai University, Hiratsuka; and the University of Tokyo.
Load more

Recommended publications
  • Algebraic Combinatorics and Finite Geometry
    An Introduction to Algebraic Graph Theory Erdos-Ko-Rado˝ results Cameron-Liebler sets in PG(3; q) Cameron-Liebler k-sets in PG(n; q) Algebraic Combinatorics and Finite Geometry Leo Storme Ghent University Department of Mathematics: Analysis, Logic and Discrete Mathematics Krijgslaan 281 - Building S8 9000 Ghent Belgium Francqui Foundation, May 5, 2021 Leo Storme Algebraic Combinatorics and Finite Geometry An Introduction to Algebraic Graph Theory Erdos-Ko-Rado˝ results Cameron-Liebler sets in PG(3; q) Cameron-Liebler k-sets in PG(n; q) ACKNOWLEDGEMENT Acknowledgement: A big thank you to Ferdinand Ihringer for allowing me to use drawings and latex code of his slide presentations of his lectures for Capita Selecta in Geometry (Ghent University). Leo Storme Algebraic Combinatorics and Finite Geometry An Introduction to Algebraic Graph Theory Erdos-Ko-Rado˝ results Cameron-Liebler sets in PG(3; q) Cameron-Liebler k-sets in PG(n; q) OUTLINE 1 AN INTRODUCTION TO ALGEBRAIC GRAPH THEORY 2 ERDOS˝ -KO-RADO RESULTS 3 CAMERON-LIEBLER SETS IN PG(3; q) 4 CAMERON-LIEBLER k-SETS IN PG(n; q) Leo Storme Algebraic Combinatorics and Finite Geometry An Introduction to Algebraic Graph Theory Erdos-Ko-Rado˝ results Cameron-Liebler sets in PG(3; q) Cameron-Liebler k-sets in PG(n; q) OUTLINE 1 AN INTRODUCTION TO ALGEBRAIC GRAPH THEORY 2 ERDOS˝ -KO-RADO RESULTS 3 CAMERON-LIEBLER SETS IN PG(3; q) 4 CAMERON-LIEBLER k-SETS IN PG(n; q) Leo Storme Algebraic Combinatorics and Finite Geometry An Introduction to Algebraic Graph Theory Erdos-Ko-Rado˝ results Cameron-Liebler sets in PG(3; q) Cameron-Liebler k-sets in PG(n; q) DEFINITION A graph Γ = (X; ∼) consists of a set of vertices X and an anti-reflexive, symmetric adjacency relation ∼ ⊆ X × X.
    [Show full text]
  • The Geometry of Syzygies
    The Geometry of Syzygies A second course in Commutative Algebra and Algebraic Geometry David Eisenbud University of California, Berkeley with the collaboration of Freddy Bonnin, Clement´ Caubel and Hel´ ene` Maugendre For a current version of this manuscript-in-progress, see www.msri.org/people/staff/de/ready.pdf Copyright David Eisenbud, 2002 ii Contents 0 Preface: Algebra and Geometry xi 0A What are syzygies? . xii 0B The Geometric Content of Syzygies . xiii 0C What does it mean to solve linear equations? . xiv 0D Experiment and Computation . xvi 0E What’s In This Book? . xvii 0F Prerequisites . xix 0G How did this book come about? . xix 0H Other Books . 1 0I Thanks . 1 0J Notation . 1 1 Free resolutions and Hilbert functions 3 1A Hilbert’s contributions . 3 1A.1 The generation of invariants . 3 1A.2 The study of syzygies . 5 1A.3 The Hilbert function becomes polynomial . 7 iii iv CONTENTS 1B Minimal free resolutions . 8 1B.1 Describing resolutions: Betti diagrams . 11 1B.2 Properties of the graded Betti numbers . 12 1B.3 The information in the Hilbert function . 13 1C Exercises . 14 2 First Examples of Free Resolutions 19 2A Monomial ideals and simplicial complexes . 19 2A.1 Syzygies of monomial ideals . 23 2A.2 Examples . 25 2A.3 Bounds on Betti numbers and proof of Hilbert’s Syzygy Theorem . 26 2B Geometry from syzygies: seven points in P3 .......... 29 2B.1 The Hilbert polynomial and function. 29 2B.2 . and other information in the resolution . 31 2C Exercises . 34 3 Points in P2 39 3A The ideal of a finite set of points .
    [Show full text]
  • UNIT-I Mathematical Logic Statements and Notations
    UNIT-I Mathematical Logic Statements and notations: A proposition or statement is a declarative sentence that is either true or false (but not both). For instance, the following are propositions: “Paris is in France” (true), “London is in Denmark” (false), “2 < 4” (true), “4 = 7 (false)”. However the following are not propositions: “what is your name?” (this is a question), “do your homework” (this is a command), “this sentence is false” (neither true nor false), “x is an even number” (it depends on what x represents), “Socrates” (it is not even a sentence). The truth or falsehood of a proposition is called its truth value. Connectives: Connectives are used for making compound propositions. The main ones are the following (p and q represent given propositions): Name Represented Meaning Negation ¬p “not p” Conjunction p q “p and q” Disjunction p q “p or q (or both)” Exclusive Or p q “either p or q, but not both” Implication p ⊕ q “if p then q” Biconditional p q “p if and only if q” Truth Tables: Logical identity Logical identity is an operation on one logical value, typically the value of a proposition that produces a value of true if its operand is true and a value of false if its operand is false. The truth table for the logical identity operator is as follows: Logical Identity p p T T F F Logical negation Logical negation is an operation on one logical value, typically the value of a proposition that produces a value of true if its operand is false and a value of false if its operand is true.
    [Show full text]
  • GL(N, Q)-Analogues of Factorization Problems in the Symmetric Group Joel Brewster Lewis, Alejandro H
    GL(n, q)-analogues of factorization problems in the symmetric group Joel Brewster Lewis, Alejandro H. Morales To cite this version: Joel Brewster Lewis, Alejandro H. Morales. GL(n, q)-analogues of factorization problems in the sym- metric group. 28-th International Conference on Formal Power Series and Algebraic Combinatorics, Simon Fraser University, Jul 2016, Vancouver, Canada. hal-02168127 HAL Id: hal-02168127 https://hal.archives-ouvertes.fr/hal-02168127 Submitted on 28 Jun 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. FPSAC 2016 Vancouver, Canada DMTCS proc. BC, 2016, 755–766 GLn(Fq)-analogues of factorization problems in Sn Joel Brewster Lewis1y and Alejandro H. Morales2z 1 School of Mathematics, University of Minnesota, Twin Cities 2 Department of Mathematics, University of California, Los Angeles Abstract. We consider GLn(Fq)-analogues of certain factorization problems in the symmetric group Sn: rather than counting factorizations of the long cycle (1; 2; : : : ; n) given the number of cycles of each factor, we count factorizations of a regular elliptic element given the fixed space dimension of each factor. We show that, as in Sn, the generating function counting these factorizations has attractive coefficients after an appropriate change of basis.
    [Show full text]
  • The Dehn-Sydler Theorem Explained
    The Dehn-Sydler Theorem Explained Rich Schwartz February 16, 2010 1 Introduction The Dehn-Sydler theorem says that two polyhedra in R3 are scissors con- gruent iff they have the same volume and Dehn invariant. Dehn [D] proved in 1901 that equality of the Dehn invariant is necessary for scissors congru- ence. 64 years passed, and then Sydler [S] proved that equality of the Dehn invariant (and volume) is sufficient. In [J], Jessen gives a simplified proof of Sydler’s Theorem. The proof in [J] relies on two results from homolog- ical algebra that are proved in [JKT]. Also, to get the cleanest statement of the result, one needs to combine the result in [J] (about stable scissors congruence) with Zylev’s Theorem, which is proved in [Z]. The purpose of these notes is to explain the proof of Sydler’s theorem that is spread out in [J], [JKT], and [Z]. The paper [J] is beautiful and efficient, and I can hardly improve on it. I follow [J] very closely, except that I simplify wherever I can. The only place where I really depart from [J] is my sketch of the very difficult geometric Lemma 10.1, which is known as Sydler’s Fundamental Lemma. To supplement these notes, I made an interactive java applet that renders Sydler’s Fundamental Lemma transparent. The applet departs even further from Jessen’s treatment. [JKT] leaves a lot to be desired. The notation in [JKT] does not match the notation in [J] and the theorems proved in [JKT] are much more general than what is needed for [J].
    [Show full text]
  • Schaum's Outline of Linear Algebra (4Th Edition)
    SCHAUM’S SCHAUM’S outlines outlines Linear Algebra Fourth Edition Seymour Lipschutz, Ph.D. Temple University Marc Lars Lipson, Ph.D. University of Virginia Schaum’s Outline Series New York Chicago San Francisco Lisbon London Madrid Mexico City Milan New Delhi San Juan Seoul Singapore Sydney Toronto Copyright © 2009, 2001, 1991, 1968 by The McGraw-Hill Companies, Inc. All rights reserved. Except as permitted under the United States Copyright Act of 1976, no part of this publication may be reproduced or distributed in any form or by any means, or stored in a database or retrieval system, without the prior writ- ten permission of the publisher. ISBN: 978-0-07-154353-8 MHID: 0-07-154353-8 The material in this eBook also appears in the print version of this title: ISBN: 978-0-07-154352-1, MHID: 0-07-154352-X. All trademarks are trademarks of their respective owners. Rather than put a trademark symbol after every occurrence of a trademarked name, we use names in an editorial fashion only, and to the benefit of the trademark owner, with no intention of infringement of the trademark. Where such designations appear in this book, they have been printed with initial caps. McGraw-Hill eBooks are available at special quantity discounts to use as premiums and sales promotions, or for use in corporate training programs. To contact a representative please e-mail us at [email protected]. TERMS OF USE This is a copyrighted work and The McGraw-Hill Companies, Inc. (“McGraw-Hill”) and its licensors reserve all rights in and to the work.
    [Show full text]
  • Problems in Abstract Algebra
    STUDENT MATHEMATICAL LIBRARY Volume 82 Problems in Abstract Algebra A. R. Wadsworth 10.1090/stml/082 STUDENT MATHEMATICAL LIBRARY Volume 82 Problems in Abstract Algebra A. R. Wadsworth American Mathematical Society Providence, Rhode Island Editorial Board Satyan L. Devadoss John Stillwell (Chair) Erica Flapan Serge Tabachnikov 2010 Mathematics Subject Classification. Primary 00A07, 12-01, 13-01, 15-01, 20-01. For additional information and updates on this book, visit www.ams.org/bookpages/stml-82 Library of Congress Cataloging-in-Publication Data Names: Wadsworth, Adrian R., 1947– Title: Problems in abstract algebra / A. R. Wadsworth. Description: Providence, Rhode Island: American Mathematical Society, [2017] | Series: Student mathematical library; volume 82 | Includes bibliographical references and index. Identifiers: LCCN 2016057500 | ISBN 9781470435837 (alk. paper) Subjects: LCSH: Algebra, Abstract – Textbooks. | AMS: General – General and miscellaneous specific topics – Problem books. msc | Field theory and polyno- mials – Instructional exposition (textbooks, tutorial papers, etc.). msc | Com- mutative algebra – Instructional exposition (textbooks, tutorial papers, etc.). msc | Linear and multilinear algebra; matrix theory – Instructional exposition (textbooks, tutorial papers, etc.). msc | Group theory and generalizations – Instructional exposition (textbooks, tutorial papers, etc.). msc Classification: LCC QA162 .W33 2017 | DDC 512/.02–dc23 LC record available at https://lccn.loc.gov/2016057500 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society.
    [Show full text]
  • Abstract Algebra
    Abstract Algebra Martin Isaacs, University of Wisconsin-Madison (Chair) Patrick Bahls, University of North Carolina, Asheville Thomas Judson, Stephen F. Austin State University Harriet Pollatsek, Mount Holyoke College Diana White, University of Colorado Denver 1 Introduction What follows is a report summarizing the proposals of a group charged with developing recommendations for undergraduate curricula in abstract algebra.1 We begin by articulating the principles that shaped the discussions that led to these recommendations. We then indicate several learning goals; some of these address specific content areas and others address students' general development. Next, we include three sample syllabi, each tailored to meet the needs of specific types of institutions and students. Finally, we present a brief list of references including sample texts. 2 Guiding Principles We lay out here several principles that underlie our recommendations for undergraduate Abstract Algebra courses. Although these principles are very general, we indicate some of their specific implications in the discussions of learning goals and curricula below. Diversity of students We believe that a course in Abstract Algebra is valuable for a wide variety of students, including mathematics majors, mathematics education majors, mathematics minors, and majors in STEM disciplines such as physics, chemistry, and computer science. Such a course is essential preparation for secondary teaching and for many doctoral programs in mathematics. Moreover, algebra can capture the imagination of students whose attraction to mathematics is primarily to structure and abstraction (for example, 1As with any document that is produced by a committee, there were some disagreements and compromises. The committee members had many lively and spirited communications on what undergraduate Abstract Algebra should look like for the next ten years.
    [Show full text]
  • Breakthrough in My Favorite Open Problem of Mathematics: Chromatic Number of the Plane Alexander Soifer
    Breakthrough in My Favorite Open Problem of Mathematics: Chromatic Number of the Plane Alexander Soifer [I] can’t offer money for nice problems of other people because then I will really go broke… It is a very nice problem. If it were mine, I would offer $250 for it. – Paul Erdős Boca Raton, February 1992 1. Chromatic Number of the Plane: The Problem On behalf of all enthusiasts of this problem, let me express gratitude to my friend, the late Edward Nelson, who created this problem at a tender age of 18 in November 1950: What is the smallest number of colors sufficient for coloring the plane in such a way that no two points of the same color are unit distance apart? This number is called the chromatic number of the plane and is denoted by . In 1961, the Swiss geometer Hugo Hadwiger admitted that he was not the author of the problem, even though the name “Harwiger-Nelson” got stuck to the problem, just as Cardano did not author the Cardano Formula, and Pythagoras Theorem was known a millennium before the great Greek was born. Such is life with credits in mathematics. Right at problem’s birth, Eddie Nelson determined the lower bound of 4, and his 20-year old friend John Isbell, 20 figured out the upper bound of 7: = 4, or 5, or 6, or 7 A very broad spread. Which one is the value of ? Paul Erd"os thought 5. On May 28, 2009, during the DIMACS Ramsey Theory International Workshop that I organized on request of DIMACS Director Fred Roberts, I asked the distinguished audience to determine the chromatic number of the plane by democratic means of a vote.
    [Show full text]
  • New Approaches for Memristive Logic Computations
    Portland State University PDXScholar Dissertations and Theses Dissertations and Theses 6-6-2018 New Approaches for Memristive Logic Computations Muayad Jaafar Aljafar Portland State University Let us know how access to this document benefits ouy . Follow this and additional works at: https://pdxscholar.library.pdx.edu/open_access_etds Part of the Electrical and Computer Engineering Commons Recommended Citation Aljafar, Muayad Jaafar, "New Approaches for Memristive Logic Computations" (2018). Dissertations and Theses. Paper 4372. 10.15760/etd.6256 This Dissertation is brought to you for free and open access. It has been accepted for inclusion in Dissertations and Theses by an authorized administrator of PDXScholar. For more information, please contact [email protected]. New Approaches for Memristive Logic Computations by Muayad Jaafar Aljafar A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Electrical and Computer Engineering Dissertation Committee: Marek A. Perkowski, Chair John M. Acken Xiaoyu Song Steven Bleiler Portland State University 2018 © 2018 Muayad Jaafar Aljafar Abstract Over the past five decades, exponential advances in device integration in microelectronics for memory and computation applications have been observed. These advances are closely related to miniaturization in integrated circuit technologies. However, this miniaturization is reaching the physical limit (i.e., the end of Moore’s Law). This miniaturization is also causing a dramatic problem of heat dissipation in integrated circuits. Additionally, approaching the physical limit of semiconductor devices in fabrication process increases the delay of moving data between computing and memory units hence decreasing the performance. The market requirements for faster computers with lower power consumption can be addressed by new emerging technologies such as memristors.
    [Show full text]
  • Abstract Algebra
    Abstract Algebra Paul Melvin Bryn Mawr College Fall 2011 lecture notes loosely based on Dummit and Foote's text Abstract Algebra (3rd ed) Prerequisite: Linear Algebra (203) 1 Introduction Pure Mathematics Algebra Analysis Foundations (set theory/logic) G eometry & Topology What is Algebra? • Number systems N = f1; 2; 3;::: g \natural numbers" Z = f:::; −1; 0; 1; 2;::: g \integers" Q = ffractionsg \rational numbers" R = fdecimalsg = pts on the line \real numbers" p C = fa + bi j a; b 2 R; i = −1g = pts in the plane \complex nos" k polar form re iθ, where a = r cos θ; b = r sin θ a + bi b r θ a p Note N ⊂ Z ⊂ Q ⊂ R ⊂ C (all proper inclusions, e.g. 2 62 Q; exercise) There are many other important number systems inside C. 2 • Structure \binary operations" + and · associative, commutative, and distributive properties \identity elements" 0 and 1 for + and · resp. 2 solve equations, e.g. 1 ax + bx + c = 0 has two (complex) solutions i p −b ± b2 − 4ac x = 2a 2 2 2 2 x + y = z has infinitely many solutions, even in N (thei \Pythagorian triples": (3,4,5), (5,12,13), . ). n n n 3 x + y = z has no solutions x; y; z 2 N for any fixed n ≥ 3 (Fermat'si Last Theorem, proved in 1995 by Andrew Wiles; we'll give a proof for n = 3 at end of semester). • Abstract systems groups, rings, fields, vector spaces, modules, . A group is a set G with an associative binary operation ∗ which has an identity element e (x ∗ e = x = e ∗ x for all x 2 G) and inverses for each of its elements (8 x 2 G; 9 y 2 G such that x ∗ y = y ∗ x = e).
    [Show full text]
  • Geometric Engineering of (Framed) Bps States
    GEOMETRIC ENGINEERING OF (FRAMED) BPS STATES WU-YEN CHUANG1, DUILIU-EMANUEL DIACONESCU2, JAN MANSCHOT3;4, GREGORY W. MOORE5, YAN SOIBELMAN6 Abstract. BPS quivers for N = 2 SU(N) gauge theories are derived via geometric engineering from derived categories of toric Calabi-Yau threefolds. While the outcome is in agreement of previous low energy constructions, the geometric approach leads to several new results. An absence of walls conjecture is formulated for all values of N, relating the field theory BPS spectrum to large radius D-brane bound states. Supporting evidence is presented as explicit computations of BPS degeneracies in some examples. These computations also prove the existence of BPS states of arbitrarily high spin and infinitely many marginal stability walls at weak coupling. Moreover, framed quiver models for framed BPS states are naturally derived from this formalism, as well as a mathematical formulation of framed and unframed BPS degeneracies in terms of motivic and cohomological Donaldson-Thomas invariants. We verify the conjectured absence of BPS states with \exotic" SU(2)R quantum numbers using motivic DT invariants. This application is based in particular on a complete recursive algorithm which determines the unframed BPS spectrum at any point on the Coulomb branch in terms of noncommutative Donaldson- Thomas invariants for framed quiver representations. Contents 1. Introduction 2 1.1. A (short) summary for mathematicians 7 1.2. BPS categories and mirror symmetry 9 2. Geometric engineering, exceptional collections, and quivers 11 2.1. Exceptional collections and fractional branes 14 2.2. Orbifold quivers 18 2.3. Field theory limit A 19 2.4.
    [Show full text]