Researcher profile

Tom Imbo

Tom Imbo contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
11topics
3close 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)

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.

preprint2003arXiv

Twisted Alice Loops as Monopoles

Symmetry breaking can produce ``Alice'' strings, which alter scattered charges and carry monopole number and charge when twisted into loops. We apply recent topological results, fixing Alice strings' stability and prescribing their twisting into loops with monopole charge, to several models. We show that Alice strings of condensed matter systems (nematic liquid crystals, He-3A, and related systems of non-chiral Bose condensates and amorphous chiral superconductors) are topologically Alice, and carry fundamental monopole charge when twisted into loops. They might thus be observed indirectly, not as strings, but as loop-like point defects. Other models yield Alice loops that carry only deposited, and not fundamental, charge.