Communication-Avoiding Symmetric-Indefinite Factorization
We describe and analyze a novel symmetric triangular factorization algorithm. The algorithm is essentially a block version of Aasen's triangular tridiagonalization. It factors a dense symmetric matrix $A$ as the product $A=PLTLT}PT},$ where $P$ is a permutation matrix, $L$ is lower triangular,...
Uložené v:
| Vydané v: | SIAM journal on matrix analysis and applications Ročník 35; číslo 4; s. 1364 - 1406 |
|---|---|
| Hlavní autori: | , , , , , , , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
United States
SIAM
01.01.2014
|
| Predmet: | |
| ISSN: | 0895-4798, 1095-7162 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | We describe and analyze a novel symmetric triangular factorization algorithm. The algorithm is essentially a block version of Aasen's triangular tridiagonalization. It factors a dense symmetric matrix $A$ as the product $A=PLTLT}PT},$ where $P$ is a permutation matrix, $L$ is lower triangular, and $T$ is block tridiagonal and banded. The algorithm is the first symmetric-indefinite communication-avoiding factorization: it performs an asymptotically optimal amount of communication in a two-level memory hierarchy for almost any cache-line size. Adaptations of the algorithm to parallel computers are likely to be communication efficient as well; one such adaptation has been recently published. The current paper describes the algorithm, proves that it is numerically stable, and proves that it is communication optimal. |
|---|---|
| AbstractList | We describe and analyze a novel symmetric triangular factorization algorithm. The algorithm is essentially a block version of Aasen's triangular tridiagonalization. It factors a dense symmetric matrix $A$ as the product $A=PLTLT}PT},$ where $P$ is a permutation matrix, $L$ is lower triangular, and $T$ is block tridiagonal and banded. The algorithm is the first symmetric-indefinite communication-avoiding factorization: it performs an asymptotically optimal amount of communication in a two-level memory hierarchy for almost any cache-line size. Adaptations of the algorithm to parallel computers are likely to be communication efficient as well; one such adaptation has been recently published. The current paper describes the algorithm, proves that it is numerically stable, and proves that it is communication optimal. We describe and analyze a novel symmetric triangular factorization algorithm. The algorithm is essentially a block version of Aasen's triangular tridiagonalization. It factors a dense symmetric matrix A as the product A=PLTLTPT where P is a permutation matrix, L is lower triangular, and T is block tridiagonal and banded. The algorithm is the first symmetric-indefinite communication-avoiding factorization: it performs an asymptotically optimal amount of communication in a two-level memory hierarchy for almost any cache-line size. Adaptations of the algorithm to parallel computers are likely to be communication efficient as well; one such adaptation has been recently published. As a result, the current paper describes the algorithm, proves that it is numerically stable, and proves that it is communication optimal. |
| Author | Yamazaki, Ichitaro Toledo, Sivan Druinsky, Alex Schwartz, Oded Becker, Dulceneia Dongarra, Jack Ballard, Grey Demmel, James Peled, Inon |
| Author_xml | – sequence: 1 givenname: Grey surname: Ballard fullname: Ballard, Grey – sequence: 2 givenname: Dulceneia surname: Becker fullname: Becker, Dulceneia – sequence: 3 givenname: James surname: Demmel fullname: Demmel, James – sequence: 4 givenname: Jack surname: Dongarra fullname: Dongarra, Jack – sequence: 5 givenname: Alex surname: Druinsky fullname: Druinsky, Alex – sequence: 6 givenname: Inon surname: Peled fullname: Peled, Inon – sequence: 7 givenname: Oded surname: Schwartz fullname: Schwartz, Oded – sequence: 8 givenname: Sivan surname: Toledo fullname: Toledo, Sivan – sequence: 9 givenname: Ichitaro surname: Yamazaki fullname: Yamazaki, Ichitaro |
| BackLink | https://www.osti.gov/servlets/purl/1237467$$D View this record in Osti.gov |
| BookMark | eNptkE9LAzEQxYMo2FYPfoPiSQ9r8283m2MpVgsFD-o5zGazGtlNapIK9dMbW_EgnmYGfjPz3hujY-edQeiC4BtCmJgRhiWVuMJHaESwLAtBKnqMRrjOPReyPkXjGN8wJhWXZITkwg_D1lkNyXpXzD-8ba17mT7uhsGkYHWxcq3prLPJTJegkw_2c8-eoZMO-mjOf-oEPS9vnxb3xfrhbrWYrwvNKE-F0a02hHRQagaiplgS07SMguCmBS7yACArrAk1pYSO1y2VpcANQAO6IWyCLg93fUxWRZ2F6FftnTM6KUKZ4JXI0NUB2gT_vjUxqcFGbfoenPHbqLJbSsuaM57R6wOqg48xmE5tgh0g7BTB6jtD9ZthZmd_2Px-7z4FsP0_G18tn3UM |
| CitedBy_id | crossref_primary_10_1002_cpe_4055 crossref_primary_10_1002_cpe_4012 crossref_primary_10_1017_S0962492916000015 crossref_primary_10_1145_3061664 crossref_primary_10_1145_3264491 crossref_primary_10_1016_j_jcp_2017_08_037 crossref_primary_10_1109_TPDS_2018_2808964 |
| Cites_doi | 10.1145/240455.240477 10.1137/S0895479896297744 10.1007/BF02165306 10.1145/79173.79181 10.1137/040610106 10.1137/S0895479895290371 10.1145/2049673.2049674 10.1137/090769156 10.1147/rd.416.0737 10.1137/0611023 10.1002/nla.529 10.1137/S0895479803436202 10.1007/BF01185207 10.1145/2427023.2427030 10.1145/77626.79170 10.1016/j.jpdc.2004.03.021 10.1007/BF01931804 10.1090/S0025-5718-1977-0428694-0 10.1137/120863691 10.1145/1916461.1916462 10.1137/100788926 |
| ContentType | Journal Article |
| CorporateAuthor | Sandia National Lab. (SNL-CA), Livermore, CA (United States) |
| CorporateAuthor_xml | – name: Sandia National Lab. (SNL-CA), Livermore, CA (United States) |
| DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D OIOZB OTOTI |
| DOI | 10.1137/130929060 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional OSTI.GOV - Hybrid OSTI.GOV |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics |
| EISSN | 1095-7162 |
| EndPage | 1406 |
| ExternalDocumentID | 1237467 10_1137_130929060 |
| GroupedDBID | -~X .4S .DC 123 186 4.4 7WY 7X2 7XC 88I 8CJ 8FE 8FG 8FH 8FL 8G5 8V8 AALVN AASXH AAYXX ABDBF ABDPE ABJCF ABKAD ABMZU ABUWG ACGFO ACGOD ACIWK ACPRK ACUHS ADBBV AEMOZ AENEX AFFHD AFFNX AFKRA AFRAH AHQJS AKVCP ALMA_UNASSIGNED_HOLDINGS ANXRF ARAPS ARCSS ATCPS AZQEC BBNVY BENPR BEZIV BGLVJ BHPHI BPHCQ CCPQU CITATION CS3 CZ9 D0L D1I D1J D1K DQ2 DU5 DWQXO EAP EBR EBS EBU ECS EDO EJD EMK EST ESX FA8 FRNLG GNUQQ GUQSH H13 HCIFZ H~9 I-F K1G K6- K60 K6V K6~ K7- KB. KC. L6V LK5 LK8 M0C M0K M1Q M2O M2P M7P M7R M7S P1Q P2P P62 PATMY PDBOC PHGZM PHGZT PQBIZ PQBZA PQGLB PQQKQ PROAC PTHSS PYCSY RJG RNS RSI TH9 TN5 TUS YNT ZKB ZY4 7SC 8FD JQ2 L7M L~C L~D PUEGO 3V. 6XO 88A 88K AAJWA ABPTK ADAJV GROUPED_ABI_INFORM_COMPLETE M0L OIOZB OTOTI |
| ID | FETCH-LOGICAL-c324t-ecdce11fa5c3a782091ebd32a74eda47ebdaa960c12e59af48d29570baabacb13 |
| ISICitedReferencesCount | 12 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000346843200008&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0895-4798 |
| IngestDate | Fri May 19 01:56:00 EDT 2023 Thu Oct 02 12:06:58 EDT 2025 Sat Nov 29 02:43:42 EST 2025 Tue Nov 18 21:39:35 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 4 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c324t-ecdce11fa5c3a782091ebd32a74eda47ebdaa960c12e59af48d29570baabacb13 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 23 AC04-94AL85000 USDOE National Nuclear Security Administration (NNSA) SAND-2015-1851J |
| OpenAccessLink | https://www.osti.gov/servlets/purl/1237467 |
| PQID | 1642258434 |
| PQPubID | 23500 |
| PageCount | 43 |
| ParticipantIDs | osti_scitechconnect_1237467 proquest_miscellaneous_1642258434 crossref_primary_10_1137_130929060 crossref_citationtrail_10_1137_130929060 |
| PublicationCentury | 2000 |
| PublicationDate | 2014-01-01 |
| PublicationDateYYYYMMDD | 2014-01-01 |
| PublicationDate_xml | – month: 01 year: 2014 text: 2014-01-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | United States |
| PublicationPlace_xml | – name: United States |
| PublicationTitle | SIAM journal on matrix analysis and applications |
| PublicationYear | 2014 |
| Publisher | SIAM |
| Publisher_xml | – name: SIAM |
| References | atypb9 Ballard G. (atypb7) 2013 atypb26 atypb28 atypb29 atypb22 atypb23 atypb24 atypb20 atypb21 Davis T. A. (atypb11) 2011; 38 atypb15 atypb37 atypb16 atypb33 atypb12 Parlett B. N. (atypb25) 1970; 10 atypb34 atypb35 atypb14 atypb1 Higham N. J. (atypb17) 1999 atypb30 atypb10 atypb6 |
| References_xml | – start-page: 47 year: 1999 ident: atypb17 publication-title: Heidelberg – ident: atypb10 doi: 10.1145/240455.240477 – ident: atypb33 doi: 10.1137/S0895479896297744 – ident: atypb24 doi: 10.1007/BF02165306 – ident: atypb35 doi: 10.1145/79173.79181 – ident: atypb20 doi: 10.1137/040610106 – volume: 38 start-page: 1 year: 2011 ident: atypb11 publication-title: ACM Trans. Math. Software – ident: atypb16 doi: 10.1137/S0895479895290371 – ident: atypb28 doi: 10.1145/2049673.2049674 – ident: atypb6 doi: 10.1137/090769156 – start-page: 232 year: 2013 ident: atypb7 publication-title: Algorithms and Architectures – ident: atypb15 doi: 10.1147/rd.416.0737 – ident: atypb34 doi: 10.1137/0611023 – ident: atypb22 doi: 10.1002/nla.529 – ident: atypb30 doi: 10.1137/S0895479803436202 – ident: atypb37 doi: 10.1007/BF01185207 – volume: 10 start-page: 386 year: 1970 ident: atypb25 publication-title: BIT – ident: atypb26 doi: 10.1145/2427023.2427030 – ident: atypb12 doi: 10.1145/77626.79170 – ident: atypb21 doi: 10.1016/j.jpdc.2004.03.021 – ident: atypb1 doi: 10.1007/BF01931804 – ident: atypb9 doi: 10.1090/S0025-5718-1977-0428694-0 – ident: atypb23 doi: 10.1137/120863691 – ident: atypb29 doi: 10.1145/1916461.1916462 – ident: atypb14 doi: 10.1137/100788926 |
| SSID | ssj0016491 |
| Score | 2.130322 |
| Snippet | We describe and analyze a novel symmetric triangular factorization algorithm. The algorithm is essentially a block version of Aasen's triangular... |
| SourceID | osti proquest crossref |
| SourceType | Open Access Repository Aggregation Database Enrichment Source Index Database |
| StartPage | 1364 |
| SubjectTerms | Aasen's factorization Adaptation Algorithms Asymptotic properties Blocking communication-avoiding algorithms Factorization Hierarchies MATHEMATICS AND COMPUTING Optimization Parallel computers symmetric-indefinite matrices |
| Title | Communication-Avoiding Symmetric-Indefinite Factorization |
| URI | https://www.proquest.com/docview/1642258434 https://www.osti.gov/servlets/purl/1237467 |
| Volume | 35 |
| WOSCitedRecordID | wos000346843200008&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: ABI/INFORM Global (OCUL) customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: M0C dateStart: 19800301 isFulltext: true titleUrlDefault: https://search.proquest.com/abiglobal providerName: ProQuest – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1095-7162 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: P5Z dateStart: 19880101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Agricultural Science Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: M0K dateStart: 19800301 isFulltext: true titleUrlDefault: https://search.proquest.com/agriculturejournals providerName: ProQuest – providerCode: PRVPQU databaseName: Biological Science Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: M7P dateStart: 19800301 isFulltext: true titleUrlDefault: http://search.proquest.com/biologicalscijournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: K7- dateStart: 19800301 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: M7S dateStart: 19800301 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: Environmental Science Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: PATMY dateStart: 19800301 isFulltext: true titleUrlDefault: http://search.proquest.com/environmentalscience providerName: ProQuest – providerCode: PRVPQU databaseName: Materials Science Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: KB. dateStart: 19800301 isFulltext: true titleUrlDefault: http://search.proquest.com/materialsscijournals providerName: ProQuest – providerCode: PRVPQU databaseName: Military Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: M1Q dateStart: 19800301 isFulltext: true titleUrlDefault: https://search.proquest.com/military providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest ABI/INFORM Collection customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: 7WY dateStart: 19800301 isFulltext: true titleUrlDefault: https://www.proquest.com/abicomplete providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1095-7162 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: BENPR dateStart: 19880101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: Research Library customDbUrl: eissn: 1095-7162 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: M2O dateStart: 19880101 isFulltext: true titleUrlDefault: https://search.proquest.com/pqrl providerName: ProQuest – providerCode: PRVPQU databaseName: Science Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: M2P dateStart: 19800301 isFulltext: true titleUrlDefault: https://search.proquest.com/sciencejournals providerName: ProQuest |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lj9MwELa6XQ5wQDxFWVgVhBBS5SUPp66P-2gB7bZbaFcULpHjOKhSm5a-VK78cmYS51HRw3LgMootK2k9o3nYM98Q8saNJHPBdNMAIiDKvJBToa2QMuU5FihDTwRW0myC93qt0Uj0K5XfWS3MZsLjuLXdivl_ZTXMAbOxdPYf2J2_FCbgGZgOFNgO9FaM3yn5oKeb2TipWxn8mk6xe5ain-JQR2P0NRudpNuOKcUs-6kDiPALVIm4MUUk_21DZhAmCcRr6e67OBAFsUqz5T8sdFEsobPsjYv1RIF6HefW4ELD75rkCbv59Cz-IRcLk8lrkPvN6YTNSqcTRomBHDCedpo-0amSRdlA5KqyFk5BS4y0sZJKtd0U5tyYZwgIm_tVfwoeAIKHCPZWYd-yO_3etd-5ubryh-3R8O38J8XOY3hDb9qwHJBDh3sC0wK7Tj-_iWqytOti9j8MOhV87X3-rR2fpjoD3fyXZU_cleEDct_EGfXTVD4ekoqOH5F73Rykd_mYiP2SUt8nKfUdSXlCbjrt4flHajppUAUO84pqFSpt25H0lCsRIVHYOghdR3KmQ8k4DKSEWFbZjvaEjFgrdITHrUDKQKrAdp-SajyL9TNSF1xJ7bW0UOjsN0PpuqCMrAgHTc2iGnmX7YWvDMw8djuZ-Em46XI_37YaeZ0vnafYKvsWHeGG-uAQIqqxwvQvtfLB4cJGOTXyKttnH_QiXnbJWM_WSx8YB6aqxVz2_BZrjsjdQnpfkOpqsdYvyR21WY2Xi2NywL9-OyaHZ-1e_wuMLjlFenYCtGudJ_QSqf0ZqXOd0D5SntIB0L73_Q8Io5Cu |
| linkProvider | ProQuest |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Communication-Avoiding+Symmetric-Indefinite+Factorization&rft.jtitle=SIAM+journal+on+matrix+analysis+and+applications&rft.au=Ballard%2C+Grey&rft.au=Becker%2C+Dulceneia&rft.au=Demmel%2C+James&rft.au=Dongarra%2C+Jack&rft.date=2014-01-01&rft.issn=0895-4798&rft.eissn=1095-7162&rft.volume=35&rft.issue=4&rft.spage=1364&rft.epage=1406&rft_id=info:doi/10.1137%2F130929060&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0895-4798&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0895-4798&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0895-4798&client=summon |