[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"detail-sidebar-cat-0-en-105":3,"doc-seo-657385-105":59,"doc-detail-657385-en":130},{"code":4,"msg":5,"data":6},0,"success",[7,13,18,23,28,33,38,43,48,51,55],{"id":8,"doc_module":4,"doc_module_name":9,"category_name":10,"show_sort_weight":11,"slug":12},1,"Document","Story & Novel",90,"story-novel",{"id":14,"doc_module":4,"doc_module_name":9,"category_name":15,"show_sort_weight":16,"slug":17},2,"Literature",80,"literature",{"id":19,"doc_module":4,"doc_module_name":9,"category_name":20,"show_sort_weight":21,"slug":22},4,"Exam",70,"exam",{"id":24,"doc_module":4,"doc_module_name":9,"category_name":25,"show_sort_weight":26,"slug":27},5,"Comic",60,"comic",{"id":29,"doc_module":4,"doc_module_name":9,"category_name":30,"show_sort_weight":31,"slug":32},6,"Technology",50,"technology",{"id":34,"doc_module":4,"doc_module_name":9,"category_name":35,"show_sort_weight":36,"slug":37},7,"Healthcare",40,"healthcare",{"id":39,"doc_module":4,"doc_module_name":9,"category_name":40,"show_sort_weight":41,"slug":42},8,"Research & Report",30,"research-report",{"id":44,"doc_module":4,"doc_module_name":9,"category_name":45,"show_sort_weight":46,"slug":47},9,"Religion & Spirituality",20,"religion-spirituality",{"id":46,"doc_module":4,"doc_module_name":9,"category_name":49,"show_sort_weight":46,"slug":50},"World Cup","world-cup",{"id":52,"doc_module":4,"doc_module_name":9,"category_name":53,"show_sort_weight":52,"slug":54},10,"Lifestyle","lifestyle",{"id":56,"doc_module":4,"doc_module_name":9,"category_name":57,"show_sort_weight":24,"slug":58},19,"General","general",{"code":4,"msg":60,"data":61},"ok",{"site_id":62,"language":63,"slug":64,"title":65,"keywords":66,"description":67,"schema_data":68,"social_meta":123,"head_meta":125,"extra_data":127,"updated_unix":129},105,"en","visualizing-decision-diagrams-for-quantum-computing-special-session-summary","Visualizing Decision Diagrams for Quantum Computing - Special Session Summary","","As quantum computing adoption accelerates, design automation methods are increasingly needed, and decision diagrams offer a promising foundation for simulation, synthesis, and verification. Many users lack intuition about how decision-diagram-based techniques work and where their capabilities and limitations lie. The paper presents an installation-free web visualization tool for quantum decision diagrams, enabling interactive learning of compact quantum-state representation, efficient circuit simulation, and equivalence verification of two circuits.",{"@graph":69,"@context":122},[70,84,105],{"@type":71,"itemListElement":72},"BreadcrumbList",[73,77,79,82],{"item":74,"name":75,"@type":76,"position":8},"https://docshare.wps.com","Home","ListItem",{"item":78,"name":9,"@type":76,"position":14},"https://docshare.wps.com/document/",{"item":80,"name":40,"@type":76,"position":81},"https://docshare.wps.com/document/research-report/",3,{"item":83,"name":65,"@type":76,"position":19},"https://docshare.wps.com/document/visualizing-decision-diagrams-for-quantum-computing-special-session-summary/657385/",{"url":83,"name":65,"@type":85,"image":86,"author":91,"headline":65,"publisher":94,"fileFormat":97,"inLanguage":63,"description":67,"dateModified":98,"datePublished":99,"encodingFormat":97,"isAccessibleForFree":100,"interactionStatistic":101},"DigitalDocument",{"url":87,"@type":88,"width":89,"height":90},"https://docshare.wps.com/thumbnails/visualizing-decision-diagrams-for-quantum-computing-special-session-summary/657385.png","ImageObject",300,407,{"name":92,"@type":93},"Cart","Person",{"url":74,"name":95,"@type":96},"DocShare","Organization","application/pdf","2026-10-30","2026-10-26",true,{"@type":102,"interactionType":103,"userInteractionCount":19},"InteractionCounter",{"@type":104},"ViewAction",{"@type":106,"mainEntity":107},"FAQPage",[108,114,118],{"name":109,"@type":110,"acceptedAnswer":111},"What problem does the paper address for decision-diagram tools in quantum computing?","Question",{"text":112,"@type":113},"Users often lack the background and intuition to understand how quantum decision diagram methods work and what their strengths and limits are.","Answer",{"name":115,"@type":110,"acceptedAnswer":116},"What capabilities does the visualization web tool provide?",{"text":117,"@type":113},"It interactively supports compact representation of quantum states and circuit functionality, efficient simulation of quantum circuits, and verification of equivalence between two circuits.",{"name":119,"@type":110,"acceptedAnswer":120},"What does the paper cover before applying decision diagrams?",{"text":121,"@type":113},"It first reviews the basics of quantum computing and establishes the terminology, then describes constructing decision diagrams for quantum computing and their use in simulation and verification with examples.","https://schema.org",{"og:url":83,"og:type":124,"og:title":65,"og:site_name":95,"og:description":67},"article",{"robots":126,"canonical":83},"index,follow",{"doc_id":128,"site_id":62},657385,1793073040,{"code":4,"msg":5,"data":131},{"doc_id":128,"user_id":132,"nickname":92,"user_avatar":133,"doc_module":4,"category_id":39,"category_name":40,"doc_title":65,"doc_description":67,"doc_content":134,"file_id":135,"file_url":136,"file_type":137,"file_size":138,"view_count":19,"is_deleted":4,"is_public":8,"is_downloadable":8,"audit_status":8,"page_count":29,"language":139,"language_code":63,"site_id":62,"html_lang":63,"table_of_contents":140,"faqs":141,"seo_title":142,"seo_description":67,"update_tm":143,"read_time":144},18829141979164,"https://eur-avatar.wpscdn.com/davatar_6f874abed73319feea01a86fa6f0fab8","Visualizing Decision Diagrams for Quantum Computing  \n(Special Session Summary)  \nRobert Wille􀀃y Lukas Burgholzer􀀃 Michael Artner􀀃  \n􀀃 Institute for Integrated Circuits, Johannes Kepler University Linz, Austria y Software Competence Center Hagenberg GmbH (SCCH), Hagenberg, Austria  \n[iic-quantum@jku.at](iic-quantum@jku.at)  \n[https://iic.jku.at/eda/research/quantum/](https://iic.jku.at/eda/research/quantum/)  \nAbstract—With the emergence of more and more applications for quantum computing, also the development of corresponding methods for design automation is receiving increasing interest. In this respect, decision diagrams provide a promising basis for many design tasks such as simulation, synthesis, verification, and more. However, users of the corresponding tools often do not have a proper background or an intuition about how these methods based on decision diagrams work and what their strengths and limits are. In an effort to make decision diagrams for quantum computing more accessible, we present a visualization tool which visualizes quantum decision diagrams and allows to explore their behavior when used in the design tasks mentioned above. The installation-free web-tool allows users to interactively learn how decision diagrams can be used in quantum computing, e.g., to (1) compactly represent quantum states and the functionality of quantum circuits,(2) to efficiently simulate quantum circuits, and (3) to verify the equivalence of two circuits. The tool is available at [https://iic.jku.at/eda/research/quantum_dd/tool](https://iic.jku.at/eda/research/quantum_dd/tool).  \nI. INTRODUCTION  \nQuantum computers are steadily improving in terms of their computational power to the extent that first computations are being performed that are no longer feasible on conventional machines [1], [2] . Achieving these milestones is only possible through interdisciplinary efforts by physicists, mathematicians, computer scientists, and many others. Just as in the design of conventional circuits and systems, the development of design automation tools for quantum computing will be one of the key factors for the success of the technology.  \nIn the 80's, decision diagrams were proposed as a data structure for efficiently representing and manipulating Boolean functions [3] . Following this development, several types of decision diagrams such as BDDs, FBDDs, KFDDs, MTBDDs, ZDDs, etc. emerged (see, e.g., [4]–[9]) which established them as a core asset in the design of today's circuits and systems. Due to their success in the past, the use of decision diagrams has also been proposed in the domain of quantum computing [10]–[14] . In particular for design tasks such as simulation [10],[15],[16], synthesis [17]–[19], and verification [12],[20],[21], they found great interest recently.  \nHowever, to date, there is still a huge gap to bridge between the quantum computing and the design automation community. In fact, these promising techniques have hardly reached the core of the quantum computing community until now and are not yet established—despite showing promising results. Due to the interdisciplinarity of the field, quite often, users of the corresponding tools are hardly familiar with the underlying theory and lack an intuition about how these tools work.  \nThis special session summary paper (and the tool it proposes) shall serve as an entry point for both, the design automation community in order to better understand the problems and tasks in quantum computing, but even more so the quantum community to get familiar with the concept of decision diagrams. Inan effort to make decision diagrams for quantum computing  \nmore accessible, we present a tool which visualizes quantum decision diagrams and allows to explore their behavior when used in the design tasks mentioned above. We believe that this will allow researchers and engineers who are unfamiliar with decision diagrams to more easily grasp the concept of them and foster an understanding of how they ca","cbCair0hTPoFUx4v","https://ap.wps.com/l/cbCair0hTPoFUx4v","pdf",1835884,"English","# Introduction\n# Quantum Computing\n## Qubit and state vectors","[{\"question\":\"What problem does the paper address for decision-diagram tools in quantum computing?\",\"answer\":\"Users often lack the background and intuition to understand how quantum decision diagram methods work and what their strengths and limits are.\"},{\"question\":\"What capabilities does the visualization web tool provide?\",\"answer\":\"It interactively supports compact representation of quantum states and circuit functionality, efficient simulation of quantum circuits, and verification of equivalence between two circuits.\"},{\"question\":\"What does the paper cover before applying decision diagrams?\",\"answer\":\"It first reviews the basics of quantum computing and establishes the terminology, then describes constructing decision diagrams for quantum computing and their use in simulation and verification with examples.\"}]","Visualizing Decision Diagrams for Quantum Computing - Special Session Summary | PDF",1792978321,15]