Researcher profile

Kimberly Frey

Kimberly Frey contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
10topics
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

4 published item(s)

preprint2016arXiv

Irreducible Truth-Value Algebras Suffice for the Completeness of Many First-Order Algebraic Logics

It is well-known that a Hilbert-style deduction system for first-order classical logic is sound and complete for a model theory built using all Boolean algebras as truth-value algebras if and only if it is sound and complete for a model theory utilizing only irreducible Boolean algebras (which are all isomorphic to the two-element Boolean algebra). In this paper, we prove an analogous result for any first-order logic with an algebraic semantics satisfying certain minimal assumptions, and we then apply our result to first-order quantum logic.

preprint2014arXiv

A Generalization of the Functional Calculus of Observables and Notion of Joint Measurability to the Case of Non-commuting Observables

For any pair of bounded observables $A$ and $B$ with pure point spectra, we construct an associated "joint observable" which gives rise to a notion of a joint (projective) measurement of $A$ and $B$, and which conforms to the intuition that one can measure non-commuting observables simultaneously, provided one is willing to give up arbitrary precision. As an application, we show how our notion of a joint observable naturally allows for a construction of a "functional calculus," so that for any pair of observables $A$ and $B$ as above, and any (Borel measurable) function $f: \mathbb{R}^2 \rightarrow \mathbb{R}$, a new "generalized observable" $f(A,B)$ is obtained. Moreover, we show that this new functional calculus has some rather remarkable properties.

preprint2012arXiv

Bott Periodicity and Realizations of Chiral Symmetry in Arbitrary Dimensions

We compute the chiral symmetries of the Lagrangian for confining "vector-like" gauge theories with massless fermions in $d$-dimensional Minkowski space and, under a few reasonable assumptions, determine the form of the quadratic fermion condensates which arise through spontaneous breaking of these symmetries. We find that for each type (complex, real, or pseudoreal) of representation of the gauge group carried by the fermions, the chiral symmetries of the Lagrangian, as well as the residual symmetries after dynamical breaking, exactly follow the pattern of Bott periodicity as the dimension changes. The consequences of this for the topological features of the low-energy effective theory are considered.

preprint2010arXiv

Discontinuous quantum evolutions in the presence of closed timelike curves

We consider Deutsch's computational model of a quantum system evolving in a spacetime containing closed timelike curves. Although it is known that this model predicts non-linear and non-unitary evolutions of the system, we demonstrate that it also gives rise to evolutions which are a discontinuous function of the input state. These discontinuities persist for the most natural modifications of Deutsch's approach.