Quantum Conservative Gates for Finite-Valued Logics

We introduce some conservative gates for finite-valued logics which are able to realize all the main connectives of the many-valued logics of ?ukasiewicz, the MV-algebras of Chang and Brower–Zadeh algebras. After a brief exposition of the motivations for this work, the gates are defined and their properties are explored. Finally, a possible quantum realization of them is proposed, using three techniques: a “brute force” method--an extension of the Conditional Quantum Control argument, and a new technique which we call the Constants Method. For all these techniques, the unitary operator which describes the gate is a sum of local operators.     

Brouwer-Zadeh (Fuzzy-intuitionistic) posets for unsharp quantum mechanics

The partial ordered structure which plays for unsharp quantum mechanics the same role of orthomodular lattices for ordinary quantum mechanics is introduced. Differently from the unsharp case, in which one can identify quantum propositions (i.e., Hilbert space subspaces) with yes-no devices (i.e., orthogonal projections) they are tested by, in the unsharp case this identification is broken down: every quantum generalized proposition (i.e., pair of mutually orthogonal subspaces) is tested by many different yes-no devices (i.e., Hilbert space effects). The set of all quantum effects has a structure of Brouwer-Zadeh poset, canonically embeddable in a (minimal) Brouwer-Zadeh lattice, whereas the set of all quantum generalized propositions has a structure of Brouwer-Zadeh complete lattice.A Brouwer-Zadeh poset is defined as a partially ordered structure equipped with two nonusual orthocomplementations: a regular degenerate (Zadeh or fuzzy-like) one and a weak (Brouwer or intuitionistic-like) one linked by an interconnection rule. Using these two orthocomplementations it is possible to introduce the two modal-like operators of necessity and possibility.     

Physical content of preparation-question structures and Brouwer-Zadeh lattices

We give a criterion to compare the physical content of different mathematical structures derived from a preparation-question structure. Then this criterion is used in order to compare the physical content of the (Jauch-Piron's) property lattice with the physical content of the poset of testable properties. We prove that for complete preparation-question structures these two structures carry the same physical content; moreover the set of testable properties has the algebraic structure of the Brouwer-Zadeh lattice. For more general preparation-question structures the physical content of the poset of testable property can be larger than that of the property lattice. Physically relevant examples of the possible cases are given.     

Abelian BF Theories and Knot Invariants

In the context of the Batalin–Vilkovisky formalism, a new observable for the Abelian BF theory is proposed whose vacuum expectation value is related to the Alexander–Conway polynomial. The three-dimensional case is analyzed explicitly, and it is proved to be anomaly free. Moreover, at the second order in perturbation theory, a new formula for the second coefficient of the Alexander–Conway polynomial is obtained. An account on the higher-dimensional generalizations is also given. Received: 2 October 1996 / Accepted: 21 March 1997     

Effects of annealing on crystallinity and phase behaviour of PET/PC block copolymers

The effects of the annealing on the properties of PET/PC block copolymers, obtained by reactive blending in the presence of different catalysts and for different mixing times, have been studied. The annealing, performed in conditions that promote the crystallization, has been used to better understand the role of block length in determining the phase behaviour. The copolymers characterized by blocks with molecular weight larger than 8000 are able to reorganize towards more ordered domains. This rearrangement maintains the phase separation, as two crystalline phases are present before and after annealing, due to the immiscibility of long blocks. In copolymers characterized by blocks with molecular weight equal to about 2500, that is the higher limit for the miscibility in the amorphous state in PET/PC block copolymers studied in this work, the rearrangement of the chains during annealing causes a phase separation leading to two crystalline phases. Only in the copolymers with molecular weight of blocks lower than 1500, the very short block length hinders the crystallization: therefore, only in this case a phase separation does not take place after annealing.     

Some results on BZ structures from Hilbertian unsharp quantum physics

Some algebraic structures determined by the class (þ) of all effects of a Hilbert space þ and by some subclasses of (þ) are investigated, in particular de Morgan-Brouwer-Zadeh posets [it is proved that (þ ⁿ )(n<) has such a structure], Brouwer-Zadeh ^* posets (a quite trivial example consisting of suitable effects is given), and Brouwer-Zadeh ³ posets which are both de Morgan and ^*.It is shown that a nontrivial class of effects of a Hilbert space exists which is a BZ ³ poset. An -preclusivity relation on the set of all vectors of þ is introduced, and it is shown that it satisfies the regularity condition also for [1/2, 1].