Algebraic combinatorics: Difference between revisions

Content deleted Content added
Monkbot (talk | contribs)
m Task 18 (cosmetic): eval 7 templates: del empty params (1×); hyphenate params (2×); del |ref=harv (2×);
fix harv/sfn no-target errors (x3) + usual fixes + template manual cites + supply missing ISBNs
Line 1:
{{for|the academic journal|Algebraic Combinatorics (journal)}}
[[File:fano plane.svg|thumb|The Fano [[matroid]], derived from the [[Fano plane]]. Matroids are one of many areas studied in '''algebraic combinatorics'''.]]
{{use dmy dates|date=January 2022}}
 
'''Algebraic combinatorics''' is an area of [[mathematics]] that employs methods of [[abstract algebra]], notably [[group theory]] and [[representation theory]], in various [[combinatorics|combinatorial]] contexts and, conversely, applies combinatorial techniques to problems in [[abstract algebra|algebra]].
 
==History==
The term "algebraic combinatorics" was introduced in the late 1970s.<ref>[http://math.sjtu.edu.cn/conference/{{sfn|Bannai/|2012/data/bannai.pdf Algebraic Combinatorics by Eiichi Bannai]</ref>}} Through the early or mid-1990s, typical combinatorial objects of interest in algebraic combinatorics either admitted a lot of [[symmetry (mathematics)|symmetries]] ([[association scheme]]s, [[strongly regular graph]]s, posets with a [[Group action (mathematics)|group action]]) or possessed a rich algebraic structure, frequently of representation theoretic origin ([[symmetric function]]s, [[Young tableaux]]). This period is reflected in the area 05E, ''Algebraic combinatorics'', of the [[American Mathematical Society|AMS]] [[Mathematics Subject Classification]], introduced in 1991.
 
==Scope==
Line 11 ⟶ 12:
 
==Important topics==
 
===Symmetric functions===
{{main|Ring of symmetric functions}}
Line 19:
{{main|Association scheme}}
 
An [[association scheme]] is a collection of [[binary relation]]s satisfying certain compatibility conditions. Association schemes provide a unified approach to many topics, for example [[combinatorial design]]s and [[coding theory]].<ref>{{harvnbsfn|Bannai|Ito|1984}}</ref><ref>{{harvnbsfn|Godsil|1993}}</ref> In algebra, association schemes generalize [[group (mathematics)|groupgroups]]s, and the theory of association schemes generalizes the [[group character|character theory]] of [[group representation|linear representations]] of groups.<ref>{{harvnbsfn|Bailey|2004|locp=pg. 387}}</ref><ref>{{harvnbsfn|Zieschang|2005b}}</ref><ref>{{harvnbsfn|Zieschang|2005a}}</ref>
 
===Strongly regular graphs===
Line 28:
* Every two non-adjacent vertices have μ common neighbours.
 
A graph of this kind is sometimes said to be ana srg(''v'', ''k'', λ, μ).
 
Some authors exclude graphs which satisfy the definition trivially, namely those graphs which are the disjoint union of one or more equal-sized [[complete graph]]s,<ref>{{Cite web sfn|url=http://homepages.cwi.nl/~aeb/math/ipm.pdf Brouwer|title=Brouwer, Andries E; Haemers, Willem H. ''Spectra of Graphs''. p. 101 |access-date=2014-10-10 |archive-url=https://web.archive.org/web/20120316102909/http://homepages.cwin.nl/~aeb/math/ipmd.pdf |archive-datep=2012-03-16 |url-status=dead 101}}</ref><ref>{{sfn|Godsil, Chris; |Royle, Gordon. ''Algebraic Graph Theory''. Springer-Verlag New York, |2001, |p. =218.</ref>}} and their [[complement graph|complements]], the [[Turán graph]]s.
 
===Young tableaux===
Line 40:
A [[matroid]] is a structure that captures and generalizes the notion of [[linear independence]] in [[vector space]]s. There are many equivalent ways to define a matroid, the most significant being in terms of independent sets, bases, circuits, closed sets or flats, closure operators, and rank functions.
 
Matroid theory borrows extensively from the terminology of [[linear algebra]] and [[graph theory]], largely because it is the abstraction of various notions of central importance in these fields. Matroids have found applications in geometry, [[topology]], [[combinatorial optimization]], [[network theory]] and [[coding theory]].<ref name=Neel2009>{{cite journalsfn|last1=Neel|first1=David L.|last2=Neudauer|first2=Nancy Ann|author2-link= Nancy Neudauer |title=Matroids you have known|journal=Mathematics Magazine|date=2009|volume=82|issue=1|pagespp=26–41|url=http://www.maa.org/sites/default/files/pdf/shortcourse/2011/matroidsknown.pdf|access-date=4 October 2014|doi=10.4169/193009809x469020}}</ref><ref name=Kashyap2009>{{cite websfn|last1=Kashyap|first1=Navin|last2=Soljanin|first2=Emina|last3=Vontobel|first3=Pascal|title=Applications of Matroid Theory and Combinatorial Optimization to Information and Coding Theory|url=https://www.birs.ca/workshops/2009/09w5103/report09w5103.pdf|website=www.birs.ca|access-date=4 October 2014}}</ref>
 
===Finite geometries===
{{main|Finite geometry}}
A [[finite geometry]] is any [[geometry|geometric]] system that has only a [[finite set|finite]] number of [[point (geometry)|points]].
The familiar [[Euclidean geometry]] is not finite, because a Euclidean line contains infinitely many points. A geometry based on the graphics displayed on a computer screen, where the [[pixel]]s are considered to be the points, would be a finite geometry. While there are many systems that could be called finite geometries, attention is mostly paid to the finite [[projective space|projective]] and [[affine space]]s because of their regularity and simplicity. Other significant types of finite geometry are finite [[Möbius plane|Möbius or inversive planeplanes]]s and [[Laguerre plane]]s, which are examples of a general type called [[Benz plane]]s, and their higher-dimensional analogs such as higher finite [[inversive geometry|inversive geometrgeometries]]ies.
 
Finite geometries may be constructed via [[linear algebra]], starting from [[vector space]]s over a [[finite field]]; the affine and [[projective plane]]s so constructed are called [[Galois geometry|Galois geometries]]. Finite geometries can also be defined purely axiomatically. Most common finite geometries are Galois geometries, since any finite [[projective space]] of dimension three or greater is [[isomorphism|isomorphic]] to a projective space over a finite field (that is, the projectivization of a vector space over a finite field). However, dimension two has affine and projective planes that are not isomorphic to Galois geometries, namely the [[non-Desarguesian plane]]s. Similar results hold for other kinds of finite geometries.
 
== See also ==
* [[Algebraic graph theory]]
* [[Combinatorial commutative algebra]]
* [[Algebraic Combinatorics (journal)|''Algebraic Combinatorics'' (journal)]]
* ''[[Journal of Algebraic Combinatorics]]''
* [[Polyhedral combinatorics]]
 
== Citations ==
*[[Algebraic graph theory]]
{{Reflist|20em}}
*[[Combinatorial commutative algebra]]
*[[Algebraic Combinatorics (journal)|''Algebraic Combinatorics'' (journal)]]
*''[[Journal of Algebraic Combinatorics]]''
*[[Polyhedral combinatorics]]
 
==Works References cited==
{{reflistrefbegin|35em}}
*{{cite book| title = Association Schemes: Designed Experiments, Algebra and Combinatorics
| last = Bailey | first = Rosemary A. | year = 2004
| author-link = Rosemary A. Bailey
| publisher = Cambridge University Press
| url = http://www.maths.qmul.ac.uk/~rab/Asbook
| isbn = 978-0-521-82446-0 | mr = 2047311
}}. (Chapters from preliminary draft are [http://www.maths.qmw.ac.uk/~rab available on-line].)
*{{Cite web| title = Algebraic Combinatorics
| last = Bannai | first = Eiichi | year = 2012
| publisher = School of Mathematical Sciences Shanghai Jiao Tong University
| url = http://math.sjtu.edu.cn/conference/Bannai/2012/data/bannai.pdf
| access-date = 30 January 2022
}}
*{{cite book| title = Algebraic combinatorics I: Association schemes
| last1 = Bannai | first1 = Eiichi
| last2 = Ito | first2 = Tatsuro
| year = 1984
| publisher = The Benjamin/Cummings Publishing Co. | ___location = Menlo Park, CA
| isbn = 0-8053-0490-8 | mr = 0882540
}}
*{{Cite book| title = Spectra of Graphs
| last1 = Brouwer | first1 = Andries E.
| last2 = Haemers | first2 = Willem H.
| page = 101
| url = http://homepages.cwi.nl/~aeb/math/ipm.pdf | url-status = dead
| archive-url = https://web.archive.org/web/20120316102909/http://homepages.cwi.nl/~aeb/math/ipm.pdf
| date = n.d. | archive-date = 16 March 2012
}}
*{{Cite book| title = Algebraic Graph Theory
| last1 = Godsil | first1 = Chris
| last2 = Royle | first2 = Gordon
| year = 2001
| publisher = Springer-Verlag | ___location = New York
| series = Graduate Texts in Mathematics
| page = 218
| isbn = 978-0-387-95241-3
}}
*{{cite book| title = Algebraic Combinatorics
| last = Godsil | first = Chris D. | year = 1993
| author-link = Chris Godsil
| publisher = Chapman and Hall | ___location = New York
| ISBN = 0-412-04131-6 | mr = 1220704
}}
*{{cite web| title = Applications of Matroid Theory and Combinatorial Optimization to Information and Coding Theory
| last1 = Kashyap | first1 = Navin
| last2 = Soljanin | first2 = Emina
| last3 = Vontobel | first3 = Pascal
| publisher = [[Banff International Research Station|BIRS]]
| url = https://www.birs.ca/workshops/2009/09w5103/report09w5103.pdf
| date = 2–7 August 2009 | access-date = 4 October 2014
}}
*{{cite journal | title = Matroids you have known
| last1 = Neel | first1 = David L.
| last2 = Neudauer | first2 = Nancy Ann
| author2-link = Nancy Neudauer
| journal = Mathematics Magazine
| year = 2009 | volume = 82 | issue = 1 | pages = 26–41
| url = http://www.maa.org/sites/default/files/pdf/shortcourse/2011/matroidsknown.pdf
| doi = 10.4169/193009809x469020
}}
*{{cite journal | title = ''Association Schemes: Designed Experiments, Algebra and Combinatorics'' by Rosemary A. Bailey, Review
| last = Zieschang | first = Paul-Hermann
| journal = Bulletin of the American Mathematical Society
| year = 2005a | volume = 43 | issue = 2 | pages = 249–253
| url = https://www.ams.org/bull/2006-43-02/S0273-0979-05-01077-3/S0273-0979-05-01077-3.pdf
| doi = 10.1090/S0273-0979-05-01077-3
| doi-access = free
}}
*{{cite book| title = Theory of association schemes
| last = Zieschang | first = Paul-Hermann | year = 2005b
| publisher = Springer
| isbn = 3-540-26136-2
}}
{{refend}}
 
==Further reading==
{{refbegin}}
*{{ cite book | last1=Bannai | first1=Eiichi | last2=Ito | first2=Tatsuro | title=Algebraic combinatorics I: Association schemes | publisher=The Benjamin/Cummings Publishing Co., Inc. | ___location=Menlo Park, CA | year=1984 | pages=xxiv+425 | isbn=0-8053-0490-8 | mr=0882540}}
*{{cite book| title = New Perspectives in Algebraic Combinatorics
* {{cite book|editor-first1=Louis J. |editor-last1=Billera|editor1-link=Louis Billera|editor-first2= Anders|editor-last2= Björner|editor2-link=Anders Björner|editor-first3= Curtis|editor-last3= Greene|editor3-link=Curtis Greene | editor-first4= Rodica|editor-last4= Simion|editor4-link=Rodica Simion|editor-first5=Richard P.|editor-last5= Stanley | editor5-link=Richard P. Stanley |url=http://library.msri.org/books/Book38/index.html|title=New Perspectives in Algebraic Combinatorics|series= MSRI Publications|volume= 38|publisher= [[Cambridge University Press]]|year= 1999}}
| editor1-last = Billera | editor1-first = Louis J. | editor1-link = Louis Billera
*{{cite book|first=Chris D.| last=Godsil|author-link = Chris Godsil|title=Algebraic Combinatorics|publisher=Chapman and Hall|year=1993|___location=New York|ISBN=0-412-04131-6 | mr=1220704}}
| editor2-last = Björner | editor2-first = Anders | editor2-link = Anders Björner
* Takayuki Hibi, ''Algebraic combinatorics on convex polytopes'', Carslaw Publications, Glebe, Australia, 1992
| editor3-last = Greene | editor3-first = Curtis | editor3-link = Curtis Greene
*[[Melvin Hochster]], ''Cohen-Macaulay rings, combinatorics, and simplicial complexes''. Ring theory, II (Proc. Second Conf., Univ. Oklahoma, Norman, Okla., 1975), pp.&nbsp;171–223. Lecture Notes in Pure and Appl. Math., vol. 26, Dekker, New York, 1977.
| editor4-last = Simion | editor4-first = Rodica | editor4-link = Rodica Simion
* Ezra Miller, [[Bernd Sturmfels]], ''Combinatorial commutative algebra'', [[Graduate Texts in Mathematics]], vol. 227, Springer-Verlag, New York, NY, 2005. {{ISBN|0-387-22356-8}}
| editor5-last = Stanley | editor5-first = Richard P. | editor5-link = Richard P. Stanley
*[[Richard P. Stanley|Richard Stanley]], ''Combinatorics and commutative algebra''. Second edition, Progress in Mathematics, vol. 41. Birkhäuser, Boston, MA, 1996. {{ISBN|0-8176-3836-9}}
| year = 1999
* {{cite book|first=Bernd|last=Sturmfels|author-link=Bernd Sturmfels|title=Gröbner bases and convex polytopes|series=University Lecture Series|volume=8|publisher=[[American Mathematical Society]]|___location=Providence, RI|year=1996|isbn=0-8218-0487-1|url-access=registration|url=https://archive.org/details/grobnerbasesconv0000stur}}
| publisher = [[Cambridge University Press]]
*[[Doron Zeilberger]], [http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/enuPCM.pdf Enumerative and Algebraic Combinatorics], in ''[[The Princeton Companion to Mathematics]]'', 2008.
| volume = 38 | series = MSRI Publications
| url = http://library.msri.org/books/Book38/index.html
| isbn = 052177087-4
| ref = none
}}
*{{Cite book| title = Algebraic combinatorics on convex polytopes
| last = Hibi | first = Takayuki | year = 1992
| publisher = Carslaw Publications | ___location = Glebe, Australia
| ref = none
}}
*{{Cite journal | title = Cohen-Macaulay rings, combinatorics, and simplicial complexes
| last = Hochster | first = Melvin
| author-link = Melvin Hochster
| journal = Lecture Notes in Pure and Applied Mathematics
| publisher = Dekker | ___location = New York
| year = 1975 | volume = 26 | pages = 171–223
| ref = none
}}
*{{Cite book| title = Combinatorial commutative algebra
| last1 = Miller | first1 = Ezra
| last2 = Sturmfels | first2 = Bernd
| author2-link = Bernd Sturmfels
| year = 2005
| publisher = Springer-Verlag | ___location = New York
| volume = 227 | series = [[Graduate Texts in Mathematics]]
| isbn = 0-387-22356-8
| ref = none
}}
*{{Cite book| title = Combinatorics and commutative algebra | edition = Second
| last = Stanley | first = Richard P. | year = 1996
| author-link = Richard P. Stanley
| publisher = Birkhäuser | ___location = Boston
| volume = 41 | series = Progress in Mathematics
| isbn = 0-8176-3836-9
| ref = none
}}
*{{cite book| title = Gröbner bases and convex polytopes
| last = Sturmfels | first = Bernd | year = 1996
| author-link = Bernd Sturmfels
| publisher = [[American Mathematical Society]] | ___location = Providence, RI
| volume = 8 | series = University Lecture Series
| url = https://archive.org/details/grobnerbasesconv0000stur | url-access = registration | via = [[Internet Archive]]
| isbn = 0-8218-0487-1
| ref = none
}}
*{{Cite book| chapter = Enumerative and Algebraic Combinatorics
| last = Zeilberger | first = Doron | year = 2008
| author-link = Doron Zeilberger
| title = [[The Princeton Companion to Mathematics]]
| publisher = Princeton University Press
| chapter-url = http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/enuPCM.pdf
| ref = none
}}
{{refend}}
 
==External links==
* {{Commons category-inline}}
 
[[Category:Algebraic combinatorics| ]]