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

Stan Gudder

Stan Gudder contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
quant-phgr-qcmath-phmath.MPhep-th

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
22works
0followers
5topics
4close 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

22 published item(s)

preprint2022arXiv

Dual Instruments and Sequential Products of Observables

We first show that every operation possesses an unique dual operation and measures an unique effect. If $a$ and $b$ are effects and $J$ is an operation that measures $a$, we define the sequential product of $a$ then $b$ relative to $J$. Properties of the sequential product are derived and are illustrated in terms of Lüders and Holevo operations. We next extend this work to the theory of instruments and observables. We also define the concept of an instrument (observable) conditioned by another instrument (observable). Identity, state-constant and repeatable instruments are considered. Sequential products of finite observables relative to Lüders and Holevo instruments are studied.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Conditioned Observables in Quantum Mechanics

This paper presents some of the basic properties of conditioned observables in finite-dimensional quantum mechanics. We begin by defining the sequential product of quantum effects and use this to define the sequential product of two observables. The sequential product is then employed to construct the conditioned observable relative to another observable. We then show that conditioning preserves mixtures and post-process of observables. We consider conditioning among three observables and a complement of an observable. Corresponding to an observable, we define an observable operator in a natural way and show that this mapping also preserves mixtures and post-processing. Finally, we present a method of defining conditioning in terms of self-adjoint operators instead of observables. Although this technique is related to our previous method it is not equivalent.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Finite Quantum Instruments

This article considers quantum systems described by a finite-dimensional complex Hilbert space $H$. We first define the concept of a finite observable on $H$. We then discuss ways of combining observables in terms of convex combinations, post-processing and sequential products. We also define complementary and coexistent observables. We then introduce finite instruments and their related compatible observables. The previous combinations and relations for observables are extended to instruments and their properties are compared. We present four types of instruments; namely, identity, trivial, Lüders and Kraus instruments. These types are used to illustrate different ways that instruments can act. We next consider joint probabilities for observables and instruments. The article concludes with a discussion of measurement models and the instruments they measure.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Parts and Composites of Quantum Systems

We consider three types of entities for quantum measurements. In order of generality, these types are: observables, instruments and measurement models. If $α$ and $β$ are entities, we define what it means for $α$ to be a part of $β$. This relationship is essentially equivalent to $α$ being a function of $β$ and in this case $β$ can be employed to measure $α$. We then use the concept to define coexistence of entities and study its properties. A crucial role is played by a map $\alphahat$ which takes an entity of a certain type to one of lower type. For example, if $\iscript$ is an instrument, then $\iscripthat$ is the unique observable measured by $\iscript$. Composite systems are discussed next. These are constructed by taking the tensor product of the Hilbert spaces of the systems being combined. Composites of the three types of measurements and their parts are studied. Reductions of types to their local components are discussed. We also consider sequential products of measurements. Specific examples of Lüders, Kraus and trivial instruments are used to illustrate various concepts. We only consider finite-dimensional systems in this article.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Quantum Instruments and Conditioned Observables

Observables and instruments have played significant roles in recent studies on the foundations of quantum mechanics. Sequential products of effects and conditioned observables have also been introduced. After an introduction in Section~1, we review these concepts in Section~2. Moreover, it is shown how these ideas can be unified within the framework of measurement models. In Section~3, we illustrate these concepts and their relationships for the simple example of a qubit Hilbert space. Conditioned observables and their distributions are studied in Section~4. Section~5 considers joint probabilities of observables. We introduce a definition for joint probabilities and discuss why we consider this to be superior to the standard definition.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Operational restrictions in general probabilistic theories

The formalism of general probabilistic theories provides a universal paradigm that is suitable for describing various physical systems including classical and quantum ones as particular cases. Contrary to the usual no-restriction hypothesis, the set of accessible meters within a given theory can be limited for different reasons, and this raises a question of what restrictions on meters are operationally relevant. We argue that all operational restrictions must be closed under simulation, where the simulation scheme involves mixing and classical post-processing of meters. We distinguish three classes of such operational restrictions: restrictions on meters originating from restrictions on effects; restrictions on meters that do not restrict the set of effects in any way; and all other restrictions. We fully characterize the first class of restrictions and discuss its connection to convex effect subalgebras. We show that the restrictions belonging to the second class can impose severe physical limitations despite the fact that all effects are accessible, which takes place, e.g., in the unambiguous discrimination of pure quantum states via effectively dichotomic meters. We further demonstrate that there are physically meaningful restrictions that fall into the third class. The presented study of operational restrictions provides a better understanding on how accessible measurements modify general probabilistic theories and quantum theory in particular.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Contexts in Quantum Measurement Theory

State transformations in quantum mechanics are described by completely positive maps which are constructed from quantum channels. We call a finest sharp quantum channel a context. The result of a measurement depends on the context under which it is performed. Each context provides a viewpoint of the quantum system being measured. This gives only a partial picture of the system which may be distorted and in order to obtain a total accurate picture, various contexts need to be employed. We first discuss some basic definitions and results concerning quantum channels. We briefly describe the relationship between this work and ontological models that form the basis for contextuality studies. We then consider properties of channels and contexts. For example, we show that the set of sharp channels can be given a natural partial order in which contexts are the smallest elements. We also study properties of channel maps. The last section considers mutually unbiased contexts. These are related to mutually unbiased bases which have a large current literature. Finally, we connect them to completely random channel maps.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

An Isometric Dynamics for a Causal Set Approach to Discrete Quantum Gravity

We consider a covariant causal set approach to discrete quantum gravity. We first review the microscopic picture of this approach. In this picture a universe grows one element at a time and its geometry is determined by a sequence of integers called the shell sequence. We next present the macroscopic picture which is described by a sequential growth process. We introduce a model in which the dynamics is governed by a quantum transition amplitude. The amplitude satisfies a stochastic and unitary condition and the resulting dynamics becomes isometric. We show that the dynamics preserves stochastic states. By "doubling down" on the dynamics we obtain a unitary group representation and a natural energy operator. These unitary operators are employed to define canonical position and momentum operators.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The Universe as a Quantum Computer

This article presents a sequential growth model for the universe that acts like a quantum computer. The basic constituents of the model are a special type of causal set (causet) called a $c$-causet. A $c$-causet is defined to be a causet that is independent of its labeling. We characterize $c$-causets as those causets that form a multipartite graph or equivalently those causets whose elements are comparable whenever their heights are different. We show that a $c$-causet has precisely two $c$-causet offspring. It follows that there are $2^n$ $c$-causets of cardinality $n+1$. This enables us to classify $c$-causets of cardinality $n+1$ in terms of $n$-bits. We then quantize the model by introducing a quantum sequential growth process. This is accomplished by replacing the $n$-bits by $n$-qubits and defining transition amplitudes for the growth transitions. We mainly consider two types of processes called stationary and completely stationary. We show that for stationary processes, the probability operators are tensor products of positive rank-1 qubit operators. Moreover, the converse of this result holds. Simplifications occur for completely stationary processes. We close with examples of precluded events.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A Dynamics for Discrete Quantum Gravity

This paper is based on the causal set approach to discrete quantum gravity. We first describe a classical sequential growth process (CSGP) in which the universe grows one element at a time in discrete steps. At each step the process has the form of a causal set (causet) and the "completed" universe is given by a path through a discretely growing chain of causets. We then quantize the CSGP by forming a Hilbert space $H$ on the set of paths. The quantum dynamics is governed by a sequence of positive operators $ρ_n$ on $H$ that satisfy normalization and consistency conditions. The pair $(H,\brac{ρ_n})$ is called a quantum sequential growth process (QSGP). We next discuss a concrete realization of a QSGP in terms of a natural quantum action. This gives an amplitude process related to the sum over histories" approach to quantum mechanics. Finally, we briefly discuss a discrete form of Einstein's field equation and speculate how this may be employed to compare the present framework with classical general relativity theory.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Compatibility for Probabilistic Theories

We define an index of compatibility for a probabilistic theory (PT). Quantum mechanics with index 0 and classical probability theory with index 1 are at the two extremes. In this way, quantum mechanics is at least as incompatible as any PT. We consider a PT called a concrete quantum logic that may have compatibility index strictly between 0 and 1, but we have not been able to show this yet. Finally, we show that observables in a PT can be represented by positive, vector-valued measures.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Models for Discrete Quantum Gravity

We first discuss a framework for discrete quantum processes (DQP). It is shown that the set of q-probability operators is convex and its set of extreme elements is found. The property of consistency for a DQP is studied and the quadratic algebra of suitable sets is introduced. A classical sequential growth process is "quantized" to obtain a model for discrete quantum gravity called a quantum sequential growth process (QSGP). Two methods for constructing concrete examples of QSGP are provided.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Quantum measures and integrals

We show that quantum measures and integrals appear naturally in any $L_2$-Hilbert space $H$. We begin by defining a decoherence operator $D(A,B)$ and it's associated $q$-measure operator $μ(A)=D(A,A)$ on $H$. We show that these operators have certain positivity, additivity and continuity properties. If $ρ$ is a state on $H$, then $D_ρ(A,B)=\rmtr\sqbrac{ρD(A,B)}$ and $μ_ρ(A)=D_ρ(A,A)$ have the usual properties of a decoherence functional and $q$-measure, respectively. The quantization of a random variable $f$ is defined to be a certain self-adjoint operator $\fhat$ on $H$. Continuity and additivity properties of the map $f\mapsto\fhat$ are discussed. It is shown that if $f$ is nonnegative, then $\fhat$ is a positive operator. A quantum integral is defined by $\int fdμ_ρ=\rmtr (ρ\fhat\,)$. A tail-sum formula is proved for the quantum integral. The paper closes with an example that illustrates some of the theory.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Two-Site Quantum Random Walk

We study the measure theory of a two-site quantum random walk. The truncated decoherence functional defines a quantum measure $μ_n$ on the space of $n$-paths, and the $μ_n$ in turn induce a quantum measure $μ$ on the cylinder sets within the space $Ω$ of untruncated paths. Although $μ$ cannot be extended to a continuous quantum measure on the full $σ$-algebra generated by the cylinder sets, an important question is whether it can be extended to sufficiently many physically relevant subsets of $Ω$ in a systematic way. We begin an investigation of this problem by showing that $μ$ can be extended to a quantum measure on a "quadratic algebra" of subsets of $Ω$ that properly contains the cylinder sets. We also present a new characterization of the quantum integral on the $n$-path space.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Hilbert Space Representations of Decoherence Functionals and Quantum Measures

We show that any decoherence functional $D$ can be represented by a spanning vector-valued measure on a complex Hilbert space. Moreover, this representation is unique up to an isomorphism when the system is finite. We consider the natural map $U$ from the history Hilbert space $K$ to the standard Hilbert space $H$ of the usual quantum formulation. We show that $U$ is an isomorphism from $K$ onto a closed subspace of $H$ and that $U$ is an isomorphism from $K$ onto $H$ if and only if the representation is spanning. We then apply this work to show that a quantum measure has a Hilbert space representation if and only if it is strongly positive. We also discuss classical decoherence functionals, operator-valued measures and quantum operator measures.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Quantum measures and the coevent interpretation

This paper first reviews quantum measure and integration theory. A new representation of the quantum integral is presented. This representation is illustrated by computing some quantum (Lebesgue)${}^2$ integrals. The rest of the paper only considers finite spaces. Anhomomorphic logics are discussed and the classical domain of a coevent is studied. Pure quantum measures and coevents are considered and it is shown that pure quantum measures are strictly contained in the extremal elements for the set of quantum measures bounded above by one. Moreover, we prove that any quantum measure on a finite event space $\ascript$ can be transferred to an ordinary measure on an anhomomorphic logic $\ascript ^*$. In this way, the quantum dynamics on $\ascript$ can be described by a classical dynamics on the larger space $\ascript ^*$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The Universe and The Quantum Computer

It is first pointed out that there is a common mathematical model for the universe and the quantum computer. The former is called the histories approach to quantum mechanics and the latter is called measurement based quantum computation. Although a rigorous concrete model for the universe has not been completed, a quantum measure and integration theory has been developed which may be useful for future progress. In this work we show that the quantum integral is the unique functional satisfying certain basic physical and mathematical principles. Since the set of paths (or trajectories) for a quantum computer is finite, this theory is easier to treat and more developed. We observe that the sum of the quantum measures of the paths is unity and the total interference vanishes. Thus, constructive interference is always balanced by an equal amount of destructive interference. As an example we consider a simplified two-slit experiment

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

An anhomomorphic logic for quantum mechanics

Although various schemes for anhomomorphic logics for quantum mechanics have been considered in the past we shall mainly concentrate on the quadratic or grade-2 scheme. In this scheme, the grade-2 truth functions are called coevents. We discuss properties of coevents, projections on the space of coevents and the master observable. We show that the set of projections forms an orthomodular poset. We introduce the concept of precluding coevents and show that this is stronger than the previously studied concept of preclusive coevents. Precluding coevents are defined naturally in terms of the master observable. A result that exhibits a duality between preclusive and precluding coevents is given. Some simple examples are presented.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Examples of quantum integrals

We first consider a method of centering and a change of variable formula for a quantum integral. We then present three types of quantum integrals. The first considers the expectation of the number of heads in $n$ flips of a "quantum coin". The next computes quantum integrals for destructive pairs examples. The last computes quantum integrals for a (Lebesgue)^2 quantum measure. For this last type we prove some quantum counterparts of the fundamental theorem of calculus.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Quantum integrals and anhomomorphic logics

The full anhomomorphic logic of coevents $\ascript ^*$ is introduced. Atoms of $\ascript ^*$ and embeddings of the event set $\ascript$ into $\ascript ^*$ are discussed. The quantum integral over an event $A$ with respect to a coevent $ϕ$ is defined and its properties are treated. Integrals with respect to various coevents are computed. Reality filters such as preclusivity and regularity of coevents are considered. A quantum measure $μ$ that can be represented as a quantum integral with respect to a coevent $ϕ$ is said to 1-generate $ϕ$. This gives a stronger reality filter that may produce a unique coevent called the ``actual reality'' for a physical system. What we believe to be a more general filter is defined in terms of a double quantum integral and is called 2-generation. It is shown that ordinary measures do not 1 or 2-generate coevents except in a few simple cases. Examples are given which show that there are quantum measures that 2-generate but do not 1-generate coevents. Examples also show that there are coevents that are 2-generated but not 1-generated. For simplicity only finite systems are considered.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Quantum measure and integration theory

This article begins with a review of quantum measure spaces. Quantum forms and indefinite inner-product spaces are then discussed. The main part of the paper introduces a quantum integral and derives some of its properties. The quantum integral's form for simple functions is characterized and it is shown that the quantum integral generalizes the Lebesgue integral. A bounded, monotone convergence theorem for quantum integrals is obtained and it is shown that a Radon-Nikodym type theorem does not hold for quantum measures. As an example, a quantum-Lebesgue integral on the real line is considered.

0 citations0 reviewsNo code linkedOpen access