© 2026 Aqora Quantum S.A.S.

Terms Privacy Legal Notice

Journal of Physics A Mathematical and Theoretical

Representing continuoust-norms in quantum computation with mixed states

Héctor Freytes, Giuseppe Sergioli, Antonino Salvatore Aricò

Published Nov 1, 2010• 21 citations

Abstract

A model of quantum computation is discussed in (Aharanov et al 1997 Proc. 13th Annual ACM Symp. on Theory of Computation, STOC pp 20–30) and ( Tarasov 2002 J. Phys. A: Math. Gen. 35 5207–35 ) in which quantum gates are represented by quantum operations acting on mixed states. It allows one to use a quantum computational model in which connectives of a four-valued logic can be realized as quantum gates. In this model, we give a representation of certain functions, known as t -norms (Menger 1942 Proc. Natl Acad. Sci. USA 37 57–60), that generalize the triangle inequality for the probability distribution-valued metrics. As a consequence an interpretation of the standard operations associated with the basic fuzzy logic (Hájek 1998 Metamathematics of Fuzzy Logic ( Trends in Logic vol 4) (Dordrecht: Kluwer)) is provided in the frame of quantum computation.

DOI: 10.1088/1751-8113/43/46/465306

Related papers

Representing Fuzzy Structures in Quantum Computation with Mixed States

Héctor Freytes, Roberto Giuntini, Giuseppe Sergioli +1 more

In this work we introduce a particular kind of quantum operations called polynomial quantum operations that allow us to represent the basic operations of the standard Product MV -algebra. Consequently, these operations can be treated as quantum computational gates in the powerful model of quantum computation given by “quantum operations - density operators”.

IEEE International Symposium on Multiple-Valued Logic (ISMVL)•Jan 1, 2010•2 citations

Aggregation operations from quantum computing

Lidiane Visintin, Adriano Maron, Renata Reiser +1 more

Computer systems based on fuzzy logic are capable of generating a reliable output even when handling inaccurate input data by applying a rule based system. The main contribution of this paper is to show that quantum computing can be used to extend the class of fuzzy sets. The central idea associates the states of a quantum register to membership functions (mFs) of fuzzy subsets, and the rules for the processes of fuzzyfication are performed by unitary quantum transformations. Thus, this paper describes multi-dimensional quantum registers, associated to mFs on the unitary interval U, in order to introduce a novel interpretation of aggregations found in fuzzy set theory. In particular, t-norms and t-conorms based on quantum gates allows the modeling and interpretation of union, intersection, difference and implication among fuzzy sets, also including an expression for the class of fuzzy S-implications. Furthermore, an interpretation of the symmetric sum was achieved by considering the quantum register sum operator.

IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)•Jul 1, 2013•13 citations

Quantum computer with mixed states and four-valued logic

Vasily Evgenevich Tarasov

In this paper we discuss a model of quantum computer in which a state is an operator of density matrix and gates are general quantum operations, not necessarily unitary. A mixed state (operator of density matrix) of n two-level quantum systems is considered as an element of 4 n -dimensional operator Hilbert space (Liouville space). It allows us to use a quantum computer model with four-valued logic. The gates of this model are general superoperators which act on n -ququat state. Ququat is a quantum state in a four-dimensional (operator) Hilbert space. Unitary two-valued logic gates and quantum operations for an n -qubit open system are considered as four-valued logic gates acting on n -ququats. We discuss properties of quantum four-valued logic gates. In the paper we study universality for quantum four-valued logic gates.

arXiv:quant-ph/0312131•Journal of Physics A Mathematical and General•Jun 14, 2002•65 citations

Quantum Computational Fuzzy Logics

Cesarino Bertini, Roberto Leporini

The theory of logical gates in 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 in a pure state) or, more generally, with a mixture of quregisters (called qumix). Following an approach proposed by Domenech and Freytes, we apply residuated structures associated with fuzzy logic to develop certain aspects of information processing in quantum computing from a logical perspective. For this purpose, we introduce an axiomatic system whose natural interpretation is the irreversible quantum Poincaré algebra. Such a system allows to establish a completeness theorem for the treatment of quantum information.

•Jan 1, 2007•0 citations

FREDKIN AND TOFFOLI QUANTUM GATES: FUZZY REPRESENTATIONS AND COMPARISON

Ranjith Venkatrama, Giuseppe Sergioli, Héctor Freytes +1 more

In the framework of quantum computation with mixed states, fuzzy representations based on continuous t-norms for Toffoli and Fredkin quantum gates are introduced. A comparison between both gates is also studied.

•Nov 20, 2018•2 citations

Interpretations on Quantum Fuzzy Computing: Intuitionistic Fuzzy Operations × Quantum Operators

Renata Reiser, Alexandre Lemke, Anderson Ávila +3 more

Quantum processes provide a parallel model for fuzzy connectives. Calculations of quantum states may be simultaneously performed by the superposition of membership and non-membership degrees of each element regarding the intuitionistic fuzzy sets. This work aims to interpret Atanassov's intuitionistic fuzzy logic through quantum computing, where not only intuitionistic fuzzy sets, but also their basic operations and corresponding connectives (negation, conjuntion, disjuntion, difference, codifference, implication, and coimplication), are interpreted based on the traditional quantum circuit model.

Electronic Notes in Theoretical Computer Science•Sep 1, 2016•11 citations

A model of quantum computation is discussed in (Aharanov et al 1997 Proc. 13th Annual ACM Symp. on Theory of Computation, STOC pp 20–30) and ( Tarasov 2002 J. Phys. A: Math. Gen. 35 5207–35 ) in which quantum gates are represented by quantum operations acting on mixed states. It allows one to use a quantum computational model in which connectives of a four-valued logic can be realized as quantum gates. In this model, we give a representation of certain functions, known as t -norms (Menger 1942 Proc. Natl Acad. Sci. USA 37 57–60), that generalize the triangle inequality for the probability distribution-valued metrics. As a consequence an interpretation of the standard operations associated with the basic fuzzy logic (Hájek 1998 Metamathematics of Fuzzy Logic ( Trends in Logic vol 4) (Dordrecht: Kluwer)) is provided in the frame of quantum computation.

Computer systems based on fuzzy logic are capable of generating a reliable output even when handling inaccurate input data by applying a rule based system. The main contribution of this paper is to show that quantum computing can be used to extend the class of fuzzy sets. The central idea associates the states of a quantum register to membership functions (mFs) of fuzzy subsets, and the rules for the processes of fuzzyfication are performed by unitary quantum transformations. Thus, this paper describes multi-dimensional quantum registers, associated to mFs on the unitary interval U, in order to introduce a novel interpretation of aggregations found in fuzzy set theory. In particular, t-norms and t-conorms based on quantum gates allows the modeling and interpretation of union, intersection, difference and implication among fuzzy sets, also including an expression for the class of fuzzy S-implications. Furthermore, an interpretation of the symmetric sum was achieved by considering the quantum register sum operator.

In this paper we discuss a model of quantum computer in which a state is an operator of density matrix and gates are general quantum operations, not necessarily unitary. A mixed state (operator of density matrix) of n two-level quantum systems is considered as an element of 4 n -dimensional operator Hilbert space (Liouville space). It allows us to use a quantum computer model with four-valued logic. The gates of this model are general superoperators which act on n -ququat state. Ququat is a quantum state in a four-dimensional (operator) Hilbert space. Unitary two-valued logic gates and quantum operations for an n -qubit open system are considered as four-valued logic gates acting on n -ququats. We discuss properties of quantum four-valued logic gates. In the paper we study universality for quantum four-valued logic gates.

The theory of logical gates in 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 in a pure state) or, more generally, with a mixture of quregisters (called qumix). Following an approach proposed by Domenech and Freytes, we apply residuated structures associated with fuzzy logic to develop certain aspects of information processing in quantum computing from a logical perspective. For this purpose, we introduce an axiomatic system whose natural interpretation is the irreversible quantum Poincaré algebra. Such a system allows to establish a completeness theorem for the treatment of quantum information.

Quantum processes provide a parallel model for fuzzy connectives. Calculations of quantum states may be simultaneously performed by the superposition of membership and non-membership degrees of each element regarding the intuitionistic fuzzy sets. This work aims to interpret Atanassov's intuitionistic fuzzy logic through quantum computing, where not only intuitionistic fuzzy sets, but also their basic operations and corresponding connectives (negation, conjuntion, disjuntion, difference, codifference, implication, and coimplication), are interpreted based on the traditional quantum circuit model.