BZPEERReading, trust and collaboration for research
Menu

Discover

SearchFind papers, people, topics and opportunities from one place.GraphOpen maps around papers, topics and saved views.

Workspaces

HomeOpen the ranked research feed.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.

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

Terry A. Loring

Terry A. Loring contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.OAcond-mat.mes-hallmath.FAComputer Visioncond-mat.mtrl-sciGraphicsmath-phmath.GNmath.MPmath.NAmath.SPphysics.optics

Trust snapshot

Quick read

Trust 21 - Emerging
19works
0followers
12topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0
Open graphBrowse works

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 map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

19 published item(s)

preprint2022arXiv

Local invariants identify topology in metals and gapless systems

Although topological band theory has been used to discover and classify a wide array of novel topological phases in insulating and semi-metal systems, it is not well-suited to identifying topological phenomena in metallic or gapless systems. Here, we develop a theory of topological metals based on the system's spectral localizer and associated Clifford pseudospectrum, which can both determine whether a system exhibits boundary-localized states despite the presence of degenerate bulk bands and provide a measure of these states' topological protection even in the absence of a bulk band gap. We demonstrate the generality of this method across symmetry classes in two lattice systems, a Chern metal and a higher-order topological metal, and prove the topology of these systems is robust to relatively strong perturbations. The ability to define invariants for metallic and gapless systems allows for the possibility of finding topological phenomena in a broad range of natural, photonic, and other artificial materials that could not be previously explored.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

K-Theory and Pseudospectra for Topological Insulators

We derive formulas and algorithms for Kitaev's invariants in the periodic table for topological insulators and superconductors for finite disordered systems on lattices with boundaries. We find that K-theory arises as an obstruction to perturbing approximately compatible observables into compatible observables. We derive formulas in all symmetry classes up to dimension two, and in one symmetry class in dimension three, that can be computed with sparse matrix algorithms. We present algorithms in two symmetry classes in 2D and one in 3D and provide illustrative studies regarding how these algorithms can detect the scaling properties of phase transitions.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Pictures of KK-theory for real C*-algebras and almost commuting matrices

We give a systematic account of the various pictures of KK-theory for real C*-algebras, proving natural isomorphisms between the groups that arise from each picture. As part of this project, we develop the universal properties of KK-theory, and we use CRT-structures to prove that a natural transformation from F(A) to G(A) between homotopy equivalent, stable, half-exact functors defined on real C*-algebras is an isomorphism provided it is an isomorphism on the smaller class of C*-algebras. Finally, we develop E-theory for real C*-algebras and use that to obtain new negative results regarding the problem of approximating almost commuting real matrices by exactly commuting real matrices.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Quantitative K-Theory Related to Spin Chern Numbers

We examine the various indices defined on pairs of almost commuting unitary matrices that can detect pairs that are far from commuting pairs. We do this in two symmetry classes, that of general unitary matrices and that of self-dual matrices, with an emphasis on quantitative results. We determine which values of the norm of the commutator guarantee that the indices are defined, where they are equal, and what quantitative results on the distance to a pair with a different index are possible. We validate a method of computing spin Chern numbers that was developed with Hastings and only conjectured to be correct. Specifically, the Pfaffian-Bott index can be computed by the "log method" for commutator norms up to a specific constant.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Almost commuting self-adjoint matrices --- the real and self-dual cases

We show that a pair of almost commuting self-adjoint, symmetric matrices is close to a pair of commuting self-adjoint, symmetric matrices (in a uniform way). Moreover we prove that the same holds with self-dual in place of symmetric. The notion of self-dual Hermitian matrices is important in physics when studying fermionic systems that have time reversal symmetry. Since a symmetric, self-adjoint matrix is real, we get a real version of Huaxin Lin's famous theorem on almost commuting matrices. Similarly the self-dual case gives a version for matrices over the quaternions. We prove analogous results for element of real C^*-algebras of "low rank." In particular, these stronger results apply to paths of almost commuting Hermitian matrices that are real or self-dual. Along the way we develop a theory of semiprojectivity for real C^*-algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Almost commuting unitary matrices related to time reversal

The behavior of fermionic systems depends on the geometry of the system and the symmetry class of the Hamiltonian and observables. Almost commuting matrices arise from band-projected position observables in such systems. One expects the mathematical behavior of almost commuting Hermitian matrices to depend on two factors. One factor will be the approximate polynomial relations satisfied by the matrices. The other factor is what algebra the matrices are in, either the matrices over A for A the real numbers, A the complex numbers or A the algebra of quaternions. There are potential obstructions keeping k-tuples of almost commuting operators from being close to a commuting k-tuple. We consider two-dimensional geometries and so this obstruction lives in KO_{-2}(A). This obstruction corresponds to either the Chern number or spin Chern number in physics. We show that if this obstruction is the trivial element in K-theory then the approximation by commuting matrices is possible.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Computing a logarithm of a unitary matrix with general spectrum

We analyze an algorithm for computing a skew-Hermitian logarithm of a unitary matrix. This algorithm is very easy to implement using standard software and it works well even for unitary matrices with no spectral conditions assumed. Certain examples, with many eigenvalues near -1, lead to very non-Hermitian output for other basic methods of calculating matrix logarithms. Altering the output of these algorithms to force an Hermitian output creates accuracy issues which are avoided in the considered algorithm. A modification is introduced to deal properly with the $J$-skew symmetric unitary matrices. Applications to numerical studies of topological insulators in two symmetry classes are discussed.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Estimating Norms of Commutators

We find estimates on the norms commutators of the form [f(x), y] in terms of the norm of [x, y] assuming that x and y are contractions in a C*-algebra A, with x normal and with spectrum within the domain of f. In particular we discuss [x^2, y] and [x^(1/2), y] for 0 <=, x <=, 1. For larger values of δ= \|[x; y]\| we can rigorous calculate the best possible upper bound \|[f(x), y]\| for many f. In other cases we have conducted numerical experiments that strongly suggest that we have in many cases found the correct formula for the best upper bound.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Making Laplacians commute

In this paper, we construct multimodal spectral geometry by finding a pair of closest commuting operators (CCO) to a given pair of Laplacians. The CCOs are jointly diagonalizable and hence have the same eigenbasis. Our construction naturally extends classical data analysis tools based on spectral geometry, such as diffusion maps and spectral clustering. We provide several synthetic and real examples of applications in dimensionality reduction, shape analysis, and clustering, demonstrating that our method better captures the inherent structure of multi-modal data.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Principal angles and approximation for quaternionic projections

We extend Jordan's notion of principal angles to work for two subspaces of quaternionic space, and so have a method to analyze two orthogonal projections in M_n(A) for A the real, complex or quaternionic field (or skew field). From this we derive an algorithm to turn almost commuting projections into commuting projections that minimizes the sum of the displacements of the two projections. We quickly prove what we need using the universal real C*-algebra generated by two projections.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Factorization of Matrices of Quaternions

We review known factorization results in quaternion matrices. Specifically, we derive the Jordan canonical form, polar decomposition, singular value decomposition, the QR factorization. We prove there is a Schur factorization for commuting matrices, and from this derive the spectral theorem. We do not consider algorithms, but do point to some of the numerical literature. Rather than work directly with matrices of quaternions, we work with complex matrices with a specific symmetry based on the dual operation. We discuss related results regarding complex matrices that are self-dual or symmetric, but perhaps not Hermitian.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Noncommutative Semialgebraic Sets in Nilpotent Variables

We solve the lifting problem in C^*-algebras for many sets of relations that include the relations x_j^{N_j} = 0 on each variable. The remaining relations must be of the form \| p(x_1,...,x_n) \| \leq C for C a positive constant and p a noncommutative *-polynomial that is in some sense homogeneous. For example, we prove liftability for the set of relations x^3=0, y^4=0, z^5=0, xx^*+yy^*+zz^* \leq 1. Thus we find more noncommutative semialgebraic sets that have the topology of noncommutative absolute retracts.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The Point in Weak Semiprojectivity and AANR Compacta

We initiate the study of pointed approximative absolute neighborhood retracts. Our motivation is to generate examples of C*-algebras that behave in unexpected ways with respect to weak semiprojectivity. We consider both weak semiprojectivity (WSP) and weak semiprojectivity with respect to the class of unital C*-algebras (WSP1). For a non-unital C*-algebra, these are different properties. One example shows a C*-algebra can fail to be WSP while its unitization is WSP. Another example shows WSP1 is not closed under direct sums.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

C*-Algebra Relations

We investigate relations on elements in C*-algebras, including *-polynomial relations, order relations and all relations that correspond to universal C*-algebras. We call these C*-relations and define them axiomatically. Within these are the compact C*-relations, which are those that determine universal C*-algebras, and we introduce the more flexible concept of a closed C*-relation. In the case of a finite set of generators, we show that closed C*-relations correspond to the zero-sets of elements in a free sigma -C*-algebra. This provides a solid link between two of the previous theories on relations in C*-algebras. Applications to lifting problems are briefly considered in the last section.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Noncommutative Semialgebraic sets and Associated Lifting Problems

We solve a class of lifting problems involving approximate polynomial relations (soft polynomial relations). Various associated C*-algebras are therefore projective. The technical lemma we need is a new manifestation of Akemann and Pedersen's discovery of the norm adjusting power of quasi-central approximate units. A projective C*-algebra is the analog of an absolute retract. Thus we can say that various noncommutative semialgebraic sets turn out to be absolute retracts. In particular we show a noncommutative absolute retract results from the intersection of the approximate locus of a homogeneous polynomial with the noncommutative unit ball. By unit ball we are referring the C*-algebra of the universal row contraction. We show projectivity of alternative noncommutative unit balls. Sufficiently many C*-algebras are now known to be projective that we are able to show that the cone over any separable C*-algebra is the inductive limit of C*-algebras that are projective.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Renyi Dimension and Gaussian Filtering

Consider the partition function S(ε) associated in theory of Renyi dimension to a finite Borel measure μon Euclidean d-space. This partion function S(ε) is the sum of the q-th powers of the measure applied to a partition of d-space into d-cubes of width ε. We further Guerin's investigation of the relation between this partition function and the Lebesgue Lp norm (Lq norm) of the convolution of μagainst an approximate identity of Gaussians. We prove a Lipschitz-type esimate on the partition function. This bound on the partition function leads to results regarding the computation of Renyi dimension. It also shows that the partion function is of O-regular variation. We find situtations where one can or cannot replace the partition function by a discrete version. We discover that the slopes of the least-square best fit linear approximations to the partion function cannot always be used to calculate upper and lower Renyi dimension.

0 citations0 reviewsNo code linkedOpen access