LINEAR ALGEBRA METHODS in COMBINATORICS László Babai
Total Page:16
File Type:pdf, Size:1020Kb
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. -
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 . -
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. -
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. -
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]. -
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. -
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. -
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. -
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. -
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. -
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). -
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.