Researcher profile

Tom Halverson

Tom Halverson contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

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

4 published item(s)

preprint2026arXiv

Stoquastic simulations of non-stoquastic superconducting flux circuits

There is a tremendous interest in fabricating superconducting flux circuits that are nonstoquastic -- i.e., have positive off-diagonal matrix elements -- in their qubit representation, as these circuits are thought to be unsimulable by classical approaches due to the presence of a sign problem and thus could play a key role in the demonstration of speedups in quantum annealing protocols. We show, however, that the elimination of the sign problem in these systems is possible by the direct simulation of the flux circuits. Our approach not only obviates the reduction of flux circuits to their qubit representation but also produces results that are more in the spirit of the experimental setup. We discuss the implications of our work, arguing that our findings cast doubt on the conception that superconducting flux circuits represent the correct avenue for universal adiabatic quantum computers.

preprint2014arXiv

Gelfand Models for Diagram Algebras

A Gelfand model for a semisimple algebra A over C is a complex linear representation that contains each irreducible representation of A with multiplicity exactly one. We give a method of constructing these models that works uniformly for a large class of semisimple, combinatorial diagram algebras including: the partition, Brauer, rook monoid, rook-Brauer, Temperley-Lieb, Motzkin, and planar rook monoid algebras. In each case, the model representation is given by diagrams acting via "signed conjugation" on the linear span of their vertically symmetric diagrams. This representation is a generalization of the Saxl model for the symmetric group, and, in fact, our method is to use the Jones basic construction to lift the Saxl model from the symmetric group to each diagram algebra. In the case of the planar diagram algebras, our construction exactly produces the irreducible representations of the algebra.

preprint2013arXiv

Motzkin Algebras

We introduce an associative algebra $\M_k(x)$ whose dimension is the $2k$-th Motzkin number. The algebra $\M_k(x)$ has a basis of &#34;Motzkin diagrams,&#34; which are analogous to Brauer and Temperley-Lieb diagrams, and it contains the Temperley-Lieb algebra $\TL_k(x)$ as a subalgebra. We prove that for a particular value of $x$, the algebra $\M_k(x)$ is the centralizer algebra of $\uqsl$ acting on the $k$-fold tensor power of the sum of the 1-dimensional and 2-dimensional irreducible $\uqsl$-modules. We show that $\M_k(x)$ is generated by special diagrams $\ell_i, t_i, r_i \ (1 \le i < k)$ and $p_j \ (1 \le j \le k)$, and that it has a factorization into three subalgebras $\M_k(x) = \RP_k \TL_k(x)\, \LP_k$, all of which have dimensions given by Catalan numbers. We define an action of $\M_k(x)$ on Motzkin paths of rank $r$, and in this way, construct a set of indecomposable modules $\C_k^{(r)}$, $0 \le r \le k$. We prove that $\M_k(x)$ is cellular in the sense of Graham and Lehrer and that the $\C_k^{(r)}$ are the left cell representations. We compute the determinant of the Gram matrix of a bilinear form on $\C_k^{(r)}$ for each $r$ and use these determinants to show that $\M_k(x)$ is semisimple exactly when $x$ is not the root of certain Chebyshev polynomials.

preprint2012arXiv

Representations of the Rook-Brauer Algebra

We study the representation theory of the rook-Brauer algebra RB_k(x), also called the partial Brauer algebra. This algebra has a basis of &#34;rook-Brauer&#34; diagrams, which are Brauer diagrams that allow for the possibility of missing edges. The Brauer, Temperley-Lieb, Motzkin, rook monoid, and symmetric group algebras are all subalgebras of the rook-Brauer algebra. We prove that RB_k(n) is the centralizer algebra of the complex orthogonal group O(n) acting on the k-fold tensor power of the sum of its 1-dimensional trivial module and its n-dimensional defining module, and thus the rook-Brauer algebra and the orthogonal group are in Schur-Weyl duality on this tensor space. In the case where the parameter x is chosen so that RB_k(x) is semisimple, we use its Bratteli diagram to explicitly construct a complete set of irreducible representations for the rook-Brauer algebra as the span of paths in this diagram. These are analogs of Young&#39;s seminormal representations of the symmetric group.