Extending states on finite concrete logics (Q5920652): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q58620647, #quickstatements; #temporary_batch_1708557319324 |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10773-005-7083-6 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2951879036 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3663565 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Absolute continuity of states on concrete logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extending Coarse-Grained Measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3881378 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3964820 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Measures in Boolean Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: When is the integration on quantum probability spaces additive? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3041452 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Almost Boolean orthomodular posets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Measures on finite concrete logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4852816 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite concrete logics: their structure and measures on them / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Concrete quantum logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Orthomodular structures as quantum logics. Transl. from the Slovak / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5643955 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4852812 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4224183 / rank | |||
Normal rank |
Latest revision as of 20:56, 24 June 2024
scientific article; zbMATH DE number 5058004
Language | Label | Description | Also known as |
---|---|---|---|
English | Extending states on finite concrete logics |
scientific article; zbMATH DE number 5058004 |
Statements
Extending states on finite concrete logics (English)
0 references
28 September 2006
0 references
A \textit{set-representable quantum logic} \(\Delta\) is a subset of the powerset \(2^X\) of some finite set \(X\) which is closed under complements and disjoint unions, and contains \(X\). Any mapping \(m\) of \(\Delta\) into the reals which is additive on disjoint sets is called a \textit{signed measure}. If \(m\) is nonnegative and \(m(X)=1\), then \(m\) is called a \textit{state}. The authors continue among others work from De Simone and Pták (unpublished), \textit{P. Pták} [Int. J. Theor. Phys. 39, 827--837 (2000; Zbl 0965.03076)], \textit{P. G. Ovchinnikov} [Proc. Am Math. Soc. 127, No. 7, 1957--1966 (1999; Zbl 0921.03058)], \textit{K. Svozil} [Quantum Logic (Springer, Singapore) (1998; Zbl 0922.03084)], \textit{F. F. Sultanbekov} [Konstr. Teor. Funkts. Funkts. Anal. 8, 57--68 (1992; Zbl 0825.03057)], \textit{M. Navara} [Real Anal. Exch. 14, No. 1, 228--234 (1989; Zbl 0734.28015)], \textit{M. Navara} and \textit{P. Pták} [J. Pure Appl. Algebra 60, 105--111 (1983; Zbl 0691.03045)]. They treat the problem of extending a given state \(s\) on \(\Delta \) to \(2^X\). Their results are: Let \(X_e\) denote the quantum logic of subsets of even cardinality of a set \(X\) of even cardinality. Then any state \(s\) on \(X_e\) may be extended to a signed measure on \(2^X\) (Thm. 2.3) which in general cannot be chosen to be a state. Also, this theorem cannot be generalized to logics \(\Delta \) closed with respect to symmetric differences (Example 2.6). However, let \(\Delta \) be such a logic on \(X\) whose intersections of pairs of sets generate all atoms of a Boolean algebra on \(X\), and let \(m\) be a signed measure on \(2^X\) which extends a state \(s\) on \(\Delta \). Then \( m\) is even a state iff \(s\) is subadditive. In view of 2.3 it is interesting (Example 2.10) that there exists a difference-closed logic and a state \(s\) on it which admits no extension to a signed measure on \(2^X\).
0 references
concrete quantum logic
0 references
quantum logic
0 references
state
0 references
extension
0 references
signed measure
0 references