BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Yuichiro Kitajima

Yuichiro Kitajima contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
quant-phmath-phmath.MP

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
3topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

5 published item(s)

preprint2021arXiv

Negations and Meets in Topos Quantum Theory

The daseinisation is a mapping from an orthomodular lattice in ordinary quantum theory into a Heyting algebra in topos quantum theory. While distributivity does not always hold in orthomodular lattices, it does in Heyting algebras. We investigate the conditions under which negations and meets are preserved by daseinisation, and the condition that any element in the Heyting algebra transformed through daseinisation corresponds to an element in the original orthomodular lattice. We show that these conditions are equivalent, and that, not only in the case of non-distributive orthomodular lattices but also in the case of Boolean algebras containing more than four elements, the Heyting algebra transformed from the orthomodular lattice through daseinisation will contain an element that does not correspond to any element of the original orthomodular lattice.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Characterizing common cause closedness of quantum probability theories

We prove new results on common cause closedness of quantum probability spaces, where by a quantum probability space is meant the projection lattice of a non-commutative von Neumann algebra together with a countably additive probability measure on the lattice. Common cause closedness is the feature that for every correlation between a pair of commuting projections there exists in the lattice a third projection commuting with both of the correlated projections and which is a Reichenbachian common cause of the correlation. The main result we prove is that a quantum probability space is common cause closed if and only if it has at most one measure theoretic atom. This result improves earlier ones published in Z. GyenisZ and M. Redei Erkenntnis 79 (2014) 435-451. The result is discussed from the perspective of status of the Common Cause Principle. Open problems on common cause closedness of general probability spaces $(\mathcal{L},ϕ)$ are formulated, where $\mathcal{L}$ is an orthomodular bounded lattice and $ϕ$ is a probability measure on $\mathcal{L}$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Imperfect cloning operations in algebraic quantum theory

No-cloning theorem says that there is no unitary operation that makes perfect clones of non-orthogonal quantum states. The objective of the present paper is to examine whether an imperfect cloning operation exists or not in a C*-algebraic framework. We define a universal $ε$-imperfect cloning operation which tolerates a finite loss $ε$ of fidelity in the cloned state, and show that an individual system's algebra of observables is Abelian if and only if there is a universal $ε$-imperfect cloning operation in the case where the loss of fidelity is less than 1/4. Therefore, in this case no universal $ε$-imperfect cloning operation is possible in algebraic quantum theory.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

EPR states and Bell correlated states in algebraic quantum field theory

A mathematical rigorous definition of EPR states has been introduced by Arens and Varadarajan for finite dimensional systems, and extended by Werner to general systems. In the present paper we follow a definition of EPR states due to Werner. Then we show that an EPR state for incommensurable pairs is Bell correlated, and that the set of EPR states for incommensurable pairs is norm dense between two strictly space-like separated regions.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Reconstructing Bohr's Reply to EPR in Algebraic Quantum Theory

Halvorson and Clifton have given a mathematical reconstruction of Bohr's reply to Einstein, Podolsky and Rosen (EPR), and argued that this reply is dictated by the two requirements of classicality and objectivity for the description of experimental data, by proving consistency between their objectivity requirement and a contextualized version of the EPR reality criterion which had been introduced by Howard in his earlier analysis of Bohr's reply. In the present paper, we generalize the above consistency theorem, with a rather elementary proof, to a general formulation of EPR states applicable to both non-relativistic quantum mechanics and algebraic quantum field theory; and we clarify the elements of reality in EPR states in terms of Bohr's requirements of classicality and objectivity, in a general formulation of algebraic quantum theory.

0 citations0 reviewsNo code linkedOpen access