BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

John Harding

John Harding appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math-phmath.MPquant-phmath.QAmath.COmath.CTmath.OAmath.RA

Catalog footprint

What is connected

7works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2019arXiv

Topos quantum theory with short posets

Topos quantum mechanics, developed by Isham et. al., creates a topos of presheaves over the poset V(N) of abelian von Neumann subalgebras of the von Neumann algebra N of bounded operators associated to a physical system, and established several results, including: (a) a connection between the Kochen-Specker theorem and the non-existence of a global section of the spectral presheaf; (b) a version of the spectral theorem for self-adjoint operators; (c) a connection between states of N and measures on the spectral presheaf; and (d) a model of dynamics in terms of V(N). We consider a modification to this approach using not the whole of the poset V(N), but only its elements of height at most two. This produces a different topos with different internal logic. However, the core results (a)--(d) established using the full poset V(N) are also established for the topos over the smaller poset, and some aspects simplify considerably. Additionally, this smaller poset has appealing aspects reminiscent of projective geometry.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Boolean subalgebras of orthoalgebras

We develop a direct method to recover an orthoalgebra from its poset of Boolean subalgebras. For this a new notion of direction is introduced. Directions are also used to characterize in purely order-theoretic terms those posets that are isomorphic to the poset of Boolean subalgebras of an orthoalgebra. These posets are characterized by simple conditions defining orthodomains and the additional requirement of having enough directions. Excepting pathologies involving maximal Boolean subalgebras of four elements, it is shown that there is an equivalence between the category of orthoalgebras and the category of orthodomains with enough directions with morphisms suitably defined. Furthermore, we develop a representation of orthodomains with enough directions, and hence of orthoalgebras, as certain hypergraphs. This hypergraph approach extends the technique of Greechie diagrams and resembles projective geometry. Using such hypergraphs, every orthomodular poset can be represented by a set of points and lines where each line contains exactly three points.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Wigner's theorem for an infinite set

It is well known that the closed subspaces of a Hilbert space form an orthomodular lattice. Elements of this orthomodular lattice are the propositions of a quantum mechanical system represented by the Hilbert space, and by Gleason's theorem atoms of this orthomodular lattice correspond to pure states of the system. Wigner's theorem says that the automorphism group of this orthomodular lattice corresponds to the group of unitary and anti-unitary operators of the Hilbert space. This result is of basic importance in the use of group representations in quantum mechanics. The closed subspaces $A$ of a Hilbert space $\mathcal{H}$ correspond to direct product decompositions $\mathcal{H}\simeq A\times A^\perp$ of the Hilbert space, a result that lies at the heart of the superposition principle. It has been shown that the direct product decompositions of any set, group, vector space, and topological space form an orthomodular poset. This is the basis for a line of study in foundational quantum mechanics replacing Hilbert spaces with other types of structures. It is the purpose of this note to prove a version of Wigner's theorem: for an infinite set $X$, the automorphism group of the orthomodular poset Fact $(X)$ of direct product decompositions of $X$ is isomorphic to the permutation group of $X$. The structure Fact $(X)$ plays the role for direct product decompositions of a set that the lattice of equivalence relations plays for surjective images of a set. So determining its automorphism group is of interest independent of its application to quantum mechanics. Other properties of Fact $(X)$ are determined in proving our version of Wigner's theorem, namely that Fact $(X)$ is atomistic in a very strong way.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Abelian subalgebras and the Jordan structure of a von Neumann algebra

For von Neumann algebras M, N not isomorphic to C^2 and without type I_2 summands, we show that for an order-isomorphism f:AbSub(M)->AbSub(N) between the posets of abelian von Neumann subalgebras of M and N, there is a unique Jordan *-isomorphism g:M->N with the image g[S] equal to f(S) for each abelian von Neumann subalgebra S of M. The converse also holds. This shows the Jordan structure of a von Neumann algebra not isomorphic to C^2 and without type I_2 summands is determined by the poset of its abelian subalgebras, and has implications in recent approaches to foundational issues in quantum mechanics.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Automorphisms of decompositions

Harding showed that the direct product decompositions of many different types of structures, such as sets, groups, vector spaces, topological spaces, and relational structures, naturally form orthomodular posets. When applied to the direct product decompositions of a Hilbert space, this construction yields the familiar orthomodular lattice of closed subspaces of the Hilbert space. In this note we consider orthomodular posets Fact X of decompositions of a finite set X. We consider the structure of these orthomodular posets, such as their size, shape, and connectedness, states, and begin a study of their automorphism groups in the context of the natural map Γfrom the group of permutations of X to the automorphism group of Fact X. We show Γis an embedding except when |X| is prime or 4, and completely describe the situation when |X| has two or fewer prime factors, when |X|=8 and when |X|=27. The bulk of our effort lies in a series of combinatorial arguments to show Γis an isomorphism when |X|=27. We conjecture that this is the case whenever |X| has sufficiently many prime factors of sufficient size, and hope that our arguments here might be adapted to the general case.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Sections in orthomodular structures of decompositions

There is a family of constructions to produce orthomodular structures from modular lattices, lattices that are M and M*-symmetric, relation algebras, the idempotents of a ring, the direct product decompositions of a set or group or topological space, and from the binary direct product decompositions of an object in a suitable type of category. We show that an interval [0, a] of such an orthomodular structure constructed from A is again an orthomodular structure constructed from some B built from A. When A is a modular lattice, this B is an interval of A, and when A is an object in a category, this B is a factor of A.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Subalgebras of orthomodular lattices

Sachs showed that a Boolean algebra is determined by its lattice of subalgebras. We establish the corresponding result for orthomodular lattices. We show that an orthomodular lattice L is determined by its lattice of subalgebras Sub(L), as well as by its poset of Boolean subalgebras BSub(L). The domain BSub(L) has recently found use in an approach to the foundations of quantum mechanics initiated by Butterfield and Isham, at least in the case where L is the orthomodular lattice of projections of a Hilbert space, or von Neumann algebra. The results here may add some additional perspective to this line of work.

0 citations0 reviewsNo code linkedOpen access