{"entities":{"Q993479":{"pageid":995327,"ns":120,"title":"Item:Q993479","lastrevid":65749371,"modified":"2026-04-12T05:07:02Z","type":"item","id":"Q993479","labels":{"en":{"language":"en","value":"Binary superposed quantum decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5788038"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993479$E4CA48EF-D7A3-44A4-BEB2-D28B9503B2D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3112ccfa99302fddde508e07f62d45e53015e1eb","datavalue":{"value":{"text":"Binary superposed quantum decision diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q993479$67CBDC6F-83C2-4C3A-AA37-5FFE065918FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"220b02e99a179781ca42e015293edd60d51ff1f9","datavalue":{"value":"1201.81037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993479$9ACD67D1-8FD9-4BDE-B3C7-4DF11FD82F9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc6e1be8090e1bf9e3724ced36f209cc459d004c","datavalue":{"value":{"entity-type":"item","numeric-id":976760,"id":"Q976760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993479$88205489-CFDE-4FAE-9DE0-69D98A4A04C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a35f561d0936669a320f067afb4f0e42f9e2f53","datavalue":{"value":{"entity-type":"item","numeric-id":264592,"id":"Q264592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993479$3C9D2A44-56E5-4EDB-B0C5-43B5C9716D59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25a12ad0594443d505ca92af898ecd503f486793","datavalue":{"value":{"time":"+2010-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q993479$6C9452EF-22EA-4DF6-B9B0-2C19A4F5512E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7ddda9c8a58acc0c1b125947c2b6a25aa1376566","datavalue":{"value":"The key theme of this work is the binary superposed decision diagrams or BSQDDs for short. The basic idea that lies behind BSQDDs is to represent a quantum superposition as a decision diagram where each node on each branch of a BSQDD corresponds to a gate. Each of those gates is controlled by the path originated from the root of the decision diagram. Each branch of BSQDD represents a different part of the desired quantum superposition. It is proved in Theorem 9 that, given a sufficient set of gates, a BSQDD enables to represent any quantum superposition. In this sense BSQDDs are universal. Two transformation rules to manipulate and reduce BSQDDs are derived. The canonical form for BSQDDs is defined. It is demonstrated that BSQDDs have some advantages to initialize quantum superpositions compared to the existing approaches. One of them is that BSQDDs do not require the ancilla qubits. Several examples of BSQDDs are discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$AE1B8011-D8A2-4F43-A51A-114E8268F103","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993479$B21FFCCF-DCEE-4D7E-9637-BD261BCDDB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993479$C0E8D0BB-418D-49A8-A348-61E57F1F788F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43ed30e2bc7300c103386e40a8807572b90d14fb","datavalue":{"value":"5788038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993479$046DBC6F-53A1-4DA8-8346-37A4F2992BD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$B6DC173E-1FB4-43FA-9F01-48636EA9B8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa3287141d3fe16919fa9b30eb69b80bb7a25974","datavalue":{"value":"quantum superposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$57C9B398-BBFA-45DF-AFF8-C69AFAE11752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef61fd918cec3815f3a8ddf9d5969ba5fcb45c5a","datavalue":{"value":"quantum gate","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$F041C383-4DE9-44E8-8325-09FF69A2032A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32a4bb1a33f52fff0de6e559907051646b7e9b8b","datavalue":{"value":"quantum initialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$9F2077C8-D129-4901-8E77-3B8B214F56B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8871584da928b8953e3c1f326d688a130f235669","datavalue":{"value":"quantum decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$6609B1A6-042C-4C8E-88DD-DB374E8419D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1149f3e2867be23f5282b736c4b340a41ef27b8d","datavalue":{"value":"quantum array","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$C899F2E5-F6D3-4BFA-B301-A4F0043708B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e844ee004a6529d3c7946542f3f8b8723ef6b519","datavalue":{"value":"quantum logic synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$BEA95A28-2A80-4E0D-8A5A-E4A18274564E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60db0f58b372190a57720d4e3910388222ad00ad","datavalue":{"value":"binary superposed decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$7939EC1F-91B1-41F0-8463-A281CBCA2A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98c57cfa7eab2009fa81903b32e847038a6876bc","datavalue":{"value":"Ventura-Martinez algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$FA40D4D9-B31A-45D4-A2A2-8CF0274AC07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4ce4437ce37e69bd5b17d736d088974bd883135","datavalue":{"value":"Long-Sun algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$15DB324A-2B51-4D14-A665-FB9D3D006D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302ac378ac456914225e7a4d0cd4a07d6139e2bf","datavalue":{"value":"transformation rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$E23653ED-6497-4CDF-89F2-7476A958E4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$B97E4D99-DB59-45B6-BB7D-E6A662ECCA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"475145db9107403547f0e9fe81a237b89d087868","datavalue":{"value":"node","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$405C6D23-0500-48DC-9FD0-045A815731D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$333D066A-5664-4F5F-9649-AB51D258DDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24af5212348db367de621b74e1cdf2e0190132a6","datavalue":{"value":"qubit","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$9C360A1A-5F81-4398-A5B1-29501B0F95D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935a7531cf251d4944b7da7fef31a513c4154654","datavalue":{"value":"canonical form","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$6AD15CEC-CE32-467B-BE6F-BA2A27C3B7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce83b1053073b7f40b03d648c2f3334bcbff5cc","datavalue":{"value":"universality","type":"string"},"datatype":"string"},"type":"statement","id":"Q993479$9DD13CF2-9D27-44FF-B328-3A9800B652E7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f5ef19752e999a4039d88112b029ea5dd2fe256f","datavalue":{"value":{"entity-type":"item","numeric-id":1296248,"id":"Q1296248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993479$BDC5D5C7-5997-42D1-95BF-F5469F77AEA5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e4ecaeca7671b8a9101915bba7a9b79529a9c09b","datavalue":{"value":{"entity-type":"item","numeric-id":24834,"id":"Q24834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993479$A172BC63-6D05-4B5A-846A-C768AFBE1ABD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993479$16549CAD-4BE9-4CAA-B098-F5168D66DECF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d00ca18e8c7b5b3c8c12c71748ce1db39309f913","datavalue":{"value":"https://doi.org/10.1007/s11128-009-0153-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q993479$7CD13BD1-9C29-4279-A7F6-67F0CB420B6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"301b0c2c17d2ca4df8a01b1e08fc7073765a1074","datavalue":{"value":"W2028475988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993479$F048D70B-63FD-493C-BB8C-E60F97A150BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc8eb067c2275d70b07585bbe30cf035b8aadaa","datavalue":{"value":{"entity-type":"item","numeric-id":4939144,"id":"Q4939144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993479$471C440F-4613-4B66-8920-75CAFA2A2617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993479$57C7DF89-2E90-4FF6-BFD1-00888F12A426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cab79af6108402711b6c7b005bd0091ff03f10f","datavalue":{"value":{"entity-type":"item","numeric-id":5946299,"id":"Q5946299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993479$F25D583C-110C-4A50-8129-3346E0A7F2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec05f12232d0a1528cf5463f4d82c9a218e2d75","datavalue":{"value":{"entity-type":"item","numeric-id":4228473,"id":"Q4228473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993479$52454A94-288B-47A3-AE0C-64194DBE8DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb9b4cde085bd27afe9be85984d2edbd4371604","datavalue":{"value":{"entity-type":"item","numeric-id":2819561,"id":"Q2819561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993479$80B7B143-BC43-404A-BD1A-615448809088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b52f946c49399f70325a09c1dd7d70e86ea1f19","datavalue":{"value":{"entity-type":"item","numeric-id":3522514,"id":"Q3522514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993479$A2499240-FA5D-44F0-A5F4-7E47C1BA2C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a8ecf3110a7dea2ec27f19d4181126ebbf99f6","datavalue":{"value":{"entity-type":"item","numeric-id":2573093,"id":"Q2573093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993479$8EA39454-DEFD-4704-8D86-88659B23A33E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e6bbe863fd15a03fe6ed85ef3a235108d94ee7b","datavalue":{"value":"10.1007/S11128-009-0153-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993479$FEBE2FBD-503E-4976-A0FD-20CAA460382E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af688a7ad170f6a3fa1a58e770a7e5f43dad6c46","datavalue":{"value":{"entity-type":"item","numeric-id":2868443,"id":"Q2868443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a6f6c028587c9f6870bdea104d71b6192b827ca","datavalue":{"value":{"amount":"+0.7514655590057373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q993479$0B40A065-62E0-498A-BAFA-29C18326BBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2d2b40ed1696472ae6e95354dadff8c202c3a4","datavalue":{"value":{"entity-type":"item","numeric-id":1705610,"id":"Q1705610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"695d2e901475bea46eefdf8e2d63e3921309ac9d","datavalue":{"value":{"amount":"+0.7052552103996277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q993479$4CCA0CAE-3AFC-4204-992E-949DA0B74F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71f4e53131d1f8851d1dd99f0538644b1c09fa6","datavalue":{"value":{"entity-type":"item","numeric-id":3541132,"id":"Q3541132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30c791df747a001ba05837ad3c3cb5de1ecd645","datavalue":{"value":{"amount":"+0.7025679349899292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q993479$7395D1E0-DC52-490E-8402-282D11E2E215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e442a64242d669f011152af6658a4cdc133703ac","datavalue":{"value":{"entity-type":"item","numeric-id":3628611,"id":"Q3628611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b7fa0d41b9345c34c178d12bfaa089176e29ee0","datavalue":{"value":{"amount":"+0.6913630366325378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q993479$E2470C18-7248-4036-9D3D-7F98A845EB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e42fc61d580ad72f88f04bc1612db042dfa7cd00","datavalue":{"value":{"entity-type":"item","numeric-id":3188927,"id":"Q3188927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc278cd2094f41257ecdf7a2a4c7f625d6e63951","datavalue":{"value":{"amount":"+0.6868703365325928","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q993479$2B3D858B-5DD3-4568-AE2C-07CEDF9CC1DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Binary superposed quantum decision diagrams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Binary_superposed_quantum_decision_diagrams"}}}}}