arXiv subjects

Owidiusz Makuta

Publications and source records attributed to Owidiusz Makuta.

13 recordsLinked to original sources

arXiv2026

Frustration graph formalism for qudit observables

The incompatibility of measurements is the key feature of quantum theory that distinguishes it from the classical description of nature. Here, we consider groups of d-outcome quantum observables with prime d represented by non-Hermitian unitary operators whose eigenvalues are d'th roots of unity. We additionally assume that these observables mutually commute up to a scalar factor being one of the d'th roots of unity. By representing commutation relations of these observables via a frustration graph, we show that for such a group, there exists a single unitary transforming them into a tensor product of generalized Pauli matrices and some ancillary mutually commuting operators. Building on this result, we derive upper bounds on the sum of the squares of the absolute values and the sum of the expected values of the observables forming a group. We finally utilize these bounds to compute the generalized geometric measure of entanglement for qudit stabilizer subspaces.

quant-ph↗

arXiv2026

On Non-Existence of Stabilizer Absolutely Maximally Entangled States in Even Local Dimensions

We demonstrate that absolutely maximally entangled (AME) states consisting of $N=4n$ qudits with $n\in\{1,2,3,...\}$, each of even local dimension, cannot be realized as graph states. This result imposes strong constraints on AME states in composite local dimensions and characterizes the limitations of graph-state constructions for highly entangled multipartite quantum systems. In particular, this study provides an independent solution of the recently discussed case of the AME state of four quhexes and clarifies its characterization within the stabilizer formalism, complementing the results found recently in [H. Cha, arXiv:2603.13442]. At the same time, we provide a general construction for mixed $k$-uniform states whose purity is determined by the optimal stabilizer representations. For the specific case of $(N=4,d=6)$, this yields a mixed AME state of optimal purity $1/2$, not subject to canonical graph-state constraints.

quant-ph↗

arXiv2026

Entanglement witnesses for stabilizer states and subspaces beyond qubits

Genuine multipartite entanglement is arguably the most valuable form of entanglement in the multipartite case, with applications, for instance, in quantum metrology. In order to detect that form of entanglement in multipartite quantum states, one typically uses entanglement witnesses. The aim of this paper is to generalize the results of [G. Tóth and O. Gühne, Phys. Rev. A \textbf{72}, 022340 (2005)] in order to provide a construction of witnesses of genuine multipartite entanglement tailored to entangled subspaces originating from the \textit{multi-qudit} stabilizer formalism -- a framework well known for its role in quantum error correction, which also provides a very convenient description of a broad class of entangled multipartite states (both pure and mixed). Our construction includes graph states of arbitrary local dimension. We then show that in certain situations, the obtained witnesses detecting genuine multipartite entanglement in quantum systems of higher local dimension are superior in terms of noise robustness to those derived for multiqubit states.

quant-ph↗

arXiv2026

Stoquastic permutationally invariant Bell operators

As Hermitian operators, many-body Bell operators can naturally be identified as many-body Hamiltonians. An important subclass of such Hamiltonians is the stoquastic class, characterized by having nonpositive off-diagonal matrix elements in a given basis. Interestingly, this property is shared by the permutationally invariant (PI) Bell operators underlying the largest Bell-correlation experiments to date. In this work, we explore the connection between many-body PI Bell operators and stoquasticity. We introduce the stoquasticity cone, which allows for a full characterization of the stoquastic parameter regimes for any PI Bell operator. We use this to show that PI Bell operators of the binary-input binary-output scenario consisting of at most three-body correlators can always be rendered stoquastic for any set of measurement parameters. Additionally, we also provide examples that use the stoquasticity cone to optimize for the quantum-classical gap. Numerical evidence suggests that the Bell operator used in the largest experiments to date is optimal with respect to stoquasticity. To the best of our knowledge, this work establishes the first connection between PI Bell operators and stoquasticity.

quant-ph↗

arXiv2025

The genuinely multipartite nonlocality of graph states is model-dependent

Bell's theorem proves that some quantum state correlations can only be explained by bipartite non-classical resources. The notion of genuinely multipartite nonlocality (GMNL) was later introduced to conceptualize the fact that nonclassical resources involving more than two parties in a nontrivial way may be needed to account for some quantum correlations. In this letter, we first recall the contradictions inherent to the historical definition of GMNL. Second, we turn to one of its redefinitions, called Local-Operations-and-Shared-Randomness GMNL (LOSR-GMNL), proving that all caterpillar graph states (including cluster states) have this second property. Finally, we conceptualize a third, alternative definition, which we call Local-Operations-and-Neighbour-Communication GMNL (LONC-GMNL), that is adapted to situations in which short-range communication between some parties might occur. We show that cluster states do not have this third property, while GHZ states do. Beyond its technical content, our letter illustrates that rigorous conceptual work is needed before applying the concepts of genuinely multipartite nonlocality, genuine multipartite entanglement or entanglement depth to benchmark the nonclassicality of some experimentally-produced quantum system. We note that most experimental works still use witnesses based on the historical definitions of these notions, which fail to reject models based on bipartite resources.

quant-ph↗

arXiv2025

Tailoring Bell inequalities to the qudit toric code and self testing

Bell nonlocality provides a robust scalable route to the efficient certification of quantum states. Here, we introduce a general framework for constructing Bell inequalities tailored to the $\mathbb{Z}_d$ toric code for odd prime local dimensions. Selecting a suitable subset of stabilizer operators and mapping them to generalized measurement observables, we compute multipartite Bell expressions whose quantum maxima admit a sum-of-squares decomposition. We show that these inequalities are maximally violated by all states in the ground-state manifold of the $\mathbb{Z}_d$ toric code, and determine their classical (local) bounds through a combination of combinatorial tiling arguments and explicit optimization. As a concrete application, we analyze the case of $d=3$ and demonstrate that the maximal violation self-tests the full qutrit toric-code subspace, up to local isometries and complex conjugation. This constitutes, to our knowledge, the first-ever example of self-testing a qutrit subspace. Extending these constructions, we further present schemes to enhance the ratio of classical--quantum bounds and thus improve robustness to experimental imperfections. Our results establish a pathway toward device-independent certification of highly entangled topological quantum matter and provide new tools for validating qudit states in error-correcting codes and quantum simulation platforms.

quant-ph↗

arXiv2024

All genuinely entangled stabilizer subspaces are multipartite fully nonlocal

Understanding which entangled states give rise to Bell nonlocality and thus are resourceful in the device-independent framework is a long-stanging unresolved problem. Here we establish the equivalence between genuine entanglement and genuine nonlocality for a broad class of multipartite (pure and mixed) states originating from the stabilizer formalism. In fact, we prove that any (mixed) stabilizer state defined on a genuinely entangled subspace is multipartite fully nonlocal meaning that it gives rise to correlations with no contribution from local hidden variable models of any type. Importantly, we also derive a lower bound on genuine nonlocality content of arbitrary multipartite states, opening the door to its experimental estimation.

quant-ph↗

arXiv2024

Single Bell inequality to detect genuine nonlocality in three-qubit genuinely entangled states

It remains an open question whether every pure multipartite state that is genuinely entangled is also genuinely nonlocal. Recently, a new general construction of Bell inequalities allowing the detection of genuine multipartite nonlocality (GMNL) in quantum states was proposed in [F. J. Curchod, M. L. Almeida, and A. Acin, New J. Phys. 21, 023016 (2019) with the aim of addressing the above problem. Here we show how, in a simple manner, one can improve this construction to deliver tighter Bell inequalities for detection of GMNL. Remarkably, we then prove one of the improved Bell inequalities to be powerful enough to detect GMNL in every three-qubit genuinely entangled state. We also generalize some of these inequalities to detect not only GMNL but also nonlocality depth in multipartite states and we present a possible way of generalizing them to the case of more outcomes.

quant-ph↗

arXiv2023

No graph state is preparable in quantum networks with bipartite sources and no classical communication

In research concerning quantum networks, it is often assumed that the parties can classically communicate with each other. However, classical communication might introduce a substantial delay to the network, especially if it is large. As the latency of a network is one of its most important characteristics, it is interesting to consider quantum networks in which parties cannot communicate classically and ask what limitations this assumption imposes on the possibility of preparing multipartite states in such networks. We show that graph states of an arbitrary prime local dimension known for their numerous applications in quantum information cannot be generated in a quantum network in which parties are connected via sources of bipartite quantum states and the classical communication is replaced by some pre-shared classical correlations. We then generalise our result to arbitrary quantum states that are sufficiently close to graph states.

quant-ph↗

arXiv2023

High-dimensional monitoring and the emergence of realism via multiple observers

Correlation is the basic mechanism of every measurement model, as one never accesses the measured system directly. Instead, correlations are created, codifying information about the measurable property into the environment. Here, we address the problem of the emergence of physical reality from the quantum world by introducing a model that interpolates between weak and strong non-selective measurements for qudits. By utilizing Heisenberg-Weyl operators, our model suggests that independently of the interaction intensity between the system and the environment, full information about the observable of interest can always be obtained by making the system interact with many environmental qudits, following a Quantum Darwinism framework.

quant-ph↗

arXiv2023

Fully non-positive-partial-transpose genuinely entangled subspaces

Genuinely entangled subspaces are a class of subspaces in the multipartite Hilbert spaces that are composed of only genuinely entangled states. They are thus an interesting object of study in the context of multipartite entanglement. Here we provide a construction of multipartite subspaces that are not only genuinely entangled but also fully non-positive-partial-transpose (NPT) in the sense that any mixed state supported on them has non-positive partial transpose across any bipartition. Our construction originates from the stabilizer formalism known for its use in quantum error correction. To this end, we first introduce a couple of criteria allowing to assess whether any state from a given non-trivial stabilizer subspace is genuinely multipartite entangled. We then use these criteria to construct genuinely entangled stabilizer subspaces for any number of parties and arbitrary local dimension and conjecture them to be of maximal dimension achievable within the stabilizer formalism. At the same time, we prove that every genuinely entangled subspace is fully NPT in the above sense, which implies a quite surprising fact that no genuinely entangled stabilizer subspace can support PPT entangled states.

quant-ph↗

arXiv2022

Self-testing of any pure entangled state with minimal number of measurements and optimal randomness certification in one-sided device-independent scenario

Certification of quantum systems and their properties has become a field of intensive studies. Here, taking advantage of the one-sided device-independent scenario (known also as quantum steering scenario), we propose a self-testing scheme for all bipartite entangled states using a single family of steering inequalities with the minimal number of two measurements per party. Building on this scheme we then show how to certify all rank-one extremal measurements, including non-projective $d^2$-outcome measurements, which in turn can be used for certification of the maximal amount of randomness from every entangled bipartite state of local dimension $d$, that is, $2\log_2d$ bits. Finally, in a particular case of $d=3$, we extend our self-testing results to the fully device-independent setting.

quant-ph↗

arXiv2020

Self-testing maximally-dimensional genuinely entangled subspaces within the stabilizer formalism

Self-testing was originally introduced as a device-independent method of certification of entangled quantum states and local measurements performed on them. Recently, in [F. Baccari \textit{et al.}, arXiv:2003.02285] the notion of state self-testing has been generalized to entangled subspaces and the first self-testing strategies for exemplary genuinely entangled subspaces have been given. The main aim of our work is to pursue this line of research and to address the question how "large" (in terms of dimension) are genuinely entangled subspaces that can be self-tested, concentrating on the multiqubit stabilizer formalism. To this end, we first introduce a framework allowing to efficiently check whether a given stabilizer subspace is genuinely entangled. Building on it, we then determine the maximal dimension of genuinely entangled subspaces that can be constructed within the stabilizer subspaces and provide an exemplary construction of such maximally-dimensional subspaces for any number of qubits. Third, we construct Bell inequalities that are maximally violated by any entangled state from those subspaces and thus also any mixed states supported on them, and we show these inequalities to be useful for self-testing. Interestingly, our Bell inequalities allow for identification of higher-dimensional face structures in the boundaries of the sets of quantum correlations in the simplest multipartite Bell scenarios in which every observer performs two dichotomic measurements.

quant-ph↗