arXiv subjects

Davide Poderini

Publications and source records attributed to Davide Poderini.

At least 19 recordsLinked to original sources

arXiv2026

Sparse positive maps on qutrits with exact nondecomposability thresholds and PPT-entanglement transitions

We study a family of sparse positive maps on qutrits for which positivity, decomposability, and PPT entanglement can all be analysed explicitly. The block structure of the associated Choi matrices reduces positivity to a Hermitian biquadratic form and leads to exact positivity boundaries for three representative parametric families. For the same families we determine the exact transition between decomposable and non-decomposable maps and construct associated PPT states of two classes. The first consists of witness-adapted deformations naturally tied to the non-decomposability analysis. The second consists of analytically tractable families whose full PPT-entangled branch is detected by fixed positive maps, yielding exact thresholds between separability and bound entanglement. For the trace-preserving subclass, we further compare positivity with a recent eigenvalue bound for 2-positive maps, thereby making the gap between positivity and higher-order positivity fully explicit within this family.

quant-ph↗

arXiv2026

Generating Non-Decomposable Maps with Differentiable Semidefinite Programming

Positive maps that are not decomposable are a key resource in entanglement theory because they can detect bound entangled states, yet systematic methods for constructing them remain limited. We introduce an optimization framework based on differentiable semidefinite programming (SDP) for generating positive non-decomposable maps under flexible structural constraints on their Choi matrices. The method combines SDP-based certificates of non-decomposability and positivity with gradient-based optimization, enabling a systematic search over maps with different input and output dimensions. Within this framework, we generate previously unknown numerical examples, identify a parametrized family of maps arising from masked Choi matrices, and construct real non-decomposable maps. We further show that the same approach can be adapted to explore open questions in quantum information theory, including the PPT square conjecture and recently proposed eigenvalue bounds for 2-positive trace-preserving maps.

quant-ph↗

arXiv2026

Network Nonlocality with Separable Measurements

Quantum correlations in networks with independent sources have revealed novel forms of nonclassical behavior. While entanglement in the sources is a necessary ingredient, the role played by entanglement in the measurements remains largely unexplored. In particular, all existing demonstrations of full network nonlocality, certifying the nonclassicality of every source in the network, have relied on entangled measurements performed at a central node with no inputs. In this work, we construct an explicit strategy that does not rely on entangled measurements, yet still achieves full network nonlocality. Our approach is based on separable measurements augmented with bidirectional classical feedforward. We further show that this same class of measurements can give rise to another recently proposed form of network nonlocality, the minimal network nonclassicality, which ensures that the observed correlations cannot be attributed to any fixed subset of nonclassical sources within the network. Finally, building on a recently developed certification framework, we quantify the amount of device-independent randomness that can be extracted from full network nonlocal correlations under different measurement strategies. Beyond their foundational significance, our results also offer a practically attractive route toward experimental implementations of network nonlocality, as they remove the need for entangled measurements.

quant-ph↗

arXiv2026

Quantum Hypergraph States: A Review

Quantum hypergraph states extend the well-studied class of graph states by taking into account multi-qubit interactions through hyperedges. They provide a powerful framework to represent a family of quantum states with genuine multipartite entanglement. In this review, we provide a compact overview of the formal structure, entanglement characteristics, and operational relevance of hypergraph states in quantum information theory. We begin by introducing their mathematical foundations and generalizations of the stabilizer formalism. A central focus is placed on their entanglement properties, including the classification under local unitary (LU) and stochastic local operations with classical communication (SLOCC), the quantification of multipartite entanglement, and detection techniques via entanglement witnesses. We also explore other nonclassical features of hypergraph states, such as contextuality and genuine multipartite nonlocality, derived from stabilizer-based Bell-type inequalities. Additional attention is given to the role of hypergraph states in error correction, and as a computational resource in measurement-based quantum computation (MBQC), and to their non-stabilizer character - quantified via resource-theoretic measures of quantum magic. Finally we review their generalization to higher dimensions, i.e. to qudits and continuous variables.

quant-ph↗

arXiv2026

Latent splitting as a causal probe

Generalizations of Bell's framework to causal networks have yielded new foundational insights and applications, including the use of interventions to enhance the detection of nonclassicality in scenarios with communication. Such interventions, however, become uninformative when all observable variables are space-like separated. To address this limitation, we introduce the latent splitting procedure, a generalization of interventions to quantum networks in which controlled manipulations are applied to latent quantum systems. We show that latent splitting enables the detection of nonclassicality by combining observational and interventional data even when conventional interventions fail. Focusing on the triangle network, we derive new analytical witnesses that robustly certify nonclassicality, including nonlinear inequalities for minimal binary-variable scenarios and extensions of the nonclassical region of previously proposed experiments.

quant-ph↗

arXiv2025

Prepare-and-Magic: Semi-Device Independent Magic Certification in the Prepare-and-Measure Scenario

Non-stabilizerness is an essential resource for quantum computational advantage, as stabilizer states admit efficient classical simulation. We develop a semi-device-independent framework for certifying non-stabilizer states in prepare-and-measure (PAM) scenarios, relying only on assumptions about the system's dimension. Within this framework, we introduce prepare-and-measure witnesses that can distinguish stabilizer from non-stabilizer states, and we provide analytical proofs that threshold violations of these witnesses certify non-stabilizerness. In the simplest setting: three preparations, two measurements, and qubit systems, surpassing a specific threshold guarantees that at least one prepared state lies outside the stabilizer polytope, while a stronger violation can certify at least two. We extend this approach by linking it to quantum random access codes, also generalizing our results to qutrit systems and introducing a necessary condition for certifying non-stabilizerness based on state overlaps (Gram matrices). These results offer a set of semi-device-independent tools for practically and systematically verifying non-stabilizer states using prepare-and-measure inequalities.

quant-ph↗

arXiv2025

Witnessing Magic with Bell inequalities

Non-stabilizerness, or magic, is a fundamental resource for quantum computation, enabling quantum algorithms to surpass classical capabilities. Despite its importance, characterizing magic remains challenging due to the intricate geometry of stabilizer polytopes and the difficulty of simulating non-stabilizer states. In this work, we reveal an unexpected connection between magic and Bell inequalities. Although maximally entangled stabilizer states can violate Bell inequalities and magic is deeply tied to the algebraic structure of observables, we show that tailored Bell inequalities can act as witnesses of magic. This result bridges two key quantum resources, uncovering a novel relationship between the device-independent framework and resource-theoretic properties of quantum computation.

quant-ph↗

arXiv2025

Experimental randomness certification in a quantum network with independent sources

Randomness certification is a foundational and practical aspect of quantum information science, essential for securing quantum communication protocols. Traditionally, these protocols have been implemented and validated with a single entanglement source, as in the paradigmatic Bell scenario. However, advancing these protocols to support more complex configurations involving multiple entanglement sources is key to building robust architectures and realizing large-scale quantum networks. In this work, we show how to certify randomness in an entanglement-teleportation experiment, the building block of a quantum repeater displaying two independent sources of entanglement. Utilizing the scalar extension method, we address the challenge posed by the non-convexity of the correlation set, providing effective bounds on an eavesdropper's knowledge of the shared secret bits. Our theoretical model characterizes the certifiable randomness within the network and is validated through the analysis of experimental data from a photonic quantum network.

quant-ph↗

arXiv2024

Experimental quantum randomness enhanced by a quantum network

The certification of randomness is essential for both fundamental science and information technologies. Unlike traditional random number generators, randomness obtained from nonlocal correlations is fundamentally guaranteed to be unpredictable. However, it is also highly susceptible to noise. Here, we show that extending the conventional bipartite Bell scenario to hybrid quantum networks -- which incorporate both quantum channels and entanglement sources -- enhances the robustness of certifiable randomness. Our protocol even enables randomness to be certified from Bell-local states, broadening the range of quantum states useful for this task. Through both theoretical analysis and experimental validation in a photonic network, we demonstrate enhanced performance and improved noise resilience.

quant-ph↗

arXiv2024

Error-Correcting Codes in TQFT on Multispheres

Topological quantum field theories (TQFT) encode quantum correlations in topological features of spaces. In this work, we leverage this feature to explore how information encoded in TQFTs can be stored and retrieved in the presence of local decoherence affecting its physical carriers. TQFT states' inherent nonlocality, redundancy, and entanglement position them as natural error-correcting codes. We demonstrate that information recovery protocols can be derived from the principle that protected information must be uniformly distributed across the system and from interpreting correlations in terms of space connectivity. Specifically, we employ a topological framework to devise erasure error correction protocols, showing that information can be successfully recovered even when parts of the system are corrupted.

quant-ph↗

arXiv2024

Quantum non-classicality in the simplest causal network

Bell's theorem prompts us with a fundamental inquiry: what is the simplest scenario leading to the incompatibility between quantum correlations and the classical theory of causality? Here we demonstrate that quantum non-classicality is possible in a network consisting of only three dichotomic variables, without the need of the locality assumption neither external measurement choices. We also show that the use of interventions, a central tool in the field of causal inference, significantly improves the noise robustness of this new kind of non-classical behaviour, making it feasible for experimental tests with current technology.

quant-ph↗

arXiv2024

Observational-Interventional Bell Inequalities

Generalizations of Bell's theorem, particularly within quantum networks, are now being analyzed through the causal inference lens. However, the exploration of interventions, a central concept in causality theory, remains significantly unexplored. In this work we give an initial step in this direction, by analyzing the instrumental scenario and proposing novel hybrid Bell inequalities integrating observational and interventional data. Focusing on binary outcomes with any number of inputs, we obtain the complete characterization of the observational-interventional polytope, equivalent to a Hardy-like Bell inequality albeit describing a distinct quantum experiment. To illustrate its applications, we show a significant enhancement regarding threshold detection efficiencies for quantum violations also showing the use of these hybrid approach in quantum steering scenarios.

quant-ph↗

arXiv2024

Photonic cellular automaton simulation of relativistic quantum fields: observation of Zitterbewegung

Quantum Cellular Automaton (QCA) is a model for universal quantum computation and a natural candidate for digital quantum simulation of relativistic quantum fields. Here we introduce the first photonic platform for implementing QCA-simulation of a free relativistic Dirac quantum field in 1+1 dimension, through a Dirac Quantum Cellular Automaton (DQCA). Encoding the field position degree of freedom in the Orbital Angular Momentum (OAM) of single photons, our state-of-the-art setup experimentally realizes 8 steps of a DQCA, with the possibility of having complete control over the input OAM state preparation and the output measurement making use of two spatial light modulators. Therefore, studying the distribution in the OAM space at each step, we were able to reproduce the time evolution of the free Dirac field observing, the Zitterbewegung, an oscillatory movement extremely difficult to see in real case experimental scenario that is a signature of the interference of particle and antiparticle states. The accordance between the expected and measured Zitterbewegung oscillations certifies the simulator performances, paving the way towards the application of photonic platforms to the simulation of more complex relativistic effects.

quant-ph↗

arXiv2023

Characterizing Hybrid Causal Structures with the Exclusivity Graph Approach

Analyzing the geometry of correlation sets constrained by general causal structures is of paramount importance for foundational and quantum technology research. Addressing this task is generally challenging, prompting the development of diverse theoretical techniques for distinct scenarios. Recently, novel hybrid scenarios combining different causal assumptions within different parts of the causal structure have emerged. In this work, we extend a graph theoretical technique to explore classical, quantum, and no-signaling distributions in hybrid scenarios, where classical causal constraints and weaker no-signaling ones are used for different nodes of the causal structure. By mapping such causal relationships into an undirected graph we are able to characterize the associated sets of compatible distributions and analyze their relationships. In particular we show how with our method we can construct minimal Bell-like inequalities capable of simultaneously distinguishing classical, quantum, and no-signaling behaviors, and efficiently estimate the corresponding bounds. The demonstrated method will represent a powerful tool to study quantum networks and for applications in quantum information tasks.

quant-ph↗

arXiv2023

Estimating the volumes of correlations sets in causal networks

Causal networks beyond that in the paradigmatic Bell's theorem can lead to new kinds and applications of non-classical behavior. Their study, however, has been hindered by the fact that they define a non-convex set of correlations and only very incomplete or approximated descriptions have been obtained so far, even for the simplest scenarios. Here, we take a different stance on the problem and consider the relative volume of classical or non-classical correlations a given network gives rise to. Among many other results, we show instances where the inflation technique, arguably the most disseminated tool in the community, is unable to detect a significant portion of the non-classical behaviors. Interestingly, we also show that the use of interventions, a central tool in causal inference, can enhance substantially our ability to witness non-classicality.

quant-ph↗

arXiv2022

Witnessing the non-objectivity of an unknown quantum dynamics

Quantum Darwinism offers an explanation for the emergence of classical objective features -- those we are used to at macroscopic scales -- from quantum properties at the microscopic level. The interaction of a quantum system with its surroundings redundantly proliferates information to many parts of the environment, turning it accessible and objective to different observers. But given that one cannot probe the quantum system directly, only its environment, how to witness whether an unknown quantum property can be deemed objective or not? Here we propose a probabilistic framework to analyze this question and show that objectivity implies a Bell-like inequality. Among several other results, we show quantum violations of this inequality, a device-independent proof of the non-objectivity of quantum correlations that give rise to the phenomenon we name "collective hallucination": observers probing distinct parts of the environment can agree upon their measurement outcome of a given observable but such outcome can be totally uncorrelated from the property of the quantum system that fixed observable should be probing. We also implement an appealing photonic experiment where the temporal degree of freedom of photons is the quantum system of interest, while their polarization acts as the environment. Employing a fully black-box approach, we achieve the violation of a Bell inequality, thus certifying the non-objectivity of the underlying quantum dynamics in a fully device-independent framework.

quant-ph↗

arXiv2022

Witnessing Non-Classicality in a Simple Causal Structure with Three Observable Variables

Seen from the modern lens of causal inference, Bell's theorem is nothing else than the proof that a specific classical causal model cannot explain quantum correlations. It is thus natural to move beyond Bell's paradigmatic scenario and consider different causal structures. For the specific case of three observable variables, it is known that there are three non-trivial causal networks. Two of those, are known to give rise to quantum non-classicality: the instrumental and the triangle scenarios. Here we analyze the third and remaining one, which we name the Evans scenario, akin to the causal structure underlying the entanglement-swapping experiment. We prove a number of results about this elusive scenario and introduce new and efficient computational tools for its analysis that also can be adapted to deal with more general causal structures. We do not solve its main open problem -- whether quantum non-classical correlations can arise from it -- but give a significant step in this direction by proving that post-quantum correlations, analogous to the paradigmatic Popescu-Rohrlich box, do violate the constraints imposed by a classical description of Evans causal structure.

quant-ph↗

arXiv2022

Experimental nonclassicality in a causal network without assuming freedom of choice

In a Bell experiment, it is natural to seek a causal account of correlations wherein only a common cause acts on the outcomes. For this causal structure, Bell inequality violations can be explained only if causal dependencies are modelled as intrinsically quantum. There also exists a vast landscape of causal structures beyond Bell that can witness nonclassicality, in some cases without even requiring free external inputs. Here, we undertake a photonic experiment realizing one such example: the triangle causal network, consisting of three measurement stations pairwise connected by common causes and no external inputs. To demonstrate the nonclassicality of the data, we adapt and improve three known techniques: (i) a machine-learning-based heuristic test, (ii) a data-seeded inflation technique generating polynomial Bell-type inequalities and (iii) entropic inequalities. The demonstrated experimental and data analysis tools are broadly applicable paving the way for future networks of growing complexity.

quant-ph↗