{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T13:22:54Z","timestamp":1782912174461,"version":"3.54.5"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227485","type":"print"},{"value":"9783032227492","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22749-2_22","type":"book-chapter","created":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T13:08:40Z","timestamp":1776258520000},"page":"440-458","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Error-Tolerant Quantum State Discrimination: Optimization and Quantum Circuit Synthesis"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-3388-1467","authenticated-orcid":false,"given":"Chien-Kai","family":"Ma","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3709-0225","authenticated-orcid":false,"given":"Bo-Hung","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-5947-6206","authenticated-orcid":false,"given":"Tian-Fu","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5049-0333","authenticated-orcid":false,"given":"Dah-Wei","family":"Chiou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2279-4732","authenticated-orcid":false,"given":"Jie-Hong\u00a0R.","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,4,15]]},"reference":[{"key":"22_CR1","unstructured":"Agrawal, A., Amos, B., Barratt, S., Boyd, S., Diamond, S., Kolter, J.Z.: Differentiable convex optimization layers. Advances in neural information processing systems 32 (2019)"},{"key":"22_CR2","unstructured":"ApS, M.: MOSEK Optimizer API for Python 11.0.29 (2025), https:\/\/docs.mosek.com\/11.0\/pythonapi\/index.html"},{"key":"22_CR3","unstructured":"Araujo, I.F., Ara\u00fajo, I.C.S., da\u00a0Silva, L.D., Blank, C., da\u00a0Silva, A.J.: Quantum computing library (February 2023), https:\/\/github.com\/qclib\/qclib"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Arecchi, F.T., Courtens, E., Gilmore, R., Thomas, H.: Atomic coherent states in quantum optics. Physical Review A 6(6), \u00a02211 (1972)","DOI":"10.1103\/PhysRevA.6.2211"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Bae, J.: Structure of minimum-error quantum state discrimination. New Journal of Physics 15(7), 073037 (2013)","DOI":"10.1088\/1367-2630\/15\/7\/073037"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Bae, J., Kwek, L.C.: Quantum state discrimination and its applications. Journal of Physics A: Mathematical and Theoretical 48(8), 083001 (2015)","DOI":"10.1088\/1751-8113\/48\/8\/083001"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Bagan, E., Mu\u00f1oz-Tapia, R., Olivares-Renter\u00eda, G., Bergou, J.: Optimal discrimination of quantum states with a fixed rate of inconclusive outcomes. Physical Review A\u2014Atomic, Molecular, and Optical Physics 86(4), 040303 (2012)","DOI":"10.1103\/PhysRevA.86.040303"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Barnett, S.M., Croke, S.: Quantum state discrimination. Advances in Optics and Photonics 1(2), 238\u2013278 (2009)","DOI":"10.1364\/AOP.1.000238"},{"key":"22_CR9","doi-asserted-by":"publisher","unstructured":"Bennett, C.H., Brassard, G.: Quantum cryptography: Public key distribution and coin tossing. Theoretical Computer Science 560, 7\u201311 (2014). https:\/\/doi.org\/10.1016\/j.tcs.2014.05.025","DOI":"10.1016\/j.tcs.2014.05.025"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Bergou, J.A.: Discrimination of quantum states. Journal of Modern Optics 57(3), 160\u2013180 (2010)","DOI":"10.1080\/09500340903477756"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Boyd, S.P., Vandenberghe, L.: Convex optimization. Cambridge university press (2004)","DOI":"10.1017\/CBO9780511804441"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Chefles, A.: Quantum state discrimination. Contemporary Physics 41(6), 401\u2013424 (2000)","DOI":"10.1080\/00107510010002599"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Croke, S., Andersson, E., Barnett, S.M., Gilson, C.R., Jeffers, J.: Maximum confidence quantum measurements. Physical Review Letters 96(7) (2006). https:\/\/www.doi.org\/ARTN%20070401%2010.1103\/PhysRevLett.96.070401","DOI":"10.1103\/PhysRevLett.96.070401"},{"key":"22_CR14","doi-asserted-by":"publisher","unstructured":"Eldar, Y.C.: A semidefinite programming approach to optimal unambiguous discrimination of quantum states. IEEE Transactions on Information Theory 49(2), 446\u2013456 (2003). https:\/\/doi.org\/10.1109\/TIT.2002.807291","DOI":"10.1109\/TIT.2002.807291"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Gazeau, J.P.: Coherent states in quantum physics. Wiley Online Library (2009)","DOI":"10.1002\/9783527628285"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Grant, M., Boyd, S., Ye, Y.: Disciplined convex programming. In: Global optimization: From theory to implementation, pp. 155\u2013210. Springer (2006)","DOI":"10.1007\/0-387-30528-9_7"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Herzog, U.: Optimal state discrimination with a fixed rate of inconclusive results: Analytical solutions and relation to state discrimination with a fixed error rate. Physical Review A\u2014Atomic, Molecular, and Optical Physics 86(3), 032314 (2012)","DOI":"10.1103\/PhysRevA.86.032314"},{"key":"22_CR18","doi-asserted-by":"publisher","unstructured":"Iten, R., Colbeck, R., Kukuljan, I., Home, J., Christandl, M.: Quantum circuits for isometries. Physical Review A 93(3), 032318 (2016). https:\/\/doi.org\/10.1103\/PhysRevA.93.032318","DOI":"10.1103\/PhysRevA.93.032318"},{"key":"22_CR19","doi-asserted-by":"publisher","unstructured":"Ivashkov, P., Uchehara, G., Jiang, L., Wang, D.S., Seif, A.: High-fidelity, multiqubit generalized measurements with dynamic circuits. PRX Quantum 5(3), 030315 (2024). https:\/\/doi.org\/10.1103\/PRXQuantum.5.030315","DOI":"10.1103\/PRXQuantum.5.030315"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Ko, H., Choi, B.S., Choe, J.S., Youn, C.J.: Advanced unambiguous state discrimination attack and countermeasure strategy in a practical B92 QKD system. Quantum Information Processing 17(1) (2018). https:\/\/www.doi.org\/ARTN%2017%2010.1007\/s11128-017-1784-7","DOI":"10.1007\/s11128-017-1784-7"},{"key":"22_CR21","unstructured":"Kosut, R.L., Walmsley, I., Eldar, Y., Rabitz, H.: Quantum state detector design: Optimal worst-case a posteriori performance (2004), https:\/\/arxiv.org\/abs\/quant-ph\/0403150"},{"key":"22_CR22","unstructured":"Lambert, N., Gigu\u00e8re, E., Menczel, P., Li, B., Hopf, P., Su\u00e1rez, G., Gali, M., Lishman, J., Gadhvi, R., Agarwal, R., Galicia, A., Shammah, N., Nation, P., Johansson, J.R., Ahmed, S., Cross, S., Pitchford, A., Nori, F.: QuTiP 5: The quantum toolbox in Python (2024), https:\/\/arxiv.org\/abs\/2412.04705"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Ma, C.K., Chen, B.H., Chen, T.F., Chiou, D.W., Jiang, J.H.R.: Supplemental Material for \u201cError-Tolerant Quantum State Discrimination: Optimization and Quantum Circuit Synthesis\u201d (2026), https:\/\/zenodo.org\/records\/17493285","DOI":"10.1007\/978-3-032-22749-2_22"},{"key":"22_CR24","unstructured":"Na\u0131mark, M.: On the representations of additive operator set functions. In: CR (Doklady) Acad. Sci. USSR. vol.\u00a041, pp. 359\u2013361 (1943)"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"Qiu, D.: Minimum-error discrimination between mixed quantum states. Physical Review A\u2014Atomic, Molecular, and Optical Physics 77(1), 012328 (2008)","DOI":"10.1103\/PhysRevA.77.012328"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Scarani, V., Ac\u00edn, A., Ribordy, G., Gisin, N.: Quantum cryptography protocols robust against photon number splitting attacks for weak laser pulse implementations. Physical Review Letters 92(5) (2004). https:\/\/www.doi.org\/ARTN%20057901%2010.1103\/PhysRevLett.92.057901","DOI":"10.1103\/PhysRevLett.92.057901"},{"key":"22_CR27","doi-asserted-by":"crossref","unstructured":"Vandenberghe, L., Boyd, S.: Semidefinite programming. SIAM review 38(1), 49\u201395 (1996)","DOI":"10.1137\/1038003"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22749-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:35:30Z","timestamp":1782866130000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22749-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227485","9783032227492"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22749-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"15 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TACAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tacas2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/about\/tacas\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}