Pub Date : 2025-01-20DOI: 10.22331/q-2025-01-20-1600
Oscar Higgott, Craig Gidney
In this work, we introduce a fast implementation of the minimum-weight perfect matching (MWPM) decoder, the most widely used decoder for several important families of quantum error correcting codes, including surface codes. Our algorithm, which we call sparse blossom, is a variant of the blossom algorithm which directly solves the decoding problem relevant to quantum error correction. Sparse blossom avoids the need for all-to-all Dijkstra searches, common amongst MWPM decoder implementations. For 0.1% circuit-level depolarising noise, sparse blossom processes syndrome data in both $X$ and $Z$ bases of distance-17 surface code circuits in less than one microsecond per round of syndrome extraction on a single core, which matches the rate at which syndrome data is generated by superconducting quantum computers. Our implementation is open-source, and has been released in version 2 of the PyMatching library.
{"title":"Sparse Blossom: correcting a million errors per core second with minimum-weight matching","authors":"Oscar Higgott, Craig Gidney","doi":"10.22331/q-2025-01-20-1600","DOIUrl":"https://doi.org/10.22331/q-2025-01-20-1600","url":null,"abstract":"In this work, we introduce a fast implementation of the minimum-weight perfect matching (MWPM) decoder, the most widely used decoder for several important families of quantum error correcting codes, including surface codes. Our algorithm, which we call sparse blossom, is a variant of the blossom algorithm which directly solves the decoding problem relevant to quantum error correction. Sparse blossom avoids the need for all-to-all Dijkstra searches, common amongst MWPM decoder implementations. For 0.1% circuit-level depolarising noise, sparse blossom processes syndrome data in both $X$ and $Z$ bases of distance-17 surface code circuits in less than one microsecond per round of syndrome extraction on a single core, which matches the rate at which syndrome data is generated by superconducting quantum computers. Our implementation is open-source, and has been released in version 2 of the PyMatching library.","PeriodicalId":20807,"journal":{"name":"Quantum","volume":"28 1","pages":""},"PeriodicalIF":6.4,"publicationDate":"2025-01-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142990013","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Hardy's argument constitutes an elegantly logical test for identifying nonlocal features of multipartite correlations. In this paper, we investigate Hardy's nonlocal behavior within a broad class of operational theories, including the qubit state space as a specific case. Specifically, we begin by examining a wider range of operational models with state space descriptions in the form of regular polygons. First, we present a systematic method to characterize the possible forms of entangled states within bipartite compositions of these models. Then, through explicit examples, we identify the classes of entangled states that exhibit Hardy-type nonlocality. Remarkably, our findings highlight a closer analogy between odd polygon models and the qubit state space in terms of their bipartite Hardy nonlocal behavior compared to even-sided polygons. Furthermore, we demonstrate that the emergence of mixed-state Hardy nonlocality in any operational model is determined by a specific symmetry inherent in its dynamic description. Finally, our results uncover an unexplored class of almost-quantum correlations that can be associated with an explicit operational model.
{"title":"Bipartite polygon models: entanglement classes and their nonlocal behaviour","authors":"Mayalakshmi Kolangatt, Thigazholi Muruganandan, Sahil Gopalkrishna Naik, Tamal Guha, Manik Banik, Sutapa Saha","doi":"10.22331/q-2025-01-20-1599","DOIUrl":"https://doi.org/10.22331/q-2025-01-20-1599","url":null,"abstract":"Hardy's argument constitutes an elegantly logical test for identifying nonlocal features of multipartite correlations. In this paper, we investigate Hardy's nonlocal behavior within a broad class of operational theories, including the qubit state space as a specific case. Specifically, we begin by examining a wider range of operational models with state space descriptions in the form of regular polygons. First, we present a systematic method to characterize the possible forms of entangled states within bipartite compositions of these models. Then, through explicit examples, we identify the classes of entangled states that exhibit Hardy-type nonlocality. Remarkably, our findings highlight a closer analogy between odd polygon models and the qubit state space in terms of their bipartite Hardy nonlocal behavior compared to even-sided polygons. Furthermore, we demonstrate that the emergence of mixed-state Hardy nonlocality in any operational model is determined by a specific symmetry inherent in its dynamic description. Finally, our results uncover an unexplored class of almost-quantum correlations that can be associated with an explicit operational model.","PeriodicalId":20807,"journal":{"name":"Quantum","volume":"13 1","pages":""},"PeriodicalIF":6.4,"publicationDate":"2025-01-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142990012","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-20DOI: 10.22331/q-2025-01-20-1601
Metod Saniga, Frédéric Holweck, Colm Kelleher, Axel Muller, Alain Giorgetti, Henri de Boutray
Split Cayley hexagons of order two are distinguished finite geometries living in the three-qubit symplectic polar space in two different forms, called classical and skew. Although neither of the two yields observable-based contextual configurations of their own, $classically$-embedded copies are found to fully encode contextuality properties of the most prominent three-qubit contextual configurations in the following sense: for each set of unsatisfiable contexts of such a contextual configuration there exists some classically-embedded hexagon sharing with the configuration exactly this set of contexts and nothing else. We demonstrate this fascinating property first on the configuration comprising all 315 contexts of the space and then on doilies, both types of quadrics as well as on complements of skew-embedded hexagons. In connection with the last-mentioned case and elliptic quadrics we also conducted some experimental tests on a Noisy Intermediate Scale Quantum (NISQ) computer to substantiate our theoretical findings.
{"title":"Hexagons govern three-qubit contextuality","authors":"Metod Saniga, Frédéric Holweck, Colm Kelleher, Axel Muller, Alain Giorgetti, Henri de Boutray","doi":"10.22331/q-2025-01-20-1601","DOIUrl":"https://doi.org/10.22331/q-2025-01-20-1601","url":null,"abstract":"Split Cayley hexagons of order two are distinguished finite geometries living in the three-qubit symplectic polar space in two different forms, called classical and skew. Although neither of the two yields observable-based contextual configurations of their own, $classically$-embedded copies are found to fully encode contextuality properties of the most prominent three-qubit contextual configurations in the following sense: for each set of unsatisfiable contexts of such a contextual configuration there exists some classically-embedded hexagon sharing with the configuration exactly this set of contexts and nothing else. We demonstrate this fascinating property first on the configuration comprising all 315 contexts of the space and then on doilies, both types of quadrics as well as on complements of skew-embedded hexagons. In connection with the last-mentioned case and elliptic quadrics we also conducted some experimental tests on a Noisy Intermediate Scale Quantum (NISQ) computer to substantiate our theoretical findings.","PeriodicalId":20807,"journal":{"name":"Quantum","volume":"8 1","pages":""},"PeriodicalIF":6.4,"publicationDate":"2025-01-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142990014","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-20DOI: 10.22331/q-2025-01-20-1602
Akshay Bansal, Jamie Sikora
In the last two decades, there has been much effort in finding secure protocols for two-party cryptographic tasks. It has since been discovered that even with quantum mechanics, many such protocols are limited in their security promises. In this work, we use stochastic selection, an idea from stochastic programming, to circumvent such limitations. For example, we find a way to switch between bit commitment, weak coin flipping, and oblivious transfer protocols to improve their security. We also use stochastic selection to turn trash into treasure yielding the first quantum protocol for Rabin oblivious transfer.
{"title":"Breaking barriers in two-party quantum cryptography via stochastic semidefinite programming","authors":"Akshay Bansal, Jamie Sikora","doi":"10.22331/q-2025-01-20-1602","DOIUrl":"https://doi.org/10.22331/q-2025-01-20-1602","url":null,"abstract":"In the last two decades, there has been much effort in finding secure protocols for two-party cryptographic tasks. It has since been discovered that even with quantum mechanics, many such protocols are limited in their security promises. In this work, we use stochastic selection, an idea from stochastic programming, to circumvent such limitations. For example, we find a way to switch between bit commitment, weak coin flipping, and oblivious transfer protocols to improve their security. We also use stochastic selection to turn trash into treasure yielding the first quantum protocol for Rabin oblivious transfer.","PeriodicalId":20807,"journal":{"name":"Quantum","volume":"31 1","pages":""},"PeriodicalIF":6.4,"publicationDate":"2025-01-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142990933","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-15DOI: 10.22331/q-2025-01-15-1598
Anna Szymusiak, Wojciech Słomczyński
In a Generalised Probabilistic Theory (GPT) equipped additionally with some extra geometric structure we define the morphophoric measurements as those for which the measurement map sending states to distributions of the measurement results is a similarity. In the quantum case, morphophoric measurements generalise the notion of a 2-design POVM, thus in particular that of a SIC-POVM. We show that the theory built on this class of measurements retains the chief features of the QBism approach to the basis of quantum mechanics. In particular, we demonstrate how to extend the primal equation ('Urgleichung') of QBism, designed for SIC-POVMs, to the morphophoric case of GPTs. In the latter setting, the equation takes a different, albeit more symmetric, form, but all the quantities that appear in it can be interpreted in probabilistic and operational terms, as in the original 'Urgleichung'.
{"title":"Can QBism exist without Q? Morphophoric measurements in generalised probabilistic theories","authors":"Anna Szymusiak, Wojciech Słomczyński","doi":"10.22331/q-2025-01-15-1598","DOIUrl":"https://doi.org/10.22331/q-2025-01-15-1598","url":null,"abstract":"In a Generalised Probabilistic Theory (GPT) equipped additionally with some extra geometric structure we define the morphophoric measurements as those for which the measurement map sending states to distributions of the measurement results is a similarity. In the quantum case, morphophoric measurements generalise the notion of a 2-design POVM, thus in particular that of a SIC-POVM. We show that the theory built on this class of measurements retains the chief features of the QBism approach to the basis of quantum mechanics. In particular, we demonstrate how to extend the primal equation ('Urgleichung') of QBism, designed for SIC-POVMs, to the morphophoric case of GPTs. In the latter setting, the equation takes a different, albeit more symmetric, form, but all the quantities that appear in it can be interpreted in probabilistic and operational terms, as in the original 'Urgleichung'.","PeriodicalId":20807,"journal":{"name":"Quantum","volume":"37 1","pages":""},"PeriodicalIF":6.4,"publicationDate":"2025-01-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142986089","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-15DOI: 10.22331/q-2025-01-15-1595
Josep Batle, Tomasz Białecki, Tomasz Rybotycki, Jakub Tworzydło, Adam Bednorz
We improve the test to show the impossibility of a quantum theory based on real numbers by a larger ratio of complex-to-real bound on a Bell-type parameter. In contrast to previous theoretical and experimental proposals the test requires three settings for the parties $A$ and $C$, but also six settings for the middle party $B$, assuming separability of the sources. The bound we found for this symmetric configuration imposed on a real theory is $14.69$ while the complex maximum is $18$. This large theoretical difference enables us to demonstrate the concomitant experimental violation on IBM quantum computer via a designed quantum network, without resorting to error mitigation, obtaining as a result $15.44$ at more than $100$ standard deviations above the found real bound.
{"title":"Efficient discrimination between real and complex quantum theories","authors":"Josep Batle, Tomasz Białecki, Tomasz Rybotycki, Jakub Tworzydło, Adam Bednorz","doi":"10.22331/q-2025-01-15-1595","DOIUrl":"https://doi.org/10.22331/q-2025-01-15-1595","url":null,"abstract":"We improve the test to show the impossibility of a quantum theory based on real numbers by a larger ratio of complex-to-real bound on a Bell-type parameter. In contrast to previous theoretical and experimental proposals the test requires three settings for the parties $A$ and $C$, but also six settings for the middle party $B$, assuming separability of the sources. The bound we found for this symmetric configuration imposed on a real theory is $14.69$ while the complex maximum is $18$. This large theoretical difference enables us to demonstrate the concomitant experimental violation on IBM quantum computer via a designed quantum network, without resorting to error mitigation, obtaining as a result $15.44$ at more than $100$ standard deviations above the found real bound.","PeriodicalId":20807,"journal":{"name":"Quantum","volume":"31 1","pages":""},"PeriodicalIF":6.4,"publicationDate":"2025-01-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142981231","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-15DOI: 10.22331/q-2025-01-15-1597
Štěpán Šmíd, Roberto Bondesan
In this work, we consider a fundamental task in quantum many-body physics – finding and learning ground states of quantum Hamiltonians and their properties. Recent works have studied the task of predicting the ground state expectation value of sums of geometrically local observables by learning from data. For short-range gapped Hamiltonians, a sample complexity that is logarithmic in the number of qubits and quasipolynomial in the error was obtained. Here we extend these results beyond the local requirements on both Hamiltonians and observables, motivated by the relevance of long-range interactions in molecular and atomic systems. For interactions decaying as a power law with exponent greater than twice the dimension of the system, we recover the same efficient logarithmic scaling with respect to the number of qubits, but the dependence on the error worsens to exponential. Further, we show that learning algorithms equivariant under the automorphism group of the interaction hypergraph achieve a sample complexity reduction, leading in particular to a constant number of samples for learning sums of local observables in systems with periodic boundary conditions. We demonstrate the efficient scaling in practice by learning from DMRG simulations of $1$D long-range and disordered systems with up to $128$ qubits. Finally, we provide an analysis of the concentration of expectation values of global observables stemming from the central limit theorem, resulting in increased prediction accuracy.
{"title":"Efficient Learning of Long-Range and Equivariant Quantum Systems","authors":"Štěpán Šmíd, Roberto Bondesan","doi":"10.22331/q-2025-01-15-1597","DOIUrl":"https://doi.org/10.22331/q-2025-01-15-1597","url":null,"abstract":"In this work, we consider a fundamental task in quantum many-body physics – finding and learning ground states of quantum Hamiltonians and their properties. Recent works have studied the task of predicting the ground state expectation value of sums of geometrically local observables by learning from data. For short-range gapped Hamiltonians, a sample complexity that is logarithmic in the number of qubits and quasipolynomial in the error was obtained. Here we extend these results beyond the local requirements on both Hamiltonians and observables, motivated by the relevance of long-range interactions in molecular and atomic systems. For interactions decaying as a power law with exponent greater than twice the dimension of the system, we recover the same efficient logarithmic scaling with respect to the number of qubits, but the dependence on the error worsens to exponential. Further, we show that learning algorithms equivariant under the automorphism group of the interaction hypergraph achieve a sample complexity reduction, leading in particular to a constant number of samples for learning sums of local observables in systems with periodic boundary conditions. We demonstrate the efficient scaling in practice by learning from DMRG simulations of $1$D long-range and disordered systems with up to $128$ qubits. Finally, we provide an analysis of the concentration of expectation values of global observables stemming from the central limit theorem, resulting in increased prediction accuracy.","PeriodicalId":20807,"journal":{"name":"Quantum","volume":"15 1","pages":""},"PeriodicalIF":6.4,"publicationDate":"2025-01-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142986044","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Quantum optimization methods use a continuous degree-of-freedom of quantum states to heuristically solve combinatorial problems, such as the MAX-CUT problem, which can be attributed to various NP-hard combinatorial problems. This paper shows that some existing quantum optimization methods can be unified into a solver to find the binary solution which is most likely measured from the optimal quantum state. Combining this finding with the concept of quantum random access codes (QRACs) for encoding bits into quantum states on fewer qubits, we propose an efficient recursive quantum relaxation method called recursive quantum random access optimization (RQRAO) for MAX-CUT. Experiments on standard benchmark graphs with several hundred nodes in the MAX-CUT problem, conducted in a fully classical manner using a tensor network technique, show that RQRAO not only outperforms the Goemans-Williamson and recursive QAOA methods, but also is comparable to state-of-the-art classical solvers. The code is available at https://github.com/ToyotaCRDL/rqrao.
{"title":"Recursive Quantum Relaxation for Combinatorial Optimization Problems","authors":"Ruho Kondo, Yuki Sato, Rudy Raymond, Naoki Yamamoto","doi":"10.22331/q-2025-01-15-1594","DOIUrl":"https://doi.org/10.22331/q-2025-01-15-1594","url":null,"abstract":"Quantum optimization methods use a continuous degree-of-freedom of quantum states to heuristically solve combinatorial problems, such as the MAX-CUT problem, which can be attributed to various NP-hard combinatorial problems. This paper shows that some existing quantum optimization methods can be unified into a solver to find the binary solution which is most likely measured from the optimal quantum state. Combining this finding with the concept of quantum random access codes (QRACs) for encoding bits into quantum states on fewer qubits, we propose an efficient recursive quantum relaxation method called recursive quantum random access optimization (RQRAO) for MAX-CUT. Experiments on standard benchmark graphs with several hundred nodes in the MAX-CUT problem, conducted in a fully classical manner using a tensor network technique, show that RQRAO not only outperforms the Goemans-Williamson and recursive QAOA methods, but also is comparable to state-of-the-art classical solvers. The code is available at https://github.com/ToyotaCRDL/rqrao.","PeriodicalId":20807,"journal":{"name":"Quantum","volume":"1 1","pages":""},"PeriodicalIF":6.4,"publicationDate":"2025-01-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142981229","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Distributed quantum sensing enables the estimation of multiple parameters encoded in spatially separated probes. While traditional quantum sensing is often focused on estimating a single parameter with maximum precision, distributed quantum sensing seeks to estimate some function of multiple parameters that are only locally accessible for each party involved. In such settings, it is natural to not want to give away more information than is necessary. To address this, we use the concept of privacy with respect to a function, ensuring that only information about the target function is available to all the parties, and no other information. We define a measure of privacy (essentially how close we are to this condition being satisfied) and show it satisfies a set of naturally desirable properties of such a measure. Using this privacy measure, we identify and construct entangled resource states that ensure privacy for a given function under different resource distributions and encoding dynamics, characterized by Hamiltonian evolution. For separable and parallel Hamiltonians, we prove that the GHZ state is the only private state for certain linear functions, with the minimum amount of required resources, up to SLOCC. Recognizing the vulnerability of this state to particle loss, we create families of private states, that remain robust even against loss of qubits, by incorporating additional resources. We then extend our findings to different resource distribution scenarios and Hamiltonians, resulting in a comprehensive set of private and robust states for distributed quantum estimation. These results advance the understanding of privacy and robustness in multi-parameter quantum sensing.
{"title":"Private and Robust States for Distributed Quantum Sensing","authors":"Luís Bugalho, Majid Hassani, Yasser Omar, Damian Markham","doi":"10.22331/q-2025-01-15-1596","DOIUrl":"https://doi.org/10.22331/q-2025-01-15-1596","url":null,"abstract":"Distributed quantum sensing enables the estimation of multiple parameters encoded in spatially separated probes. While traditional quantum sensing is often focused on estimating a single parameter with maximum precision, distributed quantum sensing seeks to estimate some function of multiple parameters that are only locally accessible for each party involved. In such settings, it is natural to not want to give away more information than is necessary. To address this, we use the concept of privacy with respect to a function, ensuring that only information about the target function is available to all the parties, and no other information. We define a measure of privacy (essentially how close we are to this condition being satisfied) and show it satisfies a set of naturally desirable properties of such a measure. Using this privacy measure, we identify and construct entangled resource states that ensure privacy for a given function under different resource distributions and encoding dynamics, characterized by Hamiltonian evolution. For separable and parallel Hamiltonians, we prove that the GHZ state is the only private state for certain linear functions, with the minimum amount of required resources, up to SLOCC. Recognizing the vulnerability of this state to particle loss, we create families of private states, that remain robust even against loss of qubits, by incorporating additional resources. We then extend our findings to different resource distribution scenarios and Hamiltonians, resulting in a comprehensive set of private and robust states for distributed quantum estimation. These results advance the understanding of privacy and robustness in multi-parameter quantum sensing.","PeriodicalId":20807,"journal":{"name":"Quantum","volume":"15 1","pages":""},"PeriodicalIF":6.4,"publicationDate":"2025-01-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142986043","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-14DOI: 10.22331/q-2025-01-14-1592
Lluís Masanes, Thomas D. Galley, Markus P. Müller
Adrian Kent has recently presented a critique [1] of our paper [2] in which he claims to refute our main result: the measurement postulates of quantum mechanics can be derived from the rest of postulates, once we assume that the set of mixed states of a finite-dimensional Hilbert space is finite-dimensional. To construct his argument, Kent considers theories resulting from supplementing quantum mechanics with hypothetical ``post-quantum'' measurement devices. We prove that each of these theories contains pure states (i.e. states of maximal knowledge) which are not rays of the Hilbert space, in contradiction with the ``pure state postulate'' of quantum mechanics. We also prove that these alternatives violate the finite-dimensionality of mixed states. Each of these two facts separately invalidates the refutation. In this note we also clarify the assumptions used in [2] and discuss the notions of pure state, physical system, and the sensitivity of the structure of the state space under modifications of the measurements or the dynamics.
Adrian Kent最近对我们的论文b[2]提出了批评b[1],其中他声称反驳了我们的主要结果:量子力学的测量公设可以从其他公设中推导出来,一旦我们假设有限维希尔伯特空间的混合状态集是有限维的。为了构建他的论点,肯特考虑了用假设的“后量子”测量设备补充量子力学所产生的理论。我们证明了这些理论中的每一个都包含不是希尔伯特空间射线的纯粹状态(即最大知识的状态),这与量子力学的“纯粹状态假设”相矛盾。我们还证明了这些替代违反混合状态的有限维性。这两个事实中的每一个都分别使反驳无效。在本文中,我们还澄清了[2]中使用的假设,并讨论了纯态、物理系统的概念,以及在测量或动力学修改下状态空间结构的灵敏度。
{"title":"Response to “The measurement postulates of quantum mechanics are not redundant”","authors":"Lluís Masanes, Thomas D. Galley, Markus P. Müller","doi":"10.22331/q-2025-01-14-1592","DOIUrl":"https://doi.org/10.22331/q-2025-01-14-1592","url":null,"abstract":"Adrian Kent has recently presented a critique [1] of our paper [2] in which he claims to refute our main result: the measurement postulates of quantum mechanics can be derived from the rest of postulates, once we assume that the set of mixed states of a finite-dimensional Hilbert space is finite-dimensional. To construct his argument, Kent considers theories resulting from supplementing quantum mechanics with hypothetical ``post-quantum'' measurement devices. We prove that each of these theories contains pure states (i.e. states of maximal knowledge) which are not rays of the Hilbert space, in contradiction with the ``pure state postulate'' of quantum mechanics. We also prove that these alternatives violate the finite-dimensionality of mixed states. Each of these two facts separately invalidates the refutation. In this note we also clarify the assumptions used in [2] and discuss the notions of pure state, physical system, and the sensitivity of the structure of the state space under modifications of the measurements or the dynamics.","PeriodicalId":20807,"journal":{"name":"Quantum","volume":"74 2 Pt 2 1","pages":""},"PeriodicalIF":6.4,"publicationDate":"2025-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142981227","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}