-
Geometrical Aspects Of Resources Distribution In Quantum Random Circuits
Authors:
Andrés Camilo Granda Arango,
Federico Hernan Holik,
Giuseppe Sergioli,
Roberto Giuntini
Abstract:
In this work, we explore how resources are distributed among the states generated by quantum random circuits (QRC). We focus on multipartite non-locality, but we also analyze quantum correlations by appealing to different entanglement and non-classicality measures. We compare universal vs non-universal sets of gates to gain insight into the problem of explaining quantum advantage. By comparing the…
▽ More
In this work, we explore how resources are distributed among the states generated by quantum random circuits (QRC). We focus on multipartite non-locality, but we also analyze quantum correlations by appealing to different entanglement and non-classicality measures. We compare universal vs non-universal sets of gates to gain insight into the problem of explaining quantum advantage. By comparing the results obtained with ideal (noiseless) vs noisy intermediate-scale quantum (NISQ) devices, we lay the basis of a certification protocol, which aims to quantify how robust is the resources distribution among the states that a given device can generate.
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
Segmentation of quantum generated sequences by using the Jensen-Shannon divergence
Authors:
Marcelo Losada,
Víctor A. Penas,
Federico Holik,
Pedro W. Lamberti
Abstract:
The Jensen-Shannon divergence has been successfully applied as a segmentation tool for symbolic sequences, that is to separate the sequence into subsequences with the same symbolic content. In this work, we propose a method, based on the the Jensen-Shannon divergence, for segmentation of what we call \textit{quantum generated sequences}, which consist in symbolic sequences generated from measuring…
▽ More
The Jensen-Shannon divergence has been successfully applied as a segmentation tool for symbolic sequences, that is to separate the sequence into subsequences with the same symbolic content. In this work, we propose a method, based on the the Jensen-Shannon divergence, for segmentation of what we call \textit{quantum generated sequences}, which consist in symbolic sequences generated from measuring a quantum system. For one-qubit and two-qubit systems, we show that the proposed method is adequate for segmentation.
△ Less
Submitted 18 April, 2023;
originally announced April 2023.
-
Measure-theoretic approach to negative probabilities
Authors:
Elisa Monchietti,
César Massri,
J. Acacio de Barros,
Federico Holik
Abstract:
In this work, we elaborate on a measure-theoretic approach to negative probabilities. We study a natural notion of contextuality measure and characterize its main properties. Then, we apply this measure to relevant examples of quantum physics. In particular, we study the role played by contextuality in quantum computing circuits.
In this work, we elaborate on a measure-theoretic approach to negative probabilities. We study a natural notion of contextuality measure and characterize its main properties. Then, we apply this measure to relevant examples of quantum physics. In particular, we study the role played by contextuality in quantum computing circuits.
△ Less
Submitted 31 January, 2023;
originally announced February 2023.
-
Parameterizing density operators with arbitrary symmetries to gain advantage in quantum state estimation
Authors:
Inés Corte,
Marcelo Losada,
Diego Tielas,
Federico Holik,
Lorena Rebón
Abstract:
In this work, we show how to parameterize a density matrix that has an arbitrary symmetry, knowing the generators of the Lie algebra (if the symmetry group is a connected Lie group) or the generators of its underlying group (in case it is finite). This allows to pose MaxEnt and MaxLik estimation techniques as convex optimization problems with a substantial reduction in the number of parameters of…
▽ More
In this work, we show how to parameterize a density matrix that has an arbitrary symmetry, knowing the generators of the Lie algebra (if the symmetry group is a connected Lie group) or the generators of its underlying group (in case it is finite). This allows to pose MaxEnt and MaxLik estimation techniques as convex optimization problems with a substantial reduction in the number of parameters of the function involved. This implies that, apart from a computational advantage due to the fact that the optimization is performed in a reduced space, the amount of experimental data needed for a good estimation of the density matrix can be reduced as well. In addition, we run numerical experiments and apply these parameterizations to quantum state estimation of states with different symmetries.
△ Less
Submitted 12 August, 2022;
originally announced August 2022.
-
Performance of the quantum MaxEnt estimation in the presence of physical symmetries
Authors:
Diego Tielas,
Marcelo Losada,
Lorena Rebón,
Federico Holik
Abstract:
When an informationally complete measurement is not available, the reconstruction of the density operator that describes the state of a quantum system can be accomplish, in a reliable way, by adopting the maximum entropy principle (MaxEnt principle), as an additional criterion, to obtain the least biased estimation. In this paper, we study the performance of the MaxEnt method for quantum state est…
▽ More
When an informationally complete measurement is not available, the reconstruction of the density operator that describes the state of a quantum system can be accomplish, in a reliable way, by adopting the maximum entropy principle (MaxEnt principle), as an additional criterion, to obtain the least biased estimation. In this paper, we study the performance of the MaxEnt method for quantum state estimation when there is prior information about symmetries of the unknown state. We explicitly describe how to work with this method in the most general case, and present an algorithm that allows to improve the estimation of quantum states with arbitrary symmetries. Furthermore, we implement this algorithm to carry out numerical simulations estimating the density matrix of several three-qubit states of particular interest for quantum information tasks. We observed that, for most states, our approach allows to considerably reduce the number of independent measurements needed to obtain a sufficiently high fidelity in the reconstruction of the density matrix. Moreover, we analyze the performance of the method in realistic scenarios, showing that it is robust even when considering the effect of finite statistics, and under the presence of typical experimental noise.
△ Less
Submitted 14 March, 2022; v1 submitted 22 September, 2021;
originally announced September 2021.
-
Quantum identity, content, and context: from classical to non-classical logic
Authors:
J. Acacio de Barros,
Federico Holik,
Décio Krause
Abstract:
In this paper, we discuss content and context for quantum properties. We give some examples of why quantum properties are problematic: they depend on the context in a non-trivial way. We then connect this difficulty with properties to the indistinguishability of elementary particles. We argue that one could be in trouble in applying the classical theory of identity to the quantum domain if we take…
▽ More
In this paper, we discuss content and context for quantum properties. We give some examples of why quantum properties are problematic: they depend on the context in a non-trivial way. We then connect this difficulty with properties to the indistinguishability of elementary particles. We argue that one could be in trouble in applying the classical theory of identity to the quantum domain if we take indiscernibility as a core and fundamental concept. Thus, in considering indistinguishability as such a fundamental notion, it implies, if taken earnestly, that one should not apply standard logic to quantum objects. Consequently, we end with a discussion about novel aspects this new mathematics brings and how it relates to some issues associated with the quantum world's ontology and the classical limit. We emphasize that, despite several different ways of questioning classical logic in the quantum domain, our approach is distinct. It involves one of the core concepts of classical logic, namely, identity. So, we are in a different paradigm from standard quantum logics.
△ Less
Submitted 30 August, 2021;
originally announced August 2021.
-
Quantum State Discrimination for Supervised Classification
Authors:
Roberto Giuntini,
Hector Freytes,
Daniel K. Park,
Carsten Blank,
Federico Holik,
Keng Loon Chow,
Giuseppe Sergioli
Abstract:
In this paper we investigate the connection between quantum information theory and machine learning. In particular, we show how quantum state discrimination can represent a useful tool to address the standard classification problem in machine learning. Previous studies have shown that the optimal quantum measurement theory developed in the context of quantum information theory and quantum communic…
▽ More
In this paper we investigate the connection between quantum information theory and machine learning. In particular, we show how quantum state discrimination can represent a useful tool to address the standard classification problem in machine learning. Previous studies have shown that the optimal quantum measurement theory developed in the context of quantum information theory and quantum communication can inspire a new binary classification algorithm that can achieve higher inference accuracy for various datasets. Here we propose a model for arbitrary multiclass classification inspired by quantum state discrimination, which is enabled by encoding the data in the space of linear operators on a Hilbert space. While our algorithm is quantum-inspired, it can be implemented on classical hardware, thereby permitting immediate applications.
△ Less
Submitted 2 April, 2021;
originally announced April 2021.
-
On the assumptions underlying KS-like contradictions
Authors:
J. Acacio de Barros,
Juan Pablo Jorge,
Federico Holik
Abstract:
The Kochen-Specker theorem is one of the fundamental no-go theorems in quantum theory. It has far-reaching consequences for all attempts trying to give an interpretation of the quantum formalism. In this work, we examine the hypotheses that, at the ontological level, lead to the KochenSpecker contradiction. We emphasize the role of the assumptions about identity and distinguishability of quantum o…
▽ More
The Kochen-Specker theorem is one of the fundamental no-go theorems in quantum theory. It has far-reaching consequences for all attempts trying to give an interpretation of the quantum formalism. In this work, we examine the hypotheses that, at the ontological level, lead to the KochenSpecker contradiction. We emphasize the role of the assumptions about identity and distinguishability of quantum objects in the argument.
△ Less
Submitted 11 March, 2021;
originally announced March 2021.
-
Indistinguishability right from the start in standard quantum mechanics
Authors:
F. Holik,
J. P. Jorge,
C. Massri
Abstract:
We discuss a reconstruction of standard quantum mechanics assuming indistinguishability right from the start, by appealing to quasi-set theory. After recalling the fundamental aspects of the construction and introducing some improvements in the original formulation, we extract some conclusions for the interpretation of quantum theory.
We discuss a reconstruction of standard quantum mechanics assuming indistinguishability right from the start, by appealing to quasi-set theory. After recalling the fundamental aspects of the construction and introducing some improvements in the original formulation, we extract some conclusions for the interpretation of quantum theory.
△ Less
Submitted 21 November, 2020;
originally announced November 2020.
-
Gamow vectors formalism applied to the Loschmidt echo
Authors:
Sebastian Fortin,
Manuel Gadella,
Federico Holik,
Marcelo Losada
Abstract:
Gamow vectors have been developed in order to give a mathematical description for quantum decay phenomena. Mainly, they have been applied to radioactive phenomena, scattering and to some decoherence models. They play a crucial role in the description of quantum irreversible processes, and in the formulation of time asymmetry in quantum mechanics. In this paper, we use this formalism to describe a…
▽ More
Gamow vectors have been developed in order to give a mathematical description for quantum decay phenomena. Mainly, they have been applied to radioactive phenomena, scattering and to some decoherence models. They play a crucial role in the description of quantum irreversible processes, and in the formulation of time asymmetry in quantum mechanics. In this paper, we use this formalism to describe a well-known phenomenon of irreversibility: the Loschmidt echo. The standard approach considers that the irreversibility of this phenomenon is the result of an additional term in the backward Hamiltonian. Here, we use the non-Hermitian formalism, where the time evolution is non-unitary. Additionally, we compare the characteristic decay times of this phenomenon with the decoherence ones. We conclude that the Loschmidt echo and the decoherence can be considered as two aspects of the same phenomenon, and that there is a mathematical relationship between their corresponding characteristic times.
△ Less
Submitted 23 September, 2020;
originally announced September 2020.
-
Indistinguishability and Negative Probabilities
Authors:
J. Acacio de Barros,
Federico Holik
Abstract:
In this paper, we examined the connection between quantum systems' indistinguishability and signed (or negative) probabilities. We do so by first introducing a measure-theoretic definition of signed probabilities inspired by research in quantum contextuality. We then argue that ontological indistinguishability leads to the no-signaling condition and negative probabilities.
In this paper, we examined the connection between quantum systems' indistinguishability and signed (or negative) probabilities. We do so by first introducing a measure-theoretic definition of signed probabilities inspired by research in quantum contextuality. We then argue that ontological indistinguishability leads to the no-signaling condition and negative probabilities.
△ Less
Submitted 28 July, 2020;
originally announced July 2020.
-
Extremal elements of a sublattice of the majorization lattice and approximate majorization
Authors:
César Massri,
Guido Bellomo,
Federico Holik,
Gustavo M. Bosyk
Abstract:
Given a probability vector $x$ with its components sorted in non-increasing order, we consider the closed ball ${\mathcal{B}}^p_ε(x)$ with $p \geq 1$ formed by the probability vectors whose $\ell^p$-norm distance to the center $x$ is less than or equal to a radius $ε$. Here, we provide an order-theoretic characterization of these balls by using the majorization partial order. Unlike the case…
▽ More
Given a probability vector $x$ with its components sorted in non-increasing order, we consider the closed ball ${\mathcal{B}}^p_ε(x)$ with $p \geq 1$ formed by the probability vectors whose $\ell^p$-norm distance to the center $x$ is less than or equal to a radius $ε$. Here, we provide an order-theoretic characterization of these balls by using the majorization partial order. Unlike the case $p=1$ previously discussed in the literature, we find that the extremal probability vectors, in general, do not exist for the closed balls ${\mathcal{B}}^p_ε(x)$ with $1<p<\infty$. On the other hand, we show that ${\mathcal{B}}^\infty_ε(x)$ is a complete sublattice of the majorization lattice. As a consequence, this ball has also extremal elements. In addition, we give an explicit characterization of those extremal elements in terms of the radius and the center of the ball. This allows us to introduce some notions of approximate majorization and discuss its relation with previous results of approximate majorization given in terms of the $\ell^1$-norm. Finally, we apply our results to the problem of approximate conversion of resources within the framework of quantum resource theory of nonuniformity.
△ Less
Submitted 23 January, 2020;
originally announced January 2020.
-
Indistinguishability and the origins of contextuality in physics
Authors:
José Acacio de Barros,
Federico Holik,
Décio Krause
Abstract:
In this work we discuss a formal way of dealing with properties of contextual systems. Our approach is to assume that properties describing the same physical quantity, but belonging to different measurement contexts, are indistinguishable in a strong sense. To construct the formal theoretical structure, we develop a description using quasi-set theory, which is a set-theoretical framework built to…
▽ More
In this work we discuss a formal way of dealing with properties of contextual systems. Our approach is to assume that properties describing the same physical quantity, but belonging to different measurement contexts, are indistinguishable in a strong sense. To construct the formal theoretical structure, we develop a description using quasi-set theory, which is a set-theoretical framework built to describe collections of elements that violate Leibnitz's principle of identity of indiscernibles. This allows us to consider a new ontology in order to study properties of quantum systems.
△ Less
Submitted 21 June, 2019;
originally announced June 2019.
-
Evolution of quantum observables: from non-commutativity to commutativity
Authors:
Sebastian Fortin,
Manuel Gadella,
Federico Holik,
Marcelo Losada
Abstract:
A fundamental aspect of the quantum-to-classical limit is the transition from a non-commutative algebra of observables to commutative one. However, this transition is not possible if we only consider unitary evolutions. One way to describe this transition is to consider the Gamow vectors, which introduce exponential decays in the evolution. In this paper, we give two mathematical models in which t…
▽ More
A fundamental aspect of the quantum-to-classical limit is the transition from a non-commutative algebra of observables to commutative one. However, this transition is not possible if we only consider unitary evolutions. One way to describe this transition is to consider the Gamow vectors, which introduce exponential decays in the evolution. In this paper, we give two mathematical models in which this transition happens in the infite time limit. In the first one, we consider operators acting on the space of the Gamow vectors, which represent quantum resonances. In the second one, we use an algebraic formalism from scattering theory. We construct a non-commuting algebra which commutes in the infinite time limit.
△ Less
Submitted 17 June, 2019;
originally announced June 2019.
-
Non-deterministic semantics for quantum states
Authors:
Juan Pablo Jorge,
Federico Holik
Abstract:
In this work we discuss the failure of the principle of truth functionality in the quantum formalism. By exploiting this failure, we import the formalism of N-matrix theory and non-deterministic semantics to the foundations of quantum mechanics. This is done by describing quantum states as particular valuations associated to infinite non-deterministic truth tables. This allows us to introduce a na…
▽ More
In this work we discuss the failure of the principle of truth functionality in the quantum formalism. By exploiting this failure, we import the formalism of N-matrix theory and non-deterministic semantics to the foundations of quantum mechanics. This is done by describing quantum states as particular valuations associated to infinite non-deterministic truth tables. This allows us to introduce a natural interpretation of quantum states in terms of a non-deterministic semantics. We also provide a similar construction for arbitrary probabilistic theories based in orthomodular lattices, allowing to study post-quantum models using logical techniques.
△ Less
Submitted 28 January, 2020; v1 submitted 8 June, 2019;
originally announced June 2019.
-
Optimal common resource in majorization-based resource theories
Authors:
G. M. Bosyk,
G. Bellomo,
F. Holik,
H. Freytes,
G. Sergioli
Abstract:
We address the problem of finding the optimal common resource for an arbitrary family of target states in quantum resource theories based on majorization, that is, theories whose conversion law between resources is determined by a majorization relationship, such as it happens with entanglement, coherence or purity. We provide a conclusive answer to this problem by appealing to the completeness pro…
▽ More
We address the problem of finding the optimal common resource for an arbitrary family of target states in quantum resource theories based on majorization, that is, theories whose conversion law between resources is determined by a majorization relationship, such as it happens with entanglement, coherence or purity. We provide a conclusive answer to this problem by appealing to the completeness property of the majorization lattice. We give a proof of this property that relies heavily on the more geometric construction provided by the Lorenz curves, which allows to explicitly obtain the corresponding infimum and supremum. Our framework includes the case of possibly non-denumerable sets of target states (i.e. targets sets described by continuous parameters). In addition, we show that a notion of approximate majorization, which has recently found application in quantum thermodynamics, is in close relation with the completeness of this lattice. Finally, we provide some examples of optimal common resources within the resource theory of quantum coherence.
△ Less
Submitted 23 August, 2019; v1 submitted 5 February, 2019;
originally announced February 2019.
-
Logical structures underlying quantum computing
Authors:
Federico Holik,
Giuseppe Sergioli,
Hector Freytes,
Angelo Plastino
Abstract:
In this work we advance a generalization of quantum computational logics capable of dealing with some important examples of quantum algorithms. We outline an algebraic axiomatization of these structures.
In this work we advance a generalization of quantum computational logics capable of dealing with some important examples of quantum algorithms. We outline an algebraic axiomatization of these structures.
△ Less
Submitted 17 January, 2019; v1 submitted 16 November, 2018;
originally announced November 2018.
-
Hermite-Gaussian model for quantum states
Authors:
Marcelo Losada,
Ignacio S. Gomez,
Federico Holik
Abstract:
In order to characterize quantum states within the context of information geometry, we propose a generalization of the Gaussian model, which we called the Hermite-Gaussian model. We obtain the Fisher-Rao metric and the scalar curvature for this model, and we show its relation with the one-dimensional quantum harmonic oscillator. Moreover, using this model we characterize some failies of states of…
▽ More
In order to characterize quantum states within the context of information geometry, we propose a generalization of the Gaussian model, which we called the Hermite-Gaussian model. We obtain the Fisher-Rao metric and the scalar curvature for this model, and we show its relation with the one-dimensional quantum harmonic oscillator. Moreover, using this model we characterize some failies of states of the quantum harmonic oscillator. We find that for the eigenstates of the Hamiltonian, mixtures of eigenstates and even or odd superpositions of eienstates the associated Fisher-Rao metrics are diagonal.
△ Less
Submitted 3 November, 2018;
originally announced November 2018.
-
Solutions for the MaxEnt problem with symmetry constraints
Authors:
Marcelo Losada,
Federico Holik,
Cesar Massri,
Angelo Plastino
Abstract:
We present a system of equations and an explicit solution for the problem of determining the MaxEnt state of a quantum system satisfying symmetry constraints.
We present a system of equations and an explicit solution for the problem of determining the MaxEnt state of a quantum system satisfying symmetry constraints.
△ Less
Submitted 24 July, 2019; v1 submitted 30 July, 2018;
originally announced July 2018.
-
Dynamics of algebras in quantum unstable systems
Authors:
Marcelo Losada,
Sebastian Fortin,
Manuel Gadella,
Federico Holik
Abstract:
We introduce a dynamical evolution operator for dealing with unstable physical process, such as scattering resonances, photon emission, decoherence and particle decay. With that aim, we use the formalism of rigged Hilbert space and represent the time evolution of quantum observables in the Heisenberg picture, in such a way that time evolution is non-unitary. This allows to describe observables tha…
▽ More
We introduce a dynamical evolution operator for dealing with unstable physical process, such as scattering resonances, photon emission, decoherence and particle decay. With that aim, we use the formalism of rigged Hilbert space and represent the time evolution of quantum observables in the Heisenberg picture, in such a way that time evolution is non-unitary. This allows to describe observables that are initially non-commutative, but become commutative after time evolution. In other words, a non-abelian algebra of relevant observables becomes abelian when times goes to infinity. We finally present some relevant examples.
△ Less
Submitted 13 June, 2018;
originally announced June 2018.
-
Generalized entropies in quantum and classical statistical theories
Authors:
M. Portesi,
F. Holik,
P. W. Lamberti,
G. M. Bosyk,
G. Bellomo,
S. Zozor
Abstract:
We study a version of the generalized (h, φ)-entropies, introduced by Salicrú et al, for a wide family of probabilistic models that includes quantum and classical statistical theories as particular cases. We extend previous works by exploring how to define (h, φ)-entropies in infinite dimensional models.
We study a version of the generalized (h, φ)-entropies, introduced by Salicrú et al, for a wide family of probabilistic models that includes quantum and classical statistical theories as particular cases. We extend previous works by exploring how to define (h, φ)-entropies in infinite dimensional models.
△ Less
Submitted 23 February, 2018;
originally announced February 2018.
-
Lossless quantum data compression with exponential penalization: an operational interpretation of the quantum Rényi entropy
Authors:
G. Bellomo,
G. M. Bosyk,
F. Holik,
S. Zozor
Abstract:
Based on the problem of quantum data compression in a lossless way, we present here an operational interpretation for the family of quantum Rényi entropies. In order to do this, we appeal to a very general quantum encoding scheme that satisfies a quantum version of the Kraft-McMillan inequality. Then, in the standard situation, where one is intended to minimize the usual average length of the quan…
▽ More
Based on the problem of quantum data compression in a lossless way, we present here an operational interpretation for the family of quantum Rényi entropies. In order to do this, we appeal to a very general quantum encoding scheme that satisfies a quantum version of the Kraft-McMillan inequality. Then, in the standard situation, where one is intended to minimize the usual average length of the quantum codewords, we recover the known results, namely that the von Neumann entropy of the source bounds the average length of the optimal codes. Otherwise, we show that by invoking an exponential average length, related to an exponential penalization over large codewords, the quantum Rényi entropies arise as the natural quantities relating the optimal encoding schemes with the source description, playing an analogous role to that of von Neumann entropy.
△ Less
Submitted 4 October, 2017;
originally announced October 2017.
-
Contextuality and Indistinguishability
Authors:
J. Acacio de Barros,
Federico Holik,
Decio Krause
Abstract:
It is well known that in quantum mechanics we cannot always define consistently properties that are context independent. Many approaches exist to describe contextual properties, such as Contextuality by Default (CbD), sheaf theory, topos theory, and non-standard or signed probabilities. In this paper we propose a treatment of contextual properties that is specific to quantum mechanics, as it relie…
▽ More
It is well known that in quantum mechanics we cannot always define consistently properties that are context independent. Many approaches exist to describe contextual properties, such as Contextuality by Default (CbD), sheaf theory, topos theory, and non-standard or signed probabilities. In this paper we propose a treatment of contextual properties that is specific to quantum mechanics, as it relies on the relationship between contextuality and indistinguishability. In particular, we propose that if we assume the ontological thesis that quantum particles or properties can be indistinguishable yet different, no contradiction arising from a Kochen-Specker-type argument appears: when we repeat an experiment, we are in reality performing an experiment measuring a property that is indistinguishable from the first, but not the same. We will discuss how the consequences of this move may help us understand quantum contextuality.
△ Less
Submitted 14 July, 2017;
originally announced July 2017.
-
On the representation of measures over bounded lattices
Authors:
C. Massri,
F. Holik
Abstract:
In this paper we investigate measures over bounded lattices, extending and giving a unifying treatment to previous works. In particular, we prove that the measures of an arbitrary bounded lattice can be represented as measures over a suitably chosen Boolean lattice. Using techniques from algebraic geometry, we also prove that given a bounded lattice $X$ there exists a scheme $\mathcal{X}$ such tha…
▽ More
In this paper we investigate measures over bounded lattices, extending and giving a unifying treatment to previous works. In particular, we prove that the measures of an arbitrary bounded lattice can be represented as measures over a suitably chosen Boolean lattice. Using techniques from algebraic geometry, we also prove that given a bounded lattice $X$ there exists a scheme $\mathcal{X}$ such that a measure over $X$ is the same as a (scheme-theoretic) measure over $\mathcal{X}$. We also define the measurability of a lattice, and describe measures over finite lattices.
△ Less
Submitted 17 September, 2021; v1 submitted 31 May, 2017;
originally announced May 2017.
-
States in generalized probabilistic models: an approach based in algebraic geometry
Authors:
César Massri,
Federico Holik,
Angelo Plastino
Abstract:
We present a characterization of states in generalized probabilistic models by appealing to a non-commutative version of geometric probability theory based on algebraic geometry techniques. Our theoretical framework allows for incorporation of invariant states in a natural way.
We present a characterization of states in generalized probabilistic models by appealing to a non-commutative version of geometric probability theory based on algebraic geometry techniques. Our theoretical framework allows for incorporation of invariant states in a natural way.
△ Less
Submitted 4 April, 2018; v1 submitted 8 May, 2017;
originally announced May 2017.
-
Pattern Recognition In Non-Kolmogorovian Structures
Authors:
Federico Holik,
Giuseppe Sergioli,
Hector Freytes,
Angelo Plastino
Abstract:
We present a generalization of the problem of pattern recognition to arbitrary probabilistic models. This version deals with the problem of recognizing an individual pattern among a family of different species or classes of objects which obey probabilistic laws which do not comply with Kolmogorov's axioms. We show that such a scenario accommodates many important examples, and in particular, we pro…
▽ More
We present a generalization of the problem of pattern recognition to arbitrary probabilistic models. This version deals with the problem of recognizing an individual pattern among a family of different species or classes of objects which obey probabilistic laws which do not comply with Kolmogorov's axioms. We show that such a scenario accommodates many important examples, and in particular, we provide a rigorous definition of the classical and the quantum pattern recognition problems, respectively. Our framework allows for the introduction of non-trivial correlations (as entanglement or discord) between the different species involved, opening the door to a new way of harnessing these physical resources for solving pattern recognition problems. Finally, we present some examples and discuss the computational complexity of the quantum pattern recognition problem, showing that the most important quantum computation algorithms can be described as non-Kolmogorovian pattern recognition problems.
△ Less
Submitted 20 February, 2017; v1 submitted 20 September, 2016;
originally announced September 2016.
-
Approximate transformations of bipartite pure-state entanglement from the majorization lattice
Authors:
G. M. Bosyk,
G. Sergioli,
H. Freytes,
F. Holik,
G. Bellomo
Abstract:
We study the problem of deterministic transformations of an \textit{initial} pure entangled quantum state, $|ψ\rangle$, into a \textit{target} pure entangled quantum state, $|φ\rangle$, by using \textit{local operations and classical communication} (LOCC). A celebrated result of Nielsen [Phys. Rev. Lett. \textbf{83}, 436 (1999)] gives the necessary and sufficient condition that makes this entangle…
▽ More
We study the problem of deterministic transformations of an \textit{initial} pure entangled quantum state, $|ψ\rangle$, into a \textit{target} pure entangled quantum state, $|φ\rangle$, by using \textit{local operations and classical communication} (LOCC). A celebrated result of Nielsen [Phys. Rev. Lett. \textbf{83}, 436 (1999)] gives the necessary and sufficient condition that makes this entanglement transformation process possible. Indeed, this process can be achieved if and only if the majorization relation $ψ\prec φ$ holds, where $ψ$ and $φ$ are probability vectors obtained by taking the squares of the Schmidt coefficients of the initial and target states, respectively. In general, this condition is not fulfilled. However, one can look for an \textit{approximate} entanglement transformation. Vidal \textit{et. al} [Phys. Rev. A \textbf{62}, 012304 (2000)] have proposed a deterministic transformation using LOCC in order to obtain a target state $|χ^\mathrm{opt}\rangle$ most approximate to $|φ\rangle$ in terms of maximal fidelity between them. Here, we show a strategy to deal with approximate entanglement transformations based on the properties of the \textit{majorization lattice}. More precisely, we propose as approximate target state one whose Schmidt coefficients are given by the supremum between $ψ$ and $φ$. Our proposal is inspired on the observation that fidelity does not respect the majorization relation in general. Remarkably enough, we find that for some particular interesting cases, like two-qubit pure states or the entanglement concentration protocol, both proposals are coincident.
△ Less
Submitted 11 January, 2017; v1 submitted 16 August, 2016;
originally announced August 2016.
-
Quantum information as a non-Kolmogorovian generalization of Shannon's theory
Authors:
F. Holik,
G. M. Bosyk,
G. Bellomo
Abstract:
In this article we discuss the formal structure of a generalized information theory based on the extension of the probability calculus of Kolmogorov to a (possibly) non-commutative setting. By studying this framework, we argue that quantum information can be considered as a particular case of a huge family of non-commutative extensions of its classical counterpart. In any conceivable information t…
▽ More
In this article we discuss the formal structure of a generalized information theory based on the extension of the probability calculus of Kolmogorov to a (possibly) non-commutative setting. By studying this framework, we argue that quantum information can be considered as a particular case of a huge family of non-commutative extensions of its classical counterpart. In any conceivable information theory, the possibility of dealing with different kinds of information measures plays a key role. Here, we generalize a notion of state spectrum, allowing us to introduce a majorization relation and a new family of generalized entropic measures.
△ Less
Submitted 31 August, 2015;
originally announced September 2015.
-
A family of generalized quantum entropies: definition and properties
Authors:
G. M. Bosyk,
S. Zozor,
F. Holik,
M. Portesi,
P. W. Lamberti
Abstract:
We present a quantum version of the generalized $(h,φ)$-entropies, introduced by Salicrú \textit{et al.} for the study of classical probability distributions. We establish their basic properties, and show that already known quantum entropies such as von Neumann, and quantum versions of Rényi, Tsallis, and unified entropies, constitute particular classes of the present general quantum Salicrú form.…
▽ More
We present a quantum version of the generalized $(h,φ)$-entropies, introduced by Salicrú \textit{et al.} for the study of classical probability distributions. We establish their basic properties, and show that already known quantum entropies such as von Neumann, and quantum versions of Rényi, Tsallis, and unified entropies, constitute particular classes of the present general quantum Salicrú form. We exhibit that majorization plays a key role in explaining most of their common features. We give a characterization of the quantum $(h,φ)$-entropies under the action of quantum operations, and study their properties for composite systems. We apply these generalized entropies to the problem of detection of quantum entanglement, and introduce a discussion on possible generalized conditional entropies as well.
△ Less
Submitted 25 July, 2016; v1 submitted 5 June, 2015;
originally announced June 2015.
-
Natural information measures in Cox' approach for contextual probabilistic theories
Authors:
F. Holik,
A. Plastino,
M. Sáenz
Abstract:
In this article we provide, from a novel perspective, arguments that support the idea that, in the wake of Cox' approach to probability theory, von Neumann's entropy should be the natural one in Quantum Mechanics. We also generalize the pertinent reasoning to more general orthomodular lattices, which reveals the structure of a general non-Boolean information theory.
In this article we provide, from a novel perspective, arguments that support the idea that, in the wake of Cox' approach to probability theory, von Neumann's entropy should be the natural one in Quantum Mechanics. We also generalize the pertinent reasoning to more general orthomodular lattices, which reveals the structure of a general non-Boolean information theory.
△ Less
Submitted 30 September, 2015; v1 submitted 7 April, 2015;
originally announced April 2015.
-
The introduction of symmetry constraints within MaxEnt Jaynes's methodology
Authors:
F. Holik,
C. Massri,
A. Plastino
Abstract:
We provide a generalization of the approach to geometric probability advanced by the great mathematician Gian Carlo Rota, in order to apply it to generalized probabilistic physical theories. In particular, we use this generalization to provide an improvement of the Jaynes' MaxEnt method. The improvement consists in providing a framework for the introduction of symmetry constrains. This allows us t…
▽ More
We provide a generalization of the approach to geometric probability advanced by the great mathematician Gian Carlo Rota, in order to apply it to generalized probabilistic physical theories. In particular, we use this generalization to provide an improvement of the Jaynes' MaxEnt method. The improvement consists in providing a framework for the introduction of symmetry constrains. This allows us to include group theory within MaxEnt. Some examples are provided.
△ Less
Submitted 30 December, 2014;
originally announced January 2015.
-
Generalized probabilities in statistical theories
Authors:
F. Holik,
C. Massri,
A. Plastino,
M. Sáenz
Abstract:
In this review article we present different formal frameworks for the description of generalized probabilities in statistical theories. We discuss the particular cases of probabilities appearing in classical and quantum mechanics, possible generalizations of the approaches of A. N. Kolmogorov and R. T. Cox to non-commutative models, and the approach to generalized probabilities based on convex set…
▽ More
In this review article we present different formal frameworks for the description of generalized probabilities in statistical theories. We discuss the particular cases of probabilities appearing in classical and quantum mechanics, possible generalizations of the approaches of A. N. Kolmogorov and R. T. Cox to non-commutative models, and the approach to generalized probabilities based on convex sets.
△ Less
Submitted 2 August, 2021; v1 submitted 3 June, 2014;
originally announced June 2014.
-
Logic, Geometry And Probability Theory
Authors:
Federico Holik
Abstract:
We discuss the relationship between logic, geometry and probability theory under the light of a novel approach to quantum probabilities which generalizes the method developed by R. T. Cox to the quantum logical approach to physical theories.
We discuss the relationship between logic, geometry and probability theory under the light of a novel approach to quantum probabilities which generalizes the method developed by R. T. Cox to the quantum logical approach to physical theories.
△ Less
Submitted 29 November, 2013;
originally announced December 2013.
-
A formal framework for the study of the notion of undefined particle number in quantum mechanics
Authors:
Newton da Costa,
Federico Holik
Abstract:
It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position -supported by E. Schrodinger- asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined pa…
▽ More
It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position -supported by E. Schrodinger- asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in the line of solving a problem posed by Y. Manin, namely, to incorporate quantum mechanical notions at the foundations of mathematics. We also show that our system is capable of representing quantum superpositions.
△ Less
Submitted 20 October, 2014; v1 submitted 22 May, 2013;
originally announced May 2013.
-
Quantum Logical Structures For Identical Particles
Authors:
Federico Holik,
Decio Krause,
Ignacio Gómez
Abstract:
In this work we discuss logical structures related to indistinguishable particles. Most of the framework used to develop these structures was presented in [17, 28] and in [20, 14, 15, 16]. We use these structures and constructions to discuss possible ontologies for identical parti-cles. In other words, we use these structures in order to characterize the logical structure of quantum systems for th…
▽ More
In this work we discuss logical structures related to indistinguishable particles. Most of the framework used to develop these structures was presented in [17, 28] and in [20, 14, 15, 16]. We use these structures and constructions to discuss possible ontologies for identical parti-cles. In other words, we use these structures in order to characterize the logical structure of quantum systems for the case of indistinguishable particles, and draw possible philosoph-ical implications. We also review some proposals available in the literature which may be considered within the framework of the quantum logical tradition regarding the problem of indistinguishability. Besides these discussions and constructions, we advance novel technical results, namely, a lattice theoretical structure for identical particles for the finite dimensional case. This kind of approach was not present in the scarcely literature of quantum logic and indistinguishable particles.
△ Less
Submitted 22 May, 2013;
originally announced May 2013.
-
A discussion on the origin of quantum probabilities
Authors:
Federico Holik,
Angel Plastino,
Manuel Sáenz
Abstract:
We study the origin of quantum probabilities as arising from non-boolean propositional-operational structures. We apply the method developed by Cox to non distributive lattices and develop an alternative formulation of non-Kolmogorvian probability measures for quantum mechanics. By generalizing the method presented in previous works, we outline a general framework for the deduction of probabilitie…
▽ More
We study the origin of quantum probabilities as arising from non-boolean propositional-operational structures. We apply the method developed by Cox to non distributive lattices and develop an alternative formulation of non-Kolmogorvian probability measures for quantum mechanics. By generalizing the method presented in previous works, we outline a general framework for the deduction of probabilities in general propositional structures represented by lattices (including the non-distributive case).
△ Less
Submitted 15 November, 2013; v1 submitted 21 November, 2012;
originally announced November 2012.
-
On the connection between Complementarity and Uncertainty Principles in the Mach-Zehnder interferometric setting
Authors:
G. M. Bosyk,
M. Portesi,
F. Holik,
A. Plastino
Abstract:
We revisit, in the framework of Mach-Zehnder interferometry, the connection between the complementarity and uncertainty principles of quantum mechanics. Specifically, we show that, for a pair of suitably chosen observables, the trade-off relation between the complementary path information and fringe visibility is equivalent to the uncertainty relation given by Schr\"odinger and Robertson, and to…
▽ More
We revisit, in the framework of Mach-Zehnder interferometry, the connection between the complementarity and uncertainty principles of quantum mechanics. Specifically, we show that, for a pair of suitably chosen observables, the trade-off relation between the complementary path information and fringe visibility is equivalent to the uncertainty relation given by Schr\"odinger and Robertson, and to the one provided by Landau and Pollak as well. We also employ entropic uncertainty relations (based on Rényi entropic measures) and study their meaning for different values of the entropic parameter. We show that these different values define regimes which yield qualitatively different information concerning the system, in agreement with findings of [A. Luis, Phys. Rev. A 84, 034101 (2011)]. We find that there exists a regime for which the entropic uncertinty relations can be used as criteria to pinpoint non trivial states of minimum uncertainty.
△ Less
Submitted 13 June, 2012;
originally announced June 2012.
-
Entities, Identity and the Formal Structure of Quantum Mechanics
Authors:
Christian de Ronde,
Graciela Domenech,
Federico Holik,
Hector Freytes
Abstract:
The concept of individuality in quantum mechanics shows radical differences from the one used in classical physics. In particular, it is not possible to consider the fundamental particles described by quantum theory as individual distinguishable objects. In this paper we present arguments in favor of quantum non-individuality, which -in addition to those based on quantum statistics- relate to the…
▽ More
The concept of individuality in quantum mechanics shows radical differences from the one used in classical physics. In particular, it is not possible to consider the fundamental particles described by quantum theory as individual distinguishable objects. In this paper we present arguments in favor of quantum non-individuality, which -in addition to those based on quantum statistics- relate to the Kochen-Specker theorem and the principle of superposition. Then, we analyze the possibility of referring to 'possible individuals' instead of 'actual individuals', and show that the Modal-Kochen-Specker theorem precludes this interpretational move.
△ Less
Submitted 14 March, 2012;
originally announced March 2012.
-
Generalizing entanglement via informational invariance for arbitrary statistical theories
Authors:
F. Holik,
C. Massri,
A. Plastino
Abstract:
Given an arbitrary statistical theory, different from quantum mechanics, how to decide which are the nonclassical correlations? We present a formal framework which allows for a definition of nonclassical correlations in such theories, alternative to the current one. This enables one to formulate extrapolations of some important quantum mechanical features via adequate extensions of reciprocal maps…
▽ More
Given an arbitrary statistical theory, different from quantum mechanics, how to decide which are the nonclassical correlations? We present a formal framework which allows for a definition of nonclassical correlations in such theories, alternative to the current one. This enables one to formulate extrapolations of some important quantum mechanical features via adequate extensions of reciprocal maps relating states of a system with states of its subsystems. These extended maps permit one to generalize i) separability measures to any arbitrary statistical model as well as ii) previous entanglement criteria. The standard definition of entanglement becomes just a particular case of the ensuing, more general notion.
△ Less
Submitted 3 June, 2014; v1 submitted 3 February, 2012;
originally announced February 2012.
-
Neither Name, Nor Number
Authors:
Federico Holik
Abstract:
Since its origins, Quantum mechanics has presented problems with the concept of individuality. It is argued that quantum particles do not have individuality, and so, one can speak about "entities without identity". On the contrary, we claim that the problem of quantum non individuality goes deeper, and that one of its most important features is the fact that there are quantum systems for which par…
▽ More
Since its origins, Quantum mechanics has presented problems with the concept of individuality. It is argued that quantum particles do not have individuality, and so, one can speak about "entities without identity". On the contrary, we claim that the problem of quantum non individuality goes deeper, and that one of its most important features is the fact that there are quantum systems for which particle number is not well defined. In this work, we continue this discussion in relation to the problem about the one and the many.
△ Less
Submitted 20 December, 2011;
originally announced December 2011.
-
On the lattice structure of probability spaces in quantum mechanics
Authors:
Federico Holik,
César Massri,
Leandro Zuberman,
Angel Plastino
Abstract:
Let C be the set of all possible quantum states. We study the convex subsets of C with attention focused on the lattice theoretical structure of these convex subsets and, as a result, find a framework capable of unifying several aspects of quantum mechanics, including entanglement and Jaynes' Max-Ent principle. We also encounter links with entanglement witnesses, which leads to a new separability…
▽ More
Let C be the set of all possible quantum states. We study the convex subsets of C with attention focused on the lattice theoretical structure of these convex subsets and, as a result, find a framework capable of unifying several aspects of quantum mechanics, including entanglement and Jaynes' Max-Ent principle. We also encounter links with entanglement witnesses, which leads to a new separability criteria expressed in lattice language. We also provide an extension of a separability criteria based on convex polytopes to the infinite dimensional case and show that it reveals interesting facets concerning the geometrical structure of the convex subsets. It is seen that the above mentioned framework is also capable of generalization to any statistical theory via the so-called convex operational models' approach. In particular, we show how to extend the geometrical structure underlying entanglement to any statistical model, an extension which may be useful for studying correlations in different generalizations of quantum mechanics.
△ Less
Submitted 20 December, 2011;
originally announced December 2011.
-
Quantal effects and MaxEnt
Authors:
Federico Holik,
Angel Plastino
Abstract:
Convex operational models (COMs) are considered as great extrapolations to larger settings of any statistical theory. In this article we generalize the maximum entropy principle (MaxEnt) of Jaynes' to any COM. After expressing Max-Ent in a geometrical and latttice theoretical setting, we are able to cast it for any COM. This scope-amplification opens the door to a new systematization of the princi…
▽ More
Convex operational models (COMs) are considered as great extrapolations to larger settings of any statistical theory. In this article we generalize the maximum entropy principle (MaxEnt) of Jaynes' to any COM. After expressing Max-Ent in a geometrical and latttice theoretical setting, we are able to cast it for any COM. This scope-amplification opens the door to a new systematization of the principle and sheds light into its geometrical structure.
△ Less
Submitted 5 November, 2011;
originally announced November 2011.
-
Convex politopes and quantum separability
Authors:
Fedrico Holik,
Angel Plastino
Abstract:
We advance a novel perspective of the entanglement issue that appeals to the Schlienz-Mahler measure [Phys. Rev. A 52, 4396 (1995)]. Related to it, we propose an criterium based on the consideration of convex subsets of quantum states. This criterium generalizes a property of product states to convex subsets (of the set of quantum-states) that is able to uncover a new geometrical property of the s…
▽ More
We advance a novel perspective of the entanglement issue that appeals to the Schlienz-Mahler measure [Phys. Rev. A 52, 4396 (1995)]. Related to it, we propose an criterium based on the consideration of convex subsets of quantum states. This criterium generalizes a property of product states to convex subsets (of the set of quantum-states) that is able to uncover a new geometrical property of the separability property.
△ Less
Submitted 5 November, 2011; v1 submitted 14 September, 2011;
originally announced September 2011.
-
20 T dipoles and Bi-2212: the path to LHC energy upgrade
Authors:
P. M. McIntyre,
K. Damborsky,
E. F. Holik,
F. Lu,
A. D. McInturff,
N. Pogue,
A. Sattarov,
E. Sooby
Abstract:
Increasing the energy of the LHC would require a ring of \sim20 T magnets using the superconductors Nb3Sn and Bi-2212/Ag. The technology for Bi-2212/Ag wire, cable, and coil has advanced significantly but is still far short of the performance needed for such magnets. New technol-ogy for both wire and cable is under development, which if successful would yield the needed performance.
Increasing the energy of the LHC would require a ring of \sim20 T magnets using the superconductors Nb3Sn and Bi-2212/Ag. The technology for Bi-2212/Ag wire, cable, and coil has advanced significantly but is still far short of the performance needed for such magnets. New technol-ogy for both wire and cable is under development, which if successful would yield the needed performance.
△ Less
Submitted 8 August, 2011;
originally announced August 2011.
-
Convex Quantum Logic
Authors:
F. Holik,
C. Massri,
N. Ciancaglini
Abstract:
In this work we study the convex set of quantum states from a quantum logical point of view. We consider an algebraic structure based on the convex subsets of this set. The relationship of this algebraic structure with the lattice of propositions of quantum logic is shown. This new structure is suitable for the study of compound systems and shows new differences between quantum and classical mecha…
▽ More
In this work we study the convex set of quantum states from a quantum logical point of view. We consider an algebraic structure based on the convex subsets of this set. The relationship of this algebraic structure with the lattice of propositions of quantum logic is shown. This new structure is suitable for the study of compound systems and shows new differences between quantum and classical mechanics. This differences are linked to the nontrivial correlations which appear when quantum systems interact. They are reflected in the new propositional structure, and do not have a classical analogue. This approach is also suitable for an algebraic characterization of entanglement.
△ Less
Submitted 24 August, 2010;
originally announced August 2010.
-
No labeling quantum mechanics of indiscernible particles
Authors:
G. Domenech,
F. Holik,
L. Kniznik,
D. Krause
Abstract:
Our aim in this paper is to show an example of the formalism we have developed to avoid the label-tensor-product-vector-space-formalism of quantum mechanics when dealing with indistinguishable quanta. States in this new vector space, that we call the Q-space, refer only to occupation numbers and permutation operators act as the identity operator on them, reflecting in the formalism the unobserva…
▽ More
Our aim in this paper is to show an example of the formalism we have developed to avoid the label-tensor-product-vector-space-formalism of quantum mechanics when dealing with indistinguishable quanta. States in this new vector space, that we call the Q-space, refer only to occupation numbers and permutation operators act as the identity operator on them, reflecting in the formalism the unobservability of permutations, a goal of quasi-set theory.
△ Less
Submitted 22 April, 2009;
originally announced April 2009.
-
A quantum logical and geometrical approach to the study of improper mixtures
Authors:
Graciela Domenech,
Federico Holik,
Cesar Massri
Abstract:
We study improper mixtures from a quantum logical and geometrical point of view. Taking into account the fact that improper mixtures do not admit an ignorance interpretation and must be considered as states in their own right, we do not follow the standard approach which considers improper mixtures as measures over the algebra of projections. Instead of it, we use the convex set of states in ord…
▽ More
We study improper mixtures from a quantum logical and geometrical point of view. Taking into account the fact that improper mixtures do not admit an ignorance interpretation and must be considered as states in their own right, we do not follow the standard approach which considers improper mixtures as measures over the algebra of projections. Instead of it, we use the convex set of states in order to construct a new lattice whose atoms are all physical states: pure states and improper mixtures. This is done in order to overcome one of the problems which appear in the standard quantum logical formalism, namely, that for a subsystem of a larger system in an entangled state, the conjunction of all actual properties of the subsystem does not yield its actual state. In fact, its state is an improper mixture and cannot be represented in the von Neumann lattice as a minimal property which determines all other properties as is the case for pure states or classical systems. The new lattice also contains all propositions of the von Neumann lattice. We argue that this extension expresses in an algebraic form the fact that -alike the classical case- quantum interactions produce non trivial correlations between the systems. Finally, we study the maps which can be defined between the extended lattice of a compound system and the lattices of its subsystems.
△ Less
Submitted 1 February, 2010; v1 submitted 22 April, 2009;
originally announced April 2009.
-
Q-spaces and the foundations of quantum mechanics
Authors:
G. Domenech,
F. Holik,
D. Krause
Abstract:
Our aim in this paper is to take quite seriously Heinz Post's claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a label-tensor-product-vector-space-formalism, to use Redhead an…
▽ More
Our aim in this paper is to take quite seriously Heinz Post's claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a label-tensor-product-vector-space-formalism, to use Redhead and Teller's words, and get a more intuitive way of dealing with the formalism of quantum mechanics, although the underlying logic should be modified. Thus, this paper can be regarded as a tentative to follow and enlarge Heinsenberg's suggestion that new phenomena require the formation of a new "closed" (that is, axiomatic) theory, co** also with the physical theory's underlying logic and mathematics.
△ Less
Submitted 31 March, 2008;
originally announced March 2008.
-
A discussion on particle number and quantum indistinguishability
Authors:
Graciela Domenech,
Federico Holik
Abstract:
The concept of individuality in quantum mechanics shows radical differences from the concept of individuality in classical physics, as E. Schroedinger pointed out in the early steps of the theory. Regarding this fact, some authors suggested that quantum mechanics does not possess its own language, and therefore, quantum indistinguishability is not incorporated in the theory from the beginning. N…
▽ More
The concept of individuality in quantum mechanics shows radical differences from the concept of individuality in classical physics, as E. Schroedinger pointed out in the early steps of the theory. Regarding this fact, some authors suggested that quantum mechanics does not possess its own language, and therefore, quantum indistinguishability is not incorporated in the theory from the beginning. Nevertheless, it is possible to represent the idea of quantum indistinguishability with a first order language using quasiset theory (Q). In this work, we show that Q cannot capture one of the most important features of quantum non individuality, which is the fact that there are quantum systems for which particle number is not well defined. An axiomatic variant of Q, in which quasicardinal is not a primitive concept (for a kind of quasisets called finite quasisets), is also given. This result encourages the searching of theories in which the quasicardinal, being a secondary concept, stands undefined for some quasisets, besides showing explicitly that in a set theory about collections of truly indistinguishable entities, the quasicardinal needs not necessarily be a primitive concept.
△ Less
Submitted 23 May, 2007;
originally announced May 2007.