Source author record

James Hanson

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
3topics
2close collaborators

Actions

Connect this record

Log in to claim

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

4 published item(s)

preprint2022arXiv

Approximate Isomorphism of Metric Structures

We give a formalism for approximate isomorphism in continuous logic simultaneously generalizing those of two papers by Ben Yaacov and by Ben Yaacov, Doucha, Nies, and Tsankov, which are largely incompatible. With this we explicitly exhibit Scott sentences for the perturbation systems of the former paper, such as the Banach-Mazur distance and the Lipschitz distance between metric spaces. Our formalism is simultaneously characterized syntactically by a mild generalization of perturbation systems and semantically by certain elementary classes of two-sorted structures that witness approximate isomorphism. As an application, we show that the theory of any $\mathbb{R}$-tree or ultrametric space of finite radius is stable, improving a result of Carlisle and Henson.

preprint2022arXiv

Indiscernible Subspaces and Minimal Wide Types

We develop the machinery of indiscernible subspaces in continuous theories of expansions of Banach spaces, showing that any such theory has an indiscernible subspace and therefore an indiscernible set. We extend a result of Shelah and Usvyatsov by showing that a sequence of realizations of a (possibly unstable) minimal wide type $p$ is a Morley sequence in $p$ if and only if it is the orthonormal basis of an indiscernible subspace in $p$. We also give an example showing that minimal wide types do not generally have type-definable indiscernible subspaces (answering a question of Shelah and Usvyatsov), as well as an example showing that our result fails for non-minimal wide types, even in $ω$-stable theories.

preprint2022arXiv

Strongly Minimal Sets and Categoricity in Continuous Logic

The classical Baldwin-Lachlan characterization of uncountably categorical theories is known to fail in continuous logic in that not every inseparably categorical theory has a strongly minimal set. Here we investigate these issues by developing the theory of strongly minimal sets in continuous logic and by examining inseparably categorical expansions of Banach space. To this end we introduce and characterize 'dictionaric theories,' theories in which definable sets are prevalent enough that many constructions familiar in discrete logic can be carried out. We also introduce, in the context of Banach theories, the notion of an 'indiscernible subspace,' which we use to improve a result of Shelah and Usvyatsov. Both of these notions are applicable to continuous logic outside of the context of inseparably categorical theories. Finally, we construct or present a slew of counterexamples, including an $ω$-stable theory with no Vaughtian pairs which fails to be inseparably categorical and an inseparably categorical theory with strongly minimal sets in its home sort only over models of sufficiently high dimension.

preprint2015arXiv

Dynamics of ${\cal N}=4$ supersymmetric field theories in 2+1 dimensions and their gravity dual

In this note we consider ${\cal N}=4$ SYM theories in 2+1 dimensions with gauge group $U(N)\times U(M)$ and $k$ hypermultiplets charged under the $U(N)$. When $k > 2(N-M)$, the theory flows to a superconformal fixed point in the IR. Theories with $k <2(N-M)$, on the other hand, flows to strong coupling. We explore these theories from the perspective of gravity dual. We find that the gravity duals of theories with $k < (N-M)$ contain enhancons even in situations where repulson singularities are absent. We argue that supergravity description is unreliable in the region near these enhancon points. Instead, we show how to construct reliable sugra duals to particular points on the Coulomb branch where the enhancon is screened. We explore how these singularities reappear as one moves around in Coulomb branch and comment on possible field theory interpretation of this phenomenon. In analyzing gauge/gravity duality for these models, we encountered one unexpected surprise, that the condition for the supergravity solution to be reliable and supersymmetric is somewhat weaker than the expectation from field theory. We also discuss similar issues for theories with $k=0$.