Tip istraivanja: temeljno Trajanje od: 01.01.91. do 31.05.95. Ukupno radova na projektu: 25
Radovi na projektu citirani u Current Contents: 9
Naziv ustanove: Građevinski fakultet, Zagreb (82) Odjel/Zavod: Odjel za matematiku Adresa: Kačićeva 26, Pot. pret. 217 Grad: HR-41001 - Zagreb, Hrvatska
Komunikacija
teleFaks: 385 (1) 416621
Telefon: 385 (1) 4551189
E-mail: pavicic@master.grad.hr
Saetak: Između kvantne logike kao propozijskog sistema i potpunog predikatskog sistema drugog reda kvantnog formalizma u Hilbertovom prostoru postoji rascjep. Uobičajeno rjeenje je da se definiraju stanja na kvantnoj logici kao propozicijskom sistemu čija je Lindenbaumova algebra prava ortomodularna mrea kako bi se dobio Hilbertov prostor kao model takve strukture. Rjeenje ovog projektaje naći maksimalni propozicijski dio algebarsko-probabilističke strukture koja lei u osnovi Hilbertovog kvantnog prostora. Takav sistem je varijetet ortomodularnog sistema koji direktno davje probabilističku strukturu. Zato se projekt se bavi nalaenjem varijeteta koji bi ortomodularnost kvantne logike definirao jedinstvenom operacijom na način na koji klasična operacija implikacije definira distributivnost klasične logike. Nalaenjem varijeteta ujedno je omogućeno rjeavanje mnogih prethodno nerijeenih problema (v. sekciju "Ciljevi i rezultati"). S druge strane, takav sistem je općenitiji od standardnog kvantnog formalizma, a odgovarajuće observable su sloenije od onih standardne nerelativističke kvantne mehanike i mogle bi potjecati direktno od vie-čestičnih stanja. Istraivanja projekta u tom smjeru dovelo je do otkrivanja slijedeća dva fizikalna efekta u polju interferencije četvrtog reda (v. "Ciljevi i rezultati", Ad 5). Prvi efekt se svodi na to da interferencija četvrtog reda dovodi provobitno nepolarizirane fotone u polarizacijsku korelaciju (spinski singlet) dok prvobitno polarizirane fotone depolarizira. Drugi efekt se svodi na to da interferencija četvrtog reda na dva fotona iz dva singleta dovodi preostala dva fotona (koji nigdje nisu interagirali i čije se staze nigdje nisu kriale) u singletno stanje. Time se pokazuje da podsistemi čistog stanja ne moraju imati zajedničko ishodite. Ovo je samo slobodni prijevod originalnog engleskog teksta.
Ključne riječi: kvantna logika, ortomodularne mree, kvantna teorija mjerenja, osnove kvantne mehanike, kvantna optika, intenzitetna interferencija, interferencija četvrtog reda
Ciljevi istraivanja: Ciljevi projekta su slijedeći: 1. Zasnivanje
kvantne algebre na statističkim osnovama. 2. Formulacija kvantne logike
pomoću jedinstvene operacije koja bi korespondirala relaciji uređaja u
modelu logike, tj. na ortomodularnoj mrei. 3. Formulacija
probabilističke reprezentacije kvantne logike. 4. Ispitivanje "finite
model property" za kvantnu logiku. 5. Zasnivanje eksperimenata koji mogu
testirati moguće strukture koje bi bile proirenja standardnih
kvantno-mehaničkih. Od 1991-95. postignuti su slijedeći rezultati (v.
reference): Ad 1. 1991. dokazao sam teoreme koji direktno povezuju
frekvenciju (preko centralnog graničnog teorema) s elementima
ortomodularne mree (algebre kvantnog mjerenja). Ad 2. 1992. naao sam
traenu jedinstvenu operaciju: jedinstvena bi-implikacija jednaka je
jedinici onda i samo onda kad su korepondentni elementi ortomree jednaki
i tada je ortomrea ortomodularna. Ad 3. 1992-1993. definirao sam DA-NE
reprezentaciju kvantne logike i ortomodularnih mrea. Dokazao
jedinstvenost i potpunost. Ad 4. 1993. dobio sam rezultat da kvantna
logika s konačno mnogo elementarnih propozicija ima "finite model
property". Ad 5. 1993-1995. sam ispitivao interferenciju 4-tog reda
fotona koreliranih u polarizaciji iz dva nezavisna izvora i dobio
slijedeće značajne rezultate koji se svode na dobivanje spinske
korelacije direktno iz vie čestičnih kvantnih stanja fotona: a) dva
nepolarizirana fotona su nakon interferencije četvrtog reda korelirana u
polarizaciji; b) iz skupa međusobno nezavisnih, nepolariziranih i
nekoreliranih fotona moguće je izdvojiti one fotone koji će u naknadnom
mjerenju biti u singletnom stanju s vjerojatnoću jedan, tj. sa sigurnoću.
Vidi članke u Phys. Rev. Lett., Phys. Rev. A, J. Opt. Soc. Am. B, Int.
J. Theor. Phys. gdje su također koncipirani eksperimenti izvedivi
dananjom tehnologijom. Ovo je samo slobodni prijevod originalnog
engleskog teksta.
SURADNJA - PROJEKTI
Naziv projekta
: P8781-PHY "Interferenz mit Electronen und Ionen" Naziv ustanove: Fonds zur Frderung der wissenschaftlichen
Forschung, sterreich Grad: A-1020 - Wien, Austrija
SURADNJA - USTANOVE
Naziv ustanove
: Laboratoire de Mchanique Quantique, Facult des
Sciences, Universit de Reims, B.P. 347, F-51062 Reims Cedex, France. Tip ustanove: Gospodarstvena/Proizvodna Grad: F-51062 - Reims, Francuska
Naziv ustanove
: Atominstitut der stereichischen Universitten,
Schttelstr. 115, A-1020 Wien, sterreich. Tip ustanove: Sveučilite/Fakultet Grad: A-1020 - Wien, Austrija
Naziv ustanove
: Technische Universitt Wien, Wiedner Hauptstr.
8-10, A-1040 Wien, sterreich. Tip ustanove: Gospodarstvena/Proizvodna Grad: A-1040 - Wien, Austrija
Naziv ustanove
: Max-Planck-Ges. Institut fr Nichtklassische
Strahlung, Humboldt-Universitt zu Berlin, Rudower Chaussee 5, Gebude
10.16, D-12484 Berlin, Deutschland. Tip ustanove: Sveučilite/Fakultet Grad: D-12484 - Berlin, Njemačka
: Izbor u Organizing Committee i u Scientific Council
International Quantum Structures Asociation, Inc. na period 1992-1994 i
izborni prijedlog članstvu (250 članova iz 27 zemalja svijeta) za
izglasavanje produljenja mog mandata do 1996. Tip proizvoda: Ostalo Ostali podaci o projektu.