Design and synthesis of scalable quantum programs
We present a scalable, robust approach to creating quantum programs of arbitrary size and complexity. The approach is based on the true abstraction of the problem. The quantum program is expressed in terms of a high-level model together with constraints and objectives on the final program. Advanced...
Gespeichert in:
| Hauptverfasser: | , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , |
|---|---|
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | Goldfriend, Tomer Reichental, Israel Naveh, Amir Gazit, Lior Yoran, Nadav Alon, Ravid Ur, Shmuel Lahav, Shahak Cornfeld, Eyal Elazari, Avi Emanuel, Peleg Harpaz, Dor Michaeli, Tal Erez, Nati Preminger, Lior Shapira, Roman Garcell, Erik Michael Samimi, Or Kisch, Sara Hallel, Gil Kishony, Gilad van Wingerden, Vincent Rosenbloom, Nathaniel A Opher, Ori Vax, Matan Smoler, Ariel Danzig, Tamuz Schirman, Eden Sella, Guy Cohen, Ron Garfunkel, Roi Cohn, Tali Rosemarin, Hanan Hass, Ron Jankiewicz, Klem Gharra, Karam Roth, Ori Azar, Barak Asban, Shahaf Linkov, Natalia Segman, Dror Sahar, Ohad Davidson, Niv Minerbi, Nir Naveh, Yehuda |
| description | We present a scalable, robust approach to creating quantum programs of
arbitrary size and complexity. The approach is based on the true abstraction of
the problem. The quantum program is expressed in terms of a high-level model
together with constraints and objectives on the final program. Advanced
synthesis algorithms transform the model into a low-level quantum program that
meets the user's specification and is directed at a stipulated hardware. This
separation of description from implementation is essential for scale. The
technology adapts electronic design automation methods to quantum computing,
finding feasible implementations in a virtually unlimited functional space. The
results show clear superiority over the compilation and transpilation methods
used today. We expect that this technological approach will take over and
prevail as quantum software become more demanding, complex, and essential. |
| doi_str_mv | 10.48550/arxiv.2412.07372 |
| format | Article |
| fullrecord | <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_2412_07372</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2412_07372</sourcerecordid><originalsourceid>FETCH-arxiv_primary_2412_073723</originalsourceid><addsrcrecordid>eNpjYJA0NNAzsTA1NdBPLKrILNMzMjE00jMwNzY34mQwdEktzkzPU0jMS1EorswryQByixXy0xSKkxNzEpNyUhUKSxPzSkpzFQqK8tOLEnOLeRhY0xJzilN5oTQ3g7yba4izhy7Y8PiCoszcxKLKeJAl8WBLjAmrAACbbTFy</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Design and synthesis of scalable quantum programs</title><source>arXiv.org</source><creator>Goldfriend, Tomer ; Reichental, Israel ; Naveh, Amir ; Gazit, Lior ; Yoran, Nadav ; Alon, Ravid ; Ur, Shmuel ; Lahav, Shahak ; Cornfeld, Eyal ; Elazari, Avi ; Emanuel, Peleg ; Harpaz, Dor ; Michaeli, Tal ; Erez, Nati ; Preminger, Lior ; Shapira, Roman ; Garcell, Erik Michael ; Samimi, Or ; Kisch, Sara ; Hallel, Gil ; Kishony, Gilad ; van Wingerden, Vincent ; Rosenbloom, Nathaniel A ; Opher, Ori ; Vax, Matan ; Smoler, Ariel ; Danzig, Tamuz ; Schirman, Eden ; Sella, Guy ; Cohen, Ron ; Garfunkel, Roi ; Cohn, Tali ; Rosemarin, Hanan ; Hass, Ron ; Jankiewicz, Klem ; Gharra, Karam ; Roth, Ori ; Azar, Barak ; Asban, Shahaf ; Linkov, Natalia ; Segman, Dror ; Sahar, Ohad ; Davidson, Niv ; Minerbi, Nir ; Naveh, Yehuda</creator><creatorcontrib>Goldfriend, Tomer ; Reichental, Israel ; Naveh, Amir ; Gazit, Lior ; Yoran, Nadav ; Alon, Ravid ; Ur, Shmuel ; Lahav, Shahak ; Cornfeld, Eyal ; Elazari, Avi ; Emanuel, Peleg ; Harpaz, Dor ; Michaeli, Tal ; Erez, Nati ; Preminger, Lior ; Shapira, Roman ; Garcell, Erik Michael ; Samimi, Or ; Kisch, Sara ; Hallel, Gil ; Kishony, Gilad ; van Wingerden, Vincent ; Rosenbloom, Nathaniel A ; Opher, Ori ; Vax, Matan ; Smoler, Ariel ; Danzig, Tamuz ; Schirman, Eden ; Sella, Guy ; Cohen, Ron ; Garfunkel, Roi ; Cohn, Tali ; Rosemarin, Hanan ; Hass, Ron ; Jankiewicz, Klem ; Gharra, Karam ; Roth, Ori ; Azar, Barak ; Asban, Shahaf ; Linkov, Natalia ; Segman, Dror ; Sahar, Ohad ; Davidson, Niv ; Minerbi, Nir ; Naveh, Yehuda</creatorcontrib><description>We present a scalable, robust approach to creating quantum programs of
arbitrary size and complexity. The approach is based on the true abstraction of
the problem. The quantum program is expressed in terms of a high-level model
together with constraints and objectives on the final program. Advanced
synthesis algorithms transform the model into a low-level quantum program that
meets the user's specification and is directed at a stipulated hardware. This
separation of description from implementation is essential for scale. The
technology adapts electronic design automation methods to quantum computing,
finding feasible implementations in a virtually unlimited functional space. The
results show clear superiority over the compilation and transpilation methods
used today. We expect that this technological approach will take over and
prevail as quantum software become more demanding, complex, and essential.</description><identifier>DOI: 10.48550/arxiv.2412.07372</identifier><language>eng</language><subject>Physics - Quantum Physics</subject><creationdate>2024-12</creationdate><rights>http://arxiv.org/licenses/nonexclusive-distrib/1.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,776,881</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/2412.07372$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.2412.07372$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Goldfriend, Tomer</creatorcontrib><creatorcontrib>Reichental, Israel</creatorcontrib><creatorcontrib>Naveh, Amir</creatorcontrib><creatorcontrib>Gazit, Lior</creatorcontrib><creatorcontrib>Yoran, Nadav</creatorcontrib><creatorcontrib>Alon, Ravid</creatorcontrib><creatorcontrib>Ur, Shmuel</creatorcontrib><creatorcontrib>Lahav, Shahak</creatorcontrib><creatorcontrib>Cornfeld, Eyal</creatorcontrib><creatorcontrib>Elazari, Avi</creatorcontrib><creatorcontrib>Emanuel, Peleg</creatorcontrib><creatorcontrib>Harpaz, Dor</creatorcontrib><creatorcontrib>Michaeli, Tal</creatorcontrib><creatorcontrib>Erez, Nati</creatorcontrib><creatorcontrib>Preminger, Lior</creatorcontrib><creatorcontrib>Shapira, Roman</creatorcontrib><creatorcontrib>Garcell, Erik Michael</creatorcontrib><creatorcontrib>Samimi, Or</creatorcontrib><creatorcontrib>Kisch, Sara</creatorcontrib><creatorcontrib>Hallel, Gil</creatorcontrib><creatorcontrib>Kishony, Gilad</creatorcontrib><creatorcontrib>van Wingerden, Vincent</creatorcontrib><creatorcontrib>Rosenbloom, Nathaniel A</creatorcontrib><creatorcontrib>Opher, Ori</creatorcontrib><creatorcontrib>Vax, Matan</creatorcontrib><creatorcontrib>Smoler, Ariel</creatorcontrib><creatorcontrib>Danzig, Tamuz</creatorcontrib><creatorcontrib>Schirman, Eden</creatorcontrib><creatorcontrib>Sella, Guy</creatorcontrib><creatorcontrib>Cohen, Ron</creatorcontrib><creatorcontrib>Garfunkel, Roi</creatorcontrib><creatorcontrib>Cohn, Tali</creatorcontrib><creatorcontrib>Rosemarin, Hanan</creatorcontrib><creatorcontrib>Hass, Ron</creatorcontrib><creatorcontrib>Jankiewicz, Klem</creatorcontrib><creatorcontrib>Gharra, Karam</creatorcontrib><creatorcontrib>Roth, Ori</creatorcontrib><creatorcontrib>Azar, Barak</creatorcontrib><creatorcontrib>Asban, Shahaf</creatorcontrib><creatorcontrib>Linkov, Natalia</creatorcontrib><creatorcontrib>Segman, Dror</creatorcontrib><creatorcontrib>Sahar, Ohad</creatorcontrib><creatorcontrib>Davidson, Niv</creatorcontrib><creatorcontrib>Minerbi, Nir</creatorcontrib><creatorcontrib>Naveh, Yehuda</creatorcontrib><title>Design and synthesis of scalable quantum programs</title><description>We present a scalable, robust approach to creating quantum programs of
arbitrary size and complexity. The approach is based on the true abstraction of
the problem. The quantum program is expressed in terms of a high-level model
together with constraints and objectives on the final program. Advanced
synthesis algorithms transform the model into a low-level quantum program that
meets the user's specification and is directed at a stipulated hardware. This
separation of description from implementation is essential for scale. The
technology adapts electronic design automation methods to quantum computing,
finding feasible implementations in a virtually unlimited functional space. The
results show clear superiority over the compilation and transpilation methods
used today. We expect that this technological approach will take over and
prevail as quantum software become more demanding, complex, and essential.</description><subject>Physics - Quantum Physics</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2024</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNpjYJA0NNAzsTA1NdBPLKrILNMzMjE00jMwNzY34mQwdEktzkzPU0jMS1EorswryQByixXy0xSKkxNzEpNyUhUKSxPzSkpzFQqK8tOLEnOLeRhY0xJzilN5oTQ3g7yba4izhy7Y8PiCoszcxKLKeJAl8WBLjAmrAACbbTFy</recordid><startdate>20241210</startdate><enddate>20241210</enddate><creator>Goldfriend, Tomer</creator><creator>Reichental, Israel</creator><creator>Naveh, Amir</creator><creator>Gazit, Lior</creator><creator>Yoran, Nadav</creator><creator>Alon, Ravid</creator><creator>Ur, Shmuel</creator><creator>Lahav, Shahak</creator><creator>Cornfeld, Eyal</creator><creator>Elazari, Avi</creator><creator>Emanuel, Peleg</creator><creator>Harpaz, Dor</creator><creator>Michaeli, Tal</creator><creator>Erez, Nati</creator><creator>Preminger, Lior</creator><creator>Shapira, Roman</creator><creator>Garcell, Erik Michael</creator><creator>Samimi, Or</creator><creator>Kisch, Sara</creator><creator>Hallel, Gil</creator><creator>Kishony, Gilad</creator><creator>van Wingerden, Vincent</creator><creator>Rosenbloom, Nathaniel A</creator><creator>Opher, Ori</creator><creator>Vax, Matan</creator><creator>Smoler, Ariel</creator><creator>Danzig, Tamuz</creator><creator>Schirman, Eden</creator><creator>Sella, Guy</creator><creator>Cohen, Ron</creator><creator>Garfunkel, Roi</creator><creator>Cohn, Tali</creator><creator>Rosemarin, Hanan</creator><creator>Hass, Ron</creator><creator>Jankiewicz, Klem</creator><creator>Gharra, Karam</creator><creator>Roth, Ori</creator><creator>Azar, Barak</creator><creator>Asban, Shahaf</creator><creator>Linkov, Natalia</creator><creator>Segman, Dror</creator><creator>Sahar, Ohad</creator><creator>Davidson, Niv</creator><creator>Minerbi, Nir</creator><creator>Naveh, Yehuda</creator><scope>GOX</scope></search><sort><creationdate>20241210</creationdate><title>Design and synthesis of scalable quantum programs</title><author>Goldfriend, Tomer ; Reichental, Israel ; Naveh, Amir ; Gazit, Lior ; Yoran, Nadav ; Alon, Ravid ; Ur, Shmuel ; Lahav, Shahak ; Cornfeld, Eyal ; Elazari, Avi ; Emanuel, Peleg ; Harpaz, Dor ; Michaeli, Tal ; Erez, Nati ; Preminger, Lior ; Shapira, Roman ; Garcell, Erik Michael ; Samimi, Or ; Kisch, Sara ; Hallel, Gil ; Kishony, Gilad ; van Wingerden, Vincent ; Rosenbloom, Nathaniel A ; Opher, Ori ; Vax, Matan ; Smoler, Ariel ; Danzig, Tamuz ; Schirman, Eden ; Sella, Guy ; Cohen, Ron ; Garfunkel, Roi ; Cohn, Tali ; Rosemarin, Hanan ; Hass, Ron ; Jankiewicz, Klem ; Gharra, Karam ; Roth, Ori ; Azar, Barak ; Asban, Shahaf ; Linkov, Natalia ; Segman, Dror ; Sahar, Ohad ; Davidson, Niv ; Minerbi, Nir ; Naveh, Yehuda</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-arxiv_primary_2412_073723</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2024</creationdate><topic>Physics - Quantum Physics</topic><toplevel>online_resources</toplevel><creatorcontrib>Goldfriend, Tomer</creatorcontrib><creatorcontrib>Reichental, Israel</creatorcontrib><creatorcontrib>Naveh, Amir</creatorcontrib><creatorcontrib>Gazit, Lior</creatorcontrib><creatorcontrib>Yoran, Nadav</creatorcontrib><creatorcontrib>Alon, Ravid</creatorcontrib><creatorcontrib>Ur, Shmuel</creatorcontrib><creatorcontrib>Lahav, Shahak</creatorcontrib><creatorcontrib>Cornfeld, Eyal</creatorcontrib><creatorcontrib>Elazari, Avi</creatorcontrib><creatorcontrib>Emanuel, Peleg</creatorcontrib><creatorcontrib>Harpaz, Dor</creatorcontrib><creatorcontrib>Michaeli, Tal</creatorcontrib><creatorcontrib>Erez, Nati</creatorcontrib><creatorcontrib>Preminger, Lior</creatorcontrib><creatorcontrib>Shapira, Roman</creatorcontrib><creatorcontrib>Garcell, Erik Michael</creatorcontrib><creatorcontrib>Samimi, Or</creatorcontrib><creatorcontrib>Kisch, Sara</creatorcontrib><creatorcontrib>Hallel, Gil</creatorcontrib><creatorcontrib>Kishony, Gilad</creatorcontrib><creatorcontrib>van Wingerden, Vincent</creatorcontrib><creatorcontrib>Rosenbloom, Nathaniel A</creatorcontrib><creatorcontrib>Opher, Ori</creatorcontrib><creatorcontrib>Vax, Matan</creatorcontrib><creatorcontrib>Smoler, Ariel</creatorcontrib><creatorcontrib>Danzig, Tamuz</creatorcontrib><creatorcontrib>Schirman, Eden</creatorcontrib><creatorcontrib>Sella, Guy</creatorcontrib><creatorcontrib>Cohen, Ron</creatorcontrib><creatorcontrib>Garfunkel, Roi</creatorcontrib><creatorcontrib>Cohn, Tali</creatorcontrib><creatorcontrib>Rosemarin, Hanan</creatorcontrib><creatorcontrib>Hass, Ron</creatorcontrib><creatorcontrib>Jankiewicz, Klem</creatorcontrib><creatorcontrib>Gharra, Karam</creatorcontrib><creatorcontrib>Roth, Ori</creatorcontrib><creatorcontrib>Azar, Barak</creatorcontrib><creatorcontrib>Asban, Shahaf</creatorcontrib><creatorcontrib>Linkov, Natalia</creatorcontrib><creatorcontrib>Segman, Dror</creatorcontrib><creatorcontrib>Sahar, Ohad</creatorcontrib><creatorcontrib>Davidson, Niv</creatorcontrib><creatorcontrib>Minerbi, Nir</creatorcontrib><creatorcontrib>Naveh, Yehuda</creatorcontrib><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Goldfriend, Tomer</au><au>Reichental, Israel</au><au>Naveh, Amir</au><au>Gazit, Lior</au><au>Yoran, Nadav</au><au>Alon, Ravid</au><au>Ur, Shmuel</au><au>Lahav, Shahak</au><au>Cornfeld, Eyal</au><au>Elazari, Avi</au><au>Emanuel, Peleg</au><au>Harpaz, Dor</au><au>Michaeli, Tal</au><au>Erez, Nati</au><au>Preminger, Lior</au><au>Shapira, Roman</au><au>Garcell, Erik Michael</au><au>Samimi, Or</au><au>Kisch, Sara</au><au>Hallel, Gil</au><au>Kishony, Gilad</au><au>van Wingerden, Vincent</au><au>Rosenbloom, Nathaniel A</au><au>Opher, Ori</au><au>Vax, Matan</au><au>Smoler, Ariel</au><au>Danzig, Tamuz</au><au>Schirman, Eden</au><au>Sella, Guy</au><au>Cohen, Ron</au><au>Garfunkel, Roi</au><au>Cohn, Tali</au><au>Rosemarin, Hanan</au><au>Hass, Ron</au><au>Jankiewicz, Klem</au><au>Gharra, Karam</au><au>Roth, Ori</au><au>Azar, Barak</au><au>Asban, Shahaf</au><au>Linkov, Natalia</au><au>Segman, Dror</au><au>Sahar, Ohad</au><au>Davidson, Niv</au><au>Minerbi, Nir</au><au>Naveh, Yehuda</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Design and synthesis of scalable quantum programs</atitle><date>2024-12-10</date><risdate>2024</risdate><abstract>We present a scalable, robust approach to creating quantum programs of
arbitrary size and complexity. The approach is based on the true abstraction of
the problem. The quantum program is expressed in terms of a high-level model
together with constraints and objectives on the final program. Advanced
synthesis algorithms transform the model into a low-level quantum program that
meets the user's specification and is directed at a stipulated hardware. This
separation of description from implementation is essential for scale. The
technology adapts electronic design automation methods to quantum computing,
finding feasible implementations in a virtually unlimited functional space. The
results show clear superiority over the compilation and transpilation methods
used today. We expect that this technological approach will take over and
prevail as quantum software become more demanding, complex, and essential.</abstract><doi>10.48550/arxiv.2412.07372</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | DOI: 10.48550/arxiv.2412.07372 |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_arxiv_primary_2412_07372 |
| source | arXiv.org |
| subjects | Physics - Quantum Physics |
| title | Design and synthesis of scalable quantum programs |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-02T10%3A12%3A51IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Design%20and%20synthesis%20of%20scalable%20quantum%20programs&rft.au=Goldfriend,%20Tomer&rft.date=2024-12-10&rft_id=info:doi/10.48550/arxiv.2412.07372&rft_dat=%3Carxiv_GOX%3E2412_07372%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |