-
Geometrical Aspects Of Resources Distribution In Quantum Random Circuits
Authors:
Andrés Camilo Granda Arango,
Federico Hernan Holik,
Giuseppe Sergioli,
Roberto Giuntini,
Hector Freytes
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 19 November, 2024; v1 submitted 2 May, 2024;
originally announced May 2024.
-
Recognizing Concepts and Recognizing Musical Themes. A Quantum Semantic Analysis
Authors:
Maria Luisa Dalla Chiara,
Roberto Giuntini,
Eleonora Negri,
Giuseppe Sergioli
Abstract:
How are abstract concepts and musical themes recognized on the basis of some previous experience? It is interesting to compare the different behaviors of human and of artificial intelligences with respect to this problem. Generally, a human mind that abstracts a concept (say, table) from a given set of known examples creates a table-Gestalt: a kind of vague and out of focus image that does not ful…
▽ More
How are abstract concepts and musical themes recognized on the basis of some previous experience? It is interesting to compare the different behaviors of human and of artificial intelligences with respect to this problem. Generally, a human mind that abstracts a concept (say, table) from a given set of known examples creates a table-Gestalt: a kind of vague and out of focus image that does not fully correspond to a particular table with well determined features. A similar situation arises in the case of musical themes. Can the construction of a gestaltic pattern, which is so natural for human minds, be taught to an intelligent machine? This problem can be successfully discussed in the framework of a quantum approach to pattern recognition and to machine learning. The basic idea is replacing classical data sets with quantum data sets, where either objects or musical themes can be formally represented as pieces of quantum information, involving the uncertainties and the ambiguities that characterize the quantum world. In this framework, the intuitive concept of Gestalt can be simulated by the mathematical concept of positive centroid of a given quantum data set. Accordingly, the crucial problem "how can we classify a new object or a new musical theme (we have listened to) on the basis of a previous experience?" can be dealt with in terms of some special quantum similarity-relations. Although recognition procedures are different for human and for artificial intelligences, there is a common method of "facing the problems" that seems to work in both cases.
△ Less
Submitted 17 February, 2022;
originally announced February 2022.
-
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.
-
Holistic type extension for classical propositional logic in quantum computation
Authors:
H. Freytes,
R. Giuntini,
G. Sergioli
Abstract:
A holistic extension of classical propositional logic is introduced in the framework of quantum computation with mixed states. The concepts of tautology and contradiction are investigated in this extensions. A special family of quantum states are investigated as particular cases of "holistic" contradiction.
A holistic extension of classical propositional logic is introduced in the framework of quantum computation with mixed states. The concepts of tautology and contradiction are investigated in this extensions. A special family of quantum states are investigated as particular cases of "holistic" contradiction.
△ Less
Submitted 9 April, 2019;
originally announced April 2019.
-
Quantum-inspired Minimum Distance Classification in Biomedical Context
Authors:
Giuseppe Sergioli,
Giorgio Russo,
Enrica Santucci,
Alessandro Stefano,
Sebastiano Emanuele Torrisi,
Stefano Palmucci,
Carlo Vancheri,
Roberto Giuntini
Abstract:
We face the problem of pattern classification by proposing a quantum-inspired version of the widely used minimum distance classifier (i.e. the Nearest Mean Classifier (NMC)) already introduced in [31,33,28,27] and by applying this quantum-inspired classifier in a biomedical context. In particular, we show and compare the NMC and our quantum model performance to solve a problem related to classify…
▽ More
We face the problem of pattern classification by proposing a quantum-inspired version of the widely used minimum distance classifier (i.e. the Nearest Mean Classifier (NMC)) already introduced in [31,33,28,27] and by applying this quantum-inspired classifier in a biomedical context. In particular, we show and compare the NMC and our quantum model performance to solve a problem related to classify the probability of survival for patients affected by idiopathic pulmonary fibrosis (IPF).
△ Less
Submitted 7 March, 2018;
originally announced March 2018.
-
Pattern recognition on the quantum Bloch sphere
Authors:
Giuseppe Sergioli,
Enrica Santucci,
Luca Didaci,
Jaroslaw A. Miszczak,
Roberto Giuntini
Abstract:
We introduce a framework suitable for describing pattern recognition task using the mathematical language of density matrices. In particular, we provide a one-to-one correspondence between patterns and pure density operators. This correspondence enables us to: i) represent the Nearest Mean Classifier (NMC) in terms of quantum objects, ii) introduce a Quantum Classifier (QC). By comparing the QC wi…
▽ More
We introduce a framework suitable for describing pattern recognition task using the mathematical language of density matrices. In particular, we provide a one-to-one correspondence between patterns and pure density operators. This correspondence enables us to: i) represent the Nearest Mean Classifier (NMC) in terms of quantum objects, ii) introduce a Quantum Classifier (QC). By comparing the QC with the NMC on different 2D datasets, we show the first classifier can provide additional information that are particularly beneficial on a classical computer with respect to the second classifier.
△ Less
Submitted 7 June, 2016; v1 submitted 1 March, 2016;
originally announced March 2016.
-
A Quantum Computational Semantics for Epistemic Logical Operators. Part II: Semantics
Authors:
Enrico Beltrametti,
Maria Luisa Dalla Chiara,
Roberto Giuntini,
Roberto Leporini,
Giuseppe Sergioli
Abstract:
By using the abstract structures investigated in the first Part of this article, we develop a semantics for an epistemic language, which expresses sentences like "Alice knows that Bob does not understand that PI is irrational". One is dealing with a holistic form of quantum computational semantics, where entanglement plays a fundamental role, thus, the meaning of a global expression determines the…
▽ More
By using the abstract structures investigated in the first Part of this article, we develop a semantics for an epistemic language, which expresses sentences like "Alice knows that Bob does not understand that PI is irrational". One is dealing with a holistic form of quantum computational semantics, where entanglement plays a fundamental role, thus, the meaning of a global expression determines the contextual meanings of its parts, but generally not the other way around. The epistemic situations represented in this semantics seem to reflect some characteristic limitations of the real processes of acquiring information. Since knowledge is not generally closed under logical consequence, the unpleasant phenomenon of logical omniscience is here avoided.
△ Less
Submitted 14 February, 2016;
originally announced February 2016.
-
Holistic logical arguments in quantum computation
Authors:
Maria Luisa Dalla Chiara,
Roberto Giuntini,
Roberto Leporini,
Giuseppe Sergioli
Abstract:
Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters), while logical connectives correspond to (quantum logical) gates that transform quantum information in a reversible way. The characteristic holistic features of the…
▽ More
Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters), while logical connectives correspond to (quantum logical) gates that transform quantum information in a reversible way. The characteristic holistic features of the quantum theoretic formalism (which play an essential role in entanglement-phenomena) can be used in order to develop a holistic version of the quantum computational semantics. In contrast with the compositional character of most standard semantic approaches, meanings of formulas are here dealt with as global abstract objects that determine the contextual meanings of the formulas' components (from the whole to the parts). We present a survey of the most significant logical arguments that are valid or that are possibly violated in the framework of this semantics. Some logical features that may appear prima facie strange seem to reflect pretty well informal arguments that are currently used in our rational activity.
△ Less
Submitted 13 February, 2016;
originally announced February 2016.
-
A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures
Authors:
Enrico Beltrametti,
Maria Luisa Dalla Chiara,
Roberto Giuntini,
Roberto Leporini,
Giuseppe Sergioli
Abstract:
Some critical open problems of epistemic logics can be investigated in the framework of a quantum computational approach. The basic idea is to interpret sentences - like Alice knows that Bob does not understand that Pi is irrational - as pieces of quantum information (generally represented by density operators of convenient Hilbert spaces). Logical epistemic operators (to understand, to know ...)…
▽ More
Some critical open problems of epistemic logics can be investigated in the framework of a quantum computational approach. The basic idea is to interpret sentences - like Alice knows that Bob does not understand that Pi is irrational - as pieces of quantum information (generally represented by density operators of convenient Hilbert spaces). Logical epistemic operators (to understand, to know ...) are dealt with as (generally irreversible) quantum operations, which are, in a sense, similar to measurement-procedures. This approach permits us to model some characteristic epistemic processes, that concern both human and artificial intelligence. For instance, the operation of \memorizing and retrieving information" can be formally represented, in this framework, by using a quantum teleportation phenomenon.
△ Less
Submitted 14 February, 2016;
originally announced February 2016.
-
Quantum Computational Logics. A Survey
Authors:
M. L. Dalla Chiara,
R. Giuntini,
R. Leporini
Abstract:
Quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister, a system of qubits, representing a possible pure state of a compound quantum system. The generalization to mixed states, which might be useful to analyse entanglement-phenomena, is due to Gudder. Qu…
▽ More
Quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister, a system of qubits, representing a possible pure state of a compound quantum system. The generalization to mixed states, which might be useful to analyse entanglement-phenomena, is due to Gudder. Quantum computational logics represent non standard examples of unsharp quantum logic, where the non-contradiction principle is violated, while conjunctions and disjunctions are strongly non-idempotent. In this framework, any sentence of the language gives rise to a quantum tree: a kind of quantum circuit that transforms the quregister associated to the atomic subformulas of the sentence into the quregister associated to the sentence.
△ Less
Submitted 6 May, 2003;
originally announced May 2003.
-
Qubit semantics and quantum trees
Authors:
M. L. Dalla Chiara,
R. Giuntini,
R. Leporini,
A. Leporati
Abstract:
In the qubit semantics the \emph{meaning} of any sentence $α$ is represented by a \emph{quregister}: a unit vector of the $n$--fold tensor product $\otimes^n \C^2$, where $n$ depends on the number of occurrences of atomic sentences in $α$. The logic characterized by this semantics, called {\it quantum computational logic} (QCL), is {\it unsharp}, because the non-contradiction principle is violat…
▽ More
In the qubit semantics the \emph{meaning} of any sentence $α$ is represented by a \emph{quregister}: a unit vector of the $n$--fold tensor product $\otimes^n \C^2$, where $n$ depends on the number of occurrences of atomic sentences in $α$. The logic characterized by this semantics, called {\it quantum computational logic} (QCL), is {\it unsharp}, because the non-contradiction principle is violated. We show that QCL does not admit any logical truth. In this framework, any sentence $α$ gives rise to a \emph{quantum tree}, consisting of a sequence of unitary operators. The quantum tree of $α$ can be regarded as a quantum circuit that transforms the quregister associated to the atomic subformulas of $α$ into the quregster associated to $α$.
△ Less
Submitted 1 June, 2003; v1 submitted 28 November, 2002;
originally announced November 2002.
-
An unsharp logic from quantum computation
Authors:
G. Cattaneo,
M. L. Dalla Chiara,
R. Giuntini,
R. Leporini
Abstract:
Logical gates studied in quantum computation suggest a natural logical abstraction that gives rise to a new form of unsharp quantum logic. We study the logical connectives corresponding to the following gates: the Toffoli gate, the NOT and the squareroot of NOT (which admit of natural physical models). This leads to a semantic characterization of a logic that we call computational quantum logic…
▽ More
Logical gates studied in quantum computation suggest a natural logical abstraction that gives rise to a new form of unsharp quantum logic. We study the logical connectives corresponding to the following gates: the Toffoli gate, the NOT and the squareroot of NOT (which admit of natural physical models). This leads to a semantic characterization of a logic that we call computational quantum logic CQL.
△ Less
Submitted 8 January, 2002; v1 submitted 4 January, 2002;
originally announced January 2002.
-
Quantum Logic
Authors:
M. L. Dalla Chiara,
R. Giuntini
Abstract:
We investigate some forms of quantum logic arising from the standard and the unsharp approach.
We investigate some forms of quantum logic arising from the standard and the unsharp approach.
△ Less
Submitted 6 January, 2001; v1 submitted 5 January, 2001;
originally announced January 2001.
