arXiv subjects

Alisson Tezzin

Publications and source records attributed to Alisson Tezzin.

9 recordsLinked to original sources

arXiv2026

Long-term Performance Analysis of a Commercial QKD Device Under Real-world Deployment Conditions

Quantum key distribution (QKD) has reached a commercially viable stage, with several companies offering hardware systems designed for operational deployment. Evaluating the performance of commercial QKD devices under real-world deployment conditions is essential for users seeking to understand the practical limitations and operational reliability of these systems. In this paper, we present a long-term performance analysis of ID Quantique's Clavis XGR deployed within the Hermes Quantum Network, in Brazil. Our study provides a detailed characterization of key operational metrics, such as secret key rate, quantum bit error rate (QBER), visibility, and detection counts, mapping their behavior over extended periods of continuous operation. We analyze the system's stability across two distinct optical links: a 40.3 km indoor spooled fiber and a 3.5 km outdoor deployed underground fiber. Monitored under both unregulated tropical ambient fluctuations and actively controlled thermal stress, our results demonstrate excellent overall baseline resilience, with the system maintaining visibility above 97% and QBER below 1% on average. These findings provide practical insights into the expected behavior and thermal bottlenecks of commercial QKD systems in field deployments, particularly in tropical climates, helping to inform realistic expectations for operational quantum-safe infrastructures.

quant-ph↗

arXiv2025

Sufficiency of the counterfactual account of L\"uders' rule to rule out ontological models of quantum mechanics

Ontological models, as used in the generalised contextuality literature, play a central role in current research on quantum foundations, providing a framework for defining classicality, constructing classical analogues of key quantum phenomena, and examining the ontology of quantum states. In this work, we show that a counterfactual account of L\"uders' rule -- which we argue is naturally implied by the mathematical structure of the rule itself -- renders such models inherently incompatible with the quantum formalism. This incompatibility arises because the counterfactual update requires ontological models to update their states according to conditional probability, which in turn which in turn renders predictions of sequential measurements order-independent. This implies that ontological models, even contextual ones, must either act differently to what we would expect given (this, typically implicitly-assumed account of) quantum state update rule, or cannot model quantum behaviour.

quant-ph↗

arXiv2025

Deterministic Underlying States are incompatible with a Counterfactual account of L\"uders' rule

In this work, we show that a counterfactual account of L"uders' rule -- which we argue is naturally implied by the mathematical structure of the rule itself -- rules out underlying-state models of quantum mechanics (a type of hidden-variable model, typically used in the contextuality and nonlocality literature, where quantum states are treated as probability measures over ``better-defined states''). This incompatibility arises because the counterfactual update requires ontological models to update their states according to conditional probability, which in turn establishes an equivalence between compatibility and the existence of such models.

quant-ph↗

arXiv2023

Step-by-step derivation of the algebraic structure of quantum mechanics (or from nondisturbing to quantum correlations by connecting incompatible observables)

Recently there has been much interest in deriving the quantum formalism and the set of quantum correlations from simple axioms. In this paper, we provide a step-by-step derivation of the quantum formalism that tackles both these problems and helps us to understand why this formalism is as it is. We begin with a structureless system that only includes real-valued observables, states and a (not specified) state update, and we gradually identify theory-independent conditions that make the algebraic structure of quantum mechanics be assimilated by it. In the first part of the paper, we derive essentially all the "commutative part" of the quantum formalism, i.e., all definitions and theorems that do not involve algebraic operations between incompatible observables, such as projections, Specker's principle, and the spectral theorem; at the statistical level, the system is nondisturbing and satisfies the exclusivity principle at this stage. In the second part of the paper, we connect incompatible observables by taking transition probabilities between pure states into account. This connection is the final step needed to embed our system in a Hilbert space and to go from nondisturbing to quantum correlations.

quant-ph↗

arXiv2022

Impossibility Theorem for Extending Contextuality to Disturbing Systems

Recently there has been much interest and progress in extending the definition of contextuality to systems with disturbance. We prove that such an endeavor cannot simultaneously satisfy the following principles: (1) any deterministic system is noncontextual; (2) discarding information cannot turn a noncontextual system into a contextual one; (3) classical post-processing cannot create contextuality; (4) the joint realization of two statistically independent noncontextual systems is noncontextual. We also prove the same result without principle 4, under a stronger version of principle 1.

quant-ph↗

arXiv2022

Kochen and Specker's view on functional relations conflicts with the collapse postulate

A key ingredient of the Kochen-Specker theorem is the so-called functional composition principle, which asserts that hidden states must ascribe values to observables in a way that is consistent with all functional relations between them. This principle is motivated by the assumption that, like functions of observables in classical mechanics, a function $g(A)$ of an observable A in quantum theory is simply a logically possible observable derived from $A$, and that measuring $g(A)$ consists in measuring $A$ and post-processing the resulting value via $g$. In this paper we show that, under suitable conditions, this reasonable assumption is in conflict with the collapse postulate. We then discuss possible solutions to this conflict, and we argue that the most justifiable and less radical one consists in adapting the collapse postulate by taking measurement contexts into account. This dependence on contexts arises for precisely the same reason why noncontextual hidden-variable models are ruled out by the Kochen-Specker theorem, namely that an observable A can typically be written as a function $A=g(B)=h(C)$ of noncommuting observables $B,C$.

quant-ph↗

arXiv2021

Violating the KCBS inequality with a toy mechanism

In recent years, much research has been devoted to exploring contextuality in systems that are not strictly quantum, like classical light, and many theory-independent frameworks for contextuality analysis have been developed. It has raised the debate on the meaning of contextuality outside the quantum realm, and also on whether -- and, if so, when -- it can be regarded as a signature of non-classicality. In this paper, we try to contribute to this debate by showing a very simple ``thought experiment'' or ``toy mechanism'' where a classical object (i.e., an object obeying the laws of classical physics) is used to generate experimental data violating the KCBS inequality. As with most thought experiments, the idea is to simplify the discussion and to shed light on issues that in real experiments, or from a purely theoretical perspective, may be cumbersome. We give special attention to the distinction between classical realism and classicality, and to the contrast between contextuality within and beyond quantum theory.

quant-ph↗

arXiv2021

Using a resource theoretic perspective to witness and engineer quantum generalized contextuality for prepare-and-measure scenarios

We employ the resource theory of generalized contextuality as a tool for analyzing the structure of prepare-and-measure scenarios. We argue that this framework simplifies proofs of quantum contextuality in complex scenarios and strengthens existing arguments regarding robustness of experimental implementations. As a case study, we demonstrate quantum contextuality associated with any nontrivial noncontextuality inequality for a class of useful scenarios by noticing a connection between the resource theory and measurement simulability. Additionally, we expose a formal composition rule that allows engineering complex scenarios from simpler ones. This approach provides insights into the noncontextual polytope structure for complex scenarios and facilitates the identification of possible quantum violations of noncontextuality inequalities.

quant-ph↗

arXiv2020

Contextuality-by-default for behaviours in compatibility scenarios

We show that the main idea behind contextuality-by-default (CbD), i.e., the assumption that a physical measurement has to be understood as a contextual collection of random variables, is implicit in the compatibility-hypergraph approach to contextuality (CA) and use this result to develop in the latter important concepts which were introduced in the former. We introduce in CA the non-degeneracy condition, which is the analogous of consistent connectedness, and prove that this condition is, in general, weaker than non-disturbance condition. The set of non-degenerate behaviours defines a polytope, implying that one can characterize consistent connectedness using linear inequalities. We introduce the idea of extended contextuality for behaviours and prove that a behaviour is non-contextual in the standard sense iff it is non-degenerate and non-contextual in the extended sense. Finally, we use extended scenarios and behaviours to shed new light on our results.

quant-ph↗